1 定義と基本概念
ハウスドルフ空間は、位相空間論で最も基本的な分離性の条件の一つである。異なる二点を互いに交わらない開集合で切り分けられることを要求し、点の識別が明瞭になる。この性質を備えると、極限や閉包、連続性の扱いが安定し、多くの理論で標準的な仮定として用いられる。
1.1 位相空間における分離公理
位相空間の分離公理は、点や集合をどの程度区別できるかを表す条件群である。弱いものから強いものまで段階があり、ハウスドルフ条件はその中でも広く使われる水準に位置する。分離公理の導入により、空間の局所的な性質と大域的な性質を比較しやすくなる。
1.2 ハウスドルフ空間の定義
位相空間 X がハウスドルフであるとは、任意の異なる二点 x, y に対して、x を含む開集合と y を含む開集合が存在し、しかもそれらが互いに交わらないことをいう。これにより、二点は近傍の段階で明確に分離される。
1.2.1 開近傍による分離
もっとも直接的な定式化は、各点の開近傍を用いるものである。異なる二点をそれぞれ含む開集合を選び、その共通部分が空であることを求める。直観的には、二点のまわりに重ならない「小さな領域」を用意できることを意味する。
1.2.2 閉集合による言い換え
ハウスドルフ性は、点と閉集合の分離を通じて言い換えることもできる。単点集合が閉であることや、極限の一意性と結びつくことから、この条件は閉包操作のふるまいをよく制御する。こうした別表現は、証明や応用でしばしば有用である。
1.3 関連する分離公理
ハウスドルフ空間は、より弱い T0, T1 条件や、より強い正規性・完全正則性などと比較される。これらの条件は互いに独立な側面もあり、必要に応じて使い分けられる。特にハウスドルフ性は、多くの定理で「最低限望ましい」仮定として登場する。
2 基本的性質
ハウスドルフ空間では、点の極限や閉包の解釈がよく振る舞う。とりわけ、極限の一意性はこの空間の代表的な特徴である。また、連続写像や閉集合との関係を通して、構造の扱いやすさが際立つ。
2.1 極限の一意性
ハウスドルフ空間では、収束する対象の極限がただ一つに定まる。これは解析学で特に重要で、近似列や一般の収束概念を安心して用いる基盤になる。
2.1.1 列の極限
列がある点に収束するとき、同じ列が別の点にも収束することはない。もし二つの極限が存在すれば、ハウスドルフ性によりそれらは一致する。したがって、列の収束先を曖昧さなく扱える。
2.1.2 ネットとフィルターによる極限
一般の位相空間では、列だけでは収束を十分に表せないことがある。そのためネットやフィルターが使われるが、ハウスドルフ空間ではこれらについても極限は一意である。より広い収束概念に対しても、同様の安定性が保たれる。
2.2 点と閉集合の分離
点と閉集合を分けられることは、ハウスドルフ空間の扱いやすさを支える重要な性質である。特に、単点集合が閉である点は、多くの議論で基本的な道具になる。
2.2.1 単点集合の閉性
ハウスドルフ空間では、各点を一つだけ含む集合が閉になる。これは、他の点をその点から開集合で切り離せることの反映である。結果として、点の閉包や近傍の操作が明快になる。
2.2.2 付着点との関係
ある集合の付着点は、その集合の要素が近づきうる場所を表す。ハウスドルフ空間では、付着点の挙動が比較的よく制御され、閉集合との対応も整いやすい。これにより、極限点や閉包の議論が整理される。
2.3 連続写像との関係
連続写像は位相構造を保つ写像であり、ハウスドルフ空間同士の間では極限や分離性の性質が比較的保たれやすい。特に、像や逆像の取り扱いにおいて、分離公理が証明を簡潔にすることが多い。連続性とハウスドルフ性の組み合わせは、構成の整合性を支える。
3 構成と例
ハウスドルフ空間は抽象的な定義をもつ一方、具体例も豊富である。基本的な解析対象から、構成のしかたによって得られる空間まで、幅広い場面に現れる。
3.1 代表的な例
最も身近な例は、通常の距離空間である。距離によって点の近さを測れる空間は、一般にハウスドルフ性を備える。
3.1.1 実数空間
実数直線は標準的な位相を入れるとハウスドルフ空間になる。異なる二点の周囲には、互いに重ならない開区間を取ることができる。解析学の基礎舞台として、この性質は不可欠である。
3.1.2 ユークリッド空間
n 次元ユークリッド空間も同様にハウスドルフである。球体や開箱を用いて異なる点を分離できるため、幾何学や微積分で扱いやすい。局所的な座標計算とも相性がよい。
3.1.3 離散位相空間
離散位相では、すべての部分集合が開である。したがって、異なる二点はそれぞれ単点集合によって容易に分離できる。極端に分離性の強い例として、理論の境界を示すのに役立つ。
3.2 ハウスドルフでない例
分離条件が崩れると、極限の一意性や閉包の性質が悪化することがある。典型的には、二点を互いに交わらない開集合で分けられない状況が現れる。
3.2.1 特殊な位相空間の例
特定の点だけが十分に区別されない位相や、閉集合の数が少ない空間では、ハウスドルフ性が失われることがある。こうした例は、分離公理がどこで必要になるかを示す教材として有用である。
3.2.2 商空間で失われる場合
商空間では、いくつかの点を同一視する操作により分離性が弱まることがある。もとの空間がハウスドルフでも、同値類のまとめ方によっては新しい空間がハウスドルフでなくなる。商構成では、この点の確認が重要である。
3.3 生成方法
ハウスドルフ空間は、既存の空間から自然に作られることが多い。部分空間や積、あるいは適切な商位相を通じて得られる場合が代表的である。
3.3.1 部分空間
ハウスドルフ空間の部分空間は、通常やはりハウスドルフである。親空間で分離できる二点は、部分空間内でも同様に分離できる。これは局所的性質が制約されずに受け継がれる例である。
3.3.2 積位相
有限個でも無限個でも、積位相の下では各因子がハウスドルフなら積空間もハウスドルフになる。各座標ごとに分離を行い、その組み合わせで全体を切り分ける。多変数解析や関数空間の基礎で頻出する。
3.3.3 商位相
商位相では、分離性が必ずしも保たれない。とはいえ、同値関係が適切であればハウスドルフ性を維持できる場合もある。どの点が同一視されるかが、空間の性質を大きく左右する。
4 応用と関連理論
ハウスドルフ性は、抽象的な位相の話題にとどまらず、コンパクト性や正規性などの性質と密接に結びつく。解析学、幾何学、関数解析などでは、前提条件としてほぼ常用される。
4.1 コンパクト空間との関係
コンパクト性とハウスドルフ性が組み合わさると、閉集合や連続像に関して強い結論が得られる。両者の相互作用は、位相空間論の中心的な話題である。
4.1.1 コンパクト集合の閉性
ハウスドルフ空間では、コンパクト集合は閉になる。これは、点と集合を分離できることから導かれる重要な結果である。解析や幾何では、有限性を表す条件と閉性が結びつく。
4.1.2 連続像の性質
コンパクト空間からハウスドルフ空間への連続写像は、像の性質をよく保つ。特に、連続写像が閉写像として働く場面や、像がコンパクトかつ閉であることが重要になる。写像論の見通しを良くする組み合わせである。
4.2 正規性や他の分離公理との比較
ハウスドルフ性は、他の分離条件と比べることでその位置づけが明確になる。より強い公理は、さらに厳密な分離や補集合の制御を与える。
4.2.1 第一可算性との関係
第一可算性は、各点に可算な近傍基底がある条件で、収束を列で記述しやすくする。一方、ハウスドルフ性は点の分離に関する条件であり、両者は独立だが併せて使われることが多い。解析的な議論では、二つがそろうと扱いが簡潔になる。
4.2.2 完全正則性との関係
完全正則性は、点と閉集合を連続関数で分ける強い条件である。ハウスドルフ空間の中でも、より滑らかな関数論的制御を要する場面ではこの性質が重視される。多くの実用的な空間では、ハウスドルフ性に加えてこの強化条件が現れる。
4.3 解析学・幾何学での役割
解析学では、極限の一意性や連続性の整合性を保証する基盤として用いられる。幾何学では、局所座標や多様体の定義を支える自然な前提となる。ハウスドルフ性は、抽象理論を具体的対象へ接続するための標準的な共通言語である。