5
$\begingroup$

I was wondering about classical notations in number theory. I will not ask here about special functions in general but about the more ubiquitous number theory functions. That which made me wonder originally is $\zeta$: is it really Riemann's $\zeta$? I guess so, but then why did he choose that? Thinking about it, it is interesting that number theory functions seem to have had sticky names, rather varied too. Weierstrass's $\wp$, Dirichlet's $L$, Jacobi's $\theta$,... Subsequent writers have not come up with widely-used variations. I can guess a few reasons why the original notations stuck. The inventors were aware of previous research and chose noncolliding names coherent with what came before. There were few mathematicians in the 19th century and they knew relatively well each other and each other's work. Later mathematicians were then quite rightly very respectful of the traditions set by those illustrious pioneers, especially because the whole was rather coherent and for this reason any attemp at changing part of it would probably clash with some other piece of the "nomencla(pic)ture". Research in number theory is also probably among the most self sufficient of mathematics. Of course there are many connections to other subjects but number theorists can live "within" number theory and outside workers will "borrow" respectfully to the majestuous monument.

So the standard questions would be:

inventor? reason(s)? historical alternatives?

The notations I think about now:

$\zeta$, $\wp$ $\theta$, $\sigma$ (Weierstrass), $G$ (Eisenstein), $\tau$ (Ramanujan), $\eta$ (Dedekind), $s$ for complex numbers, $\tau$ for upper half-plane points, $q$ for $e^{2\pi i\tau}$.

For Eisenstein series I can guess he thought about $F$ but that was too common and $G$ was not used for groups then and anyway general groups are not used close to $G$. Now with general Lie groups and automorphic forms $G$ has morphed into $E$.

Feel free to add to these lists. Any comment is welcome. Thanks.

EDIT: I see my question does not satisfy moderators. If I may: I think notation reflects many deep facts about mathematical concepts and intuitions. I also think that the notations I mention are far from trivial to understand -but I probably overestimate my capacities and they are actually obvious to everybody else but me. Anyway I would really appreciate any indication, like what Carlo replied.

2ND EDIT: I consider that Carlo replied. Thanks to him I convinced myself $\zeta$ stands for "zahl...". It is quite surprising that nowhere I've read this plausible explanation for the notation. I looked at Edwards book, where he translates Riemann and could not find any comment on that. Yet reading the masters as he advises is important only to understand them best, and notation is one of the choices they make that readers should understand. Finally I would like to tell the moderators sorry that I was upset in my 1st EDIT, and also that I think they should probably be more open to questions outside the strict rules set up to now. I think, like Thurston, that mathematics is not foremost about precise statements and proofs, but about understanding. And my belief is that understanding mathematics involves some psychology, sociology, and history among other sciences. All this I would hope to find their place on mathoverflow, to efficiently contribute to the furthering of knowledge in mathematics proper.

$\endgroup$
4
  • 6
    $\begingroup$ This question would be a good fit for hsm.stackexchange.com $\endgroup$ Commented Dec 29, 2015 at 16:24
  • $\begingroup$ Zack thanks again. It looks great. A little surprising how many math question sites there are. I'm not sure it is really good that they are so spread out. I'll post my question there next year. $\endgroup$
    – plm
    Commented Dec 31, 2015 at 21:49
  • $\begingroup$ Now on HSM. $\endgroup$
    – HDE 226868
    Commented Jan 2, 2016 at 13:59
  • 1
    $\begingroup$ "This question was removed from History of Science and Mathematics Stack Exchange for reasons of moderation." $\endgroup$ Commented Jun 20, 2017 at 23:33

1 Answer 1

15
$\begingroup$

Well, Riemann himself says "I denote this function by $\zeta(s)$" ("Die Function [...] bezeichne ich durch $\zeta(s)$"), so I would think the choice of which letter to use for this function was his.

first page of Riemann's Über die Anzahl der Primzahlen unter einer gegebenen Grösse (1859).


The OP also asks: Why did Gauss choose the letter $\zeta$? For integer $s$, Euler had called this product $P$, which seems natural.

page from Introductio in analysin infinitorum (1748)

According to this source, the use of $s$ as the variable in a series of powers of primes $p$ goes back to Dirichlet, who took $s$ to be real and positive. Riemann emphasized the importance of letting $s$ be complex. Why he chose the letter $\zeta$ for the function of $s$ is not documented, but I can guess that it would make sense to use a different character set for the function and its argument. (We still do this routinely today.) Upper case Greek letters ($\Pi$ or $\Sigma$) were already committed, so the choice for lower case Greek seems natural.

$\endgroup$
5
  • $\begingroup$ Thanks alot Carlo. It does not tell me much about the rationale for $\zeta$ though. Ok It's Riemann's. Was it used for complex numbers as sometimes happens nowadays? Is there a german word beginning with "z" to which the $\zeta$ could refer? Thank you Carlo for the positive feedback. $\endgroup$
    – plm
    Commented Dec 31, 2015 at 6:52
  • $\begingroup$ I added some further thoughts on the choice for $\zeta$. $\endgroup$ Commented Dec 31, 2015 at 9:33
  • $\begingroup$ Thanks alot Carlo. Really. I realized after I read your post that $\zeta$ must stand for "zahlen", or "zahlenfunktion". I guess Riemann was convinced that $\zeta(s)$ is the "main" or "central" function of number theory, in various senses, and if any function deserves to take the "z" of "zahl" this would be the one. Most later researchers would probably agree. $\endgroup$
    – plm
    Commented Dec 31, 2015 at 17:21
  • $\begingroup$ It's very interesting that Riemann seems to have eschewed Euler's notation on purpose, despite the importance of the product formula. I'll consider that you answered my question, because I could satisfy myself (partially :) thanks to you. But if anybody wants to comment on the other notations, like $s$ for complex numbers, I'd be happy to read them. $\endgroup$
    – plm
    Commented Dec 31, 2015 at 17:24
  • $\begingroup$ Regarding the $s$ it seems that $z$ was not as widely used for complex variables. It also went well with the "critical parameter" $t=\frac{s-1/2}{i}$. I am assuming this was Riemann's preference. I would have to look at his contemporaries' writings. Thanks again Carlo. $\endgroup$
    – plm
    Commented Dec 31, 2015 at 21:45

Not the answer you're looking for? Browse other questions tagged .