Homotopieäquivalenz
- Mathematics & Logic -
Pure Mathematics Dictionary
Definition
Eine stetige Abbildung f: X → Y heißt Homotopieäquivalenz, wenn es eine stetige g: Y → X gibt mit g ∘ f homotop zu id_X und f ∘ g homotop zu id_Y; dann sagt man, X und Y haben denselben Homotopietyp.