位相的性質
コンパクト: 空間がコンパクトとは、任意の開被覆が有限部分被覆を持つときに言う。文献によってはこの条件で決まる空間は準コンパクトであるとし、準コンパクトかつハウスドルフな空間だけをコンパクトと呼ぶものがある。コンパクト空間は常にリンデレーフかつパラコンパクトである。したがってコンパクトハウスドルフ空間は正規になる。
点列コンパクト: 空間が点列コンパクトとは、その任意の点列が収束する部分列を持つときに言う。
可算コンパクト: 空間が可算コンパクト(英語版)とは任意の可算開被覆が有限部分被覆を持つときに言う。
擬コンパクト: 空間が擬コンパクト(英語版)とは、その上の任意の実数値連続函数が有界となるときに言う。
σ-コンパクト: 空間がσ-コンパクトとは、それが可算個のコンパクト部分集合の合併となっているときに言う。
リンデレーフ: 空間がリンデレーフとは任意の開被覆が可算部分被覆を持つときに言う。
パラコンパクト: 空間がパラコンパクトとは、任意の開被覆が局所有限な開細分を持つときに言う。パラコンパクトハウスドルフ空間は正規になる。
局所コンパクト: 空間が局所コンパクトとは、各点がコンパクト近傍からなる基本近傍系を持つときに言う。これとはやや違う定義もいくつか用いられる。局所コンパクトハウスドルフ空間は常にチホノフである。
超連結コンパクト: 超連結コンパクト (ultra-connected compact) 空間 X において、任意の開被覆は全体集合 X を含まなければならない。空でない超連結コンパクト空間はモノリスと呼ばれる最大の開な真部分集合を持つ。
可分: 空間が可分とは、可算な稠密部分集合を持つときに言う。
第一可算: 空間が第一可算とは、各点が可算な基本近傍系を持つときに言う。
第二可算: 空間が第二可算とは、可算な開基を持つときに言う。第二可算空間は常に可分・第一可算かつリンデレーフになる。
ブール空間はちょうどブール代数に関するストーン空間(英語版)に同相な空間になっている。
ライデマイスターのねじれ
κ-可解: 空間が κ-可解 (κ-resolvable)) とは、それがどの二つも交わらない κ-稠密集合を持つときに言う。空間が概 κ-可解とは、それが至る所疎な部分集合からなるイデアル上でほとんど交わらない κ-稠密集合を持つときに言う。空間が κ-可解でないならば、κ-非可解であるという。
極大可解: 空間 X が極大可解 (maximally resolvable) とは、それが Δ(X)-可解であるときに言う。ただし、 Δ ( X ) = min { | G | : G ≠ ∅ , G is open } {\displaystyle \Delta (X)=\min\{|G|:G\neq \emptyset ,G{\mbox{ is open}}\}} とし、これを X の分散指標 (dispersion character) と呼ぶ。
強離散: 集合 D が空間 X の強離散 (strongly discrete) 部分集合とは、D の全ての点がどの二つも交わらない近傍によって分離できるときに言う。空間 X が強離散空間とは、X の任意の非孤立点が適当な強離散集合の集積点となるときに言う。