質問: 数列空間 l^2空間の可分について l^2={ {xn}| xn∈c σ|xn|^2<+∞} でその部分空間la^2を la^2={ {xn} | 有限個の xi を除いて0} としたときla^2の閉包とl^2が等しいことを示したいのですが、la^2の閉包 ⊂ l^2は示せたのですが逆の la^2の閉包 ⊃ l^2 がどうしても分かりません閉じれば成り立つことはなんとなくイメージできるのですが どなたかお暇なときにでも良いので助けてはいただけないでしょうか?よろしくお願いします。
回答: 証明は非常に簡単で、l^2の元{xn}をひとつ任意にとったとき、これがla^2の元で近似できればよいのです。そこで{xn}でn≦kのときxn、n>kのとき0となる数列の列{x'n}^(k)を考えます。^(k)は添え字だと思ってください。これがl^2の意味で{xn}に収束するのは明らかだから、これで証明が出来たことになります。 距離空間の話だともう少しわかりやすく想像できるのではないでしょうか。すなわちa⊂bがあってcl(a)⊃b[clは閉包とします]を示すのに、cl(a)というのはようするにcl(a)の中にaがdenseに入っているということなので、cl(a)の元はaで近似できるということです。逆に言うとaの収束列はすべてcl(a)に入ります(それが閉集合の定義のひとつでもありますよね。収束列の極限を必ず含むというのが)。