# Offene Abbildung

Offene Abbildung ist ein Begriff aus der Mathematik, speziell der Topologie.
Stetige Funktionen können dadurch charakterisiert werden, dass Urbilder offener Teilmengen der Zielmenge wieder offen sind. Die entsprechend formulierte Bedingung für Bilder statt Urbilder führt zum Begriff der offenen Abbildung.

## Definition

Eine Abbildung (oder Funktion) $f$ von einem topologischen Raum $X$ in einen topologischen Raum $Y$ heißt offen, wenn das Bild $f(O)$ einer jeden offenen Teilmenge $O$ von $X$ eine offene Teilmenge von $Y$ ist.

## Erläuterungen und Beispiele

* Eine Abbildung $f\colon \,X\to Y$ ist genau dann offen, wenn für jeden Punkt $x\in X$ und jede Umgebung $U$ von $x$ in $X$ die Bildmenge $f(U)$ eine Umgebung von $f(x)$ in $Y$ ist.
* Sind $X$, $Y$ und $Z$ topologische Räume und sind die Abbildungen $f\colon \,X\to Y$ und $g\colon \,Y\to Z$ beide offen, so ist auch die Komposition $g\circ f\colon X\to Z$ eine offene Abbildung.
* Offene Abbildungen sind in der Regel nicht stetig. Zum Beispiel ist die durch $f(0)=0$ und $f(z)=e^{\frac {1}{z}}$ definierte Abbildung nach dem großen Satz von Picard eine offene Abbildung, aber nicht stetig in $0$.
* Ein Beispiel einer stetigen und nicht offenen Abbildung ist die mit einer irrationalen Zahl $\alpha$ durch $f(x)=(e^{x2\pi i},e^{\alpha x2\pi i})$ definierte Abbildung $f\colon \mathbb {R} \to S^{1}\times S^{1}$. Das Bild dieser Abbildung ist keine offene Teilmenge, sondern liegt dicht in $S^{1}\times S^{1}$.
* Wenn $Y$ ein diskreter topologischer Raum ist, dann ist jede Abbildung nach $Y$ eine offene Abbildung, aber nur die lokal konstanten Abbildungen sind stetig.
* Stetige Abbildungen sind in der Regel nicht offen. So ist eine konstante Abbildung in der Regel nicht offen. Dasselbe Beispiel zeigt, dass abgeschlossene Abbildungen nicht offen sein müssen.
* Auch die durch $f(x)=x^{2}$ definierte Abbildung $f\colon \mathbb {R} \to \mathbb {R}$ ist stetig, aber nicht offen, denn $f((-1,1))=[0,1)$ ist nicht offen in $\mathbb {R}$.
* Eine offene Abbildung ist in der Regel nicht abgeschlossen. Die Abbildung $f:\mathbb {R} ^{2}\to \mathbb {R} ,\,(s,t)\mapsto s$ ist offen, die Bildmenge der abgeschlossenen Menge $\{(s,t)\colon s\geq 0,st\geq 1\}$ ist die nicht-abgeschlossene Menge $(0,\infty )$.
* Homöomorphismen sind stets offene Abbildungen. Eine stetige Bijektion ist genau dann ein Homöomorphismus, wenn sie eine offene Abbildung ist.
* Sind $X$ und $Y$ topologische Räume und ist $f\colon \,X\to Y$ eine Bijektion, so ist $f$ genau dann ein Homöomorphismus, wenn sowohl $f$ als auch die Umkehrabbildung $f^{-1}\colon \,Y\to X$ offene Abbildungen sind.
* In einem topologischen Produktraum $X=\textstyle \prod _{i\in I}X_{i}$ sind die kanonischen Projektionen $p_{i}\colon X\to X_{i}$ stets offen.
* Projektionen von Faserbündeln sind stets offene Abbildungen.
* Ein stetiger, linearer Operator zwischen zwei Banachräumen ist genau dann offen, wenn er surjektiv ist. (Satz über die offene Abbildung)
* Der Offenheitssatz der Funktionentheorie besagt, dass holomorphe Funktionen, die auf keiner Zusammenhangskomponente ihres offenen Definitionsbereichs konstant sind, offene Abbildungen sind.
* Nach dem Satz von der Invarianz offener Mengen ist im euklidischen Raum $\mathbb {R} ^{n}\;(n\in \mathbb {N} )$ für jede offene Teilmenge $U\subseteq \mathbb {R} ^{n}$ und jede injektive stetige Abbildung $f\colon U\to \mathbb {R} ^{n}$ die Bildmenge $f(U)\subseteq \mathbb {R} ^{n}$ stets offen, also $f$ eine offene Abbildung.
* Der Satz von der offenen Abbildung aus der Theorie der lokalkompakten Gruppen besagt, dass jeder stetige, surjektive Gruppenhomomorphismus von einer σ-kompakten, lokalkompakten Gruppe auf eine lokalkompakte Gruppe automatisch offen ist.