Homotopie-Kategorie
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 | Quelltext 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 .
![{\displaystyle [X,Y]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/94470b44d283fde62130212956058ca6b727da37)
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
- .
![{\displaystyle \operatorname {Mor} (X,Y)=\left[X,Y\right]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7c7f261982e3205d4e87553a0e92239f75ae6ec6)
Verknüpft werden die Morphismen repräsentantenweise, das heißt für topologische Räume und stetige Abbildungen gilt:
![{\displaystyle \left[g\right]\circ \left[f\right]=\left[g\circ f\right]\in \operatorname {Mor} (X,Z)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ae7bb8703604f159780036781b4fd43a5b75bb0f)
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:
![{\displaystyle \operatorname {id} _{X}=\left[Id_{X}\right]\in \operatorname {Mor} (X,X)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/fff65ce7430ed41ec2aa9279cd757b10398cc7de)
Eigenschaften
[Bearbeiten | Quelltext 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 | Quelltext bearbeiten]Die Homotopie-Kategorie einer (beliebigen) Modellkategorie erhält man durch Lokalisierung bzgl. der Menge der schwachen Äquivalenzen.
Einzelnachweise
[Bearbeiten | Quelltext bearbeiten]- ↑ Edwin H. Spanier: Algebraic Topology. 1st corrected Springer edition. Springer, New York u. a. 1981, ISBN 3-540-90646-0.
- ↑ 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.