閉値域の定理

数学のバナッハ空間に関する定理である閉値域の定理（へいちいきのていり、テンプレート:Lang-en-short）とは、稠密に定義された閉作用素が閉の値域を持つための必要十分条件を与える定理である。ステファン・バナフの1932年の論文 Théorie des opérations linéaires において証明された。

X と Y をバナッハ空間とし、T : D(X) → Y を、定義域 D(T) が X において稠密であるような線形閉作用素とし、$T^{\prime }$ をその転置とする。閉値域の定理は、次の四つの条件が同値であるということについて述べた定理である:

• T の値域 R(T) は、Y において閉である。
• $T^{\prime }$ の値域 $R(T^{\prime })$ は、X の双対空間 $X^{\prime }$ において閉である。
• $R(T)=N(T^{\prime }{)}^{\perp }=\{y\in Y|⟨x^{*},y⟩=0\mathrm{\forall }{x}^{*}\in N(T^{\prime })\}$
• $R(T^{\prime })=N(T{)}^{\perp }=\{x^{*}\in X^{\prime }|⟨x^{*},y⟩=0\mathrm{\forall }y\in N(T)\}.$

この定理には、いくつかの系（corollary）が存在することがただちに分かる。例えば、上述のような稠密に定義された閉作用素 T に対して R(T) = Y が成り立つことと、転置 $T^{\prime }$ に連続な逆が存在することは同値である。同様に、$R(T^{\prime })=X^{\prime }$ であることと、T に連続な逆が存在することは同値である。

参考文献

• テンプレート:Citation.

関連項目

• 線型代数学の基本定理