どうも有り難うございます。


>> F∩B_k~は閉集合ならその可算和集合もどうして閉集合と言えるのでしょうか?
> 閉集合であるというのは局所ごとに check 出来る性質で
:
> ます. F ∩ B_{k+1}~ は閉集合ですから, a ∈ F ∩ B_{k+1}~,
> つまり, a ∈ F となります.

なるほど。お蔭様で納得できました。