Question on the meaning, history, and usage of mathematical symbols and notation. Please remember to mention where (book, paper, webpage, etc.) you encountered any mathematical notation you are asking about.

learn more… | top users | synonyms

13
votes
0answers
102 views

How and why did Weierstrass $\wp$ get its special symbol?

I kind of always hated drawing the Weierstrass $\wp$ symbol by hand, and it struck me as odd how and why it achieved its special status in the first place. After all, there are tons of other important ...
7
votes
0answers
68 views

Sets, that have $\operatorname{LCM}\left(|c_1|,\dots,|c_p|\right)=\sum_{k=1}^p |c_k|$

I found that the least common multiple of the sizes of conjugacy classes $c_k$ of the symmetric group $S_n$ is equivalent to $n!$ the order of the group. Equivalently the sum of all $c_k$ is also ...
7
votes
0answers
3k views

What's more common? Re / Im or Fraktur-R / Fraktur-I for real / imaginary part?

Title says it all. What's more common? Is there one to prefere (maybe due to some norm)? This: $\operatorname{\mathfrak{R}} z, \operatorname{\mathfrak{I}} z$ or that: $\operatorname{Re}z, ...
7
votes
0answers
351 views

notation for ramification index and inertial degree

For a prime $Q$ lying over a prime $P$, I have seen the ramification index of $Q$ over $P$ denoted by $e(Q|P)$ and the inertial degree of $Q$ over $P$ by $f(Q|P)$. What is the origin of the ...
6
votes
0answers
161 views

Typesetting imaginary unit and bessel functions

I know that this issue has been treated in many places, but I have yet to reach something conclusive, hence I am herein seeking your help. Following the 260.3-1993 - American National Standard ...
6
votes
0answers
130 views

Origin of $\mapsto$ notation

Who invented the brilliant $\mapsto$ notation for describing a function's action on a point, as in $x \mapsto x^2$? This is in some sense a counterpart to Who came up with the arrow notation $x ...
5
votes
0answers
72 views

A question about co-exponentials

An exponential object $B^{A}$ is defined to be the representing object of the functor $$\mathcal{C}\left(- \times A,B\right): \mathcal{C} \rightarrow Set$$ or equivalently, as the terminal object of ...
5
votes
0answers
252 views

Paul Erdős Joke.

I was watching the great documentary "$N$ is a Number" and in it Erdős tells a joke where he writes: PGOM LD AD LD CD Which means poor great old man, living dead, archeological discovery, legally ...
5
votes
0answers
213 views

Notation for n-ary exponentiation

We have $n$-ary sums ($\sum$) and products ($\prod$). Is there an $n$-ary exponentiation operator? $$\underset{i=1}{\overset{n}{\LARGE{\text{E}}}}\, x_i = x_1 \text{^} (x_2 \text{^} (\cdots \text{^} ...
4
votes
0answers
92 views

Why is the Euclidean metric called the prime at infinity?

I've been studying p-adic analysis recently and after a bit of searching on the web, I haven't found an answer as to why the Euclidean metric is referred to as the 'prime at infinity', and given the ...
4
votes
0answers
63 views

What is the name of the function that indexes Grothendieck universes?

Assume Tarski-Grothendieck set theory. Then Grothendieck universes form a well-ordered proper class, so we can let $U_\alpha$ denote the $\alpha$'th Grothendieck universe, where $\alpha$ is an ...
4
votes
0answers
223 views

Is there a name or definition for this popular notation?

I'm sorry if this is a silly question. I've done quite a bit of searching and have not found any definition or name for this symbol/usage, despite immense popularity and convenience. The sources I've ...
4
votes
0answers
229 views

Divisibility notation history

I'm writing a paper project for school about divisibility, so I'd like to include a bit of history about that subject. I'm mostly interested in notation of $|$ sign used in past, but everything else ...
4
votes
0answers
302 views

Is there a notation for $f(x,y) - f(y,x)$?

Suppose we have a function $f(x,y)$ in two variables. Is there an operator on the function, say, $$([]f)(x,y) = f(x,y) - f(y,x)?$$ In other words, I'm looking for a commutator in terms of function ...
4
votes
0answers
107 views

Harmonic measure or harmonic kernel

In the theory of discrete-time stochastic processes on a measurable space $(\mathscr X,\mathscr B(\mathscr X))$ one usually starts with a Markov kernel $$ P:\mathscr X\times \mathscr B(\mathscr ...
4
votes
0answers
209 views

Where does the 'divides' sign come from?

When $a$ divides $b$ we say $a | b$. Where does the $|$ sign come from? This is not homework, just personal interest in the history of mathematical language.
4
votes
0answers
225 views

Where does the notation $\mathrm{Ad}(U)$ for $a\mapsto UaU^*$ come from?

I have often seen, in the context of operator theory and operator algebras, the notation $\mathrm{Ad}(U)a=UaU^*$, where $U$ is a unitary operator on a Hilbert space $H$ and $a$ is a bounded linear ...
3
votes
0answers
50 views

Why not defining a measure as a function on functions?

A measure $\mu$ is a function to $\left[0,\infty\right]$ on the sets belonging to a $\sigma$-algebra. Then for integrable functions $f$ the integral $\int fd\mu$ comes in, having nice properties ...
3
votes
0answers
59 views

Modern notational alternatives for the indefinite integral?

I like the Leibniz notation, and I think the reason it's survived for over 300 years and continued to be almost the only game in town is that in many respects it's a miracle of design. Nevertheless ...
3
votes
0answers
73 views

A name for something like a CW complex?

The class $\mathcal{CW}_n$ of finite $n$-dimensional CW complexes can be defined recursively: $\mathcal{CW}_0$ consists of finite sets; If $X \in \mathcal{CW}_n$, $\phi:S^n \amalg \cdots \amalg S^n ...
3
votes
0answers
58 views

Good confusion-avoiding notation for gluing toric varieties from fans?

$ \newcommand\R{\mathbb R} \newcommand\C{\mathbb C} \DeclareMathOperator\Cone{Cone} $I'm trying to establish a good notation to avoid confusion when we glue toric varieties from affine pieces. A ...
3
votes
0answers
111 views

Why do Mathematicians use $u$ and $v$ as variables?

I'm sure this has happened to you as well: you are reading some hand-written work, the variables used are $u$ and $v$, and at some point the handwriting becomes unclear and you cannot distinguish the ...
3
votes
0answers
223 views

What symbol expresses “less than approximately”?

Suppose, I want to state that $a$ is less than $b$. However, I do not know $b$ exactly, but only that it is approximately $c$. With other words I want to state that $a$ is lesser than some value which ...
3
votes
0answers
105 views

What does $\cos(n,t)$ mean?

In the book by JL Lions "Quelques methodes...", (Chapter 2, Section 3.3, page 197), he uses the notation $$\cos(n,t)$$ in a boundary condition on a domain $\Omega(t)$, where $n$ denotes the normal ...
3
votes
0answers
61 views

Notation: “belongs to” with an R subscript

I've run into an expression: $x_i \in_R \mathbb{Z}_q$ – and I wonder what this means. An example paper is here, here's example in Wikipedia. Can anybody help me? Thanks in advance.
3
votes
0answers
51 views

Curve of centers of curvature

I really can't find the English name of the curve of the centers of curvature of a curve. Formulated more precisely: Suppose $\alpha$ is a regular curve in $\mathbb{E}^2$ and $||\alpha(t)'||=1$. How ...
3
votes
0answers
56 views

partial derivative notation question

I'm reading a book called Correlated Data Analysis, Analytics, and Applications and I simply don't understand some notation. The author says, in chapter 2, page 26: A unit deviance is called ...
3
votes
0answers
39 views

notation for invariation

Let $\Lambda = \{T \in \operatorname{Her}_2(\mathcal{O}) ; T \ge 0\})$ and $\mathcal{O}$ the maximal order of some quadratic imaginary number field. I write $T[U] := U^* \cdot T \cdot U$ where $U$ is ...
3
votes
0answers
283 views

What is the conventional notation for these logic statements?

When I studied chemical engineering I often found the need to rewrite lecture notes, handouts and books in order to gain a thorough understanding of the subject I was reading. As much as time ...
3
votes
0answers
107 views

Definition(s) for variable binding in first-order logic

The following statement made me realize that variable binding can be defined in first-order logic: The same holds for λ terms to define functions. There is no reason that they could not be ...
3
votes
0answers
86 views

Mathematical notation for formulas involving trees

I am working on document that requires me to write such things as "$T_1$ is a descendant of $T_0$", or "$N_1$ is an parent of $N_2$". For now, I've been highjacking set notation for use in formulas, ...
3
votes
0answers
66 views

Define composition of small cyles and making a big graph

I am having following sub graphs and wish to compose all and make a one bigger graph (say G). After that, I want to select the closed path where it is passing along the outer vertices of that ...
3
votes
0answers
209 views

What kind of matrix/tensor notation is this?

I'm hoping someone on here recognises this and has an answer, because I'm having serious memory issues. About a year ago, I came across the following way of representing tensors of rank $n$ in matrix ...
3
votes
0answers
86 views

What's this called? $\mathbb{C}[d/dx]$

The 'ring of differential operators wrt x' ? Thx.
3
votes
0answers
208 views

Better Tensor Notation

I am in a General Relativity class, and I am finding the usual tensor notation very difficult to think about -- it seems like there are too many names to express something simple. E.g., I think of ...
3
votes
0answers
417 views

Notation for sampling random variate

Is there standard notation for sampling a value from a probability distribution? Like, if I had a random variable $X$, setting $x$ to whatever value I happened to sample from $X$ on this occasion? I ...
3
votes
0answers
199 views

How did Bessel functions come to be denoted by $J_n$?

The $n$th Bessel function of the first kind is usually denoted $J_n(x)$. Where did the use of the letter $J$ to indicate the Bessel function come from?
3
votes
0answers
147 views

bar index notation

For complex manifolds , people usually write the first fundamental form as $ds^2=g_{a\bar{b}}dz^ad\bar{z}^b$ (at least physicists) with a bar over the second index of the metric, but don't usually ...
2
votes
0answers
28 views

What does the notation $\textbf{x} \langle\textbf{Y} \rangle $ mean if $\textbf{Y} \subseteq \textbf{X}$ for random variables?

I was reading daphne's Probabilistic Graphical Models book and she introduces some notation about sets of random variables that I am confused about (on page 21 section 2.1.3.2). Before I ask my ...
2
votes
0answers
35 views

What is the notation for a sub-expression?

For set theory, we have notation to denote subsets, e.g.: $$S \subset X$$ When working with expressions (arithmetic, Boolean, etc.), is there a notation to denote expression $S$ is a valid ...
2
votes
0answers
53 views

Manifolds and Varieties

In my language, spanish, the word for (topological) manifold and (algebraic) variety is the same: "Variedad". This happens also in some other languages, like french (variété) or portuguese ...
2
votes
0answers
29 views

Is there a recommended symbol for “equal by abuse of notation”?

Can anyone suggest a good candidate for a symbol to be used for "equal by abuse of notation"? I can only think of "$\stackrel{\text{def}}{=}$", but it does not seem to be quite appropriate. For ...
2
votes
0answers
37 views

Understanding notation with regards to tangent derivatives.

I am currently reading a paper on monge-ampere equations, and in one part the author does as follows. Let $\Omega,\Omega^*$ be two uniformly convex subsets of $\Bbb R^n$, and let $h\in C^{2,1}(\Bbb ...
2
votes
0answers
78 views

How do we pronounce this symbol $'$ for $p',q'$, etc. And why?

This symbol $'$ for $p',q'$, etc; I know $'$, it is called prum(?) or something close to that, and $p',q'$ are p prum, q prum. But what exactly is $'$ written or pronounced? Thanks. And why is that ...
2
votes
0answers
49 views

Is $P(x,y)$ different from $P((x,y))$?

The symbols $P(x,y)$ and $P(z)$ indicate generally the concept of "predicate", but if $(a,b)$ is (ordered) 2-tuple, and in $P(z)$ I have $z=(a,b)$, Is $P(a,b)$ different from $P((a,b))$? .. Thanks in ...
2
votes
0answers
91 views

what does mean of notation comma?

I confused the notation comma. I know that the comma means 'AND' in Set theory as gate($a$^$b=a$ AND $b$), But we write solution of equaiton as $x=1,2$ (the equation: $x^2-3x+2=0$) the question is ...
2
votes
0answers
59 views

Question about definition of some classes of bimodules.

Suppose that we have a ring $R$ and a $R$-$R$ bimodule $M$ such that: For every $r\in R$ and $m\in M$ there exists $r'\in R$ such that $m\cdot r=r'\bullet m.$ Examples of this bimodules can be seen ...
2
votes
0answers
31 views

What does $s\in \{(u_0,u_1)\in \Bbb R \times\Bbb R^3\}$ mean?

Given the expression $s\in\{(u_0,u_1)\in \Bbb R \times\Bbb R^3\},$ what is s? a single vector in $\Bbb R^4$ consisting a concatenation of the elements of $u_0\in \Bbb R$ and $u_1\in \Bbb R^3$ a ...
2
votes
0answers
30 views

Notation for near optimal solution

Usually, $x^*$ is used to denote the optimal solution to a maximization problem. I need a notation to describe a solution that is not optimal but "good enough." In my case this solution is the first ...
2
votes
0answers
19 views

Explanation of notation for face and degeneracy

The (co)face are historically denoted by $d$, while the (co)degeneracy maps are denoted by $s$. Why is this, instead of the obvious $f$ and $d$? In the simplicial category $\Delta$, you also realize ...