Examples of common false beliefs in mathematics

Question

The first thing to say is that this is not the same as the question about interesting mathematical mistakes. I am interested about the type of false beliefs that many intelligent people have while they are learning mathematics, but quickly abandon when their mistake is pointed out -- and also in why they have these beliefs. So in a sense I am interested in commonplace mathematical mistakes.

Let me give a couple of examples to show the kind of thing I mean. When teaching complex analysis, I often come across people who do not realize that they have four incompatible beliefs in their heads simultaneously. These are

(i) a bounded entire function is constant;
(ii) $\sin z$ is a bounded function;
(iii) $\sin z$ is defined and analytic everywhere on $\mathbb{C}$;
(iv) $\sin z$ is not a constant function.

Obviously, it is (ii) that is false. I think probably many people visualize the extension of $\sin z$ to the complex plane as a doubly periodic function, until someone points out that that is complete nonsense.

A second example is the statement that an open dense subset $U$ of $\mathbb{R}$ must be the whole of $\mathbb{R}$. The "proof" of this statement is that every point $x$ is arbitrarily close to a point $u$ in $U$, so when you put a small neighbourhood about $u$ it must contain $x$.

Since I'm asking for a good list of examples, and since it's more like a psychological question than a mathematical one, I think I'd better make it community wiki. The properties I'd most like from examples are that they are from reasonably advanced mathematics (so I'm less interested in very elementary false statements like $(x+y)^2=x^2+y^2$, even if they are widely believed) and that the reasons they are found plausible are quite varied.

Answer 1

False belief. If a family $(x_n)_{n\geq 1}$ is commutatively convergent (i.e. summable) in a normed space $(V,\|\ \|)$ then $$ \sum_{n\geq 1} \|x_n\|<+\infty\ . $$

This is true in finite dimensions and has counterexamples in infinite dimensions. Details and counterexamples can be found there.

Recall that a family $(x_i)_{i\in I}$ is called summable with sum $S$ iff $$ (\forall \epsilon>0)(\exists F\subset_{finite} I)(\forall F_1\subset_{finite} I)(F\subset F_1\Longrightarrow\\ \|S-\sum_{i\in F_1}x_i\|<\epsilon) $$ This is equivalent with commutative convergence in case $I\subset \mathbb{N}$ is infinite.

Answer 2

While this example was already mentioned by Skopenkov in a comment, here it is, explicitly:

If $G\times X\to X$ is a free continuous action of a compact metrizable group on a compact metrizable space $X$, then $X\to X/G$ is a principal $G$-bundle.

This is true if $G$ is a Lie group (Gleason) and, more generally, for proper Lie group actions on locally compact spaces (Palais), but false in general (the example is essentially due to Kolmogorov), see:

R. F. Williams, A useful functor and three famous examples in topology. Trans. Amer. Math. Soc. 106 (1963) 319–329.

In this example, $\dim(X/G)=2, \dim(X)=1$.

Answer 3

Some things from pseudo-Riemannian geometry are a bit hard to swallow for students who have had previous exposure to Riemannian geometry. Aside from the usual ones arising from sign issues (like, in a two dimensional Lorentzian manifold with positive scalar curvature, time-like geodesics will not have conjugate points), an example is that in Riemannian manifolds, connectedness + geodesic completeness implies geodesic connectedness (every two points is connected by a geodesic). This is not true for Lorentzian manifolds, and the usual example is the pseudo-sphere.

Answer 4

An incredibly common false belief is:

For a (say smooth, projective) algebraic variety $X$ the $K_X$-negative part of the cone $NE(X)$ is locally polyhedral.

A right statement of the theorem of the cone is

$\overline{NE(X)} = \overline{NE(X)}_{K_X \geq 0} + \sum_{i} \mathbb{R}[C_i]$ for a denumerable set $\{ C_i \}$ of rational curves, which accumulate at most on the hyperplane $K_X = 0$.

At a first glance this seems to imply that $\overline{NE(X)}_{K_X < 0}$ is locally poyhedral, but this is not true. It depends on the shape of the intersection $\overline{NE(X)} \cap \{ K_X = 0 \}$.

For instance if this latter intersection is round, and there is only one curve $C_i$, the half-cone $\overline{NE(X)}_{K_X < 0}$ is actually a circular cone! Definitely not polyhedral in any sense. I believe this behaviour can happen even with varieties birational to abelian varieties.

The strange thing about this false belief is that it is held true by many competent mathematicians (and indeed I don't believe that many undergraduates meet the theorem of the cone!).

Answer 5

"the quadratic variation of a Brownian motion between $0$ and $T$ is equal to $T$"

this is only true that if $\mathcal{D}^N$ is a nested sequence of partitions of $[0,T]$ (with mesh size going to $0$) then the quadratic variation of a Brownian motion along these partitions converges towards $T$, almost surely. If we define the quadratic variation of a continuous function $f$ as we would like to, $$Q(f,[0,T]) = \sup_{0=t_0<\ldots, t_n=T } \sum |f(t_k)-f(t_{k+1})|^2,$$ then the Brownian paths have almost surely infinite quadratic variation.

This was something I had never noticed until I read the wonderful book "Brownian motion" by Peter Morters and Yuval Peres.

Answer 6

The fundamental group of the Klein bottle is $D_\infty$, the infinite dihedral group (which is $\mathbb Z \rtimes \mathbb Z_2$).

I believed this for some time, and I seem to recall some others having the same confusion.

The group that has been mistaken for $D_\infty$ is in fact $\mathbb Z \rtimes\mathbb Z$, which can also be written with the presentation $x^2y^2=1$. The former abelianizes to $\mathbb Z_2\oplus \mathbb Z_2$, the latter to $\mathbb Z\oplus \mathbb Z_2$.

A 2-dimensional Lie group is a product of circles and lines, in particular it is abelian.

I don't know if anyone else suffered this one. The mistake is (a) in forgetting that the classification of surfaces doesn't apply since homeomorphic Lie groups are not necessarily isomorphic (e.g., the (bijective, orientation preserving) affine transformations $x\mapsto ax+b$, where $a>0, b\in \mathbb R$ are homeomorphic to $\mathbb R^2$, though not isomorphic) and (b) that Lie groups aren't necessarily connected, in particular $\mathbb R^2$ cross any finite non-abelian group is non-abelian.

Answer 7

This is more of a false philosophy than a clear mistake, but nevertheless it is very common:

A compact topological space must be "small" in some sense: it should be second countable or separable or have cardinality $ \le 2^{\aleph_0}$, etc.

This is all true for compact metric spaces, but in the general case, Tychonoff's theorem gives plenty of examples of compact spaces which are "huge" in the above sense.

Answer 8

Teaching introduction to analysis, I had students using the "fact" that if $f: [a,b] \rightarrow \mathbb{R}$ is continuous, then $[a,b]$ can be divided to subintervals $[a,c_1],[c_1,c_2],...,[c_n,b]$ such that $f$ is monotone on every subinterval. For instance you can use this "fact" to "prove" the (true) fact that $f$ must be bounded on $[a,b]$. Also, some students used the same "fact", but with countably many subintervals. I found this mistake hard to explain to students, because constructing a counterexample (such as the Weierstrass function) is impossible at the knowledge level of an introduction course.

Answer 9

Many students believe that every abelian subgroup is a normal subgroup.

Answer 10

"Let $E$ be a complete locally convex topological vector space (or a complete topological vector space or a complete topological group) and let $F$ be closed vector subspace (or a closed subgroup). Then the quotient $E/F$ is complete."

This just has to be true. One can almost see the proof. And in fact it is true for Banach spaces. So it has to be true for locally convex spaces as well.

Another one with completions:

"Every topological group is a dense subgroup of a complete topological group." True for abelian groups but false in general (take the homeomorphism group of $[0,1]$ with the compact open topology)

Answer 11

If $H$ and $K$ are subgroups of $G$, then $HK$ is a subgroup of $G$.

Answer 12

When I was studying Banach spaces, I was confused with the following: We know that, in any Banach Space $V$, the closed unit ball is compact in the topology generated by the norm if, and only if, the dimension of $V$ is finite. But thinking about $\mathbb R$ as a vector space over $\mathbb Q$, we have an infinite-dimensional vector space which is complete in the norm (given by the modulus) but the closed unit ball is, of course, compact in topology generated by the norm.

I took some time to discover that my mistake was that I thought about $\mathbb R$ over $\mathbb Q$ as a Banach space. In fact, this vector space is a complete metric space (in the sense of Cauchy sequences), but I realized later that the word Banach space is reserved only for vector spaces defined over the fields $\mathbb R$ or $\mathbb C$.

Answer 13

As a student, I thought (for quite a while) that our textbook had stated that tensoring commutes with taking homology groups. It wasn't until calculating the homology groups of the real projective plane over rings Z and Z/2Z that I realized my mistake.

Answer 14

Draw the graph of a continuous function $f$ (from $\mathbb{R}$ to $\mathbb{R}$). Now draw two dashed curves: one which everywhere a distance $\epsilon$ above the graph of $f$ and one which is everywhere a distance $\epsilon$ below the graph of $f$. Then the open $\epsilon$-ball around $f$ (with respect to the uniform norm) is all functions which fit strictly between the two dashed curves.

Answer 15

"If a field $K$ has characteristic 0 and $G$ is a group, then all $KG$-modules are completely reducible."

True for finite groups but very false in general.

Answer 16

1- A very common mistake that 1st year students (but not even a single mathematician) think that it is true is "a transitive and symmetric relation on a set is reflexive". But as the empty set is a transitive and symmetric relation but not reflexive on any non-empty set. Of course there lots of non-trivial examples also.

2- Another common mistake is that the expression "countable union of countable sets is again countable" is independent of axiom of choice (AC). Many people make the proof of this statement without mentioning axiom of choice. Indeed, in his holly book Algebra, Lang proves this statement just by taking an ordering from each countable set and continues without the mentioning AC.

Answer 17

False belief: A function being continuous in some open interval implies that it is also differentiable on some point in that interval:

Counterexample:

The Weierstrass function is an example of a function that is continuous everywhere but differentiable nowhere:

$f(x) = \sum_{n=0}^\infty a^n \cos(b^n \pi x)$

Where $a \in (0, 1)$, $b$ is a positive odd integer, and $ab > 1 + \frac{3\pi}{2}$. The function has fractal-like behavior, which leads to it not being differentiable. This notion is rather disheartening to most calculus students, though.

Answer 18

If $A$ and $D$ are $n \times n$ matrices and $D$ is diagonal, then $A \cdot D=D \cdot A$.

Many of my Linear Algebra students believe this, also because it's written in the textbook in some form, but it's only true if $D$ is a multiple of the identity matrix or if both $A$ and $D$ are diagonal.

Answer 19

Some undergraduate common false beliefs that I found

(1) If $H$ is a subgroup of $\mathbb{Z}$ and $H$ and $\mathbb{Z}$ are isomorphic, then $H = \mathbb{Z}$;

(2) In a metric space every two open balls are homeomorphic;

(3) For $ \ p \in [1, \infty] \, $, $ \, L^p(X, \mathfrak{M}, \mu) = \big\{ f \in \mathbb{C}^X : \int_X |f|^p \, d \mu < \infty \big\} \, $ is a $\mathbb{C}$-normed vector space, with norm $ \ \lVert f \rVert_p = \big( \int_X |f|^p \, d \mu \big)^{1/p} \, $.

Belief (1) is very naive, for every nontrivial subgroup of $\mathbb{Z}$ is of the form $n \mathbb{Z}$, all of them isomorphic to $\mathbb{Z}$. For (2) people tend to think of normed vector spaces and forget the discrete metric spaces. For (3) some people just forget that one have to consider the quotient space, where the classes $[f]=[g] \ $ iff $ \ f=g \ $ $\mu$-almost everywhere.

Answer 20

"A real symmetric matrix is positive-definite iff all the leading principal minors are positive, and positive-semidefinite iff all the leading principal minors are nonnegative."

This paper collects some evidence that this belief is "common", and presents a counterexample (of size $3\times 3$. Exercise: find an example of size $2\times 2$).

(Related to, but not the same as this answer.)

Answer 21

Two very common errors I see in (bad) statistics textbooks are

(i) zero 3rd moment implies symmetry (though generally stated in terms of "skewness", where skewness has just been defined as a scaled third moment)

(ii) the median lies between the mean and the mode

(I have seen a bunch of related errors as well.)

Another one I often see is some form of claim that the t-statistic goes to the t-distribution (with the usual degrees of freedom) in large samples from non-normal distributions.

Even if we take as given that the samples are drawn under conditions where the central limit theorem holds, this is not the case. I have even seen (flawed) informal arguments given for it.

What does happen is (given some form of the CLT applies) Slutzky's theorem implies that the t-statistic goes to a standard normal as the sample size goes to infinity, and of course the t-distribution also goes to the same thing in the limit - but so, for example, would a t-distribution with only half the degrees of freedom - and countless other things would as well.

The first two errors are readily demonstrated to be false by simple counterexample, and to convince people that they don't have the third usually only requires pointing out that the numerator and denominator of the t-statistic won't be independent if the distribution is non-normal, or any of several other issues, and they usually realize quite quickly that you can't just hand-wave this folk-theorem into existence.

Answer 22

An elementary false belief in elementary number theory: for $a, b, c\hspace{.1cm}\varepsilon\hspace{.1cm} \mathbb{N}$

$LCM\left(a,b\right)\times GCF\left(a,b\right) = ab$ .

Thus, $LCM\left(a,b,c\right)\times GCF\left(a,b,c\right) = abc$.

In general, $\left(a_1,a_2,\ldots,a_n\right)[a_1,a_2,\ldots,a_n] = a_1a_2\ldots a_n$.

Answer 23

A possible false belief is that "a maximal Abelian subgroup of a compact connected Lie group is a maximal torus". Think of the $\mathbf Z_2\times\mathbf Z_2$-subgroup of $SO(3)$ given by diagonal matrices with $\pm1$ entries.

Answer 24

Let $B(r_1) \subset B(r_2)$ be two open balls of radius $r_1$ and $r_2$ respectively. Then $r_1 \leq r_2$.

Bounded metric spaces give trivial counterexamples. Also, $B \left( \frac{1}{6}, \frac{2}{3} \right) \subsetneq B \left( \frac{1}{2}, \frac{1}{2} \right)$ in $(0,+ \infty)$.

Answer 25

Multiplication of differential forms is inherently anti-commutative. Thus, if $x$ and $y$ are coordinates on a surface, then $dx \wedge dy$ makes sense but $(dx)^2+(dy)^2$ is either nonsense or, if it means anything, is $0$.

I'm not sure why I believed this, but I did for several years. I tried my best to avoid creating this impression in my students, but I think it still happened in some of them, simply because the curriculum spends a lot of time on integration and Stokes theorem and very little time on metrics, curvature, etc.

Answer 26

"This algebraic variety is a $C^\infty$-smooth manifold, therefore it must be non-singular". This sounds obvious (and in fact it is true over $\mathbb{C}$) however it is false in general (for instance over $\mathbb{R}$). See the discussion here for many details.

Answer 27

Yet another common false belief is :

"For non constant periodic functions $f: \mathbb{R} \to \mathbb{R}$ and $g: \mathbb{R} \to \mathbb{R}$ with smallest positive periods $p_1 , p_2$ respectively, the sum $f+g$ is periodic if and only if $\frac{p_1}{p_2}$ is rational."

One side of the statement above is true (the latter implies the former, but the former does not necessarily imply the latter. (But it's true for continuous functions.)

As an exercise one may like to prove the following : (Source : Miklos Schweitzer competition)

Given any two positive real numbers $p_1,p_2$, there exists functions $f_1 : \mathbb{R} \to \mathbb{R}$ with smallest positive period $=p_1$, and $f_2 : \mathbb{R} \to \mathbb{R}$ with smallest positive period $=p_2$, such that $f_1+f_2$ is also periodic.

One more interesting false belief is :

"If $f: \mathbb{R} \to \mathbb{R}$ is a continuous function taking unequal values at points $x_1,x_2 \in \mathbb{R}$ with $x_1 < x_2$ then there is some sub-interval of $(x_1,x_2)$ on which $f$ is either strictly increasing or strictly decreasing."

This is wrong. Among the most familiar counterexamples is the Devil's staircase.

I believe this false belief is often due to the habit of seeing continuous functions wearing the glasses provided by the Intermediate Value Property these functions have.

Addendum : Some nice examples from Wikipedia, here : https://en.wikipedia.org/wiki/Normally_distributed_and_uncorrelated_does_not_imply_independent

Answer 28

I just learned incidentally in the comments of another question here that it is not true that every proper subgroup is contained in a maximal (proper) subgroup. A counterexample is easy to find: the additive group $\mathbb{Z}[\frac{1}{2}]$ has no maximal proper subgroup. But the confusion with proper ideals which are contained in a maximal (proper) ideal, by Zorn's lemma, is certainly something that will surprise others. (The reason for the difference, as I see it, is that in the case of ideals we can detect properness by $1 \notin I$, whereas for subgroups there is no such criterion.)

Answer 29

Here's one I was reminded recently during lunch in the common room.

A maximal abelian subalgebra of a semisimple Lie algebra is a Cartan subalgebra.

This is true for compact real forms of semisimple Lie algebras, but fails in general. The missing condition is that the subalgebra should equal its normaliser.

Answer 30

Consider the following well-known result: Let $(E,\leq)$ be an ordered set. Then the following are equivalent: (i) Every nonempty subset of $E$ has a maximal element. (ii) Every increasing sequence in $E$ is stationary.

It is immediate that (i) implies (ii). To prove the converse, one assumes that (i) is false and then "constructs step by step" a strictly increasing sequence.

The common mistake (which I have seen in textbooks) is to describe the latter construction as a proof by induction. In fact, the construction uses the axiom of choice (or at least the dependent choice axiom).

(As a special case, I don't think ZF can prove that every PID is a UFD.)