一点コンパクト化が最小のコンパクト化であるのに対し、Stone-Čechコンパクト化は最大のコンパクト化です。関数解析や集合論で重要な役割を果たします。
Stone-Čechコンパクト化の定義
完全正則空間(Tychonoff空間) に対して、Stone-Čechコンパクト化 は次の普遍性を持つコンパクトハウスドルフ空間です。
任意のコンパクトハウスドルフ空間 と連続写像 に対して、 を満たす連続写像 が一意に存在する。ここで は標準的な埋め込みです。
この普遍性により は同相を除いて一意に定まります。
構成の概略
の構成法はいくつかあります。代表的なものは次の通りです。
上の有界連続関数全体 を考え、 を に埋め込み、その閉包を取る
上の超フィルター全体に適切な位相を入れる
上のゼロ集合による極大イデアル全体を用いる
いずれの方法でも同じ空間が得られます。
Stone-Čechコンパクト化の例
自然数 (離散位相)の Stone-Čechコンパクト化 は、 上の超フィルター全体と同一視できます。 は非主超フィルターからなり、連続体濃度を持ちます。
は極めて大きく複雑な空間で、集合論的に興味深い性質を多く持ちます。
実数直線の場合
の Stone-Čechコンパクト化 は一点コンパクト化 とは大きく異なります。 は2点でなく、非常に大きな空間です。
は 上のすべての有界連続関数が連続的に拡張できる最小の空間として特徴づけられます。
Stone-Čechコンパクト化の性質
Stone-Čechコンパクト化は「最大の」コンパクト化です。 の任意のコンパクト化 に対して、連続な全射 が存在します。
また、 が局所コンパクトハウスドルフならば、 は の開部分集合となります。