「コンパクト化」の版間の差分

<math>X</math> が[[局所コンパクト]]なハウスドルフ空間のとき、アレキサンドロフの一点コンパクト化 <math>(i,X^*)</math> は次の条件を満たす。

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

 

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