「有向点族」の版間の差分

削除された内容 追加された内容
LUE=42 (会話 | 投稿記録)
編集の要約なし
LUE=42 (会話 | 投稿記録)
119行目:
なお、後者の事実の結論部分は[[コンパクト空間|点列コンパクト]]の概念における点列を有向点族に置き換えたものである。
 
点列の場合も上記2つの事実と似たような事が成立したが、(空間''X'' に仮定を置かない限り)点列の場合は十分必要性しか言えなかった<ref>コンパクト⇒点列コンパクトは無条件に成り立つが、逆を言うには距離空間であを仮定す事が必要がある。</ref>。
 
なお、上述したコンパクト性の有向点列の特徴づけを用いると、'''チコノフの定理'''(=コンパクト空間の直積はコンパクト)がほぼ自明に従う。証明は以下のとおりである。まず複数の位相空間の直積