開写像定理 (関数解析)

関数解析学における開写像定理（かいしゃぞうていり、英語: Open mapping theorem）あるいはバナッハ・シャウダーの定理（ステファン・バナッハとユリウス・シャウダー（英語版）の名にちなむ）とは、バナッハ空間の間の連続線形作用素が全射であるならば開写像であるということについて述べた、同分野の基本的な結果の一つである。より正確に言うと (Rudin 1973, Theorem 2.11):

もし X と Y がバナッハ空間で、A : X → Y が全射の連続線形作用素であるなら、A は開写像である（すなわち、U が X の開集合であるなら、A(U) は Y の開集合となる）。

証明にはベールの範疇定理が用いられる。また X と Y が完備であることは、定理の成立において本質的な条件である。実際、上記の主張において X, Y がバナッハ（完備なノルム空間）であるという仮定を緩めて、いずれかの空間が（完備でない）単なるノルム空間であるとするとこの主張は正しくなくなり、対して X と Y が（完備だがその距離が必ずしもノルムから導かれるものでない）フレシェ空間とした場合にはやはり主張が成り立つ。

帰結

開写像定理にはいくつかの重要な帰結が存在する:

A : X → Y がバナッハ空間 X と Y の間の全単射連続線形作用素ならば、逆作用素 A^-1 : Y → X は連続となる（有界逆写像定理）。(Rudin 1973, Corollary 2.12)
A : X → Y がバナッハ空間 X と Y の間の線形作用素で、x_n → 0 かつ Ax_n → y であるような X 内の任意の点列 (x_n) に対し y = 0 が成立するならば、A は連続である（閉グラフ定理）。(Rudin 1973, Theorem 2.15)

証明

A : X → Y がバナッハ空間の間の全射連続線形作用素であるときに、A が開写像であることを証明しなければならない。そのためには A が X 内の単位球体を Y の原点の近傍へと写すことを示せば十分である。

U と V をそれぞれ X と Y に含まれる単位球とする。このとき、X はその単位球と k ∈ N の積 kU からなる列の和集合であり、また A が全射であることから

Y=A(X)=A{\Bigl (}\bigcup _{k\in \mathbb {N} }kU{\Bigr )}=\bigcup _{k\in \mathbb {N} }A(kU)

が成立する。ベールのカテゴリー定理により、バナッハ空間 Y は可算個の疎集合の和集合にはならず、したがって A(kU) の閉包が空でない内部を持つような k > 0 が存在することになる。よって、A(kU) の閉包に含まれるような、中心 c、半径 r > 0 の開球 B(c, r) が Y 内に存在する。もし v ∈ V であるなら c + r v と c は B(c, r) に含まれ、したがってそれらは A(kU) の極限点である。加法の連続性により、それらの差分 rv は A(k U) − A(k U) ⊂ A(2kU) の極限点となる。A の線形性により、このことは任意の v ∈ V が A(δ⁻¹U) の閉包に含まれることを意味する。ここで δ = r / (2k) とする。任意の y ∈ Y および任意の ε > 0 に対し、

\|x\|<\delta ^{-1}\|y\|

および

\|y-Ax\|<\varepsilon \quad (1)

を満たすような、ある x ∈ X が存在する。y ∈ δ V を固定する（ここで δV は球体 V の境界ではなく、V を係数 δ により拡大した球を意味する）。(1) により、‖x ₁‖ < 1 かつ ‖y − A x ₁‖ < δ/ 2 を満たすような x ₁ が存在する。点列 {x_n} を次のような方法で帰納的に定義する。