Der Satz von der offenen Abbildung, auch als Satz von Banach-Schauder bekannt, ist ein grundlegender Satz aus der Funktionalanalysis, einem Teilgebiet der Mathematik. Der Satz ist eine Folgerung aus dem Satz von Baire und wurde 1929 von Stefan Banach und Juliusz Schauder bewiesen.^[1]

Eine Abbildung zwischen topologischen Räumen heißt offen, wenn das Bild jeder offenen Menge offen ist.

Die Aussage des Satzes ist:

Sind und Banachräume, so gilt für jede stetige lineare Abbildung zwischen und :
ist surjektiv genau dann, wenn offen ist.

Man sieht leicht, dass eine offene lineare Abbildung surjektiv sein muss, da kein echter Unterraum von offen ist; der Gehalt des Satzes liegt also in der Aussage, dass jede surjektive stetige lineare Abbildung offen ist. Der Beweis benötigt sowohl die Vollständigkeit von als auch die von .

Unmittelbar aus der Definition von Stetigkeit folgt als Korollar:

Ist eine stetige lineare Bijektion zwischen zwei Banachräumen, dann ist die inverse Abbildung stetig.

Diese Aussage ist als Satz von der inversen Abbildung oder Satz vom stetigen Inversen bekannt. Sie lässt sich auch so formulieren:

Sei ein stetiger linearer Operator zwischen zwei Banachräumen und . Ist die Gleichung für jedes in eindeutig lösbar, so hängt die Lösung stetig von ab.

Der Satz über die offene Abbildung kann in der Theorie lokalkonvexer Räume auf größere Raumklassen ausgedehnt werden, siehe dazu Raum mit Gewebe, ultrabornologischer Raum oder (LF)-Raum.

1. ↑ Jürgen Heine: Topologie und Funktionalanalysis : Grundlagen der abstrakten Analysis mit Anwendungen. Oldenbourg, München/Wien 2002, ISBN 3-486-24914-2.

• Gert K. Pedersen: Analysis Now (Graduate Texts in Mathematics). Springer-Verlag, Berlin (u. a) 1988, ISBN 3-540-96788-5. 

• Lutz Führer: Allgemeine Topologie mit Anwendungen. Vieweg-Verlag, Braunschweig 1977, ISBN 3-528-03059-3.