41
$\begingroup$

It's a common observation in Lie theory that Cartan matrices and the Killing form are named after the wrong people; they were discovered by Killing and Cartan, respectively. I remember learning about many other examples of this phenomenon, but can't think of too many at the moment. Wikipedia has some examples here and here, but I'm curious about more obscure examples.

Bonus points for an interesting story behind why the concept was incorrectly named. Concepts that were deliberately named in honor of another mathematician don't count.

$\endgroup$
13
  • 32
    $\begingroup$ By the way, in the mathematical community "Stiegler's law" is often referred to as "Arnol'd's law", inclusive of the corollary "Arnol'd's law applies to Arnol'd's law as well". $\endgroup$ Commented May 10, 2010 at 20:24
  • 17
    $\begingroup$ To further complicate things, there is also Whitehead's law: "Everything of importance has been said before by someone who did not discover it." $\endgroup$
    – bhwang
    Commented May 10, 2010 at 21:38
  • 6
    $\begingroup$ Oh gosh, I could not imagine that there are SO many wrong names. Perhaps some day there will be a big important Brandenburg theorem, of course just because another one has proven it. ;-) $\endgroup$ Commented May 10, 2010 at 23:09
  • 16
    $\begingroup$ Not that I have a problem with the question per se, but "the wrong people" is pretty ambiguous. The first person to study something might not be the most deserving -- often a crucial application or popularizations trumps the actual innovation. Nor is it necessarily the case that the intent of the naming was to honor the inventor -- frequently the naming is done for reasons of analogy ("Euler systems" come to mind). $\endgroup$ Commented May 11, 2010 at 1:10
  • 5
    $\begingroup$ Stigler's law is called Boyer's Law by H.C. Kennedy in "Who Discovered Boyer's Law?" (Amer. Math. Monthly vol. 79 1972, 66--67). It says that "Mathematical formulas and theorems are usually not named after their original discoverers." The label Boyer's law was chosen because Boyer gave many examples of this phenomenon in his book A History of Mathematics. $\endgroup$
    – KConrad
    Commented Sep 8, 2010 at 17:12

67 Answers 67

1 2
3
1
$\begingroup$

$$ \sin x = \frac{2t}{1 + t^2}, \qquad \cos x = \frac{1 - t^2}{1 + t^2}, \qquad \text{and} \qquad dx = \frac{2}{1 + t^2}\,dt $$ The “Weierstrass substitution,” used by Euler before Weierstrass was born and, according to Prof. Fred Rickey of the United States Military Academy, never mentioned in the writings of Weierstrass. After I referred to it by that name in a terse remark in the Monthly, Rickey sent me an email saying he had searched through Weierstrass's writings looking for it. I then sent an email to James Stewart, author of a wildly popular calculus textbook that does not differ from other calculus textbooks, asking whether he was the originator of the name. He replied that he was not, but I understand that some insist that he was.

$\endgroup$
2
  • 1
    $\begingroup$ I'm guessing the "Weierstrass substitution" is the one described in the Wikipedia article called "Tangent half-angle substitution". $\endgroup$ Commented Jun 21, 2023 at 15:10
  • $\begingroup$ @Amplitwist Correct. The name of that Wikipedia article has changed a few times, I think. $\endgroup$ Commented Nov 22, 2023 at 18:23
1
$\begingroup$

De Bruijn sequences are so named because Nicolaas Govert de Bruijn enumerated them in 1946, but he later acknowledged the priority of C. Flye Sainte-Marie, who enumerated them already in 1894.

$\endgroup$
0
$\begingroup$

Marden’s theorem was proved by Siebeck.

What rankles is that Marden himself cited Siebeck but it is now called Marden’s theorem. Dan Kalman was the one who brought this to people's attention and his defense is

I call this Marden’s Theorem because I first read it in M. Marden’s wonderful book.

$\endgroup$
0
$\begingroup$

Cayley numbers, best known nowadays as the octonions, were first discovered by John Graves in 1843 (https://en.wikipedia.org/wiki/Octonion).

$\endgroup$
1
  • $\begingroup$ Aargh — despite attempting to scan the previous answers before posting, I missed this one. $\endgroup$ Commented Nov 23, 2023 at 17:01
0
$\begingroup$

In this answer, Ed Gorcenski says:

the Gaussian distribution (according to Wikipedia) was first studied by de Moivre.

and

Gauss used the distribution in astronomy

And Gorcenski uses this as an example of what he says often happens:

It seems that in many cases, naming the body of work was given to the person who first applied its study to some other field

The history is somewhat interesting, so I'm posting this present answer.

Much of this is based on things that I (pardon the expression) “read somewhere”, and a bit of it on an assertion in a course I once took.

Abraham de Moivre (1667–1754) wrote about the probability distribution of the number of “heads” that appear when a coin is tossed $1800$ times. As secondary school pupils are taught today, this is a binomial distribution that can be approximated by a normal, or “Gaussian” distribution with expectation $900$ and variance $450$ (thus with standard deviation $\sqrt{450} \approx 21$. Obviously computing precisely things like $ \sum_{k\,=\,880}^{905} \binom{1800}{k} \left(\frac12\right)^{1800}$ was prohibitively expensive, so de Moivre's discovery that areas under the bell-shaped curve $y=\text{constant}\times\exp(-z^2/2)$ approximates this was a major advance. I think that may be the first time anyone realized this function was so important. Computing areas under that curve is itself somewhat expensive in time and effort, but nowhere near computing sums like the one above.

According to Wikipedia, de Moivre discovered that $$n! \sim \text{constant} \cdot n^{n+1/2} e^{-n},$$ but did not discover that the “$\text{constant}$” was $\sqrt{2\pi\,}$, nor did he find that $$ \int_{-\infty}^{+\infty} e^{-z^2/2} \, dz = \sqrt{2\pi\,}. $$ It is somewhat routine to show that the “$\text{constant}$” referred to above and the value of this integral are the same; it is substantially simpler than actually finding that it's $\sqrt{2\pi\,}$. If I'm right about this so far, then de Moivre did find accurate numerical values for this without realizing that it's $\sqrt{2\pi\,}$.

Then de Moivre fled France to escape the persecution of Protestants in France, and went to England, where he met James Stirling. Stirling was the one who found that it's $\sqrt{2\pi\,}$. De Moivre then wrote a book about probability theory in English, titled The Doctrine of Chances, and included his results including, this time, $\sqrt{2\pi\,}$ rather than just something computed numerically.

“Optional” paragraph: That that phrase, the doctrine of chances, may have become 18th-century English for what today we call the theory of probability is suggested by the title of the famous posthumous paper of Thomas Bayes, “An Essay toward Solving a Problem in the Doctrine of Chances.” (The result in that paper, paraphrased in today's language, is that if $P$ is uniformly distributed between $0$ and $1$, and if $P$ then becomes the probability of success in a sequence of independent Bernoulli trials (so they are conditionally independent given $P$) then the conditional distribution of $P$ given the numbers of successes and failures is a certain beta distribution.)

Why do we use the standard deviation, which is the root-mean-square deviation from the mean, rather than the mean absolute deviation from the mean, which seems like the most obvious measure of dispersion? I think de Moivre was probably the first to understand the answer to that question. And he needed the answer for the coin-tossing problem above. It is this: The variance of the sum of independent random variables is the sum of their variances. Without that, de Moivre would not have know that the aforementioned standard deviation is $\sqrt{450}$.

So: What did Carl Gauss do?

The normal, or “Gaussian”, distribution with expectation $\mu$ and standard deviation $\sigma$ is $$ \text{constant} \times \exp\left(-\frac12 \left( \frac{x-\mu} \sigma \right)^2 \right) \frac{dx}\sigma. \tag0\label{473075_0} $$ The joint distribution for $n$ independent observations is proportional to \begin{align} & \prod_{i\,=\,1}^n \exp\left(-\frac12 \left( \frac{x_i-\mu} \sigma \right)^2 \right) \frac{dx_i}\sigma \tag1\label{473075_1} \\[8pt] \propto {} & \underbrace{ \frac1{\sigma^n} \exp\left( -\frac1{2\sigma^2} \sum_{i\,=\,1}^n \left( x_i-\overline x\right)^2 \right) }_\text{No “$\mu$” appears here.} \, \exp\left( -\frac n{2\sigma^2} \left( \overline x-\mu \right)^2 \right) \end{align} where$\propto$” means proportional as a function, not of the $x$s, but of $(\mu,\sigma)$, and $\overline x = (x_1+\dotsb+x_n)/n$.

Since “$\mu$” appears in this expression only in $(\overline x-\mu)^2$, the value of $\mu$ that maximizes \eqref{473075_1} is $\overline x$.

So here's the part I heard in an applied statistics course I once took: Gauss derived the expression \eqref{473075_0} from the fact that he wanted $\overline x$ to be the value of $\mu$ that maximizes \eqref{473075_1}. I.e. he wanted something that looked like $f((x-\mu)/\sigma)$, but what function should $f$ be? That was his question and line \eqref{473075_0} above was his answer.

Again, given the fact that I don't remember what the various sources that I read were, and that the instructor in the aformentioned course cited none, it's possible I'm substantially wrong about some of this, so tell me if I am.

$\endgroup$
-1
$\begingroup$

Cartan discovered the Killing form, and Killing discovered the Cartan matrix.

$\endgroup$
2
  • 7
    $\begingroup$ That's the example I used in the original post :) $\endgroup$ Commented May 13, 2010 at 1:44
  • 5
    $\begingroup$ Aw, nuts, that's what I get for not reading things carefully. :) $\endgroup$ Commented May 13, 2010 at 2:08
-1
$\begingroup$

The notion of Frobenius manifold is due to Dubrovin

$\endgroup$
2
  • 2
    $\begingroup$ Why -2 votes??? $\endgroup$
    – Yougeeaw
    Commented Aug 31, 2011 at 10:17
  • $\begingroup$ This seems to be a concept that was deliberately named in honor of Frobenius, and as such, was explicitly excluded by the OP. $\endgroup$ Commented Nov 23, 2023 at 5:15
1 2
3

You must log in to answer this question.

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