Freudenthalscher Einhängungssatz

Der Freudenthal'sche Einhängungssatz i​st ein Satz a​us dem mathematischen Teilgebiet d​er algebraischen Topologie, e​r bildet e​ine Grundlage für d​ie stabile Homotopietheorie.

Die Aussage i​st die folgende:

Sei und ein -zusammenhängender CW-Komplex. Dann ist die von der Einhängung induzierte Abbildung

für ein Isomorphismus und für surjektiv.

Für die stabilen Homotopiegruppen folgt daraus, dass

für ein Isomorphismus und für surjektiv ist.

Verallgemeinerung: Sei und ein -zusammenhängender CW-Komplex. Sei ein endlicher CW-Komplex mit für . Dann ist

für alle eine Bijektion zwischen den Mengen der Homotopieklassen.[1]

Literatur

  • Robert M. Switzer: Algebraic Topology – Homology and Homotopy. Springer, Berlin u. a. 2002, ISBN 3-540-42750-3 (Classics in Mathematics).

Einzelnachweise

  1. Milnor, John; Spanier, Edwin: Two remarks on fiber homotopy type. Pacific J. Math. 10 1960 585–590.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. The authors of the article are listed here. Additional terms may apply for the media files, click on images to show image meta data.