初出 2015-10-18 原稿番号 2015-10-18-01 FILES 公開ファイル TeXソース 検索語テキスト 元の記事 TAGS 電波通信のタグ 位相空間 数学 コンパクトネス 局所コンパクト 正規空間 KEYWORDS 検索キーワード コンパクトハウスドルフ空間と正規性と単位の分割など