14

Over on mathoverflow, there is a popular CW question titled: Examples of common false beliefs in mathematics. I thought it would be nice to have a parallel question on this site to serve as a reference for false beliefs within less obscure mathematics. That said, it would be good not get bogged down with misconceptions that are generally assumed to be elementary such as: $(x + y)^{2} = x^{2} + y^{2}$.

Ami
  • 938
  • 19
    I dont really see a need for this question. :/ I think the one on Mathoverflow is welcoming of examples in other areas of math rather than "obscure". I think that it is a cool question, but I really dont think we need this duplicate. – BBischof Oct 26 '10 at 04:34
  • http://math.stackexchange.com/questions/6848/finding-lim-x-to-0-frac-sin-cosx-secx this is another instance. –  Oct 26 '10 at 04:36
  • @BBischof: I agree with you as well. There are lots of answers in MO, some of them which are elementary in nature as well –  Oct 26 '10 at 04:37
  • 5
    Voted to close. This is a dup, as per the question itself. – Mariano Suárez-Álvarez Oct 26 '10 at 05:05
  • The MO question had a narrower scope that made it interesting. Is there a difference between this version of the question and "list all possible conceptual errors in elementary mathematics"? – T.. Oct 26 '10 at 05:14
  • 4
    Specifically, the MO discussion focused on mistakes that were (a) conceptual, and (b) known to be made by mathematicians (especially, mistakes the answerers had made). This restriction prevented trivial responses. I suggest revising the question to be "false beliefs YOU -- a presumably mathematically capable math.SE user -- have held" as a separate matter from "review every error that students make!". If the latter is interesting it would be better to explore it in another thread. – T.. Oct 26 '10 at 15:22
  • 1
    @T.. Title has been edited as per your suggestion. – Ami Oct 26 '10 at 15:34
  • It is a little awkward as a title (I meant the text of the question!) but I edited it. Maybe someone else has a better title for this. – T.. Oct 26 '10 at 15:48
  • You may want to read the following from David Mumford about the Italian school of Algebraic Geometry: http://ftp.mcs.anl.gov/pub/qed/archive/209. – Andrés E. Caicedo Jun 18 '13 at 14:14

15 Answers15

18

Many well-educated people believe that a p-value is the probability that a study conclusion is wrong. For example, they believe that if you get a 0.05 p-value, there's a 95% chance that your conclusion is correct. In fact there may be less than a 50% chance that the conclusion is correct, depending on the context. Read more here.

John D. Cook
  • 7,038
15

I recently caught myself thinking that the formula for the determinant of a 2-by-2 matrix also works for a block matrix, i.e. $\det (A B; C D) = \det(A)\det(D) - \det(B)\det(C)$.

yatima2975
  • 1,354
11

Every torsion-free Abelian group is free.

(This only holds for finitely generated Abelian groups.)

Rasmus
  • 18,404
8

The question I've heard on many levels (including the grad level): what is the square root of $a^2$? And everyone says: it's $a$!

In fact it is $|a|$.

Newb
  • 17,672
  • 13
  • 67
  • 114
PPJ
  • 458
7

I have seen this one time too many $$\frac{a}{b}+\frac{c}{d}=\frac{a+c}{b+d}$$

  • 6
    Interestingly, the fraction (a+c)/(b+d) is useful. Of course it's not the sum of a/b and c/d, but it is part of constructing the Farey sequence and is important in finding rational approximations. – John D. Cook Oct 27 '10 at 11:36
  • @John D. Cook: Agree, I did not know this. I found the following http://en.wikipedia.org/wiki/Mediant_%28mathematics%29 – AD - Stop Putin - Oct 27 '10 at 12:33
  • 1
    Somewhat related with Simpson's paradox http://en.wikipedia.org/wiki/Simpson's_paradox – leonbloy Sep 03 '11 at 17:13
7

To generalize a few of the answers, for pretty much any function, someone somewhere will make the mistake of treating it as if it is linear in all of its variables. Thus we get: $e^a + e^b = e^{a+b}$, $\sqrt{a + b} = \sqrt{a} + \sqrt{b}$, $a/(b+c) = a/b + a/c$, ...

5

These are 2 instances which i have seen to happen with my friends. If $A$ and $B$ are 2 matrices, then they believe that $(A+B)^{2}=A^{2}+ 2 \cdot A \cdot B +B^{2}$.

Another mistake is if one i asked to solve this equation, $ \displaystyle\frac{\sqrt{x}}{2}=-1$, people generally square both the sides and do get $x$ as $4$.

  • I had posted this on MO, and i am posting this here as well as this appears elementary. –  Oct 26 '10 at 04:35
  • 2
    More generally, people simplify X to Y by saying "if X, then Y". They forget that they also need "if Y, then X". In other words, "Sqrt[x] = -2" implies "x=4" (vacuously), but the converse is false. I blame our telling students "you can do anything to both sides of an equation, as long as it's the same thing". That's true, but we should add "most of the time, you want to make sure you can undo it too". –  Apr 05 '11 at 05:28
  • 3
    Actually "you can do anything to both sides of an equation, as long as it's the same thing" is exactly right for deriving new equations from old ones. I think the problem is probably that most students don't realise that solving an equation is the exact opposite procedure. – gfes Jun 06 '11 at 02:37
3

Recently, a friend of mine pointed out the following to me:

The open unit disc $D\subset\mathbb{C}$ is not biholomorphic to all of $\mathbb{C}$.

Indeed they are diffeomorphic, but we can easily see that they are not biholomorphic since if there was a biholomorphism $\phi:\mathbb{C}\rightarrow D$, then consider the function $f:D\rightarrow\mathbb{C}$ given by $f(z)=z$. It is obviously holomorphic and non-constant. But then $f\circ\phi$ would be holomorphic, non-constant and bounded, which is a contradiction to Liouville's theorem.

(In fact, the same argument holds to prove that there is no surjective holomorphic function from the whole of $\mathbb{C}$ to any bounded domain.)

3

Both my students and some of my colleagues (!) believe that the graph of a function cannot cross a horizontal asymptote. Obviously this implies that they misunderstand the definition of an asymptote. More worryingly (in my eyes), it also seems to imply that they don't understand why we even care about asymptotes.

Alex Basson
  • 4,231
2

The null factor law is as follows: $$ab = 0 \Rightarrow (a = 0) \vee (b = 0).$$ This law applies for real numbers, as well as polynomials which is where the law is most commonly envoked. I have seen far too many instances of the following incorrect generalisation: $$ab = c \Rightarrow (a = c)\vee(b = c).$$

1

I have seen this many times:

$$a^2 + a^3 = a^5$$

Djaian
  • 582
1
  • If $V$ is a finite dimensional normed vector space and $A$ is convex compact, then there is a unique $y\in A$ minimizing the distance from $0$ to $A$ (uniqueness doesn't need to hold, for example, for $\mathbb{R}^n$ with the max-norm).
  • If $\exp(A) \exp(B)=\exp(A+B)$, then $A$ and $B$ commute (doesn't hold for some matrices)
Peter Franek
  • 11,522
1

An error that I often see with my students, and that I made myself when I was a student :

Let $f$ be a function on $\mathbb R\mapsto \mathbb R$ and $f'$ its derivative.

Then if $\lim_{x\rightarrow\infty} f'(x)=0$ then $f$ is bounded ($\lim_{x\rightarrow\infty} f(x)<\infty$).

Xoff
  • 10,310
  • I've seen this one more explicitly with infinite sums - if $\lim_{n \to \infty} a_n = 0$, then obviously $\sum_{n=0}^\infty a_n$ converges. – Sten Jun 18 '14 at 13:43
  • @Sten, yes, it is the same mistake. – Xoff Jun 18 '14 at 19:07
  • 1
    I'm not sure whether to think this is a 'silly' mistake to make or not. I would think it's clear why someone would think this might be true, but on the other hand it isn't hard to find a counter example. $\ln(x)$ would do! – FireGarden Jun 18 '14 at 23:00
  • @FireGarden, as many little mistakes, it's not a real problem if done only once. – Xoff Jun 19 '14 at 15:25
0

Many students struggle to understand why the dream of Freshmen is true in some cases. More precisely, they just cannot accept in a commutative ring of characteristic $p$, the fomula $$ (x+y)^p=x^p+y^p $$ is true. Probably many people believe such an equlity is false for their whole life, because it is false in $\mathbb{R}$.

Ma Joad
  • 7,420
0

A question on this site asks for examples of normed vector spaces, an answer says something to the effect:

The field of rationals , seen as a vector space over itself, together with the norm inherited from $\mathbb{R}$, forms an incomplete normed space.

This is wrong because the definition of a normed vector space requires a vector space over $\mathbb{R}$ or $\mathbb{C}$ from the outset. Besides, the vector space of $\mathbb{Q}$ over $\mathbb{Q}$ is one-dimensional, but finite-dimensional normed spaces are complete.

Imperton
  • 151