「一様空間」の版間の差分
削除された内容 追加された内容
編集の要約なし |
|||
75行目:
さらに言えば、一様空間 ''X'' において以下の条件は互いに同値になる。
* ''X'' は[[コルモゴロフ空間]] (T<sub>0</sub>) である。
* ''X'' は[[ハウスドルフ空間]] (T<sub>2</sub>)
* ''X'' は[[チコノフ空間]] (T<sub>3½</sub>) である。
* 任意の両立する一様構造に対して、近縁すべての交わりは対角線集合 {(''x'', ''x'') : ''x'' ∈ ''X''} に一致する。
91行目:
位相空間''X'' が一様化可能である必要十分条件は、''X'' が（ハウスドルフとは限らない<ref>「完全正則空間」という言葉はハウスドルフ性を満たす場合のみに使う場合とハウスドルフでないものを許容する場合があるが、ここでは英語版wikipediaの[[:en:Tychonoff space|Tychonoff space]]の記述と整合性を取る為、「完全正則空間」という言葉を後者の意味で用いる事にし、前者を「チコノフ空間」と呼ぶ事にした。なお参考文献である『集合と位相空間』（柴田敏男著）では「完全正則空間」という言葉を前者の意味で用いている。</ref>）[[完全正則空間]]である事である。
|}
=== 擬距離による一様構造の特徴づけ ===
| |||