Équivalence D'Homotopie
- Mathematics & Logic -
Pure Mathematics Dictionary
Définition
Une application continue f : X → Y est une équivalence d'homotopie s'il existe g : Y → X continue telle que g ∘ f est homotope à id_X et f ∘ g est homotope à id_Y ; on dit alors que X et Y ont le même type d'homotopie.