コンパクト化

**コンパクト化**（）は数学の一分野である位相空間論()の概念である。

## 概要
位相空間*X* の**コンパクト化**（）とは、*X* をコンパクトな位相空間に稠密に埋め込む操作を指す。*X* を数学的に取り扱いやすいコンパクトな空間へ埋め込むと、*X* の性質を調べやすくする事ができる。

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

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

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

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

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

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

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

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

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

## アレクサンドロフの一点コンパクト化

### 定義

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

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

### 分離性

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

 

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

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

### 普遍性

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

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

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

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

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

チコノフ空間 X には以下の性質を満たすコンパクト化(\beta X,i)が存在する事が知られており（具体的な構成方法は後述）、しかもそのようなコンパクト化は同値を除いて１つしかない事も知られている。この性質を満たす(\beta X,i)をXの**ストーン・チェックのコンパクト化**という

### 普遍性

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

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

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

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

以上から e:K\to e(K) が同相写像であることに注意すると \beta j:={e|_K}^{-1}\circ j^* が j=\beta j\circ i を満たすことが分かる（一意性は i(X) が \overline{i(X)} で稠密であることから従う）。
### 連続写像の拡張

このことはストーン・チェックのコンパクト化を得る操作がコンパクトハウスドルフ空間の圏からチコノフ空間の圏への忘却関手の左随伴関手であることを示している。
この意味でストーン・チェックのコンパクト化はチコノフ空間から「自由に生成された」コンパクト空間と見ることが出来る。
## ウォールマンのコンパクト化
T<sub>1</sub>空間には超フィルターを使ってストーン・チェックコンパクト化の類似物を構成することができる。これをウォールマンのコンパクト化といい、T1なコンパクト化になっている。

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

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

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

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

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

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

X がチコノフ空間のとき上記の \mathcal{F} を閉集合ではなくゼロ集合（実連続関数の一点の逆像となる集合）全体とするとストーン・チェックのコンパクト化になる。
### 連続写像の拡張

これは \mu \in \omega X にたいし \omega f(\mu) \in\bigcap\{C\subseteq K : C\text{ is closed} , f^{-1}(C)\in\mu\} と定義することで構成できる。

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

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

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

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

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

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

## 様々なコンパクト化
* : 有界な一様連続関数全体から定まる一様空間上のコンパクト化。
*ヒグソンのコンパクト化 :  ヒグソン関数全体から定まるcoarse空間上のコンパクト化。
* :有界な全体から定まる位相群上のコンパクト化。
* ends of a space と :en:prime endの理論.
* 開多様体のcollaring, :en:Martin boundary, :en:Shilov boundary 、:en:Furstenberg boundaryなどのいくつかの境界理論．
* 位相環上の射影直線はそれをコンパクト化することができる．
* エルミート対称空間の商の:en:Baily–Borel compactification．
* 代数群の商の:en:wonderful compactification．
* 

## 関連項目
*位相空間
*コンパクト空間
*完備化
## 注釈

## 参考文献
*