- 101 名前：Kummer ◆g2BU0D6YN2 [2007/12/09(日) 00:33:18 ]
- Hahn-Banachの定理の解析版(>>95)の系１
E を実数体 R 上の線形空間とする。
p を E 上の半ノルム(過去スレ008の458)とする。
V を E の線形部分空間とし、 f を V 上の線形形式で
任意の y ∈ V に対して |f(y)| ≦ p(y) とする。
このとき E 上の線形形式 h で f の拡張であり
任意の x ∈ E に対して |h(x)| ≦ p(x) となるものがある。
証明
半ノルムは劣線形関数(>>94)である。
任意の y ∈ V に対して f(y) ≦ |f(y)| ≦ p(y) であるから
Hahn-Banachの定理の解析版(>>95) より
E 上の線形形式 h で f の拡張であり
任意の x ∈ E に対して h(x) ≦ p(x) となるものがある。
h(-x) ≦ p(-x) = p(x) であるから
h(x) ≧ -p(x) である。
よって、|h(x)| ≦ p(x) である。
証明終
