アレクサンドロフ拡大のソースを表示

{{参照方法|date=2017年9月}}
[[数学]]の一分野[[位相空間論]]における'''アレクサンドロフ拡大'''（アレクサンドロフかくだい、{{lang-en-short|''Alexandroff extension''}}）は、一点を追加することにより非コンパクト[[位相空間]]を拡大して[[コンパクト空間]]を得る方法である。名称はロシア人数学者[[パヴェル・アレクサンドロフ]]に因む。

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

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

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

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

== 定義 ==
; 定義 [アレクサンドロフ拡大]:集合として {{math|''X*'' {{coloneqq}} ''X'' ∪ {{mset|∞}}}} とし、{{mvar|X}} の任意の開集合 {{mvar|U}} および {{mvar|X}} の任意のコンパクト閉集合 {{mvar|C}} に対する {{math|''V'' {{coloneqq}} (''X'' {{setminus}} ''C'') ∪ {{mset|∞}}}} の全体を開集合系とする位相を与えて {{mvar|X*}} を位相空間にする。ただし、{{math|''X'' {{setminus}} ''C''}} は[[差集合]]である。{{mvar|V}} が {{math|{{mset|∞}}}} の開近傍であり、したがって {{math|{{mset|∞}}}} の任意の開被覆が {{mvar|X*}} のコンパクト部分集合 {{mvar|C}} を除く全ての点を含むことから、{{mvar|X*}} がコンパクトであることが導かれる{{sfn|Kelley|1975|p=150}}。包含写像 {{math|''c'': ''X'' ↪ ''X*''}} を {{mvar|X}} の'''アレクサンドロフ拡大'''と呼ぶ{{sfn|Willard|1970|loc=19A}}。

既にみたように、以下のような性質が満たされる:
* 写像 {{mvar|c}} は連続開写像であり、{{mvar|X}} は {{mvar|X*}} の開集合として埋め込まれる;
* 空間 {{mvar|X*}} はコンパクトである;
* 像 {{math|''c''(''X'')}} は {{mvar|X}} が非コンパクトのとき {{mvar|X*}} において稠密;
* 空間 {{mvar|X*}} がハウスドルフとなるための必要十分条件は {{mvar|X}} が局所コンパクトハウスドルフとなることである。

; 定義 [一点コンパクト化]: 特にアレクサンドルフ拡大 {{math|''c'': ''X'' → ''X*''}} が {{mvar|X}} のコンパクト化となるための必要十分条件は {{mvar|X}} がコンパクトでない局所コンパクトハウスドルフ空間となることであり、この場合を特に'''一点コンパクト化'''あるいは'''アレクサンドルフコンパクト化'''と呼ぶ。

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

== 例 ==
=== 離散空間のコンパクト化 ===
* 正整数全体の成す集合 {{mathbf|N}} の一点コンパクト化 {{math|'''N'''*}} は {{math|''K'' {{coloneqq}} {{mset|0}} ∪ {{mset|1/''n'' | ''n'' ∈ '''N'''}}}} に順序位相を入れたものに[[同相]]である。
* 位相空間 {{mvar|X}} における点列 {{math|(''a{{sub|n}}'')}} が {{mvar|X}} の一点 {{mvar|a}} に収束するための必要十分条件は、{{math|''n'' ∈ '''N'''}} に対し {{math|''f''(''n'') {{coloneqq}} ''a{{sub|n}}''}} および {{math|''f''(∞) {{coloneqq}} ''a''}} とおいて得られる写像 {{math|''f'': '''N'''* → ''X''}} が連続となることである。ここで {{mathbf|N}} には[[離散位相]]が入っているものとする。
* {{ill2|Poly&shy;adic空間|en|Polyadic space}}は局所コンパクトハウスドルフな離散空間の一点コンパクト化の[[直積位相|デカルト冪]]からの連続像として定義される位相空間である。

=== 連続的空間のコンパクト化 ===
* {{mvar|n}}-次元ユークリッド空間 {{math|'''R'''{{sup|''n''}}}} の一点コンパクト化は {{mvar|n}}-次元球面 {{math|''S{{sup|n}}''}} に同相である。これは最初の例で見たように、{{mvar|n}}-次元の逆立体射影として埋め込み写像が与えられる。
* 半開半閉区間 {{closed-open|0, 1}} の {{mvar|κ}} 個のコピーの直積 {{math|{{closed-open|0, 1}}{{exp|''κ''}}}} の一点コンパクト化は {{math|{{closed-closed|0, 1}}{{exp|''κ''}}}} に同相である。
* 連結部分集合の閉包もまた連結であるから、非コンパクト連結空間のアレクサンドロフ拡大も連結である。しかし、非連結空間の一点コンパクト化が「連結」となることが起こり得る。実例として、開区間 {{open-open|0, 1}} の {{mvar|κ}} 個のコピーからなる非交和の一点コンパクト化は {{mvar|k}}-弁の[[ブーケ (数学)|円のブーケ]]になる。
* コンパクトハウスドルフ空間 {{mvar|X}} と {{mvar|X}} の任意の閉部分集合 {{mvar|C}} に対し、差集合 {{math|''X'' {{setminus}} ''C''}} の一点コンパクト化は {{mvar|C}} を一点につぶした[[等化空間]] {{mvar|X/C}} に同相である。<ref name=rotman>Joseph J. Rotman, ''An Introduction to Algebraic Topology'' (1988) Springer-Verlag {{ISBN2|0-387-96678-1}} ''(See Chapter 11 for proof.)''</ref>
* {{mvar|X, Y}} が二つの局所コンパクトハウスドルフ空間であるとき、それらの直積空間の一点コンパクト化は {{math|1=(''X'' × ''Y'')* = ''X*'' ∧ ''Y*''}} で与えられる。ここで[[スマッシュ積]] {{math|∧}} は、[[一点和]] {{math|∨}} に関する等化空間 {{math|''A'' ∧ ''B'' {{coloneqq}} (''A'' × ''B'')/(''A'' ∨ ''B'')}} として定義されるものである<ref name=rotman/>。

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

=== 函手として ===
アレクサンドロフ拡大を、[[位相空間の圏]]（[[固有写像|固有]]連続写像を射とする）から連続写像 {{math|''c'': ''X'' → ''Y''}} を対象とする圏への[[函手]]と見ることができる。

後者の圏において {{math|''c''{{sub|1}}: ''X''{{sub|1}} → ''Y''{{sub|1}}}} から {{math|''c''{{sub|2}}: ''X''{{sub|2}} → ''Y''{{sub|2}}}} への射とは、{{math|1=''f{{sub|Y}}'' ∘ ''c''{{sub|1}} = ''c''{{sub|2}} ∘ ''f{{sub|X}}''}} を満たす連続写像の対 {{math|''f{{sub|X}}'': ''X''{{sub|1}} → ''X''{{sub|2}}, ''f{{sub|Y}}'': ''Y''{{sub|1}} → ''Y''{{sub|2}}}}: <math display="block">\begin{matrix}c_1: & X_1 & \to & Y_1\\ {}^f\downarrow & \downarrow & \circlearrowright & \downarrow \\ c_2: & X_2 & \to & Y_2\end{matrix}</math> を言う。

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

== 関連項目 ==
* {{ill2|ウォールマンコンパクト化|en|Wallman compactification}}
* [[端点]] (ends)
* [[リーマン球面]]
* [[正規空間]]
* [[立体射影]]
* [[点付き集合]]

== 脚注 ==
<references/>

== 参考文献 ==
* {{Citation | last1=Engelking | first1=Ryszard | authorlink = Ryszard Engelking | title=General Topology | publisher=[[Helderman Verlag Berlin]] | isbn=978-0-201-08707-9 | mr=1039321 | year=1989 |ref= harv}}
* {{SpringerEOM|title=Aleksandrov compactification|last=Fedorchuk|first=V.V. |urlname=Aleksandrov_compactification}}
* {{Citation | last1=Kelley | first1=John L. | author1-link=John L. Kelley | title=General Topology | publisher=[[Springer-Verlag]] | location=Berlin, New York | isbn=978-0-387-90125-1 | mr=0370454  | year=1975 |ref= Harv}}
* {{Citation | last1=Willard | first1=Stephen | title=General Topology | publisher=[[Addison-Wesley]] | isbn=3-88538-006-4 | mr=0264581 | zbl=0205.26601 | year=1970 |ref= harv}}

== 関連文献 ==
* {{citation |author-link=パヴェル・アレクサンドロフ| first= P.S. |last= Alexandroff |journal= Math. Ann. |volume= 92|issue=3-4 |year=1924 |pages= 294–301 |title= Über die Metrisation der im Kleinen kompakten topologischen Räume |url=https://eudml.org/doc/159072 |doi=10.1007/BF01448011 |jfm=50.0128.04 }}
* {{citation |first= Ronald |last= Brown |author-link= :en:Ronald Brown (mathematician) |journal= J. London Math Soc. (2) |zbl= 0269.54015 |doi=10.1112/jlms/s2-7.3.515 |volume=  7 |year= 1973 |pages= 515–522 |title= Sequentially proper maps and a sequential compactification}}
* {{Citation |first= James |last= Munlres | author-link = :en:James Munkres | year = 1999 | title = Topology | edition = 2nd | publisher = [[Prentice Hall]] | isbn = 0-13-181629-2 | zbl=0951.54001}}

== 外部リンク ==
* {{MathWorld|urlname=One-PointCompactification|title=One-Point Compactification|author=Cortzen, Allan.}}
* {{nlab|urlname=one-point+compactification|title=one-point compactification}}
* {{PlanetMath|urlname=AlexandrovOnePointCompactification|title=Alexandrov one-point compactification}}

{{DEFAULTSORT:あれくさんとろふかくたい}}
[[Category:位相空間論]]
[[Category:数学に関する記事]]