Errors, oversights, and misunderstandings in mathematical research - MathOverflow [closed] most recent 30 from http://mathoverflow.net 2013-06-18T08:02:35Z http://mathoverflow.net/feeds/question/118979 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/118979/errors-oversights-and-misunderstandings-in-mathematical-research Errors, oversights, and misunderstandings in mathematical research Alan Haynes 2013-01-15T15:13:18Z 2013-01-15T19:23:15Z <blockquote> <p><strong>Possible Duplicate:</strong><br> <a href="http://mathoverflow.net/questions/23478/examples-of-common-false-beliefs-in-mathematics" rel="nofollow">Examples of common false beliefs in mathematics.</a> </p> </blockquote> <p>Hopefully this is not overly controversial, but I thought it would be instructive to compile a list of errors which are commonly (or at least not too uncommonly) made in higher level mathematical research and published mathematical works (i.e. research papers, books, etc). If nothing else this could serve as a warning to the rest of us.</p> <p>Here I would like to keep the focus on <em>mathematical</em> errors, oversights, or misunderstandings, and <em>not</em> those which are related to typographical, grammatical, or purely historical issues. To start the list and to give some idea what types of errors I am thinking of, here are a few examples:</p> <ol> 1. Confusing the finite field $\mathbb{F}_{p^k}$ for $k>1$ with the ring $\mathbb{Z}/p^k\mathbb{Z}$. </ol> <ol> 2. Assuming that every open set in $\mathbb{Q}_p$ is also closed (true for balls but not in general). </ol> <ol> 3. Assuming that the hypothesis in a conditional statement is a necessary condition, just because a weaker hypothesis does not necessarily imply the conclusion. </ol> <p>One remark, since this is intended solely for our own edification, it is probably better to avoid mentioning specific references, for the obvious reason.</p> <p>Also, if anyone can think of better tags for this question please go ahead.</p> http://mathoverflow.net/questions/118979/errors-oversights-and-misunderstandings-in-mathematical-research/118987#118987 Answer by Alexandre Eremenko for Errors, oversights, and misunderstandings in mathematical research Alexandre Eremenko 2013-01-15T16:01:51Z 2013-01-15T16:01:51Z <p>One very famous error was made by H. Dulac in his 1923 paper which was supposed to prove that a polynomial system of differential equations in the plane has finitely many isolated limit cycles. (This was one of the Hilbert problems). It was believed until 1980-s that he proved the result. </p> <p>The error was the following. He proved that certain function, say analytic on $(0,1]$ has an asymptotic expansion of the form $$f(x)\sim \sum_{n=0}^\infty a_n x^n,$$ in the usual sense that asymptotic expansions are understood.</p> <p>He concluded that $f$ has finitely many zeros on $(0,1]$.</p> <p>The mistake was found in the early 80-s and corrected. The new proofs of the finiteness theorem for limit cycles, which are accepted as correct are very long and difficult. But there are at least two different published proofs, one that I know is by Ecalle, and another by Ilyashenko.</p> <p>A related problem is to estimate the number of isolated limit cycles in terms of the degree of the equation. This is still unsolved. And there were published wrong solutions.</p> http://mathoverflow.net/questions/118979/errors-oversights-and-misunderstandings-in-mathematical-research/118991#118991 Answer by Todd Trimble for Errors, oversights, and misunderstandings in mathematical research Todd Trimble 2013-01-15T16:37:10Z 2013-01-15T16:37:10Z <p>Perhaps the canonical example is when Suslin, as a student of Lusin, was asked to read a paper of Lebesgue where the latter asserted that the image of a Borel set under a continuous mapping is again Borel. This marked the beginning of analytic sets (and eventually the projective hierarchy). </p> http://mathoverflow.net/questions/118979/errors-oversights-and-misunderstandings-in-mathematical-research/119017#119017 Answer by Rodrigo A. Pérez for Errors, oversights, and misunderstandings in mathematical research Rodrigo A. Pérez 2013-01-15T19:02:54Z 2013-01-15T19:02:54Z <p>Lam&eacute;'s wrong proof of Fermat's Last Theorem, which led to the fact that cyclotomic fields do not have unique factorization.</p> http://mathoverflow.net/questions/118979/errors-oversights-and-misunderstandings-in-mathematical-research/119019#119019 Answer by Robert Bryant for Errors, oversights, and misunderstandings in mathematical research Robert Bryant 2013-01-15T19:23:15Z 2013-01-15T19:23:15Z <p>There have been many false proofs of the Jacobian Conjecture, and it might be interesting to have a survey of the attempts and why they ultimately failed (i.e., what holes there were in the attempted proof or what counterexamples to steps in the attempted proof were found).</p>