開写像定理は、バナッハ空間の間の全射有界線形作用素が開写像であることを主張します。閉グラフ定理と並ぶ関数解析の基本定理です。
開写像の定義
位相空間の間の写像 が 開写像 であるとは、 の任意の開集合の像が で開集合になることをいいます。
連続写像は開集合の逆像が開集合になりますが、開写像はその双対的な性質です。
定理の主張
, をバナッハ空間、 を全射有界線形作用素とします。このとき は開写像です。
同値な言い換えとして、ある が存在して
が成り立ちます。ここで です。
証明の概略
ベールのカテゴリー定理を使います。 が全射なので
ベールの定理より、ある は内点をもちます。線形性から も内点をもつことがわかります。
次に の完備性を使って、 自身が の近傍を含むことを示します。
系：有界逆作用素の定理
有界逆作用素の定理
, がバナッハ空間で、 が全単射有界線形作用素ならば、 も有界線形作用素です。
逆写像 が線形なのは明らかですが、有界性（連続性）は自明ではありません。開写像定理から、 が開写像なので は連続になります。
応用
2つのノルム , がベクトル空間 に定義されていて、両方で完備とします。もし ならば、逆向きの不等式 も成り立ちます。
これは恒等写像 に有界逆作用素の定理を適用することでわかります。
