コンパクト化

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

コンパクト化: compactification)は数学の一分野である位相空間論(: general topology)の概念である。

概要[編集]

位相空間Xコンパクト化: compactification)とはXコンパクトな位相空間に稠密に埋め込む操作を指す。コンパクトな空間は数学的に取り扱いやすい為、X をそのような空間に埋め込む事でX の性質を調べやすくする事ができる。

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

定義

X位相空間Kコンパクトな位相空間、i:X\to Kを中への同相写像で、i(X)K稠密あるものとするとき、K埋め込み写像i によるXコンパクト化という。

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

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

Xi によりそのコンパクト化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)同値であるという。

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

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

基本事項[編集]

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

アレクサンドロフの一点コンパクト化[編集]

定義[編集]

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

次のいずれかのケースになるときU\subseteq X^*X^* の開集合とみなす[1]

  1. \infty\notin Uであり(従って U\subset Xであり) 、 UXの開集合である
  2. \infty\in Uであり、X\setminus UX の閉集合でしかもコンパクトである[2]


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

分離性[編集]

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


アレクサンドロフの一点コンパクト化の分離性
  • X^* がハウスドルフになる必要十分条件は X が局所コンパクトなハウスドルフ空間である事。
  • X^* がT1空間である必要十分条件は X がT1空間である事。

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

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


普遍性[編集]

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

アレクサンドロフの一点コンパクト化の普遍性

Xをコンパクトではない位相空間とし、(X^*,i)Xのアレクサンドロフの一点コンパクト化とする。このときX^*がハウスドルフであれば以下が成立する。 Xの任意のハウスドルフなコンパクト化 (K,j) に対しある連続写像 \phi:K\to X^* が(実はただ一つ)存在して i=\phi\circ jが成立する。 すなわち以下の図式が可換となる。


\begin{array}{rcl}
X & \overset{j}{\to} & K\\
  & i\searrow        & \downarrow \phi\\
  &                  & X^*
\end{array}

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

一点コンパクト化の例[編集]

複素平面の一点コンパクト化。複素数 A を埋め込み写像P により球面(リーマン球面と呼ばれる)の上の一点 α に写す。図でP (∞)と書かれている部分が無限遠点である。
  • 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)が存在する事が知られており(具体的な構成方法は後述)、しかもそのようなコンパクト化は同値を除いて1つしかない事も知られている。この性質を満たす(\beta X,i)Xストーン・チェックのコンパクト化という[3]

ストーン・チェックのコンパクト化
  • i(X)\beta Xで稠密
  • X上の有界連続関数は\beta X上の連続関数[4]に一意に拡張できる。すなわち任意の有界連続関数f:X\to \mathbb{R}に対しある連続関数\bar{f}:\beta X\to \mathbb{R}が存在し、\bar{f}\circ i =fが成立する。


普遍性[編集]

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

チコノフ空間 X について ハウスドルフなコンパクト化 (i,\beta X) が条件

  • 任意の( X の)ハウスドルフなコンパクト化 (j,K) に対し、ある連続写像 \beta j:\beta X\to K が唯一存在して j=\beta j\circ i

を満たす。

関数空間によるストーン・チェックのコンパクト化の構成[編集]

チコノフ空間 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)} で稠密であることから従う)。

ウォールマンのコンパクト化[編集]

T1空間には超フィルターを使ってストーン・チェックコンパクト化の類似物を構成することができる。これをウォールマンのコンパクト化といい、T1なコンパクト化になっている。

正規ハウスドルフ空間に対してはウォールマンのコンパクト化はストーン・チェックのコンパクト化と同値になる。

ウォールマンのコンパクト化の構成[編集]

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 Xi(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} を閉集合ではなくゼロ集合(実連続関数の一点の逆像となる集合)全体とするとストーン・チェックのコンパクト化になる。

関数空間とコンパクト化[編集]

チコノフ空間 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 と同相。 以上のことからハウスドルフなコンパクト化は関数空間を適切に制限することで関数空間によるストーン・チェックのコンパクト化の構成と同様の方法で与えることが出来る。

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

様々なコンパクト化[編集]

関連項目[編集]

注釈[編集]

  1. ^ a b 『数学シリーズ集合と位相』内田伏一著、p124、裳華房
  2. ^ X が距離空間である場合には、コンパクト部分集合は必ず閉集合であるので、X\setminus Uがコンパクトであるという条件だけ課せばX\setminus UX の閉集合である事が従う。しかし一般にはそうではないので、コンパクト性と閉集合である事の両方をX\setminus Uに対する条件として課す必要がある。
  3. ^ 『集合と位相空間』、柴田敏男著、共立出版。p217
  4. ^ この連続関数の定義域\beta Xはコンパクトなので、この関数は有界である。

参考文献[編集]