space)とは、異なる点がそれらの近傍によって分離できるような位相空間のことである。位相空間についてのさまざまな分離公理の中で、このハウスドルフ空間に関する条件はもっともよく仮定されるものの一つである。ハウスドルフ空間においては点列(あるいはより一般に、フィルターやネット)の極限の一意性が成り立つ。位相空間の理論の創始者の一人であるフェリックス・ハウスドルフにちなんでこの名前がついている。ハウスドルフによって与えられた位相空間の公理系にはこのハウスドルフ空間の公理も含まれていた。存在するとき、Xはハウスドルフ空間であるといわれる。おける任意のフィルター(または有向点族)の収束先が高々一つである。任意の一点からなる単集合はその近傍系の(あるいはもっと狭く閉近傍系)共通部分になっている。直積位相に関して閉集合になっている。例[編集]実数の集合は、その上に通常定義される位相構造によってハウスドルフ空間になっている。幾何学などで扱われる位相多様体や距離空間、あるいは解析学などで扱われるノルム空間やその上で弱位相を考えた空間など様々な空間がハウスドルフ空間になる。離散位相空間もハウスドルフである。一方で、代数学におけるザリスキ位相を考えた代数多様体や、可換環のスペクトルなどの位相空間はしばしばハウスドルフ空間にならない。性質[編集]ハウスドルフ空間の部分空間や直積空間は、ハウスドルフ空間になる。他方、ハウスドルフ空間上で同値関係を考えたときに得られる商空間はハウスドルフになるとは限らない。実際のところ、任意の位相空間はハウスドルフ空間の商として実現できる。ハウスドルフ空間はT1空間であり、その中で一点集合は閉集合になっている。ハウスドルフ空間のコンパクト部分集合は閉集合である。ハウスドルフ空間における2つの交わらないコンパクト部分集合はそれらの近傍によって分離できる。ハウスドルフ空間上で定義された、あるいはハウスドルフ空間を値域とするような連続写像に関して以下のような性質が知られている。