一点コンパクト化とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 一点コンパクト化の意味・解説 

アレクサンドロフ拡大

(一点コンパクト化 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/03/28 01:57 UTC 版)

数学の一分野位相空間論におけるアレクサンドロフ拡大(アレクサンドロフかくだい、: Alexandroff extension)は、一点を追加することにより非コンパクト位相空間を拡大してコンパクト空間を得る方法である。名称はロシア人数学者パヴェル・アレクサンドロフに因む。

より精確に、位相空間 X に対し、X のアレクサンドロフ拡大とは、適当なコンパクト空間 X*埋め込み c: XX* の組で、埋め込まれた XX* における補集合が一点(それをふつう と書く)となるようなものを言う。埋め込み写像 c がハウスドルフ埋め込みとなるための必要十分条件は、X がコンパクトでない局所コンパクトハウスドルフ空間であることである。そのような空間に対するアレクサンドロフ拡大は一点コンパクト化(いってんコンパクトか、: one-point compactification)あるいはアレクサンドロフコンパクト化 (Alexandroff compactification) と呼ぶ。アレクサンドロフコンパクト化を考えることの優位な点は、それが単純な操作であること、大抵幾何学的に意味のある構造となること、および任意のコンパクト化の中で極小であるという事実にある。不利な点は、それがハウスドルフコンパクト化を与えるのがコンパクトでない局所コンパクトハウスドルフ空間のクラスに限られることであり、この点は任意の位相空間というより広範なクラスにおいて存在するストーン–チェックコンパクト化英語版とは異なる特徴ということになる。

動機付け

例 (逆立体射影)
一点コンパクト化の幾何学的によく実感できる例は、立体射影の逆を考えることで与えられる。立体射影 S は北極点 (0, 0, 1) を除く単位球面からユークリッド平面への同相写像を陽に与えるものであったことを思い出そう。その逆写像(逆立体射影)S−1: R2S2 は開写像かつ、追加の点 ∞ ≔ (0, 0, 1) を添加して得られるコンパクトハウスドルフ空間への稠密な埋め込みとなる。立体射影により緯線円 z = c は平面円 r = (1 + c)/(1 − c) へ写されるから、北極点 (0, 0, 1) の基本近傍系を取り除いて得られる穴あき球冠 cz < 1 は平面閉円板 r(1 + c)/(1 − c) の補集合に対応する。より定性的に述べれば、 における基本近傍系は、KR2 のコンパクト部分集合を亙るときの S−1(R2 K) ∪ {∞} によって与えられる。

この例はすでに一般の場合の鍵となる考え方を含んでいる。

位相空間 X からコンパクトハウスドルフ空間 Y への埋め込み c: XY で稠密な像を持ち、埋め込み像の補集合 (remainder) が一点: {∞} = Y c(X) となるならば、c(X) はコンパクトハウスドルフ空間において開、したがって局所コンパクトハウスドルフであるから、それに同相な原像 X も局所コンパクトである。さらに言えば、X がコンパクトならば c(X)Y において閉であり、したがって稠密でない。よって、一点コンパクト化ができる空間は、コンパクトでなく、局所コンパクトかつハウスルドルフであることが必要十分である。さらに言えば、そのような一点コンパクト化において各 xX の基本近傍系の像は c(x) ∈ c(X) の基本近傍系を与え、また(コンパクトハウスドルフ空間の部分集合がコンパクトとなるための必要十分条件はそれが閉であることだから) の開近傍はちょうど X の補コンパクト部分集合の c による像に を添加して得られる集合でなければならない。

定義

定義 [アレクサンドロフ拡大]
集合として X*X ∪ {∞} とし、X の任意の開集合 U および X の任意のコンパクト閉集合 C に対する V ≔ (X C) ∪ {∞} の全体を開集合系とする位相を与えて X* を位相空間にする。ただし、X C差集合である。V{∞} の開近傍であり、したがって {∞} の任意の開被覆が X* のコンパクト部分集合 C を除く全ての点を含むことから、X* がコンパクトであることが導かれる[1]。包含写像 c: XX*Xアレクサンドロフ拡大と呼ぶ[2]

既にみたように、以下のような性質が満たされる:

  • 写像 c は連続開写像であり、XX* の開集合として埋め込まれる;
  • 空間 X* はコンパクトである;
  • c(X)X が非コンパクトのとき X* において稠密;
  • 空間 X* がハウスドルフとなるための必要十分条件は X が局所コンパクトハウスドルフとなることである。
定義 [一点コンパクト化]
特にアレクサンドルフ拡大 c: XX*X のコンパクト化となるための必要十分条件は X がコンパクトでない局所コンパクトハウスドルフ空間となることであり、この場合を特に一点コンパクト化あるいはアレクサンドルフコンパクト化と呼ぶ。

上で述べたように、一点を付け加える任意のコンパクト化はアレクサンドロフコンパクト化(に同型)でなければならない。また、X がコンパクトでない任意のチホノフ空間とするとき、その任意のコンパクト化の同値類全体の成す集合 C(X) 上の自然な半順序のもと、任意の極小元はアレクサンドロフ拡大と同値になる[3]。したがって、コンパクトでないチホノフ空間が極小コンパクト化を持つための必要十分条件が、それが局所コンパクトであることである。

離散空間のコンパクト化

  • 正整数全体の成す集合 N の一点コンパクト化 N*K ≔ {0} ∪ {1/n  |  nN} に順序位相を入れたものに同相である。
  • 位相空間 X における点列 (an)X の一点 a に収束するための必要十分条件は、nN に対し f(n) ≔ an および f(∞) ≔ a とおいて得られる写像 f: N* → X が連続となることである。ここで N には離散位相が入っているものとする。
  • Poly­adic空間英語版は局所コンパクトハウスドルフな離散空間の一点コンパクト化のデカルト冪からの連続像として定義される位相空間である。

連続的空間のコンパクト化

  • n-次元ユークリッド空間 Rn の一点コンパクト化は n-次元球面 Sn に同相である。これは最初の例で見たように、n-次元の逆立体射影として埋め込み写像が与えられる。
  • 半開半閉区間 [0, 1)κ 個のコピーの直積 [0, 1)κ の一点コンパクト化は [0, 1]κ に同相である。
  • 連結部分集合の閉包もまた連結であるから、非コンパクト連結空間のアレクサンドロフ拡大も連結である。しかし、非連結空間の一点コンパクト化が「連結」となることが起こり得る。実例として、開区間 (0, 1)κ 個のコピーからなる非交和の一点コンパクト化は k-弁の円のブーケになる。
  • コンパクトハウスドルフ空間 XX の任意の閉部分集合 C に対し、差集合 X C の一点コンパクト化は C を一点につぶした等化空間 X/C に同相である。[4]
  • X, Y が二つの局所コンパクトハウスドルフ空間であるとき、それらの直積空間の一点コンパクト化は (X × Y)* = X*Y* で与えられる。ここでスマッシュ積 は、一点和 に関する等化空間 AB ≔ (A × B)/(AB) として定義されるものである[4]

函数空間のコンパクト化

  • 局所コンパクトハウスドルフ空間 Ω 上の連続函数全体の成す空間 C(Ω) は局所コンパクトであるが、それがコンパクトとできるための必要十分条件は、それが一点 f ≡ 1 を含むことである。

函手として

アレクサンドロフ拡大を、位相空間の圏固有連続写像を射とする)から連続写像 c: XY を対象とする圏への函手と見ることができる。

後者の圏において c1: X1Y1 から c2: X2Y2 への射とは、fYc1 = c2fX を満たす連続写像の対 fX: X1X2, fY: Y1Y2:

を言う。

特に、同相写像全体の成す空間はアレクサンドロフ拡大の空間に同型である。

関連項目

脚注

  1. ^ Kelley 1975, p. 150.
  2. ^ Willard 1970, 19A.
  3. ^ Engelking 1989, Theorem 3.5.12.
  4. ^ a b Joseph J. Rotman, An Introduction to Algebraic Topology (1988) Springer-Verlag ISBN 0-387-96678-1 (See Chapter 11 for proof.)

参考文献

関連文献

外部リンク


一点コンパクト化

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/03 11:31 UTC 版)

三次元球面」の記事における「一点コンパクト化」の解説

「一点コンパクト化」も参照 二次元球面から一点取り除いたものはユークリッド平面同相であることを思い出そう同様にして、三次元球面から一点取り除いたものは三次元ユークリッド空間同相である。このことを確かめ極めて有効な方法立体射影よるものである。先に二次元球面の場合について確認しよう通常の意味での立体射影は、単位二次元球面三次元空間内の xy-平面原点南極 S が載るように置く。北極 N を除く二次元球面上の任意の点 P を、N と P を結ぶ直線 NPxy-平面との交点へ写すものであった三次元球面に関する立体射影も、同様の仕方北極を除く三次元球面上の各点xyz-空間上の点へ写す。(立体射影等角射影英語版であるから球面球面または平面写されることに注意。) 指数写像用いて一点コンパクト化を考えることもできる。ふたたび、二次元球面ユークリッド平面置いた例で考えれば平面上の原点を始点とする測地線球面上の南極始点とする同じ長さ測地線写される。このとき、半径 π の円上の点はすべて北極に写るが、開単位円板ユークリッド平面同相であったから、これもやはり一点コンパクト化であったことがわかる。三次元球面対す指数写像同様に構成される。この議論は、三次元球面単位四元数の成すリー群であるという事実を用いてもできる。

※この「一点コンパクト化」の解説は、「三次元球面」の解説の一部です。
「一点コンパクト化」を含む「三次元球面」の記事については、「三次元球面」の概要を参照ください。

ウィキペディア小見出し辞書の「一点コンパクト化」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「一点コンパクト化」の関連用語

一点コンパクト化のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



一点コンパクト化のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアのアレクサンドロフ拡大 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの三次元球面 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS