If is a differentiable homotopy
sphere of dimension
,
then
is homeomorphic to
.
In fact,
is diffeomorphic to a manifold obtained by gluing together the boundaries of two
closed
-balls
under a suitable diffeomorphism (Milnor).
Smale Theorem
See also
Freedman Theorem, Poincaré ConjectureExplore with Wolfram|Alpha
References
Milnor, J. "The Poincaré Conjecture." http://www.claymath.org/millennium/Poincare_Conjecture/Official_Problem_Description.pdf.Smale, S. "Generalized Poincaré's Conjecture in Dimensions Greater than Four." Ann. Math. 74, 391-406, 1961.Referenced on Wolfram|Alpha
Smale TheoremCite this as:
Weisstein, Eric W. "Smale Theorem." From MathWorld--A Wolfram Web Resource. https://mathworld.wolfram.com/SmaleTheorem.html