命題
K を実数体または複素数体とする。
E, F を K 上の位相線形空間とする。
L(E, F) を E から F への連続な線形写像全体とする。
Σを E の部分集合の集合で Σ の元はすべて有界(>>35)とする。

Σ-収束の位相(>>37)により L(E, F) は K 上の位相線形空間となる。
さらに F が局所凸(過去スレ008の513と593)であれば L(E, F) も
局所凸である。

証明
Σ の元はすべて有界であるから、
>>52 より、任意の M ∈ Σ と任意の f ∈ L(E, F) に対して
f(M) は有界(>>35)である。
よって、>>49 より本命題の主張が得られる。
証明終