The tag has no usage guidance.

learn more… | top users | synonyms (1)

4
votes
1answer
175 views

What countable ordinals are called $\kappa_\alpha$?

Jervell has a notation for countable ordinals up to the small Veblen ordinal using trees: • Herman Ruge Jervell, How to wellorder finite trees and get good ordinal notations, Berkeley Logic ...
4
votes
0answers
82 views

Is there a name for groups of the form $Sp(1)^n$?

A (compact) torus is a Lie group isomorphic to the product of finitely many circles: $T^n = S^1 \times \cdots \times S^1$. Such groups are extremely important in Lie theory, Differential Geometry, ...
5
votes
1answer
320 views

History of the notation for substitution

One of the very common notations for syntactic substitution is $[\ /\ ]$. However, there seems to be an inconsistency in the literature about its usage. Many write $[t/x]$ for "substitute $t$ for $...
1
vote
0answers
111 views

Name for the Quotient $SU(m+1)/(SU(k) \times SU(m-k))$

The sphere $S^{2m-1} \simeq SU(m+1)/SU(m)$ has a canonical $U(1)$-action, and quotienting by this action give complex projective space $CP^m$. We can generalise the family of sphere to the family of ...
0
votes
0answers
60 views

Notation for iterated summation

Is there a more compact way to write $$ \sum_{i_1=0}^{N} \sum_{i_2=0}^{N-i_1} \sum_{i_3=0}^{N-i_1-i_2} \cdots \sum_{i_{K}=0}^{N-i_1-i_2-i_3-\ldots-i_{K-1}} a_{i_1i_2i_3\ldots i_K} $$ as something like ...
0
votes
2answers
151 views

Use of ternary operator in formal writing

I would like to write $$ f(x) = \begin{cases}1&\mbox{if }x = 1\\ 0&\mbox{otherwise.}\end{cases} $$ However, this eats up a lot of vertical space for a very simple statement. Is there agreed ...
0
votes
1answer
79 views

Comparing vectors with numbers? [closed]

My question pertains to the paper "A Simplified Proof of the Divergence Theorem" by Djairo Guedes de Figueiredo. It's not a big question, actually, but it's confusing me a lot: In the statement of ...
1
vote
0answers
28 views

Notation to denote substitution of vector elements [duplicate]

I'm looking for notation to denote vector substitution and elimination of elements. This is possible using set notation, but I am looking for shorthand notation that is perhaps already in use. ...
1
vote
0answers
72 views

Notation clash between a representation and spectral radius

I am currently writing a paper where I need talk both about a representation of a semisimple Lie group (usually denoted by $\rho$), and about spectral radii of linear maps (also usually denoted by $\...
2
votes
0answers
61 views

What does the square root sign tells us in the wave equation? [closed]

I have been reading the paper on wave equations, and I have some confusion in notations. Consider the initial value problem(IVP)(Wave equation): $\frac{\partial ^2 u } {\partial t^2}(x,t) = \...
-2
votes
1answer
117 views

Correction symbols used for mathematical texts [closed]

When proof reading and correcting a mathematical text, I sometimes see people use special notation symbols in the margin to indicate correction, deletion, replacement and so on. Is there any standard ...
7
votes
1answer
267 views

What does the notation $[b_1,b_2]$ in M. Hochster's “Prime Ideal Structure in Commutative Rings” mean?

I'm reading the article M. Hochster, Prime ideal structure in commutative rings, Trans. Amer. Math. Soc. 142 (1969), 43--60. Freely available here on the journal's website. But, I can not find the ...
2
votes
1answer
65 views

What is the function space $H^1_{m, \sigma}$?

I am reading Hildebrandt's and Widman's 1975 paper on "Some regularity results of quasilinear elliptic systems of second order". Theorem 3.1 is the first time in their paper that the function space $...
3
votes
0answers
137 views

Pronunciation of ¡ (inverted exclamation mark, historically used for subfactorial)

For anyone who uses ¡ (inverted exclamation mark) in a mathematical context, how do you pronounce it? Background: I have privately been using ¡ in a couple of notations for a while, and am ...
-1
votes
1answer
108 views

Notation for a Homomorphism [closed]

Is there a (common) notation which denotes a function, $f$, to be a homomorphism? I have found myself writing, "let $f: X \rightarrow Y$ be a homomorphism" several times. This is fine, but I would ...
4
votes
0answers
82 views

notation for $(a-b)(a-qb)\dots (a-q^{n-1}b)$

I wonder whether there is a notation for such thing, which I denote $[a;b]_q^n$ for a moment: $$ [a;b]_q^n:=(a-b)(a-qb)\dots (a-q^{n-1}b)=a^n(b/a;q)_n, $$ this last equation uses $q$-Pochhammer symbol ...
2
votes
0answers
63 views

Mixed tensor index position significance

What is the significance of tensor index position? For example the fourth order Riemann curvature tensor \begin{align} R^m_{ijk} \end{align} or \begin{align} R^{\phantom{i}m}_{i\phantom{m}jk}. \end{...
1
vote
0answers
64 views

notation for vector product in the space

The notation for vector (a.k.a. cross) product in $\mathbb{R}^3$ I usually see is $\times$. However, some places use $\wedge$ instead, which IMHO creates a lot of confusion, as $\wedge$ usually is ...
19
votes
4answers
1k views

What is the term for combining functions $f_1,f_2,\dots,f_n$ into a tuple $(f_1,\dots,f_n)$?

This is an embarrassingly simple question, but I was not able to find a definitive answer from literature search. Suppose one has some collection of functions $f_1: X \to Y_1, \dots, f_n: X \to Y_n$ ...
2
votes
1answer
183 views

Notation: $Sigma$ and $Pi$ of intersections

In Jech - Set Theory, the proof of Theorem 31.7, I came along some notations I wish to understand correctly. For a countable elementary substructure $M \prec H_\lambda$ and $A \in M$ and a generic ...
-4
votes
1answer
333 views

Looking for the name of a mathematical symbol that looks remotely like 1 (answer: indicator function) [closed]

Original question: The symbol looks like a numeral 1 written like an R in $\mathbb{R}$. It has a double vertical line and a serif at the bottom. It represents a function of a parameter: $1_{\{0,1\}}(x)...
0
votes
1answer
246 views

Meaning of $[A,B]$ when $A$, $B$ are self-adjoint

This is just a question about notation, but it got no useful answers on math.stackexchange. Let $L$ be the Lie algebra of $n\times n$ Hermitian matrices, with Lie bracket $(A,B)\mapsto i(AB-BA)$. ...
20
votes
1answer
980 views

What is $\infty^6$?

The title of this question may make you want to close it immediately, but bear with me a moment. In several older mathematics papers (early 20th century) I have seen statements such as The ...
5
votes
4answers
558 views

Notation for $\log \log \cdots \log n$? [closed]

Is there some accepted, more concise notation for expressions like $\log \log \log n$? I just noticed an arXiv posting that quotes the bound $$ \frac{\log X \log \log X \log \log \log \log X} { \log \...
1
vote
0answers
260 views

Products between metrics in a product of manifolds

In the "Einstein Manifold" book written by Arthur Besse, chapter 16, there is a notation of a manifold composed by the Cartesian product between two others: $(M_1\times M_2, f^p(g_1 \times g_2))$ ...
4
votes
2answers
354 views

Terminology for metrics?

For some reason, I'm currently interested in the following relation - let $d,\delta$ be two metrics on some space $X$. We call the metrics _______ if there are some constants $C,E>0$ such that for ...
3
votes
1answer
387 views

Notation: Categories of measur(abl)e spaces

Is there a common notation in the literature for the category of measurable spaces and measurable maps? the category of measure spaces and measure-preserving maps? The nlab suggests $\mathsf{...
3
votes
1answer
227 views

Was $\Sigma x$ used as quantifier?

Kurt Gödel in 1931 used $x\Pi a$ where we in contemporary notation would use $(\forall x) A$ or $(x)A$, and $Ex a$ where we would use $(\exists x) A$. I believe that I remember that $\Sigma xA$ has ...
0
votes
1answer
105 views

Help with notation for the state of a dynamical system defined by a PDE

Before my question let me briefly describe a simplified version of the dynamical system I'm working with. Suppose that I have a density function $m(\boldsymbol{x},t)$, that describes the abundance of ...
3
votes
1answer
250 views

When was the “arrow notation” for functions first introduced?

When was the "arrow notation" $f: X \to Y$ for functions first introduced? Who introduced it and with which motivation? I ask this question in order to understand whether it was, in part, this ...
13
votes
2answers
456 views

Contexts and notations for composing asymmetric simplices

Imagine the elements of a group-like structure as puzzle pieces with essential two sides, an IN-side and an OUT-side. You can compose two such pieces in two obvious ways: Now consider triangular ...
1
vote
1answer
154 views

Lefschetz fixed notation

If $f\colon X\to X$ is a self-map of a nice space with isolated fixed points, then the Lefschetz fixed point theorem relates a global number to local numbers. Some write: $L(f)=\sum_{x\in \mathrm{Fix}(...
2
votes
1answer
332 views

Disruptive innovations in mathematical notations [closed]

I am wondering whether there are examples of mathematical notations that, once introduced, have drastically changed or simplified the way to address a problem or a mathematical area, or that have ...
5
votes
1answer
237 views

Meaning of $g_d^r$ in algebraic geometry

As an editor I often encounter the symbol $g_d^r$ as a noun. I tried googling but I only get papers where the symbol is used without a definition. Can someone supply a reference to a definition? ...
1
vote
1answer
173 views

Is the notation ${}^t g$ for the transpose of a linear transformation intended to be suggestive?

The notation ${}^t g$ for the transpose of a linear transformation is, in my view, quite unusual: otherwise (at least in many areas of math), one almost never sees subscripts or superscripts appearing ...
2
votes
1answer
159 views

A question about some notation involving the exclamation mark [closed]

What does the symbol ‘!’ signify? Is it $ \text{argmin} $? For example, $ \| A x - y \| = \min! $.
2
votes
3answers
167 views

How to Express Undirected Integration

Is there an agreed way of expressing undirected integration in formulas? my idea of doing so would be to use the absolute value of the differential $$\int_a^b f(x)|dx| = \int_b^a f(x)|dx|$$ but I ...
1
vote
0answers
117 views

Default Orientation of Vectors [closed]

When I started studying math in 1982 in Germany, there seemed to have been a change in the choice of the default orientation of vectors; while it was row-vectors till then, it changed to column-...
0
votes
2answers
149 views

Conventional notation for the probabilistic functor

The probabilistic functor $P$ sends a measurable space $X$ to the space of probability measures on $X$ endowed with $\sigma$-algebra generated by evaluation maps, and measurable maps $f:X\to Y$ to ...
25
votes
3answers
3k views

Who invented diagrammatic algebra?

There is a strong and growing trend to do mathematics via diagrammatic algebra, which involves constructing and manipulating equations whose elements are diagrams drawn in the plane. The manipulations ...
1
vote
1answer
132 views

Formula for the Ordinal Number of k-Sets of Positive Integers

Background of my question is, that I would like to store flags indicating the relation between a pairs of non-adjacent edges of a graph (that relation could for example be, whether the edges cross, i....
0
votes
1answer
327 views

Choosing Notation for Variable Substitution into Derivative Expressed with Differentials [closed]

Consider function $f(x)$. I've counted 4 possible notations to write a derivative of $f(x)$ at point $x = a$: $f'(a)$; $\frac{\operatorname{d}{f(a)}}{\operatorname{d}x}$; $\left.\frac{\operatorname{...
3
votes
1answer
436 views

Random weighted selection without replacement

I am using the following procedure to select $m$ different numbers $\{i_1,\ldots,i_m\}$ from the set $\Omega = \{1,\ldots,N\}$, with $m,N\in\mathbb{N}$ such that $m< N$. Selection procedure ...
9
votes
0answers
563 views

Is there a theory of abuse of notation? [closed]

Is there any theory about the different ways notation can be abused and which abuses are ineliminable without complicating the notation in some essential way? We can define "abuse of notation" as any ...
10
votes
2answers
440 views

Historical quotation search: Equations/formulae in (Latin?) prose, before modern symbolic notation

I have been trying, without success, to find a vaguely-remembered quotation: the quadratic equation (or perhaps the quadratic formula), given in (Latin?) prose, along lines like “Consider that ...
6
votes
1answer
493 views

Origin of symbols used for half-sum of positive roots in Lie theory?

The Weyl character formula is a central result in the finite dimensional representation theory of semisimple Lie groups, algebraic groups, Lie algebras. Related questions on MO include these here ...
3
votes
0answers
211 views

Nesting big-O with big-Omega $O(g(\Omega(h(n))))$: is it $O$ for all $\Omega$ or for one $\Omega$?

I want to express the following statement about a function $f(n)$: there exists $f_\Omega\in\Omega(h(n))$ such that $f\in O(g(f_\Omega(n))$. What's the correct notation for this? Is it $f\in O(g(\...
2
votes
1answer
174 views

Understanding Sweedler's notation for the structure map of a comodule

I was hoping someone might be able to shed some light on the choice of indices for expressing the coaction using Sweedler notation. For example, in the paper of Andruskiewitsch About finite-...
2
votes
1answer
180 views

Meaning of notation $\mathbb{Q}^\wedge k$, $-\infty^\wedge \mathbb{Q}$ for linear orders

I am reading Friedman & Stanley A Borel reducibility theory for classes of countable structures (J. Symbolic Logic 54 (1989), 894–914; MR1011177) and a caret (${}^\wedge$) appears as notation in ...
3
votes
1answer
1k views

Equal signs with fancy marks

Some people use $\stackrel{\mathrm{def}}{=}$, $:=$ or $\stackrel{\Delta}{=}$ for definitions. In more informal contexts, I have also seen $\stackrel{?}{=}$, for "I wish to prove this equality, which ...