In differential topology, Smale's paradox states that it is possible to turn a sphere inside out in a three-dimensional space with possible self-intersections but without creating any crease, a process more commonly and historically called sphere eversion (eversion means "to turn inside out"). This is surprising, to those who understand regular homotopy, and is hence deemed a veridical paradox. (The concept 'Smale's Paradox' generally does not appear in the traditional mathematical literature.) More precisely, let
such that ƒ0 = ƒ and ƒ1 = −ƒ.
This 'paradox' was discovered by Stephen Smale (1958). It is difficult to visualize a particular example of such a turning, although some digital animations have been produced that make it somewhat easier. The first example was exhibited through the efforts of several mathematicians, including Arnold S. Shapiro and Bernard Morin who was blind. On the other hand, it is much easier to prove that such a "turning" exists and that is what Smale did.
Smale's graduate adviser Raoul Bott at first told Smale that the result was obviously wrong (Levy 1995). His reasoning was that the degree of the Gauss map must be preserved in such "turning"—in particular it follows that there is no such turning of S1in R2. But the degree of the Gauss map for the embeddings f, −f in R3 are both equal to 1, and do not have opposite sign as one might incorrectly guess. The degree of the Gauss map of all immersions of a 2-sphere in R3 is 1; so there is no obstacle. The term "veridical paradox" applies perhaps more appropriately at this level: until Smale's work, there is no documented attempt to argue that 2-sphere eversion was, or was not, possible, and accordingly, subsequent attempts at explicit eversion, or to argue that it was impossible, are in hindsight. Accordingly, there never was an historical paradox associated with Smale's actual sphere eversion, merely an appreciation of the conceptual visualization subtleties by those confronting the idea for the first time.
See h-principle for further generalizations.
Smale's original proof was indirect: he identified (regular homotopy) classes of immersions of spheres which can be unwound to produce an explicit regular homotopy, but this is not easy to do.
There are several ways of producing explicit examples and beautiful mathematical visualization:
- Half-way models: these consist of very special homotopies. This is the original method, first done by Shapiro and Phillips via Boy's surface, later refined by many others. The original half-way model homotopies were constructed by hand, and worked topologically but weren't minimal. The movie created by Nelson Max, over a seven-year period, and based on Charles Pugh's chicken-wire models (subsequently stolen from the Mathematics Department at Berkeley), was a computer-graphics 'tour de force' for its time, and set the bench-mark for computer animation for many years. A more recent and definitive graphics refinement (1980s) is minimax eversions, which is a variational method, and consist of special homotopies (they are shortest paths with respect to Willmore energy). In turn, understanding behavior of Willmore energy requires understanding solutions of fourth-order partial differential equations, and so the visually beautiful and evocative images belie some very deep mathematics beyond Smale's original abstract proof.
- Thurston's corrugations: this is a topological method and generic; it takes a homotopy and perturbs it so that it becomes a regular homotopy. This is illustrated in the computer-graphics animation 'Outside In', easily found by searching Youtube.
- Aitchison's 'holiverse' (2010): this uses a combination of topological and geometric methods, and is specific to the actual regular homotopy between a standardly embedded 2-sphere, and the embedding with reversed orientation. This provides conceptual understanding for the process, revealed as arising from the concrete structure of the 3-dimensional projective plane and the underlying geometry of the Hopf fibration. Understanding details of these mathematical concepts is not required to conceptually appreciate the concrete eversion that arises, which in essence only requires understanding a specific embedded circle drawn on a torus in 3-space. George Francis suggested the name "holiverse", derived from the word "holistic", since (after some thought) the complete eversion can be conceptually grasped from beginning to end, without the visual aids provided by animation. In spirit, this is closer to the ideas originally suggested by Shapiro, and in practice provides a concrete proof of eversion not requiring the abstraction underlying Smale's proof. This is partially illustrated in a Povray computer-graphics animation, again easily found by searching YouTube.
- Iain R. Aitchison (2010) The `Holiverse': holistic eversion of the 2-sphere in R^3, preprint. arXiv:1008.0916.
- John B. Etnyre (2004) Review of "h-principles and flexibility in geometry", MR 1982875.
- Francis, George K. (2007), A topological picturebook, Berlin, New York: Springer-Verlag, ISBN 978-0-387-34542-0, MR 2265679
- George K. Francis & Bernard Morin (1980) "Arnold Shapiro's Eversion of the Sphere", Mathematical Intelligencer 2(4):200–3.
- Levy, Silvio (1995), "A brief history of sphere eversions", Making waves, Wellesley, MA: A K Peters Ltd., ISBN 978-1-56881-049-2, MR 1357900
- Max Nelson (1977) "Turning a Sphere Inside Out", International Film Bureau, Chicago, (video).
- Anthony Phillips (May 1966) "Turning a surface inside out", Scientific American, pp. 112–120.
- Smale, Stephen (1958), "A classification of immersions of the two-sphere", Transactions of the American Mathematical Society 90: 281–290, ISSN 0002-9947, JSTOR 1993205, MR 0104227