Zum Inhalt springen

Abbildungskegel

aus Wikipedia, der freien Enzyklopädie

In dem mathematischen Teilgebiet der Topologie ist der Abbildungskegel eine Konstruktion, die einer stetigen Funktion zwischen zwei topologischen Räumen einen dritten solchen Raum zuordnet. Sie ist nah verwandt mit dem Konzept des Kegels über einem topologischen Raum; ebenso wie dieser wird der Abbildungskegel hauptsächlich in der algebraischen Topologie betrachtet. Allgemeiner gibt es in der homologischen Algebra den Abbildungskegel von Kettenabbildungen zwischen Kettenkomplexen.

Definition

Datei:Mapping cone.PNG
Der Abbildungskegel

Seien <math>X,Y</math> zwei topologische Räume und <math>f \colon X \to Y</math> eine stetige Funktion zwischen diesen, sei weiter <math>CX = (X \times [0,1]) / (X \times \{1\})</math> der Kegel über <math>X</math>.

Den Abbildungskegel <math>Cf</math> erhält man nun (wie in der Zeichnung angedeutet) durch Verkleben von <math>CX</math> und <math>Y</math> vermöge <math>f</math>.

Genauer bedeutet dies:

Identifiziert man in der disjunkten Vereinigung <math>CX \sqcup Y</math> jeweils <math>[(x,0)] \in CX</math> mit <math>f(x) \in Y</math> für jedes <math>x \in X</math>, so ergibt sich implizit eine Äquivalenzrelation <math>\sim_f</math>.

Der Abbildungskegel ist dann der Faktorraum <math>(CX \sqcup Y) / \sim_f</math> versehen mit der Quotiententopologie bezüglich der kanonischen Projektion <math>CX \sqcup Y \to Cf; z \mapsto [z]_{\sim_f}</math>.

Reduzierter Abbildungskegel

In der Kategorie der punktierten topologischen Räume - sind also <math>(X;x_0);(Y;y_o)</math> punktiert und gilt <math>f(x_0) = y_0</math> - betrachtet man meist den reduzierten Abbildungskegel <math>C_* f</math>. Dieser entsteht dadurch, dass man im Abbildungskegel <math>Cf</math> auch noch das Intervall <math>x_0 \times [0,1]</math> - genauer sein Bild unter der Projektion <math>X \times [0,1] \to CX</math> - identifiziert.

Analog kann bei der obigen Konstruktion des Abbildungskegels auch gleich vom reduzierten Kegel <math>C_* X</math> ausgegangen werden.

Eigenschaften

  • Der Raum <math>Y</math> ist in natürlicher Weise Teilraum von <math>Cf</math>, da jeder seiner Punkte unter der Projektion <math>CX \sqcup Y \to Cf</math> erhalten bleibt.
  • Ist <math>f</math> injektiv und relativ offen, also ein Homöomorphismus auf sein Bild, so sind auch <math>CX</math> und damit <math>X</math> in <math>Cf</math> enthalten.
  • Betrachtet man die Identität <math>id \colon X\rightarrow X; x \mapsto x</math>, so gilt die Homöomorphie <math>C \, id \cong CX</math>.

Alle obigen Beziehungen gelten auch für den reduzierten Abbildungskegel im Falle punktierter Räume <math>X</math> und <math>Y</math> und basispunkterhaltendem <math>f</math>, gegebenenfalls muss dafür zum reduzierten Kegel <math>C_* X</math> übergegangen werden.

  • Ist <math>\textstyle f \colon \coprod_{i\in I} S^n_i\rightarrow X_n</math> die anklebende Abbildung in einem CW-Komplex <math>X</math> an das <math>n</math>-Skelett <math>X_n</math>, so ist der Abbildungskegel <math>Cf</math> homöomorph zum <math>(n+1)</math>-Skelett <math>X_{n+1}</math>.

Dies ist eine der Hauptanwendungen des Abbildungskegels in der algebraischen Topologie. Speziell für den reduzierten Abbildungskegel gilt außerdem:

  • Eine Abbildung <math>f \colon X\rightarrow Y</math> induziert einen Isomorphismus <math>f_* \colon H_*(X)\rightarrow H_*(Y)</math> für eine Homologietheorie <math>H_*</math> genau dann wenn <math>H_*(C_f,*)=0</math>.

Rolle in der Homotopietheorie

Sind zwei stetige Abbildungen <math>f, g \colon X\rightarrow Y</math> homotop, so sind ihre Abbildungskegel <math>Cf</math> und <math>Cg</math> homotopieäquivalent.

Wenn <math>A \subseteq X</math> ein abgeschlossener Teilraum und die Inklusion <math>i \colon A\hookrightarrow X</math> eine Kofaserung ist, so ist <math>C \, i</math> homotopieäquivalent zum Quotientenraum <math>X/A</math>. Es lässt sich außerdem zeigen, dass die Inklusion <math>j \colon Y\hookrightarrow Cf</math> stets eine abgeschlossene Kofaserung ist. Somit erhält man, dass der Abbildungskegel <math>Cj</math> homotopieäquivalent zu <math>Cf/Y \cong SX</math> ist, wobei hier <math>SX</math> die Einhängung von <math>X</math> bezeichne. Fährt man auf die gleiche Weise fort, so folgt, dass der Abbildungskegel der Inklusion von <math>Cf</math> nach <math>SX</math> die Einhängung von <math>Y</math> ergibt usw.

Hat man weiter ein stetiges <math>h \colon Y\rightarrow Z</math> in einen topologischen Raum <math>Z</math>, so ist die Komposition <math>h \circ f</math> genau dann homotop zu einer konstanten Abbildung, wenn <math>h</math> fortsetzbar ist zu einer Abbildung <math>h' \colon Cf\rightarrow Z</math>. Für den Fall, dass <math>f = id \colon X\rightarrow X</math> ist das Resultat noch etwas anschaulicher: eine Abbildung <math>h \colon X\rightarrow Z</math> ist genau dann homotop zu einer konstanten Abbildung, wenn sie fortsetzbar ist zu einer Abbildung <math>h'\colon CX\rightarrow Z</math>. Um die Abbildung <math>h'</math> zu konstruieren, benutzt man einfach die Homotopie <math>H \colon X\times [0,1]\rightarrow Z</math>, die auf <math>X\times \{0\}</math> konstant ist.

Wenn man punktierte Räume und basispunkterhaltende Abbildungen betrachtet, bedeutet dies, dass die folgende Sequenz exakt ist:

<math>\dots \rightarrow [\Sigma Y, Z] \rightarrow [\Sigma X, Z] \rightarrow [C_*f, Z] \rightarrow [Y, Z] \rightarrow [X, Z]</math>

Diese exakte Sequenz nennt man auch Puppe-Folge.

Abbildungskegel einer Kettenabbildung

Seien <math>A, B</math> zwei Kettenkomplexe mit Differentialen <math>d_A, d_B;</math> d. h.,

<math>A = \dots \to A^{n - 1} \xrightarrow{d_A^{n - 1}} A^n \xrightarrow{d_A^n} A^{n + 1} \to \cdots</math>

und entsprechend für <math>B.</math>

Für eine Kettenabbildung <math>f \colon A \to B,</math> definiert man den Abbildungskegel <math>\operatorname{Cone}(f)</math> oder <math>C(f)</math> als den Kettenkomplex:

<math>C(f) = A[1] \oplus B = \dots \to A^n \oplus B^{n - 1} \to A^{n + 1} \oplus B^n \to A^{n + 2} \oplus B^{n + 1} \to \cdots</math>

mit Differential

<math>d_{C(f)} = \begin{pmatrix} d_{A[1]} & 0 \\ f[1] & d_B \end{pmatrix}</math>.

Hierbei bezeichnet <math>A[1]</math> den Kettenkomplex mit <math>A[1]^n=A^{n + 1}</math> und <math>d^n_{A[1]}=-d^{n + 1}_{A}</math>. Explizit berechnet sich das Differential wie folgt:

<math>\begin{array}{ccl}

d^n_{C(f)}(a^{n + 1}, b^n) &=& \begin{pmatrix} d^n_{A[1]} & 0 \\ f[1]^n & d^n_B \end{pmatrix} \begin{pmatrix} a^{n + 1} \\ b^n \end{pmatrix} \\ 

 &=& \begin{pmatrix} - d^{n + 1}_A & 0 \\ f^{n + 1} & d^n_B \end{pmatrix} \begin{pmatrix} a^{n + 1} \\ b^n \end{pmatrix} \\
 &=& \begin{pmatrix} - d^{n + 1}_A (a^{n + 1}) \\ f^{n + 1}(a^{n + 1}) + d^n_B(b^n) \end{pmatrix}\\
 &=& \left(- d^{n + 1}_A (a^{n + 1}), f^{n + 1}(a^{n + 1}) + d^n_B(b^n)\right).

\end{array} </math>

Wenn <math>f \colon X\rightarrow Y</math> eine stetige Abbildung zwischen topologischen Räumen und <math>f_* \colon C_*(X)\rightarrow C_*(Y)</math> die induzierte Kettenabbildung zwischen den singulären Kettenkomplexen ist, dann ist

<math>C_*(Cf)=C(f_*)</math>.

Siehe auch

Literatur

  • Glen E. Bredon: Topology and Geometry. Revised 3rd printing. Springer, New York u. a. 1997, ISBN 0-387-97926-3 (Graduate Texts in Mathematics 139).
  • Robert M. Switzer: Algebraic Topology – Homology and Homotopy. Reprint of the 1975 edition. Springer, Berlin u. a. 2002, ISBN 3-540-42750-3 (Classics in Mathematics).
Abgerufen von „https://wiki-de.moshellshocker.dns64.de/index.php?title=Abbildungskegel&oldid=768487“