開写像定理 (関数解析)
A : X → Y がバナッハ空間の間の全射連続線形作用素であるときに、A が開写像であることを証明しなければならない。そのためには A が X 内の単位球体を Y の原点の近傍へと写すことを示せば十分である。
U と V をそれぞれ X と Y に含まれる単位球とする。このとき、X はその単位球と k ∈ N の積 kU からなる列の和集合であり、また A が全射であることから
Y = A ( X ) = A ( ⋃ k ∈ N k U ) = ⋃ k ∈ N A ( k U ) {\displaystyle 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) の閉包に含まれることを意味する。
関数解析学における開写像定理(かいしゃぞうていり、英語: 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 が(完備だがその距離が必ずしもノルムから導かれるものでない)フレシェ空間とした場合にはやはり主張が成り立つ。