次の命題は過去スレ008の454の拡張である。

命題
K を実数体または複素数体とする。
E を K 上の位相線形空間とする。
A を E の平衡的(過去スレ006の630)な部分集合とする。
A の閉包 A~ は平衡的である。

証明
|μ| ≦ 1 に対して写像 f: E → E を f(x) = μx で定義する。
f は連続だから f(A~) ⊂ f(A)~ ⊂ A~ である。
よって、A~ は平衡的である。
証明終