命題(Hahn-Banachの定理(>>104)の系)
K を実数体または複素数体とする。
E を K 上の局所凸線形空間とする。
x_0 ∈ E - {0}~ とする。
ここで {0}~ は 0 の閉包である。
このとき E 上の連続な線形形式 f で f(x_0) ≠ 0 となるものが
存在する。

証明
過去スレ008の535より E 上の連続な半ノルム p で p(x_0) ≠ 0 と
なるものが存在する。
>>561 より E 上の線形形式 f で
f(x_0) = p(x_0) となり任意の x ∈ E に対して |f(x)| ≦ p(x) と
なるものが存在する。
p は連続だから f も連続である。
証明終