Statements (16)
Predicate | Object |
---|---|
gptkbp:instanceOf |
gptkb:mathematical_concept
|
gptkbp:alsoKnownAs |
gptkb:h-cobordism_theorem
|
gptkbp:appliesTo |
manifolds of dimension five or higher
|
gptkbp:field |
differential topology
|
https://www.w3.org/2000/01/rdf-schema#label |
Smale's theorem
|
gptkbp:implies |
gptkb:Poincaré_conjecture_for_dimensions_five_and_higher
|
gptkbp:namedAfter |
gptkb:Stephen_Smale
|
gptkbp:publishedIn |
gptkb:Annals_of_Mathematics
|
gptkbp:relatedTo |
gptkb:s-cobordism_theorem
gptkb:Poincaré_conjecture gptkb:Whitehead_torsion |
gptkbp:significance |
major result in the classification of high-dimensional manifolds
|
gptkbp:state |
If M and N are simply-connected, smooth, compact n-manifolds (n ≥ 5) that are h-cobordant, then M and N are diffeomorphic.
|
gptkbp:yearProved |
1961
|
gptkbp:bfsParent |
gptkb:Morse–Smale_system
|
gptkbp:bfsLayer |
6
|