「局所コンパクト空間」の版間の差分

削除された内容追加された内容

インライン

2012年3月29日 (木) 04:29時点における版

数学において、位相空間 X が局所コンパクト（きょくしょコンパクト、英: locally compact^[1]）というのは、雑に言って、X の各点の近傍ではコンパクトであるという性質をもつことである。位相空間がコンパクトであるための条件は非常に厳しく、コンパクトな空間が数学において特殊な位置を占めているのに対して、数学で扱う位相空間はほとんどが局所コンパクトである。

定義

位相空間 X が局所コンパクトであるとは、任意の点 x ∈ X に対して、x の近傍 U でコンパクトなものが存在することである。

命題

コンパクト空間は局所コンパクトである

ハウスドルフかつ局所コンパクトな空間の開部分集合は局所コンパクトである

例

局所コンパクトである例

コンパクト空間はすべて局所コンパクトである。
d 次元ユークリッド空間 R^d は通常の位相に関してコンパクトではないが、局所コンパクトである。

局所コンパクトでない例

Q は通常の位相で局所コンパクトではない。どの有理数の近くにも無理数が存在するので、有理数の近傍で完備なものが存在しないため。
R² の部分集合

\{(0,0)\}\cup \{(x,y)\in \mathbb {R} ^{2}|x>0\}

は (0, 0) において完備な近傍をもたないので、局所コンパクトではない。

無限次元の線形位相空間は局所コンパクトではない。直感的には、有限次元の超立方体は各辺を n 等分すれば、n^d 個に分割できるが、無限次元だと無限個になってしまうので、全有界な近傍が存在しないからである。

コンパクト化

アレクサンドロフの一点コンパクト化についてここに書く。

脚注

[脚注の使い方]

^ 文部省編『学術用語集数学編』大日本図書、1954年。ISBN 4-477-00170-3。

参考文献

矢野公一『距離空間と位相構造』共立出版〈共立講座21世紀の数学〉、1997年。ISBN 4-320-01556-8。

@@ 1行目: / 1行目: @@
-[[数学]]において、[[位相空間]] ''X'' が'''局所コンパクト'''というのは雑に言って、''X'' の各点の[[近傍]]では[[コンパクト (数学)|コンパクト]]であるという性質をもつことである。位相空間がコンパクトであるための条件は非常に厳しく、コンパクトな空間が数学において特殊な位置を占めているのに対して、数学で扱う位相空間はほとんどが局所コンパクトである。
+[[数学]]において、[[位相空間]] ''X'' が'''局所コンパクト'''（きょくしょコンパクト、{{Lang-en-short|locally compact}}<ref>{{Cite book|和書
+|author = [[文部省]]編
+|title = [[学術用語集]] 数学編
+|url = http://sciterm.nii.ac.jp/cgi-bin/reference.cgi
+|year = 1954
+|publisher = [[大日本図書]]
+|isbn = 4-477-00170-3
+|oclc =
+|page =
+}}</ref>）というのは、雑に言って、''X'' の各点の[[近傍]]では[[コンパクト空間|コンパクト]]であるという性質をもつことである。位相空間がコンパクトであるための条件は非常に厳しく、コンパクトな空間が数学において特殊な位置を占めているのに対して、数学で扱う位相空間はほとんどが局所コンパクトである。
 == 定義 ==
-位相空間 ''X'' が'''局所コンパクト'''であるとは、任意の点 ''x'' &isin; ''X'' に対して、''x'' の近傍 ''U'' でコンパクトなものが存在することである。
+位相空間 ''X'' が局所コンパクトであるとは、任意の点 ''x'' &isin; ''X'' に対して、''x'' の近傍 ''U'' でコンパクトなものが存在することである。
 == 命題 ==
-コンパクト空間は局所コンパクトである <br/>
+コンパクト空間は局所コンパクトである
 [[ハウスドルフ空間|ハウスドルフ]]かつ局所コンパクトな空間の開部分集合は局所コンパクトである
-==例==
+== 例==
-===局所コンパクトである例===
+=== 局所コンパクトである例 ===
 * コンパクト空間はすべて局所コンパクトである。
 * ''d'' 次元[[ユークリッド空間]] '''R'''<sup>''d''</sup> は通常の位相に関してコンパクトではないが、局所コンパクトである。
+=== 局所コンパクトでない例 ===
-===局所コンパクトでない例===
 * '''Q''' は通常の位相で局所コンパクトではない。どの[[有理数]]の近くにも[[無理数]]が存在するので、有理数の近傍で[[完備]]なものが存在しないため。
 * '''R'''<sup>2</sup> の部分集合
-::<math>\{(0,0)\} \cup \{(x, y) \in \mathbb{R}^2 | x > 0 \}</math>
+:: <math>\{(0,0)\} \cup \{(x, y) \in \mathbb{R}^2 | x > 0 \}</math>
-:は (0, 0) において完備な近傍をもたないので、局所コンパクトではない。
+: は (0, 0) において完備な近傍をもたないので、局所コンパクトではない。
 * [[無限次元]]の[[線形位相空間]]は局所コンパクトではない。直感的には、[[有限次元]]の[[超立方体]]は各辺を ''n'' 等分すれば、''n''<sup>''d''</sup> 個に分割できるが、無限次元だと無限個になってしまうので、[[全有界]]な近傍が存在しないからである。
+== コンパクト化 ==
+アレクサンドロフの一点コンパクト化についてここに書く。
+{{節stub}}
+== 脚注 ==
-==コンパクト化==
+{{脚注ヘルプ}}
-アレクサンドロフの一点コンパクト化についてここに書く。(stub)
+{{Reflist}}
+== 参考文献 == <!-- {{Cite book}}、{{Cite journal}} -->
-==関連項目==
+* {{Cite book|和書
+|author = [[矢野公一]]
+|title = 距離空間と位相構造
+|year = 1997
+|publisher = [[共立出版]]
+|series = 共立講座21世紀の数学
+|isbn = 4-320-01556-8
+|oclc =
+|page =
+}}
+== 関連項目 ==
+<!-- {{Commonscat|Locally compact space}} -->
+* [[コンパクト空間]]
+* [[位相空間]]
 * [[位相群]]
 * [[調和解析]]
+<!-- == 外部リンク == {{Cite web}} -->
-== 参考文献 ==
-矢野公一 距離空間と位相構造 共立出版,<共立講座 21世紀の数学>,1997
-{{DEFAULTSORT:きよくしよこんはくと}}
-{{sci-stub}}
+{{Math-stub}}
+{{デフォルトソート:きよくしよこんはくとくうかん}}
 [[Category:位相幾何学]]
 [[Category:数学に関する記事]]