定義：位相空間Ｘがベール空間であるとは，加算個の開集合族で各ｎに対してなるものが任意に与えられたとき，なるものをいう． ベール空間は第二類集合です． 補題１：位相空間Ｘに対して次の２条件は同値である． １．Ｘはコンパクトである． ２．Ｘの部分…

永井均『ウィトゲンシュタイン入門』には第２章に前期ウィトゲンシュタイン哲学のことが書かれています．第２章は４つのセクションから成っています．この記事では１つめのセクション「『論理哲学論考』の本質」の気になった部分についてのメモを連ねます． …

今日は任意の位相群が完全正則(completely regular)空間であることを証明します． 定義：位相空間Ｘが完全正則であるとは，閉集合Ｆとそれに元として含まれないが任意に与えられたときに，連続写像が存在して， なることをいう． ちなみに完全正則だからとい…

位相群というのは群構造の入った位相空間で、演算 が連続になるようなもののことです． 今日は位相群がT0であればHausdorff空間になることを示します． 補題：位相群Ｇの任意の部分集合Ａと単位元ｅの任意の開近傍Ｕに対し となる． 証明：Ｕをなどと置きな…