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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X} und Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle Y} topologische Räume und ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon\, X \to Y} eine Bijektion, so ist Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} genau dann ein Homöomorphismus, wenn sowohl Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f} als auch die Umkehrabbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f^{-1} \colon\, Y \to X} offene Abbildungen sind.
• In einem topologischen Produktraum Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle X = \textstyle \prod_{i\in I} X_i} sind die kanonischen Projektionen Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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 Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle \R^n \; (n \in \N)} für jede offene Teilmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle U \subseteq \R^n} und jede injektive stetige Abbildung Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f \colon U \to \R^n} die Bildmenge Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle f(U) \subseteq \R^n} stets offen, also Fehler beim Parsen (MathML mit SVG- oder PNG-Rückgriff (empfohlen für moderne Browser und Barrierefreiheitswerkzeuge): Ungültige Antwort („Math extension cannot connect to Restbase.“) von Server „https://wikimedia.org/api/rest_v1/“:): {\displaystyle 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.

Literatur

• Nicolas Bourbaki: General Topology. Chapters 1–4. Springer, Berlin (u. u.) 1998, ISBN 978-3-540-64241-1
• Wolfgang Franz: Topologie I. Walter de Gruyter, 1973, ISBN 3-11-004117-0
• Egbert Harzheim: Einführung in die Kombinatorische Topologie Wissenschaftliche Buchgesellschaft, Darmstadt 1978, ISBN=3-534-07016-X
• Joseph Muscat: Functional Analysis. An introduction to Metric Spaces, Hilbert Spaces, and Banach Algebras. Springer, Cham (u. u.) 2014, ISBN 978-3-319-06727-8
• Boto von Querenburg: Mengentheoretische Topologie. 3. Auflage. Springer, Berlin 2001, ISBN 3-540-67790-9
• Horst Schubert: Topologie. 4. Auflage. B. G. Teubner, Stuttgart 1975, ISBN 3-519-12200-6