# Eigentliche Abbildung

Eigentliche Abbildungen sind spezielle stetige Abbildungen, die im mathematischen Teilgebiet der mengentheoretischen Topologie untersucht werden. Im Wesentlichen zeichnen sich eigentliche Abbildungen dadurch aus, dass sie besonders gut mit kompakten Mengen interagieren.

## Definitionen

Die Definition eigentlicher Abbildungen variiert von Autor zu Autor. Eine häufig verwendete Definition ist:
* Eine stetige Abbildung $f:X\to Y$ heißt eigentlich, wenn das Urbild jeder kompakten Menge kompakt ist.
Viele Autoren fordern zusätzlich noch dass alle eigentlichen Abbildungen abgeschlossen sind, also abgeschlossene Mengen auf abgeschlossene Mengen abbilden. Mit dieser strengeren Definition ist eine stetige Abbildung $f:X\to Y$ also genau dann eigentlich wenn die folgenden äquivalenten Eigenschaften erfüllt sind:
* $f$ ist abgeschlossen und das Urbild jeder kompakten Menge ist kompakt.
* $f$ ist abgeschlossen und alle Fasern $f^{-1}(y)$ sind kompakt.
* Für jeden topologischen Raum $Z$ ist die Abbildung $f\times \operatorname {id} _{Z}:X\times Z\to Y\times Z,(x,z)\mapsto (f(x),z)$ abgeschlossen.
* Für jede stetige Abbildung $g:Z\to Y$ ist die zum Faserprodukt $X\times _{Y}Z$ von $f$ und $g$ gehörige Abbildung $f':X\times _{Y}Z\to Z$ abgeschlossen.
Für Abbildungen $f:X\to Y$, deren Zielraum $Y$ lokalkompakt und Hausdorff ist, sind die beiden Definitionen äquivalent; im allgemeinen Fall gibt es aber auch stetige Abbildungen die nur nach der ersten Definition eigentlich sind. Im Folgenden ist mit „eigentlich“, sofern nicht anders angedeutet, stets die zweite Definition gemeint.
Einige Autoren fordern mit einer noch stärkeren Definition sogar dass alle eigentlichen Abbildungen separiert sind in dem Sinne, dass ihre Fasern relativ zum Definitionsraum Hausdorff sind. Diese Definition ist vor allem in der algebraischen Geometrie verbreitet, wegen ihrer Relation zu eigentlichen Schemamorphismen.

## Beispiele

* Jede stetige Abbildung von einem kompakten Raum in einen Hausdorff-Raum ist eigentlich.
* Jede Einbettung mit abgeschlossenem Bild ist eigentlich, also insbesondere auch jeder Homöomorphismus, jeder Diffeomorphismus und jede biholomorphe Abbildung.
* Überlagerungen sind genau dann eigentlich wenn sie endlichen Grad haben.
* Die Abbildung $f:X\to \{{\textrm {pt.}}\}$ von $X$ in einen einelementigen Raum ist eigentlich genau dann wenn $X$ kompakt ist.
* Konstante Abbildungen $f:X\to Y$ sind immer eigentlich im Sinne der ersten Definition wenn $X$ kompakt ist, aber nur dann eigentlich im Sinne der zweiten Definition wenn zudem noch ${\textrm {im}}(f)$ in $Y$ abgeschlossen ist.

## Eigenschaften

* Unter eigentlichen Abbildungen sind die Bilder abgeschlossener Mengen immer abgeschlossen und die Urbilder kompakter Mengen immer kompakt.
* Die Einschränkung $f|_{A}\colon A\to Y$ einer eigentlichen Abbildung $f\colon X\to Y$ auf einen abgeschlossenen Unterraum $A\subseteq X$ ist immer eigentlich.
* Die Koeinschränkung $f|^{A}:X\to A$ einer stetigen Abbildung $f:X\to Y$ mit ${\textrm {im}}(f)\subseteq A\subseteq Y$ ist eigentlich wenn $f$ eigentlich ist. Die Umkehrung gilt wenn $A$ abgeschlossen ist.
* Die Komposition eigentlicher Abbildungen ist wieder eigentlich. Topologische Räume zusammen mit den eigentlichen Abbildungen bilden also eine Unterkategorie der Kategorie der stetigen Funktionen.
* Sind $X_{1},X_{2},Y_{1},Y_{2}$ topologische Räume und sind $f_{1}\colon X_{1}\to Y_{1},f_{2}\colon X_{2}\to Y_{2}$ eigentliche Abbildungen, so ist $f_{1}\times f_{2}\colon X_{1}\times X_{2}\to Y_{1}\times Y_{2}$ wieder eine eigentliche Abbildung.
* Ist $X$ ein kompakter Raum und $Y$ ein beliebiger topologischer Raum und $X\times Y$ das topologische Produkt, dann ist die Projektion $\pi _{Y}\colon X\times Y\to Y,(x,y)\mapsto y$ eine eigentliche Abbildung.

## Anwendungen

Eigentliche Abbildungen spielen eine Rolle in verschiedenen Konstruktionen mit kompakten Räumen. Zum Beispiel ist für stetige Funktionen $f:X\to Y$ die durch $f(\infty ):=\infty$ definierte Fortsetzung $f^{*}:X^{*}\to Y^{*}$ auf die Einpunktkompaktifizierungen von $X$ und $Y$ genau dann stetig wenn unter $f$ alle Urbilder von abgeschlossenen kompakten Mengen kompakt sind; da dies für alle eigentlichen Abbildungen der Fall ist aber nicht für alle stetigen Abbildungen bildet die Einpunktkompaktifizierung einen Funktor auf der Kategorie aller eigentlichen Abbildungen aber nicht auf der Kategorie aller topologischen Räume. Ein ähnliches Problem ergibt sich bei Kohomologie mit kompaktem Träger: diese ist ebenfalls nur auf der Kategorie der eigentlichen Abbildungen funktoriell, aber nicht auf der aller stetigen Abbildungen. Insbesondere ist sie nicht homotopieinvariant, sondern wird nur von in dem Sinne eigentlichen Homotopieäquivalenzen erhalten als dass alle beteiligten Abbildungen (also die Abbildung selber, ihr Homotopieinverses und die beiden Homotopien) eigentliche Abbildungen sind.