768
$\begingroup$

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.

$\endgroup$
  • 101
    $\begingroup$ I have to say this is proving to be one of the more useful CW big-list questions on the site... $\endgroup$ – Qiaochu Yuan May 6 '10 at 0:55
  • 25
    $\begingroup$ The answers below are truly informative. Big thanks for your question. I have always loved your post here in MO and wordpress. $\endgroup$ – Unknown May 22 '10 at 9:04
  • 21
    $\begingroup$ wouldn't it be great to compile all the nice examples (and some of the most relevant discussion / comments) presented below into a little writeup? that would make for a highly educative and entertaining read. $\endgroup$ – Suvrit Sep 20 '10 at 12:39
  • 20
    $\begingroup$ It's a thought -- I might consider it. $\endgroup$ – gowers Oct 4 '10 at 20:13
  • 24
    $\begingroup$ Meta created tea.mathoverflow.net/discussion/1165/… $\endgroup$ – user9072 Oct 8 '11 at 14:27

248 Answers 248

11
$\begingroup$

Here's a mistake I've seen from students taking a first course in linear analysis. For a vector $g$ in a Hilbert space $H$, it is true that $\langle f,g\rangle=0$ for every $f\in H$ implies $g=0$. This leads us to the mistaken:

“Let $(g_n)$ be a sequence in $H$. If, for every $f\in H$, $\langle f,g_n\rangle\to0$, then $g_n\to 0$.”

$\endgroup$
  • $\begingroup$ You wrote: "Here's a mistake I've seen from students taking a first course in linear analysis." Then you wrote: "For a vector $g$ in a Hilbert space, $\langle f,g\rangle$ for every $f \in H$ implies $g = 0$." At this point the reader could be wondering what that is a mistake. $\endgroup$ – Michael Hardy Dec 1 '10 at 22:35
  • $\begingroup$ ....sorry; I meant "$\langle f,g \rangle = 0$ for every[....]" $\endgroup$ – Michael Hardy Dec 1 '10 at 22:36
  • 3
    $\begingroup$ @Michael: all answers are CW; so if we think some wording needs clarifying, we can do it ourselves! $\endgroup$ – Peter LeFanu Lumsdaine Dec 2 '10 at 0:43
11
$\begingroup$

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.

$\endgroup$
  • 2
    $\begingroup$ For big-list questions, it's usually best to post independent answers as separate answers. $\endgroup$ – Nate Eldredge Dec 2 '10 at 15:13
  • 3
    $\begingroup$ +1 for #2. Baby Rudin is another offender. And many authors use so-called "diagonalization tricks" for proving compactness theorems like Arzela-Ascoli and Prohorov, which typically reduce to the compactness of $[0,1]^\mathbb{N}$. $\endgroup$ – Nate Eldredge Dec 2 '10 at 15:21
  • $\begingroup$ Isn't the more right statement that a transitive and irreflexive relation is assymetric? $\endgroup$ – Zsbán Ambrus Dec 4 '10 at 22:46
11
$\begingroup$

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.

$\endgroup$
  • 2
    $\begingroup$ Fu... I just "proved" that again as an exercise a few days ago. $\endgroup$ – Johannes Hahn Mar 6 '13 at 0:02
11
$\begingroup$

This is a common error made by mature mathematicians in many books and papers in analysis, especially in differential equations: If $X$ is a closed subspace of a Banach space $Y$, then the $Y^*$ (the dual of $Y$) is isomorphic to a subspace of $X^*$ (the dual of $X$). It is false (of course) since Euclidian space $\mathbb R$ is a subspace of $\mathbb R^2$, yet the dual of $\mathbb R^2=\mathbb R^2$ is not isomorphic to a subspace of the dual of $\mathbb R=\mathbb R$. I guess, sometimes they really, really want it to be true. Cheers Boris

$\endgroup$
  • $\begingroup$ I'll take your word for it, but since that statement is false even without introducing norms and topology, it staggers me that people could even believe that. They might say it without thinking, I guess $\endgroup$ – Yemon Choi Oct 20 '10 at 2:58
  • 4
    $\begingroup$ I would also be shocked if this really gets believed often! It seems to be a sort of “mis-dualisation”: they dualise “$X$ is a subobject of $Y$” to “$Y^*$ is a subobject of $X^*$”, where the correct dual is “$X^*$ is a quotient of $Y^*$”. $\endgroup$ – Peter LeFanu Lumsdaine Dec 1 '10 at 15:19
11
$\begingroup$

A Banach space $X$ is reflexive if it is isomorphic to its double dual ${X^*}^*$.

(Couldn't find this is the list…)

$\endgroup$
  • 3
    $\begingroup$ Even isometric fails. (Lindenstrauss & Tzafriri, in the '60s I believe.) $\endgroup$ – Hachino May 12 '15 at 8:19
11
$\begingroup$

$\mathbb{R}^2$ has a unique complex manifold structure; it's just $\mathbb{C}$ right?

$\endgroup$
11
$\begingroup$

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$.

$\endgroup$
10
$\begingroup$

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$.

$\endgroup$
  • 10
    $\begingroup$ You can define Banach spaces over any complete field. For example, one can define p-adic Banach spaces. But Q isn't complete with respect to any of its norms. $\endgroup$ – Qiaochu Yuan May 4 '10 at 22:14
  • 2
    $\begingroup$ In fact the Theorem I mentioned in my answer, is based on the Riesz lemma and this lemma is not valid if the scalar fields is not complete. $\endgroup$ – Leandro May 4 '10 at 22:34
  • 1
    $\begingroup$ @QiaochuYuan ...unless you use the trivial norm. $\endgroup$ – Mario Carneiro Oct 20 '15 at 21:16
10
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ For example, the usual proof of Schur's theorem on commutative algebras of matrices produces abelian Lie subalgebras of $\mathfrak{sl}_n$ much larger than the rank of $\mathfrak{sl}_n$. $\endgroup$ – Mariano Suárez-Álvarez Aug 4 '10 at 23:41
  • $\begingroup$ Yes, my favourite example (being a physicist) is the stabiliser in $\mathfrak{so}(1,n)$ of a nonzero zero-norm vector in $\mathbb{R}^{1,n}$ for $n>4$. The stabiliser contains an abelian ideal (infinitesimal null rotations) of dimension $n-1$. $\endgroup$ – José Figueroa-O'Farrill Aug 5 '10 at 0:02
  • $\begingroup$ I meant to write $n>3$ above. $\endgroup$ – José Figueroa-O'Farrill Aug 5 '10 at 0:03
  • 2
    $\begingroup$ ``The missing condition is that the subalgebra should equal its normaliser'', or that the subalgebra consists of semisimple elements, no? (That provides another perspective on why it's true for compact real forms.) $\endgroup$ – LSpice Dec 12 '13 at 23:26
10
$\begingroup$

"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.

$\endgroup$
10
$\begingroup$

I have heard the following a few times :

"If $f$ is holomorphic on a region $\Omega$ and not one-to-one, then $f'$ must vanish somewhere in $\Omega$."

$f(z)=e^z$ of course is a counterexample.

$\endgroup$
  • 1
    $\begingroup$ is it true though if the image is simply-connected? $\endgroup$ – KotelKanim Apr 17 '11 at 11:33
  • $\begingroup$ thanks. that's great. I never thought about it before, but it just sounded right... $\endgroup$ – KotelKanim Apr 19 '11 at 7:46
  • 3
    $\begingroup$ No true. Take $f(z)=z^3-3z$ and restrict it to the complement of $\lbrace 1,-1\rbrace$ so that $f'(z)$ is never $0$. It maps this domain onto $\mathbb C$. $\endgroup$ – Tom Goodwillie May 4 '11 at 0:16
  • $\begingroup$ @TomGoodwillie: what if both domain and image are simply-connected? $\endgroup$ – Michael Dec 3 '13 at 0:45
10
$\begingroup$

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.

$\endgroup$
  • $\begingroup$ More or less along the same lines, one is usually lead to think that "every topological space is Hausdorff". $\endgroup$ – Marco Golla May 4 '11 at 14:43
10
$\begingroup$

I don't know how common this mistake is, but I think it's worth mentioning. I used to think that existence of non-measurable sets is guaranteed by the axiom of choice only.

In the presence of AC, there cannot be a $\sigma$-additive measure on $\mathcal{P}(\mathbb{R})$ that extends the usual Lebesgue measure.

It is true that we cannot extend the Lebesgue measure in a translation-invariant way by various Vitali set constructions. On the other hand, if you do not insist that the extension is translation-invariant, it might be possible to do this relative to a real-valued measurable cardinal assumption.

Theorem (Ulam): If there exists a cardinal $\kappa$ such that there exists an atomless $\kappa$-additive probability measure on $\mathcal{P}(\kappa)$, then there exists a $\sigma$-additive measure on $\mathcal{P}(\mathbb{R})$ extending the Lebesgue measure.

$\endgroup$
  • $\begingroup$ I think you need $\kappa\leq\frak c$, no? $\endgroup$ – Asaf Karagila Jan 22 '15 at 14:44
  • $\begingroup$ @AsafKaragila: I believe the assumption that our measure is atomless already implies that $\kappa \leq 2^{\omega}$. $\endgroup$ – Burak Jan 22 '15 at 14:45
  • $\begingroup$ Take any measurable cardinal, then there is an atomless probability measure on its power set. It's just that an event is either improbable or its negation is improbable. Unless by probability measure you mean it obtains many values, not just two. $\endgroup$ – Asaf Karagila Jan 22 '15 at 14:48
  • $\begingroup$ Isn't that measure atomic if you are deriving it from the ultrafilter? (By an atom, I mean any $A$ of positive measure such that for any $B \subseteq A$ either $\mu(B)=0$ or $\mu(B)=\mu(A)$). I will have to catch a course now but the theorem I referred to should be in Kanomori (indeed, I checked the pdf and it is Theorem 2.5) $\endgroup$ – Burak Jan 22 '15 at 14:53
  • $\begingroup$ Ohhhh, right. I was thinking about atoms in the sense of Boolean algebra, as minimal positive elements. Thanks for the clarification! $\endgroup$ – Asaf Karagila Jan 22 '15 at 14:55
10
$\begingroup$

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

$\endgroup$
  • $\begingroup$ And many other students believe every normal subgroup is an abelian subgroup. $\endgroup$ – Gerry Myerson Jul 3 '18 at 22:49
  • $\begingroup$ and many believe that a subgroup of an abelian group is normal (which I also believe). $\endgroup$ – user137767 Apr 16 at 21:17
10
$\begingroup$

"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)

$\endgroup$
10
$\begingroup$

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.

$\endgroup$
  • 5
    $\begingroup$ I particularly like Grothendieck's version of this. He proves that unconditional convergence is the same as absolute convergence for a locally convex space if and only if it is nuclear, i.e. every continuous linear map to a normed space is a nuclear map. The falsity of this belief then follows from the fact that a nuclear normed space is finite dimensional. $\endgroup$ – Robert Furber Feb 17 '18 at 7:44
  • $\begingroup$ @RobertFurber Thank you for this learned description (+1) $\endgroup$ – Duchamp Gérard H. E. Feb 17 '18 at 8:03
9
$\begingroup$

I saw many students using the "fact" that for a subset $S$ of a group one has $SS^{-1}=\{e\}$

$\endgroup$
  • 5
    $\begingroup$ This is an interesting example, because it addresses the mistakes that come from the all-too frequent confusion with notations. But we need our shortcuts, our $f^{-1}(x)$ versus $x^{-1}$, etc. Obtaining concise notations while avoiding confusion: a tricky proposition! $\endgroup$ – Thierry Zell Apr 14 '11 at 15:50
9
$\begingroup$

If $\alpha>0$ is not an integer, the set of functions $f:[a,b]\rightarrow\mathbb R$ such that $$\sup_{y\ne x}\frac{|f(y)-f(x)|}{|y-x|^\alpha}<+\infty$$ is ${\mathcal C}^\alpha([a,b])$.

False for $\alpha>1$, because this set contains only constant functions.

$\endgroup$
9
$\begingroup$

Probably my fault for not paying enough attention in analysis, but:

Any continuous function on the interval that has derivative equal to zero almost everywhere is constant.

$\endgroup$
9
$\begingroup$

A polynomial $p(x)$ of degree $n$, with coefficients in a commutative ring $R$, has at most $n$ roots, counting multiplicity. This is true if $R$ is an integral domain, but it can fail in the presence of zero divisors.

For instance, $p(x) = x^2+5x$ has four solutions when $R = \mathbb{Z}/6\mathbb{Z}$. I realized this mistake when a colleague asked me about factorization over a non-commutative ring, and I realized that I did not even know what would happen in the presence of zero-divisors.

This does motivate a question I have not found an answer to: is the number of solutions of $p(x)$ bounded by a function of the degree and the characteristic of the ring?

$\endgroup$
  • 6
    $\begingroup$ To answer your last question, $x^2-1$ has an infinite number of roots in $k^{\mathbb{N}}$ for any nonzero ring $k$. So, no. $\endgroup$ – Gro-Tsen Apr 20 '16 at 17:00
  • 2
    $\begingroup$ Doesn't it only have one solution in $k^\mathbb{N}$ if $k$ has characteristic 2, @Gro-Tsen? $\endgroup$ – Omar Antolín-Camarena Apr 20 '16 at 17:36
  • 2
    $\begingroup$ @OmarAntolín-Camarena Oh right, what I wanted to write was $x^2-x$, and I got confused between "idempotent" and "one-potent"(?). But of course $x^2-1$ also works provided, as you point out, that $1\neq -1$ in $k$. $\endgroup$ – Gro-Tsen Apr 20 '16 at 20:31
9
$\begingroup$

I would like to turn the attention of mathematical community to a false beliefs related to the direct limit topologies.

Many years ago in the theory of topological groups there was a false belief that for every space $X$ the free topological group carries the topology of direct limit of the sequence $F_n(X)$ of words of length $\le n$. This illusion was broken up by Fay, Ordman and Thomas who showed that even for the space of rational numbers the free topological group $F(\mathbb Q)$ is not a $k$-space.

The problems with direct limit topologies is that for the direct limit $X=lim X_n$ of an increasing sequence $(X_n)$ of topological spaces the topology on $X\times X$ does not coincide with the direct limit topology of the sequence $ (X_n\times X_n)$.

Now specialists in General Topology and Topological Algebra are conscious of pathological behaviour of direct limit topologies and are careful with this delicate topic.

On the other hand, I was quite surprised lerning that in Algebraic Geometry this misbelief still is alive. For example, in this paper posted to arxiv (maybe it is already published) in the very introduction (on page 3) it is written that for any topological space $X$ the Ran space (of all non-empty finite subsets of $X$, endowed with the topology of direct limit of the sequence $R_n(X)$ of sets of cardinality $\le n$ in $X$) is a topological semilattice. But this is not true in general, see Proposition 4 here.

So, some false beliefs that have died in some areas of mathematics can be still alive in others. By the way, this situation also explains why mathematicians should not neglect general topology.

$\endgroup$
9
$\begingroup$

True: The solution operator of the linear one-dimensional time-dependent ordinary differential equation (ODE) $x' = a(t) x$ is $$ \exp\Bigl(\int\limits_{t_0}^{t} a(s) \, ds\Bigr). $$ True: The solution operator of the linear multi-dimensional time-independent ODE $x' = A x$ is $$ \exp\,(A(t - t_0)). $$ A quite popular misconception, even among research mathematicians:

The solution operator $\Phi(t;t_0)$ of the linear multi-dimensional time-dependent ODE $x' = A(t) x$ is $$ \exp\Bigl(\int\limits_{t_0}^{t} A(s) \, ds \Bigr), $$

perhaps strengthened by Liouville's formula:

$$ \det{\Phi(t;t_0)} = \exp\Bigl(\int\limits_{t_0}^{t} \operatorname{tr}{A(s)} \, ds\Bigr). $$

$\endgroup$
  • $\begingroup$ I am holding this belief right now. $\endgroup$ – Michael Apr 27 '18 at 23:26
  • $\begingroup$ Is there a simple expression that is true? $\endgroup$ – Hans May 3 '18 at 18:11
  • 2
    $\begingroup$ @Hans The Peano-Baker series is, in my opinion, simple, and converges where it should. There is a nice paper by Baake and Schlägel The Peano-Baker series, Proceedings of the Steklov Institute of Mathematics 275 (1) (2011), 155-159 (the paper is behind a paywall on the Publisher's page, but the authors put a copy on ResearchGate (researchgate.net/publication/47702535_The_Peano-Baker_series)). $\endgroup$ – user539887 May 4 '18 at 8:15
  • 2
    $\begingroup$ @Hans In contrast, the Magnus expansion is very complicated and may not converge except close to the initial time. $\endgroup$ – user539887 May 4 '18 at 8:20
  • 2
    $\begingroup$ @Hans Physicists refer to the time ordered exponential: en.wikipedia.org/wiki/Ordered_exponential $\endgroup$ – Phil Tosteson Aug 27 '18 at 14:58
8
$\begingroup$

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$.

$\endgroup$
  • $\begingroup$ Does GCF mean gcd (greatest common divisor) here? $\endgroup$ – Zsbán Ambrus Nov 27 '10 at 19:33
  • $\begingroup$ Yes. GCF means the same: Greatest Common Factor. $\endgroup$ – Unknown Nov 29 '10 at 6:46
  • 17
    $\begingroup$ This kind of stuff is easy to rule out, though; it's dimensionally inconsistent. Replacing a, b, c by ka, kb, kc leads to a quick contradiction. $\endgroup$ – Qiaochu Yuan Feb 24 '11 at 21:08
  • 1
    $\begingroup$ @Qiaochu, that is a nice quick check. Let the RCF(remnant common factor) be the leftover factor that would make the above second equality true. There seems to be no interesting way of determining $RCF\left(a,b,c\right)$ so that $LCM\left(a,b,c\right)\times RCF\left(a,b,c\right) \times GCF\left(a,b,c\right) = abc$ $\endgroup$ – Unknown Feb 24 '11 at 22:05
  • 2
    $\begingroup$ @Elohemahab: actually, the correct generalization is $\gcd(a, b, c) \text{lcm}(ab, bc, ca) = \text{lcm}(a, b, c) \gcd(ab, bc, ca) = abc$. $\endgroup$ – Qiaochu Yuan May 8 '11 at 23:47
8
$\begingroup$

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.

$\endgroup$
8
$\begingroup$

I have checked the existing answers, but I think this one is not given yet. Sorry, if I missed it.

Although the incompleteness theory of Gödel is generally correctly understood, the consequence of it has multiple false beliefs:

  • Due to the incompleteness theory it is not possible to make an AI. Humans will always be be superior to the AI. This assumes that human thinking is complete and will eventually find the answer on any question.

  • Due to the incompleteness theory, it is not possible to formalize mathematics. This is refuted by many proof systems, which can formalize almost all mathematics.

As side note, I think this is partly fueled how logic is taught. It puts more emphasis on impossibilities (incompleteness theory), than possibilities (a proof system).

$\endgroup$
  • $\begingroup$ +1. I always found it wrong that classes in logic put so much emphasis on negative results. (And I wish they had prepared me better for proof assistants... though I guess one semester does not suffice for the ones that exist today.) $\endgroup$ – darij grinberg Sep 5 '15 at 22:17
  • $\begingroup$ There's arguably too much fascination with incompleteness and not enough with completeness, which is more of a cornerstone of model theory. $\endgroup$ – Todd Trimble Sep 6 '15 at 1:50
8
$\begingroup$

Every matrix is the sum of a symmetric and an antisymmetric matrix. Hence:

If $V$ is a vector space and $k$ is a number, then the $k$-th tensor product of $V$ with itself decomposes as a direct sum into symmetric and antisymmetric tensors: $$ \underbrace{V \otimes ... \otimes V}_{k\text{ times}} = \Lambda^kV \oplus \mathrm{Sym}^kV $$

Recall (in the finite-dimensional case) the dimensions: $$ \dim \Lambda^k V = \binom{n}{k} \quad\text{ and }\quad \dim\mathrm{Sym}^kV = \binom{n+k-1}{k} $$

Looking at $k=1$ shows that we have non-trivial intersection.

Looking at $n=k=3$ shows that the sum is not exhausting.

$\endgroup$
  • 2
    $\begingroup$ Is this a common false belief? $\endgroup$ – Jim Conant Oct 18 '15 at 2:52
  • $\begingroup$ @JimConant: I believed this once. Of course, if you count dimensions it's obviously false. But if $V$ is an infinite-dimensional Hilbert space it sure seems natural to decompose the full tensor product into its Bosonic and Fermionic parts, and you might not think right away to ask whether it works in finite dimensions. That's my excuse, anyway! $\endgroup$ – Nik Weaver Mar 4 '16 at 4:22
8
$\begingroup$

Here is a short list of some false beliefs I had when I was studying mathematics, I suppose they may be common but I have never checked:

  • I was in the last year of high school and studying university-level math in advance. I remember trying for a week to prove that a continuous injective map from an open subset of $\mathbb{R}^2$ to $\mathbb{R}^2$ that preserves "being aligned" (I mean that maps aligned triples to aligned triples) must be the restriction of an affine map (over $\mathbb{R}$). That is disproved by restrictions of projective transformations... Which I knew of but I was not able to see they contradicted my belief. When my teacher told me "What about projective transformations?"... I felt dumb.
  • I was in the 1st year of PhD studies. My advisor, Adrien Douady, had an idea to build polynomial Julia sets with positive Lebesgue measure. Julia sets are fractals, often with complicated topological structures at every scale. Surely that must be the source of measure? So as an exercise, I tried for a week to prove that Jordan curves are necessarily of Lebesgue measure 0. I told Adrien about my attempts. He gave me a counter-example. I felt dumb.
  • Learning that there are closed subsets of the interval with positive Lebesgue measure but no interior did not surprise me as much, as the construction is very simple, but still that's a bit counterintuitive.
  • When you zoom on the Mandelbrot set, you see all that round components with smooth boundaries. They look so round. Surely they must be circles, for otherwise the difference would be visible. Well... they are not (except one). Guess how I felt when I learned.
  • Frankly, when learning the first time about complex numbers, did anybody here expect that, adding the square root of -1 to the reals would add the roots of all other polynomials?
  • I was giving a lecture to math teachers about sensitivity to initial condition (call it chaos) and showing strange attractors on the computer, one told me that by the very presence of chaos, what we see may be quite far from the actual behaviour of the equation, save reality. It turns out hyperbolic systems are stable, so I believe this is still representative (it does not prove it but it is an encouraging hint).
  • ... Chaos in deterministic systems. I won't develop on that.
  • Surely before hearing of set theory and Cantor's argument, you will believe that all sets are countable. Then after learning that this is not the case, you will think that $\mathbb{R}^2$ must be bigger than $\mathbb{R}$, right?
  • You have a $C^\infty$ function on the right half plane, all of whose derivatives have a continuous extension to the boundary line. Surely, it must be easy to extend it to a $C^\infty$ function of the whole plane, isn't it? Well... You can but I would not call it easy.
  • Short statements have short proofs. Disproved by Fermat's last theorem (among others).
  • I was quite disappointed to learn that there cannot be a finite non-commutative field (division algebra).

I have a few other examples, that I would not term "common false beliefs" but rather "fun and surprising math facts". Is there already a MO question about that?

$\endgroup$
7
$\begingroup$

"The set A = {a, b} has two elements..."

It's quite simple to notice that a can be the same as b, but after 5 years of university there were people still believing it...

$\endgroup$
  • 21
    $\begingroup$ I'm not sure there is a false belief here, as much as awkward writing. Depending on context, I might very well write "The set $\{a,b \}$ (where $a$ and $b$ might be equal)..." if this issue mattered. $\endgroup$ – David E Speyer May 6 '10 at 11:16
  • 1
    $\begingroup$ There are many situations where one needs to speak of a set of two numbers that may or may not be equal. E.g.: "Let x<sub>1</sub>, x<sub>2</sub> &isin; ℝ. Then among all the open intervals containing the set {x<sub>1</sub>, x<sub>2</sub>}, none of them is contained in all the others." If one is addressing mathematicians, there is no need to specify that x<sub>1</sub> might be equal to x<sub>2</sub>. $\endgroup$ – Daniel Asimov Jun 17 '10 at 23:34
  • 1
    $\begingroup$ E.g. if you said something like "for all a,b, (in some given universe) the set {a,b} has two elements", then I would agree. $\endgroup$ – roy smith Dec 1 '10 at 19:35
  • 2
    $\begingroup$ Single-letter symbols are usually assumed to be variables, if the context doesn't determine otherwise, even in the absence of quantifiers. (You can put in an implicit universal quantifier to close up all sentences.) $\endgroup$ – Toby Bartels Apr 4 '11 at 9:41
  • 3
    $\begingroup$ Here is a related but slightly less obvious situation. The ordered pair $(a,b)$ is generally defined in set theory to be $\{\{a\},\{a,b\}\}$. This is generally thought of as a set with two elements. But what if $a=b$? $\endgroup$ – Bruce Blackadar Sep 26 '14 at 4:12
7
$\begingroup$

Many people believe that Cantor proved the uncountability of the real line using a diagonal argument. This paper does not that provide that proof; Cantor's stated purpose was to prove the existence of `uncountable infinities' without using the theory of irrational numbers.

$\endgroup$
  • 2
    $\begingroup$ More to the point, I think, is that the paper proves that the power set of any set has greater cardinality than the set itself. This is the first proof that there is no greatest cardinality. (The uncountability of the real line easily follows, even if Cantor does not mention it because he has bigger fish to fry.) $\endgroup$ – John Stillwell May 31 '10 at 5:12
  • 2
    $\begingroup$ Just to fill in some history here: if I remember right, Cantor first proved the uncountability of the reals by other arguments, then later (as you reference) found the diagonal argument, as a proof of the more general statement about power sets. $\endgroup$ – Peter LeFanu Lumsdaine Sep 27 '10 at 3:01
  • 2
    $\begingroup$ The link in the answer goes to the wrong page - it should go to page 75, not page 72. $\endgroup$ – David Roberts Jun 13 '12 at 6:41
  • 1
    $\begingroup$ And it looks like a diagonal argument to me. $\endgroup$ – David Roberts Jun 13 '12 at 6:43
7
$\begingroup$

For a bounded subset of a metric space the diameter is two times the radius!

Let $S\subset X$ be bounded. The definitions are:

$\mathrm{diameter}(S):=\sup\{d(x,y)\,|\,x,y\in S\}$

$\mathrm{radius}(S):=\inf\{r>0\,|\,\exists x\in X:\,S\subset B(x,r)\}$

where $B(x,r)$ denotes the open ball of radius $r$ around $x$.

$\endgroup$
  • 4
    $\begingroup$ Hםw do you define the radius of an arbitrary bounded subset? $\endgroup$ – Mark Apr 11 '11 at 15:34
  • 1
    $\begingroup$ Disproved nicely by Reuleaux triangles. $\endgroup$ – darij grinberg Apr 12 '11 at 8:10
  • 17
    $\begingroup$ Disproved nicely by a two-point metric space. $\endgroup$ – Tom Goodwillie Apr 17 '11 at 1:36
  • 1
    $\begingroup$ An equilateral triangle in the Euclidean plane also does the job (diameter $1$ and radius $1/\sqrt{3}$): $2/\sqrt{3} > 1$. $\endgroup$ – Jean Van Schaftingen Nov 6 '13 at 15:07

protected by François G. Dorais Oct 15 '13 at 2:34

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).

Would you like to answer one of these unanswered questions instead?

Not the answer you're looking for? Browse other questions tagged or ask your own question.