>>421
{f_n},X'の点列がfに収束する ⇔∀x∈X limf_n(x)=f(x)

ということですよね？　
これでX'が線型位相空間になるのはほぼ明らかだと思いますが