「コンパクト化」の版間の差分
削除された内容 追加された内容
編集の要約なし タグ: モバイル編集 |
編集の要約なし タグ: モバイル編集 |
||
78行目:
<math>X</math>をコンパクトではない位相空間とし、<math>(X^*,i)</math>を<math>X</math>のアレクサンドロフの一点コンパクト化とする。このとき<math>X^*</math>がハウスドルフであれば以下が成立する。
<math>X</math>の任意のハウスドルフなコンパクト化
<math>(K,j)</math> に対しある連続写像 <math>\phi:K\to X^*</math> が（実はただ一つ）存在して <math>i=
すなわち以下の図式が可換となる。
| |||