- 112 名前：Kummer ◆g2BU0D6YN2 [2007/12/15(土) 14:46:51 ]
- 命題(>>104 の系２)
K を実数体または複素数体とする。
E を K 上の局所凸線形空間とする。
M を E の線形部分空間で f を M 上の連続な線形形式とする。
f は E 上の連続な線形形式 h に拡張される。
証明
>>110 より E 上の連続な半ノルム p で
任意の x ∈ M に対して |f(x)| ≦ p(x) となるものがある。
>>104 より E 上の線形形式 h で f の拡張であり
任意の x ∈ E に対して |h(x)| ≦ p(x) となるものがある。
>>110 より h は連続である。
証明終
