Satz von der offenen Abbildung (Funktionentheorie)

Der Satz von der offenen Abbildung, manchmal auch Offenheitssatz, ist ein Satz der Funktionentheorie und besagt, dass Bilder offener Mengen unter holomorphen Abbildungen, die auf keiner Zusammenhangskomponente der offenen Menge konstant sind, wieder offen sind. Eine Folgerung aus diesem Satz ist das Maximumprinzip für holomorphe Funktionen. Höherdimensionale Aussagen dieser Art gelten nicht.

Satz der offenen Abbildung für holomorphe Funktionen

Sei $U\subseteq {\mathbb {C}}$ offen und $f\colon U\to {\mathbb {C}}$ eine holomorphe Funktion, die auf keiner Zusammenhangskomponente von konstant ist. Dann ist f(U) eine offene Menge.

Eine unmittelbare Folgerung ist die Gebietstreue holomorpher Funktionen.

Sei $f\colon G\to \mathbb {C}$ eine nicht-konstante, holomorphe Funktion auf einem Gebiet , dann ist f(G) ebenfalls ein Gebiet.

Basierend auf einem Artikel in:

Wikipedia.de