Kofaserung
# Kofaserung

In der Mathematik sind Kofaserungen ein wichtiger Begriff der algebraischen Topologie.

## Definition

Eine stetige Abbildung $i\colon A\to X$ ist eine Kofaserung, wenn sie die Homotopieerweiterungseigenschaft erfüllt, d. h. wenn es zu stetigen Abbildungen

    $f\colon X\to Y,h\colon A\times \left[0,1\right]\to Y$

mit

    $f\circ i=h\circ i_{0}$

(für die durch $i_{0}(x)=(x,0)$ definierte Inklusive $i_{0}\colon A\to A\times \left[0,1\right]$) immer eine stetige Abbildung

    ${\overline {h}}\colon X\times \left[0,1\right]\to Y$

mit

    ${\overline {h}}\circ (i\times id)=h$

und

    ${\overline {h}}|_{X\times \{0\}}=f\circ \pi _{X}$

(für die natürliche Projektion $\pi _{X}:X\times \{0\}\to X$) gibt.

Falls $i\colon A\to X$ die Inklusion eines Unterraumes $A\subset X$ ist, dann ist diese Bedingung äquivalent dazu, dass es eine Retraktion

    $p\colon X\times \left[0,1\right]\to A\times \left[0,1\right]\cup X\times \left\{0\right\}$

gibt.

## Beispiele

* Die Inklusion

       $S^{n-1}\to D^{n}$
    ist eine Kofaserung.
* Für jeden CW-Komplex $X$ und alle $m\leq n$ ist die Inklusion

       $X_{m}\to X_{n}$
    des m-Skeletts in das n-Skelett eine Kofaserung. Insbesondere sind CW-Komplexe kofibrant.

## Kofaser

Die Homotopie-Kofaser einer (beliebigen) stetigen Abbildung $f\colon A\to X$ ist ihr Abbildungskegel $C_{f}$. Für jede verallgemeinerte Homologietheorie $H_{*}$ hat man eine lange exakte Sequenz

    $\ldots \to H_{*+1}(C_{f})\to H_{*}(A)\to H_{*}(X)\to H_{*}(C_{f})\to H_{*-1}(A)\to \ldots$

Falls die Abbildung $f$ eine Kofaserung ist, bezeichnet man die Homotopie-Kofaser $C_{f}$ als Kofaser.

Wenn eine Inklusion $f\colon A\to X$ eine Kofaserung ist, dann ist die Kofaser $C_{f}$ Homotopie-äquivalent zum Quotientenraum $X/A$ und es gilt

    $H_{*}(X,A)=H_{*}(C_{f})=H_{*}(X/A)$.
