In der Mathematik ist die Homotopie-Kategorie die Kategorie, deren Objekte die topologischen Räume und deren Morphismen die Homotopieklassen stetiger Abbildungen sind. Sie wird mit hTop bezeichnet.[1]

Erläuterung

Bearbeiten

Homotopie definiert eine Äquivalenzrelation auf der Menge der stetigen Abbildungen zwischen je zwei topologischen Räumen. Die Äquivalenzklassen werden als Homotopieklassen bezeichnet. Mit   notiert man die Gesamtheit der Homotopieklassen zwischen den topologischen Räumen   und  .

Während Top die klassische Kategorie der topologischen Räume und stetigen Funktionen darstellt, sind die Morphismen der Kategorie hTop gerade die Homotopieklassen. Die Objekte beider Kategorien sind gleich.

Mit anderen Worten es ist

 

und für je zwei Objekte   gilt

 .

Verknüpft werden die Morphismen repräsentantenweise, das heißt für topologische Räume   und stetige Abbildungen   gilt:

 

Dies ist wohldefiniert, da die Homotopie-Relation mit der Hintereinanderausführung von Funktionen verträglich ist.

Daraus folgt, dass für einen Raum   der Identitätsmorphismus stets die Klasse aller zur identischen Abbildung   homotopen Abbildungen ist:

 

Eigenschaften

Bearbeiten

Die Homotopie-Kategorie ist eine symmetrische monoidale Kategorie mit dem Smash-Produkt als Produkt und der 0-Sphäre   als neutralem Element.

Die Isomorphismen der Homotopie-Kategorie sind die Homotopieäquivalenzen der Kategorie Top.

Eigenständige Bedeutung erhält die Kategorie hTop, da sie nicht aus Mengen mit einer Zusatzstruktur sowie mit dieser Struktur verträglichen Funktionen besteht. Sie kann auch nicht als eine solche aufgefasst werden.[2] Dies bedeutet, dass die Homotopie-Kategorie nicht konkretisierbar ist, es gibt keinen treuen Funktor in die Kategorie Set der Mengen.

Verallgemeinerungen

Bearbeiten

Die Homotopie-Kategorie einer (beliebigen) Modellkategorie erhält man durch Lokalisierung bzgl. der Menge der schwachen Äquivalenzen.

Einzelnachweise

Bearbeiten
  1. Edwin H. Spanier: Algebraic Topology. 1st corrected Springer edition. Springer, New York u. a. 1981, ISBN 3-540-90646-0.
  2. Peter Freyd: Homotopy is not concrete. In: Franklin P. Peterson (Hrsg.): The Steenrod Algebra and its Applications. A Conference to Celebrate N. E. Steenrod's 60th Birthday. Proceedings of the Conference held at the Battelle Memorial Institute, Columbus, Ohio March 30th – April 4th, 1970 (= Lecture Notes in Mathematics. 168). Springer, Berlin u. a. 1970, ISBN 3-540-05300-X, S. 25–34.