Smale conjecture

GPTKB entity

Statements (15)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:field differential topology
gptkbp:formedBy gptkb:Stephen_Smale
1959
https://www.w3.org/2000/01/rdf-schema#label Smale conjecture
gptkbp:provenBy gptkb:Allen_Hatcher
gptkbp:relatedTo gptkb:homotopy_equivalence
gptkb:3-sphere
orthogonal group
diffeomorphism group
gptkbp:sentence The inclusion of the orthogonal group O(3) into the diffeomorphism group of the 3-sphere is a homotopy equivalence.
gptkbp:status proven
gptkbp:yearProved 1983
gptkbp:bfsParent gptkb:Stephen_Smale
gptkbp:bfsLayer 5