Satz von Whitehead-Serre

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

Der Satz von Whitehead-Serre ist ein mathematischer Lehrsatz aus der algebraischen Topologie, speziell der Homotopietheorie.

Homotopiegruppen topologischer Räume sind notorisch schwer zu berechnen, während es für die Berechnung der Homologiegruppen von CW-Komplexen einfache Algorithmen gibt. Der Satz von Whitehead-Serre besagt jedoch, dass für einfach zusammenhängende Räume die rationalen Homotopiegruppen ebenso einfach berechnet werden können wie die rationalen Homologiegruppen.

Er ist nach J. H. C. Whitehead[1] und Jean-Pierre Serre benannt.

Satz von Whitehead-Serre

[Bearbeiten | Quelltext bearbeiten]

Sei

eine stetige Abbildung zwischen einfach zusammenhängenden Räumen. Dann sind die folgenden Bedingungen äquivalent:

  • ist ein Isomorphismus.
  • ist ein Isomorphismus.

Verwandte Sätze

[Bearbeiten | Quelltext bearbeiten]

Eng mit dem Satz von Whitehead-Serre hängt der Satz von Whitehead zusammen, dass eine stetige Abbildung zwischen einfach zusammenhängenden Räumen genau dann eine schwache Homotopieäquivalenz ist, wenn sie einen Isomorphismus der singulären Homologiegruppen induziert.

Weiterhin gilt für -zusammenhängende Räume mit , dass der durch den Satz von Hurewicz gegebene Homomorphismus einen Isomorphismus

induziert.

  • Yves Félix, Steve Halperin, J.C. Thomas: ‘‘Rational Homotopy Theory‘‘, Graduate Texts in Mathematics, 205, Springer-Verlag, 2000.

Einzelnachweise

[Bearbeiten | Quelltext bearbeiten]
  1. Whitehead, Combinatorial Homotopy I, Bulletin AMS, Band 55, 1949, S. 213–245, Online