位相空間の分離公理
コルモゴロフ による分類
T0 (コルモゴロフ空間)
T1 (フレシェ空間)
T2 (ハウスドルフ空間)
T2½(ウリゾーン空間)
完全T2 (完全ハウスドルフ空間)
T3 (正則ハウスドルフ空間)
T3½（英語版）(チホノフ空間)
T4 (正規ハウスドルフ空間)
T5 (全部分正規ハウスドルフ空間)
T6 (完全正規ハウスドルフ空間)
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・ ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" 。";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" - ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、 ";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" / ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:") ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}

歴史（英語版）

数学におけるハウスドルフ空間（ハウスドルフくうかん、英: Hausdorff space）とは、異なる点がそれらの近傍によって分離できるような位相空間のことである。これは分離空間(separated space)またはT2 空間とも呼ばれる。位相空間についてのさまざまな分離公理の中で、このハウスドルフ空間に関する条件はもっともよく仮定されるものの一つである。ハウスドルフ空間においては点列（あるいはより一般に、フィルターやネット）の極限の一意性が成り立つ。位相空間の理論の創始者の一人であるフェリックス・ハウスドルフにちなんでこの名前がついている。ハウスドルフによって与えられた位相空間の公理系にはこのハウスドルフ空間の公理も含まれていた。
定義相異なる2点を分離するそれぞれの開近傍

X を位相空間とする。X 上の任意の相違なる2点 x, y に対して、U ∩ V = ∅ であるような x の開近傍 U および y の開近傍 V が必ず存在するとき、Xはハウスドルフ空間であるといわれる。

上の定義と同値な以下のような条件のいずれかによってもハウスドルフ空間の特徴付けられることが知られている：

X における任意のフィルター（または有向点族）の収束先が高々一つである。

X の任意の一点からなる単集合はその閉近傍系の共通部分になっている。

直積集合 X × X の対角部分集合 Δ = { (x, x) 。x ∈ X } が直積位相に関して閉集合になっている。

例

実数の集合は、その上に通常定義される位相構造によってハウスドルフ空間になっている。さらに、幾何学などで扱われる位相多様体や距離空間、あるいは解析学などで扱われるノルム空間やその上で弱位相を考えた空間など様々な空間がハウスドルフ空間になる。離散位相空間もハウスドルフである。

一方で、代数学におけるザリスキ位相を考えた代数多様体や、可換環のスペクトルなどの位相空間はしばしばハウスドルフ空間にならない。
性質

ハウスドルフ空間の部分空間や直積空間は、ハウスドルフ空間になる。他方、ハウスドルフ空間上で同値関係を考えたときに得られる商空間はハウスドルフになるとは限らない。実際のところ、任意の位相空間はハウスドルフ空間の商として実現できる。

ハウスドルフ空間はT1空間であり、その中で一点集合は閉集合になっている。さらに、ハウスドルフ空間のコンパクト部分集合は閉集合である。ハウスドルフ空間における2つの交わらないコンパクト部分集合はそれらの近傍によって分離できる。

すべてのパラコンパクトハウスドルフ空間は正規である。特にコンパクトハウスドルフ空間は正規である。

ハウスドルフ空間上で定義された、あるいはハウスドルフ空間を値域とするような連続写像に関して以下のような性質が知られている。

f: X → Yをハウスドルフ空間への連続写像とするとき、そのグラフ { (x, f(x)) 。x ∈ X} は直積空間 X × Y の閉集合である。

f: X → Y を写像、X × X の部分集合 ker(f) = {(x, x′) 。f(x) = f(x′) } をその核とするとき、

f が連続で Y がハウスドルフならば ker(f) は閉集合

f が全射開写像で ker(f) が閉集合ならば Y はハウスドルフ

f が全射連続開写像のとき、Y がハウスドルフであることと ker(f) が閉であることは同値になる