6

(Not research-level, but perhaps not easily answered elsewhere — you decide if MO can afford the innocent fun. If so, it should likely be “community-wiki” i.e. one object per answer.)

I am seeking stories of mathematical objects that, in context, eat out namespace because their (most usual) name literally is a letter (e.g., in calculus, $e$).

Per discussion in the comments, please rather exclude letters that are frozen out by being merely common notation ($e$ in group theory, $g$ in Riemannian geometry, whole alphabets in semisimple Lie theory), and not really the name of any single object. But include: how such (poor?) practice came about; what did or didn’t help reclaim letters (new names, new typography,...); or any good story.

Wikipedia’s disambiguation pages can suggest many ($c$, $e$, $i$, $j$, $k$, $o$, $q$, $t$, $F$, $G$, $J$, $K$, $L$, $O$, $P$, $W$, $Y$, $\mathcal O$, $\wp$, $\delta$, $\zeta$, $\eta$, $\vartheta$, $\varkappa$, $\lambda$, $\xi$, $\pi$, $\sigma$, $\tau$, $\chi$, $\mathrm B$, $\Gamma$, $\mathrm H$, $\Xi$, $\Omega$,...), but I am sure that is not all.

Francois Ziegler
  • 29,500
  • 5
    $i$ or $j$ for $\sqrt{-1} $? – jeq Dec 31 '17 at 04:28
  • 3
    Σ, Π, and of course π (though none of them is fully frozen, e.g. Σ also = Σphere and π = πermutation or πrojection) – Noam D. Elkies Dec 31 '17 at 05:29
  • 7
    Ш (https://en.wikipedia.org/wiki/Tate%E2%80%93Shafarevich_group) -- but I've seen that used also for the "row of deltas" that is its own Fourier transform by Poisson summation. – Noam D. Elkies Dec 31 '17 at 05:30
  • 6
    $\aleph$ is owned by set theory, and if you allow font based answers then Lie theory owns the celtic fonts - $\mathfrak{g}$, $\mathfrak{h}$, etc. – Paul Siegel Dec 31 '17 at 05:35
  • 13
    $\emptyset$ - the 28th letter of the alphabet – Bjørn Kjos-Hanssen Dec 31 '17 at 05:52
  • The cardinal characteristics of the continuum take care of all the letters. – Joseph Van Name Dec 31 '17 at 06:13
  • 16
    I don't quite follow the intent about a letter being frozen out vs. just being a common notation: a paper in number theory might use $\Sigma$ for a set of primes while also using it for summation, or $\pi$ for $3.1415\ldots$ and for an irreducible representation. Context or a few extra words serve to make it clear what means what and neither $\pi$ nor $\Sigma$ is frozen. – KConrad Dec 31 '17 at 06:30
  • 4
    Most of these comments should be answers. – Federico Poloni Dec 31 '17 at 10:35
  • @KConrad Good point. So let me try to restrict the question to objects whose very name is a letter, and exclude other “frozen letter” phenomena. Of the comments so far, I guess this would fit $i$, $j$, $\pi$, $\aleph$, Tate-Shafarevich Ш, but exclude $\Sigma$, $\Pi$, $\varnothing$, Dirac Ш as normally called another name (sum, product, empty set, comb). – Francois Ziegler Jan 03 '18 at 04:36
  • 3
    $\mathbb R$? $\phantom 0$ – Noam D. Elkies Jan 03 '18 at 05:38
  • 4
    Continuing one of Noam's comments, if font matters, then $\mathbb Z$, $\mathbb Q$, $\mathbb R$, and $\mathbb C$. Also probably $\mathbb N$, although there may be some controversy as to exactly what set it represents. – Joe Silverman Jan 03 '18 at 12:55
  • 1
    Will you provide an example of a satisfying story, to ensure that the big list is on topic? –  Jan 03 '18 at 13:26
  • @MattF.: See the (somewhat complex) story for $\mathfrak{c}$. – Joseph O'Rourke Jan 03 '18 at 14:59
  • 3
    The $\delta$ function? Supposedly Dirac chose the letter based on Kronecker's symbol $\delta_{ij}$ – liuyao Jan 03 '18 at 15:36
  • 3
    Does $\wp$ qualify? – Martin Seysen Jan 03 '18 at 16:49
  • $\Delta$ for the simplicial indexing category – zzz Jan 03 '18 at 20:56
  • 1
    I very much like Bruce Sagan's reconciliation of combinatorics and real analysis: $\pi = 3142$. – Martin Rubey Jan 03 '18 at 21:20

8 Answers8

20

A lovely story of $\nabla$ can be found on Wikipedia

enter image description here

Introduced by Hamilton in 1837, his initial notation was ◁. Quotes from Wikipedia:

The name comes, by reason of the symbol's shape, from the Hellenistic Greek word νάβλα for a Phoenician harp, and was suggested by the encyclopedist William Robertson Smith to Peter Guthrie Tait in correspondence.

(...)

After receiving Smith's suggestion, Tait and James Clerk Maxwell referred to the operator as nabla in their extensive private correspondence; most of these references are of a humorous character. C. G. Knott's Life and Scientific Work of Peter Guthrie Tait:

It was probably this reluctance on the part of Maxwell to use the term Nabla in serious writings which prevented Tait from introducing the word earlier than he did. The one published use of the word by Maxwell is in the title to his humorous Tyndallic Ode, which is dedicated to the "Chief Musician upon Nabla," that is, Tait.

მამუკა ჯიბლაძე
  • 17,468
17

Amir Alexander's 2014 book Infinitesimal says that John Wallis introduced the symbol $\infty$ for infinity (p.280). I asked on HSM, "Where did John Wallis get the idea for $\infty$?," and user Conifold said that the source might be "the Egyptian ouroboros symbol, snake biting its tail":

         
          (Image from mythologian.net.)
Joseph O'Rourke
  • 149,182
  • 34
  • 342
  • 933
5

To get the ball rolling with actual answers...

$\mathfrak{c}$ is the Cardinality of the continuum.

Igor Khavkine
  • 20,710
5

How about the plethora of symmetric functions and generalizations? polynomials

This is just a small overview of the various generalizations of Schur polynomials, and related bases of symmetric (or quasi-symmetric) functions. Furthermore, the notation is not completely standardized.

It does not exactly answer OP's question, but some of these at least are standardized (say the $e_\lambda$, $m_\lambda$). I myself wonder a bit of the practice in this area.

Per Alexandersson
  • 15,598
5

Imagine how different would be our mathematical discourse if students struggled with $\alpha$-$\beta$ proofs rather than $\epsilon$-$\delta$ proofs!

From an earlier MO question: "Why do we use $\epsilon$ and $\delta$?," an answer quoting Judith Grabiner:

$\epsilon$ corresponds to the initial letter in the word "erreur" (or "error"), and Cauchy in fact used $\epsilon$ for "error" in some of his work on probability."

As @RyanBudney summarizes, "So it's $\epsilon$ for error in the answer, and presumably $\delta$ is in reference to difference in the input variables." Or, as @SimonRose says, "Or possibly that $\delta$ is just the next letter over..."

Joseph O'Rourke
  • 149,182
  • 34
  • 342
  • 933
  • Despite Cauchy's sometimes using $\epsilon$ for error, I believe we also owe to him the use of $h$ (as in $\lim_{h \to 0} \frac{f(x + h) - f(x)}h$). I always explain this to my students by some variant of the jocularity "we need a letter to stand for 'a little bit', so we choose $h$ since it doesn't occur anywhere in the phrase." – LSpice Jan 01 '19 at 03:06
4

In set theory, $V$ is universally known as the universe of all sets.

Similarly, meanwhile, $L$ is the constructible universe.

Joel David Hamkins
  • 224,022
  • 5
    What are the stories behind these choices? I've always thought that V was chosen to suggestively depict the cumulative hierarchy, with an empty set at the bottom and spreading out by taking a power set of what one had previously at a successor ordinal (and collecting all previous stages at limit ordinals). But I can't guess where L comes from. – Todd Trimble Jan 03 '18 at 21:29
  • @ToddTrimble I thought that the $V$ was from 'von Neumann'. – Adam P. Goucher Jan 03 '18 at 22:22
  • 1
    I also used to think that $V$ stood for von Neumann, but when I looked into it a few years, I recall finding that the usage pre-dated him. Unfortunately, I don't recall now whether I had found it in Frege or Zermelo or where. I vaguely recall it having come up here on MO previously. – Joel David Hamkins Jan 03 '18 at 23:13
  • 4
    $V$ (or V) was introduced by Peano in his "Arithmetices principia. Nova methodo exposita" from 1889. He uses V for verum and $\Lambda$ for falsum, and the symbols were adopted to denote the universe of all sets, and the empty set, accordingly (Peano also uses V explicitly for "the class of all individuals"). See pp. viii and xi here. – Andrés E. Caicedo Jan 04 '18 at 06:32
  • 2
    To $V$ and $L$ one should add $K$, the core model. – Andrés E. Caicedo Jan 04 '18 at 06:33
  • 2
    In his 1939 "Consistency proof for the generalized continuum hypothesis", Gödel uses $M$ to denote the constructible universe. He switches to $L$ in his 1940 monograph, "The consistency of the axiom of choice and of the generalized continuum hypothesis with the axioms of set theory". No reason is given for the choice of symbol in either case. – Andrés E. Caicedo Jan 04 '18 at 06:41
  • 2
    And $K$ is for kernel. It was introduced (or, at least, one of its versions was) in MR0611394 (82i:03063). Dodd, A.; Jensen, R. The core model. Ann. Math. Logic 20 (1981), no. 1, 43–75. – Andrés E. Caicedo Jan 04 '18 at 06:45
2

Trivial example, but not to be omitted, the Greek and Latin numerals. E.g.:

Ptolemy's table of chords

Francois Ziegler
  • 29,500
Pietro Majer
  • 56,550
  • 4
  • 116
  • 260
  • 2
    Yes, and our hexadecimal too. Thanks Pietro for exactly the sort of answer I was hoping for — I added an image of the first trigonometric table to illustrate. Do we know how they were verbalizing the numbers? – Francois Ziegler Jan 04 '18 at 00:09
  • If you mean pronouncing the digit's symbols as letters, I do not have any knowledge about it. I guess a trace of it, if any, could be found in dramatic literature, which is one important source of information about the spelling of classic languages. After all it could be, like anglophones sometimes do when spelling $0$ as "oh" instead of "zero". It is also true that digits and numeric codes enter in our life in a very massive way, that did not exist in ancient times, when on the contrary written names were more used than symbols even in formulas. – Pietro Majer Jan 04 '18 at 13:36
  • It would be funny to know of Roman boys greeting each other with "da mihi v" – Pietro Majer Jan 04 '18 at 13:37
0

Given that there is not much difference between a letter and a symbol (especially in view of the two most upvoted answers), I propose:

• The letter "+" is used for the mathematical object commonly called addition.

• The letter "-" is used for the mathematical object commonly called subtraction.

• The letter "×" is used for the mathematical object commonly called multiplication.

Etc.

André Henriques
  • 42,480