コンパクト化
著名なコンパクト化の方法として、アレクサンドロフの一点コンパクト化とストーン・チェックのコンパクト化という両極端なものがある。前者はその名の通り、1点付け加えるだけで(コンパクトでない)任意の空間X をコンパクト化する方法である。これはいわば「最小の」コンパクト化で、X の任意のコンパクト化K に対し、アレクサンドロフの一点コンパクト化 X ∗ {\displaystyle X^{*}} は必ずK の商空間になる。より直観的にいえば、K の無限遠境点を一点に潰したものがアレクサンドロフの一点コンパクト化に一致する。(ただしこの性質が成り立つには X ∗ {\displaystyle X^{*}} もK もハウスドルフであることが必要)。
一方ストーン・チェックのコンパクト化は逆の極端で、X の任意のハウスドルフなコンパクト化K に対し、K はストーン・チェックのコンパクト化の商空間になる。すなわちK はストーン・チェックのコンパクト化の無限遠境点を適当な同値関係で割ったものとしてできあがる。したがってストーン・チェックのコンパクト化はいわばハウスドルフな中では「もっとも大きな」コンパクト化である。ストーン・チェックのコンパクト化はX がチコノフ空間であるときにその存在が証明されている。しかしX がT1空間でありさえすればその類似物(ウォールマンのコンパクト化)が作れる事が知られている。