コンパクト化のソースを表示

{{otheruses||物理学におけるコンパクト化|コンパクト化 (物理学)}}
'''コンパクト化'''（{{lang-en-short|''compactification''}}）は[[数学]]の一分野である[[位相空間論]]({{lang-en-short|''general topology''}})の概念である。

== 概要 ==
位相空間''X'' の'''コンパクト化'''（{{lang-en-short|''compactification''}}）とは、''X'' を[[コンパクト空間|コンパクト]]な位相空間に[[稠密集合|稠密]]に埋め込む操作を指す。''X'' を数学的に取り扱いやすいコンパクトな空間へ埋め込むと、''X'' の性質を調べやすくする事ができる。

厳密な定義は以下のとおりである。

{| class="toccolours" width="100%" style="text-align:left"
!'''定義'''
|-
|
<math>X</math> が[[位相空間]] 、<math>K</math> が[[コンパクト空間|コンパクト]]な位相空間、<math>i:X\to K</math>が中への[[同相写像]]であり、<math>i(X)</math> が <math>K</math> で[[稠密集合|稠密]]であるとき、<math>K</math> を '''埋め込み写像'''<math>i</math> による<math>X</math> の'''コンパクト化'''という。
|}

埋め込み写像を強調して、組<math>(K,i)</math>の事を''X'' のコンパクト化という事もある。
また文脈から<math>i</math>が自明な時は<math>i</math> を略して<math>K</math>を''X'' のコンパクト化という。

例えば''X'' を<math>\mathbb{R}^n</math>上の縁を含まない単位円盤<math>\{x \in \mathbb{R}^n\mid |x|<1\}</math>としたとき、縁を含んだ単位円盤は包含写像を埋め込み写像とする''X'' のコンパクト化である。一方半径3の縁を含んだ円盤を''K'' とすると、''X'' は''K''の中で稠密ではないので、''K''は包含写像に対する''X'' のコンパクト化ではない。

''X'' は<math>i</math> によりそのコンパクト化''K'' に埋め込まれているので、''K'' はいわば''X''のに「点を付け加えて」コンパクト化したものとみなす事ができる。実応用上、こうした「付け加えた点」（すなわち<math>K\setminus i(X)</math>の点）は直観的には無限の彼方にあるとみなせるケースが多いので、<math>K\setminus i(X)</math> をコンパクト化 <math>(K,i)</math> の'''無限遠境界'''といい、無限遠境界上の点を'''無限遠点'''という事がある。

''X'' をコンパクト化する方法は一意とは限らず、複数のコンパクト化の方法がある事がある。したがって実用上は''X'' の構造を保つなど、''X'' の性質が調べやすくなるコンパクト化の方法を選ぶ必要がある（例えば''X'' が多様体であるときにコンパクト化''K'' として多様体になるものを選ぶ等）。

位相空間 <math>X</math> のコンパクト化 <math>(K_0,i_0)</math> 、<math>(K_1,i_1)</math> に対し、同相写像 <math>j:K_0\to K_1</math> が存在し、 <math>i_1=j\circ i_0</math> となるとき <math>(K_0,i_0)</math> と <math>(K_1,i_1)</math> は'''同値'''であるという。

著名なコンパクト化の方法として、'''アレクサンドロフの一点コンパクト化'''と'''ストーン・チェックのコンパクト化'''という両極端なものがある。前者はその名の通り、１点付け加えるだけで（コンパクトでない）任意の空間''X'' をコンパクト化する方法である。これはいわば「最小の」コンパクト化で、''X'' の任意のコンパクト化''K'' に対し、アレクサンドロフの一点コンパクト化<math>X^*</math>は必ず''K'' の商空間になる。より直観的にいえば、''K'' の無限遠境点を一点に潰したものがアレクサンドロフの一点コンパクト化に一致する。（ただしこの性質が成り立つには<math>X^*</math>も''K'' もハウスドルフであることが必要）。

一方ストーン・チェックのコンパクト化は逆の極端で、''X'' の任意のハウスドルフなコンパクト化''K'' に対し、''K'' はストーン・チェックのコンパクト化の商空間になる。すなわち''K'' はストーン・チェックのコンパクト化の無限遠境点を適当な同値関係で割ったものとしてできあがる。したがってストーン・チェックのコンパクト化はいわばハウスドルフな中では「もっとも大きな」コンパクト化である。ストーン・チェックのコンパクト化は''X'' が[[チコノフ空間]]であるときにその存在が証明されている。しかし''X'' が[[T1空間|T<sub>1</sub>空間]]でありさえすればその類似物（'''ウォールマンのコンパクト化'''）が作れる事が知られている。

== 基本事項 ==
*位相空間がハウスドルフなコンパクト化を持つ必要十分条件はその位相空間が[[分離公理#分離公理|チコノフ空間]]（完全正則ハウスドルフ）であること。
*ハウスドルフ空間 <math>X</math> のハウスドルフなコンパクト化 <math>(i,K)</math> に対し、<math>i(X)</math> が <math>K</math> の開部分集合となる必要十分条件は <math>X</math> が[[局所コンパクト]]であること。
* <math>(i,K)</math> をハウスドルフ空間 <math>X</math> のハウスドルフなコンパクト化とするとき、<math>K</math> の[[濃度 (数学)|濃度]] <math>|K|</math> は高々 <math>2^{2^{|X|}}</math> である。

== アレクサンドロフの一点コンパクト化 ==
{{main|アレクサンドロフの一点コンパクト化}}

=== 定義 ===

<math>X</math>をコンパクトでない位相空間とし、<math>\infty</math> を<math>X</math> 上に存在しない一点とし、<math>X^*:=X\cup\{\infty\}</math> に以下の位相を入れたものを考える。

{| class="toccolours" width="100%" style="text-align:left"
|-
|
次のいずれかのケースになるとき<math>U\subseteq X^*</math>を<math>X^*</math> の開集合とみなす<ref name="uchida124">『数学シリーズ集合と位相』内田伏一著、p124、裳華房</ref>：
#<math>\infty\notin U</math>であり（従って <math>U\subset X</math>であり） 、 <math>U</math>は<math>X</math>の開集合である
# <math>\infty\in U</math>であり、<math>X\setminus U</math> が<math>X</math> の閉集合でしかもコンパクトである<ref>''X'' が距離空間である場合には、コンパクト部分集合は必ず閉集合であるので、<math>X\setminus U</math>がコンパクトであるという条件だけ課せば<math>X\setminus U</math>が<math>X</math> の閉集合である事が従う。しかし一般にはそうではないので、コンパクト性と閉集合である事の両方を<math>X\setminus U</math>に対する条件として課す必要がある。</ref>
|}


さらに<math>i:X\hookrightarrow X^*</math> を包含写像とする。この時、<math>X^*</math> はコンパクトである事が示せ、しかも<math>i(X)</math>が<math>X^*</math> で稠密である事も示せる<ref name="uchida124" />ので、<math>(X^*,i)</math>はコンパクト化の条件を満たす。<math>(X^*,i)</math>の事を''X'' の'''（アレクサンドロフの）一点コンパクト化'''という。

=== 分離性 ===

アレクサンドロフの一点コンパクト化は以下の性質を満たす事が知られている：

 
{| class="toccolours" width="100%" style="text-align:left"
! アレクサンドロフの一点コンパクト化の分離性
|-
| 
* <math>X^*</math> がハウスドルフになる必要十分条件は <math>X</math> が局所コンパクトなハウスドルフ空間である事。
* <math>X^*</math> がT<sub>1</sub>空間である必要十分条件は <math>X</math> がT<sub>1</sub>空間である事。
 |}

（有限次元の）[[多様体]]や[[単体的複体]]などの幾何学の代表的な研究対象はハウスドルフ性と局所コンパクト性を満たすので、その一点コンパクト化はハウスドルフ性を満たす。

しかし無限次元ヒルベルト空間をはじめ[[解析学]]の研究対象には局所コンパクトではないものも多く、一点コンパクトのハウスドルフ性が保証されない。この為このような研究分野では一点コンパクトの適応範囲は限定的になる。


=== 普遍性 ===

コンパクトではない空間の一点コンパクト化<math>X^*</math>がハウスドルフ空間であれば以下の性質（[[普遍性]]）を満たす事が知られている：

{| class="toccolours" width="100%" style="text-align:left"
! アレクサンドロフの一点コンパクト化の普遍性
|-
|
<math>X</math>をコンパクトではない位相空間とし、<math>(X^*,i)</math>を<math>X</math>のアレクサンドロフの一点コンパクト化とする。このとき<math>X^*</math>がハウスドルフであれば以下が成立する。
<math>X</math>の任意のハウスドルフなコンパクト化 
<math>(K,j)</math> に対しある連続写像 <math>\phi:K\to X^*</math> が（実はただ一つ）存在して <math>i=\phi\circ j</math>が成立する。
すなわち以下の図式が可換となる。

<math>
\begin{array}{rcl}
X & \overset{j}{\to} & K\\
  & i\searrow        & \downarrow \phi\\
  &                  & X^*
\end{array}
</math>
|}

なお前述のように、<math>X^*</math> がハウスドルフになる必要十分条件は <math>X</math> が局所コンパクトなハウスドルフ空間である事である。 

=== 一点コンパクト化の例 ===

[[ファイル:Riemann_sphere1.jpg|thumb|right|250px|複素平面の一点コンパクト化。複素数 ''A'' を埋め込み写像''P'' により球面（[[リーマン球面]]と呼ばれる）の上の一点 &alpha; に写す。図で''P'' (∞)と書かれている部分が無限遠点である。]]

* n次元[[ユークリッド空間]] <math>\mathbb{R}^n</math> の一点コンパクト化は、n次元球面 <math>\mathbb{S}^n</math> と同相である。特に[[リーマン球面]] <math>\hat{\mathbb{C}}</math> は[[複素平面]] <math>\mathbb{C}</math> の一点コンパクト化として与えられる。
* 自然数全体（離散位相） <math>\mathbb{N}</math> の一点コンパクト化は <math>\mathbb{N}</math> に最大元 <math>\omega</math> を付け加えた順序集合 <math>\mathbb{N}\cup\{\omega\}</math> の順序位相と同相になる。

== ストーン・チェックのコンパクト化 ==

[[分離公理#分離公理|チコノフ空間]] <math>X</math> には以下の性質を満たすコンパクト化<math>(\beta X,i)</math>が存在する事が知られており（具体的な構成方法は後述）、しかもそのようなコンパクト化は同値を除いて１つしかない事も知られている。この性質を満たす<math>(\beta X,i)</math>を<math>X</math>の'''ストーン・チェックのコンパクト化'''という<ref> 『集合と位相空間』、柴田敏男著、共立出版。p217</ref>

{| class="toccolours" width="100%" style="text-align:left"
!'''ストーン・チェックのコンパクト化'''
|-
|
* <math>i(X)</math>は<math>\beta X</math>で稠密
* <math>X</math>上の有界連続関数は<math>\beta X</math>上の連続関数<ref>この連続関数の定義域<math>\beta X</math>はコンパクトなので、この関数は有界である。</ref>に一意に拡張できる。すなわち任意の有界連続関数<math>f:X\to \mathbb{R}</math>に対しある連続関数<math>\bar{f}:\beta X\to \mathbb{R}</math>が存在し、<math>\bar{f}\circ i =f</math>が成立する。
|}
=== 普遍性 ===

ストーン・チェックのコンパクト化は以下の性質を満たす事が知られている。
なお、この性質を満たすコンパクト化は同値を除いてストーン・チェックのコンパクト化に限る事が知られているので、この性質はストーン・チェックのコンパクト化を特徴づける。

{| class="toccolours" width="100%" style="text-align:left"
! ストーン・チェックのコンパクト化の普遍性
|-
|
<math>X</math> を[[分離公理#分離公理|チコノフ空間]]とし、<math>(i,\beta X)</math> を <math>X</math> のストーン・チェックのコンパクト化とする。このとき以下が成立する。
<math>X</math> の任意のハウスドルフなコンパクト化 
<math>(K,j)</math> に対しある連続写像 <math>\phi:\beta X\to K</math> が（実はただ一つ）存在して <math>j=\phi\circ i</math> が成立する。
すなわち以下の図式が可換となる。

<math>
\begin{array}{rcl}
X & \overset{i}{\to} & \beta X\\
  & j\searrow        & \downarrow \phi\\
  &                  & K
\end{array}
</math>
|}

=== 関数空間によるストーン・チェックのコンパクト化の構成 ===
チコノフ空間 <math>X</math> について <math>C_b(X)</math> を <math>X</math> 上の有界実関数全体とする。
このとき自然な埋め込み <math>i:X\to\prod_{f\in C_b(X)}\overline{\rm{Im}(f)}</math> を <math>i(x)(f):=f(x)(x\in X, f\in C_b(X))</math>  と定義する。このとき（ <math>X</math> がチコノフ空間なので） <math>i:X\to i(X)</math> は同相写像となる。
さらに <math>\prod_{f\in C_b(X)}\overline{\rm{Im}(f)}</math> が[[チコノフの定理]]からコンパクトとなることからその閉部分集合 <math>\overline{i(X)}</math> はコンパクトである。

以上から <math>i:X\to \overline{i(X)}</math> はハウスドルフなコンパクト化になっている。


<math>(j,K)</math> を <math>X</math> のハウスドルフなコンパクト化とする。このとき <math>j</math> から自然な埋め込み <math>C_b(K)\hookrightarrow C_b(X)</math> が誘導され、さらにそこから自然な射影 <math>j^*:\prod_{f\in C_b(X)}\overline{\rm{Im}(f)}\to\prod_{f\in C_b(K)}\overline{\rm{Im}(f)}</math> が誘導される（ <math>K</math> がコンパクトなので <math>C_b(K)</math> は連続関数全体と一致する）。
さらに <math>K</math> から <math>\prod_{f\in C_b(K)}\overline{\rm{Im}(f)}</math> への自然な埋め込みを <math>e:K\to\prod_{f\in C_b(K)}\overline{\rm{Im}(f)}</math> とすると <math>j^*\circ i=e\circ j</math>  が成り立ち、
写像の連続性や像の稠密性及び空間のコンパクト性やハウスドルフ性から <math>j^*(\overline{i(X)})=\overline{j^*(i(X))}=\overline{e(j(X))}=\overline{e(K)}=e(K)</math> となる。

以上から <math>e:K\to e(K)</math> が同相写像であることに注意すると <math>\beta j:={e|_K}^{-1}\circ j^*</math> が <math>j=\beta j\circ i</math> を満たすことが分かる（一意性は <math>i(X)</math> が <math>\overline{i(X)}</math> で稠密であることから従う）。
=== 連続写像の拡張 ===
{| class="toccolours" width="100%" style="text-align:left"
! ストーン・チェックのコンパクト化における連続写像の拡張
|-
|
<math>(i_{X},\beta X)</math> をチコノフ空間 <math>X</math> のストーン・チェックのコンパクト化とする。このとき以下が成立する。
任意のコンパクトハウスドルフ空間 <math>K</math> と連続写像 <math>f:X\to K</math> に対し、ある連続写像 <math>\beta f:\beta X\to K</math> が（実はただ一つ）存在して <math>\beta f\circ i=f</math>が成立する。
すなわち以下の図式が可換となる。

<math>
\begin{array}{rcl}
X           & \overset{i}{\to} & \beta X\\
 & f\searrow     & \downarrow \beta f\\
  & & K
\end{array}
</math>
|}
このことはストーン・チェックのコンパクト化を得る操作がコンパクトハウスドルフ空間の圏からチコノフ空間の圏への忘却関手の[[随伴関手|左随伴関手]]であることを示している。
この意味でストーン・チェックのコンパクト化はチコノフ空間から「自由に生成された」コンパクト空間と見ることが出来る。
== ウォールマンのコンパクト化 ==
[[分離公理#分離公理|T<sub>1</sub>]]空間には[[フィルター (数学)|超フィルター]]を使ってストーン・チェックコンパクト化の類似物を構成することができる。これをウォールマンのコンパクト化といい、T<sub>1</sub>なコンパクト化になっている。

正規ハウスドルフ空間に対してはウォールマンのコンパクト化はストーン・チェックのコンパクト化と同値になる。[[数理論理学]]や周辺分野ではウォールマンのコンパクト化のことをストーン・チェックのコンパクト化といい、<math>\beta X</math> のように表すことが多い。

=== ウォールマンのコンパクト化の構成 ===
T<sub>1</sub>空間 <math>X</math> に対し<math>\mathcal{F}</math> を <math>X</math> 上の空でない閉部分集合全体とし、[[包含関係]]で自然に順序を入れる。
このとき <math>\omega X</math> を <math>\mathcal{F}</math> 上の[[フィルター (数学)|超フィルター]]全体とする。
今 <math>X</math> の閉部分集合 <math>C</math> に対し、 <math>\omega C\subseteq\omega X</math> を <math>\omega C:=\{\mu\in\omega X\colon C\in\mu\}</math> と定義し、 <math>\omega\mathcal{F}:=\{\omega C\colon C\in\mathcal{F}\}</math> とする。
このとき <math>\omega C\cup\omega D=\omega(C\cup D) (C,D\in\mathcal{F})</math> から<math>\omega\mathcal{F}</math> が開基の公理を満たすので、そこから <math>\omega X</math> に自然に位相が定まる。

相異なる <math>\mu,\nu\in\omega X</math> について、超フィルターの一般論から、ある <math>C\in\mu, D\in\nu</math> が存在して <math>C\cap D=\varnothing</math> 。
このとき <math>U:=\omega X\setminus(\omega D)</math> とすると <math>\mu\in U</math> かつ <math>\nu\notin U</math> となって、<math>\omega X</math> はT<sub>1</sub>空間。

<math>\mathfrak{C}</math> を <math>\omega X</math> 上の有限交叉的な閉集合族とする。このとき <math>\omega\mathcal{F}</math> が閉基であることから、
<math>X</math> 上の有限交叉的な閉集合族 <math>\{C_\lambda\}_{\lambda\in\Lambda}</math> で <math>\bigcap\mathfrak{C}=\bigcap_{\lambda\in\Lambda}\omega C_\lambda</math> となるものが存在（ <math>\omega C_0\cap\omega C_1\cap\cdots\cap\omega C_{n-1}=\varnothing\Leftrightarrow C_0\cap C_1\cap\cdots\cap C_{n-1}=\varnothing</math> に注意）。
ここで <math>\mu\in\omega X</math> を <math>\{C_\lambda\colon\lambda\in\Lambda\}</math> を含む超フィルターとすると <math>\omega C_\lambda</math> の定義から <math>\mu\in\bigcap_{\lambda\in\Lambda}\omega C_\lambda</math> 。
よって <math>\omega X</math> はコンパクト。

写像 <math>i:X\to\omega X</math> を <math>i(x):=\{C\in\mathcal{F}\colon x\in C\}(x\in X)</math> と定義する。
このとき <math>\{x\}\in i(x), \{y\}\notin i(x) (x\neq y)</math> から <math>i</math> は単射。
<math>i(x)\in\omega C\leftrightarrow x\in C (x\in X, C\in\mathcal{F})</math> から <math>\overline{i(C)}=\omega C</math> （特に <math>\overline{i(X)}=\omega X</math> ）及び <math>\overline{i(C)}\cap i(X)=\omega C\cap i(X)=i(C)</math> がいえ  <math>i:X\to i(X)</math> は同相。

以上から <math>(i,\omega X)</math> はT<sub>1</sub>なコンパクト化である。 <math>(i,\omega X)</math> をウォールマンのコンパクト化という。


<math>X</math> がチコノフ空間のとき上記の <math>\mathcal{F}</math> を閉集合ではなく[[:en:zero set|ゼロ集合]]（実連続関数の一点の逆像となる集合）全体とするとストーン・チェックのコンパクト化になる。
=== 連続写像の拡張 ===
{| class="toccolours" width="100%" style="text-align:left"
! ウォールマンのコンパクト化における連続写像の拡張
|-
|
<math>(i,\omega X)</math> をT_1空間 <math>X</math> のウォールマンのコンパクト化とする。このとき以下が成立する。
任意のコンパクトT_1空間 <math>K</math> と連続写像 <math>f:X\to K</math> 対しある連続写像 <math>\omega f:\omega X\to K</math> が（実はただ一つ）存在して <math>\omega f\circ i=f</math>が成立する。
すなわち以下の図式が可換となる。

<math>
\begin{array}{rcl}
X           & \overset{i}{\to} & \omega X\\
 & f\searrow      & \downarrow \omega f\\
 & & K
\end{array}
</math>
|}
これは <math>\mu \in \omega X</math> にたいし <math>\omega f(\mu) \in\bigcap\{C\subseteq K : C\text{ is closed} , f^{-1}(C)\in\mu\}</math> と定義することで構成できる。

== 関数空間とコンパクト化 ==
チコノフ空間 <math>X</math> とそのハウスドルフなコンパクト化 <math>(i,K)</math> に対して <math>X</math> 上の関数空間 <math>C_i(X):=\{f\circ i\colon f\in C(K)\}</math> を考える。
このとき自然な写像 <math>i^*:X\to \prod_{f\in C_i(X)}\overline{\rm{Im}(f)}</math> は像への同相写像となる。
さらに関数空間によるストーン・チェックのコンパクト化の構成と同様の議論により <math>\overline{i^*(X)}</math> はコンパクトでありしかも <math>K</math> と同相。
以上のことからハウスドルフなコンパクト化は関数空間を適切に制限することで関数空間によるストーン・チェックのコンパクト化の構成と同様の方法で与えることが出来る。

この方法は種々のコンパクト化を構成する上で基本的な方法論となっている。

== コンパクト化とリー群の離散部分群 ==

[[リー群]]の[[離散空間|離散]]部分群の研究では、[[コセット]]の[[商空間（位相幾何学）|商空間]]が、位相幾何学的なレベルだけでなく、より豊かなレベルで構造を保存するために、より微妙な'''コンパクト化'''の候補となることが多い。

例えば，[[モジュラー曲線]]は[[カスプ（特異点）|cusp]]ごとに1点を追加することでコンパクト化され，[[リーマン曲面]]となる（コンパクトなので[[代数曲線]]となる）． 曲線は[[格子(群)|格子]]の空間をパラメトリック化し、格子は縮退することがある（「無限大に行く」）。 カスプはこれらの異なる「無限大への方向」を表している。

以上が平面上の格子の場合である。 {{math|''n''}}次元の[[ユークリッド空間]]では、例えば<math>\text{SO}(n) \setminus \text{SL}_n(\textbf{R}) / \text{SL}_n(\textbf{Z}).</math> について同じ質問をすることができる。 [[Borel-Serreコンパクト化]]、[[reductive Borel-Serreコンパクト化]]、[[佐竹コンパクト化]]などのコンパクト化がある。

== 様々なコンパクト化 ==
*{{仮リンク|スミノフのコンパクト化|en|Smirnov compactification}} : 有界な[[一様連続]]関数全体から定まる[[一様空間]]上のコンパクト化。
*[[ヒグソンのコンパクト化]] :  [[ヒグソン関数]]全体から定まる[[coarse空間]]上のコンパクト化。
*{{仮リンク|ボーアのコンパクト化|en|Bohr compactification}} :有界な{{仮リンク|一様概周期関数|en|Almost periodic function}}全体から定まる[[位相群]]上のコンパクト化。
* [[:en:end (topology)|ends of a space]] と [[:en:prime end]]の理論.
* 開多様体のcollaring, [[:en:Martin boundary]], [[:en:Shilov boundary]] 、[[:en:Furstenberg boundary]]などのいくつかの境界理論．
* [[位相環]]上の射影直線はそれをコンパクト化することができる．
* [[エルミート対称空間]]の[[商]]の[[:en:Baily–Borel compactification]]．
* 代数群の商の[[:en:wonderful compactification]]．
* {{訳語疑問点範囲|date=2024年2月|凸コンパクト化(convex compactification)（微分積分を発展させたり，変分積分学や最適化理論における緩和などのより高度な考察を可能にする。）}}<ref>{{cite book | last=Roubíček | first=T. | author-link=Tomas Roubicek | title=Relaxation in Optimization Theory and Variational Calculus | publisher=[[W. de Gruyter]] |place = Berlin | year=1997 | isbn=3-11-014542-1}}</ref>

== 関連項目 ==
*[[位相空間]]
*[[コンパクト空間]]
*[[完備化]]
== 注釈 ==
<references/>
== 参考文献 ==
* {{
Cite journal
  | author = J. L. Kelley
  | title = General Topology
  | publisher = Ishi Press 
  | date =  2008
  | isbn = 9780923891558
}}

{{DEFAULTSORT:こんはくとか}}
[[Category:位相幾何学]]
[[Category:幾何学]]
[[Category:位相空間論]]
[[Category:位相的構造]]
[[Category:数学に関する記事]]