ハウスドルフ性より弱い分離性とは？収束列の極限一意性を保証する性質と余可算位相の例

位相空間において、収束する点列の極限が一意であることは、解析学を考える上で重要な性質です。ハウスドルフ空間ではこの性質が必ず成り立ちますが、実はハウスドルフ性より弱い条件でも点列の極限の一意性を保証できる場合があります。

この記事では、2つの異なる点の近傍が完全には分離できない場合でも、高々可算集合を避けながら近傍を選べる性質について解説し、その名前や関連する位相的性質、さらに収束点列の一意性との関係を整理します。

ハウスドルフ性と収束点列の極限一意性の関係

ハウスドルフ空間（Hausdorff space）とは、異なる2点x,yに対して、それぞれの開近傍V,Wを選び、V∩W=φとなるように分離できる位相空間のことです。

つまり、異なる点を互いに交わらない開集合で分けることができる性質です。この条件があると、同じ点列が2つの異なる点に収束することはありません。

しかし、点列の収束の一意性だけを見ると、ハウスドルフ性は少し強すぎます。ハウスドルフ性を満たさなくても、収束列の極限が一意になる空間は存在します。

質問で述べられている性質は、異なる点x,yについて、近傍V∈N(x)、W∈N(y)の共通部分V∩Wがあっても、その中の任意の高々可算集合Nを取り除けば、さらに小さい近傍V’、W’を選んで、

N∩V’∩W’=φ

とできるという条件です。

この性質は、一般的には可算コンパクト性や分離公理の一種として単独の標準名称が広く定着しているものではありません。ただし、内容的にはω-Hausdorff性（オメガハウスドルフ性）、あるいは弱ハウスドルフ性に関連する分離条件として扱われることがあります。

特に、点の分離ではなく「可算集合を避ける」という条件になっているため、通常のHausdorff性を可算集合に対して緩めた形の分離性と見ることができます。

ω-Hausdorff性は、通常のハウスドルフ性を次のように弱めたものとして考えられます。

ハウスドルフ性では、異なる2点x,yについて、近傍U,Vを選んでU∩V=φにします。

一方でω-Hausdorff的な条件では、完全に交わりをなくすことは要求せず、その交わりの中に存在する高々可算集合だけを排除できればよいと考えます。

つまり、「有限個や可算個程度の邪魔な点なら避けながら分離できる」という発想です。

このため、通常のハウスドルフ性より弱い条件になります。

実数全体Rに余可算位相を入れた空間を考えます。これは開集合が、空集合または補集合が高々可算集合になる集合である位相です。

この空間はハウスドルフではありません。なぜなら、2つの空でない開集合は必ず交わるため、異なる2点を互いに交わらない近傍で分離できないからです。

しかし、この空間では収束する点列の極限は一意になります。

実際、点列(xn)がaに収束する場合、aの任意の近傍の補集合は高々可算集合です。そのため、点列が別のbにも収束すると仮定すると、aとbを含む条件から矛盾が生じます。

この例は、ハウスドルフ性と点列収束の一意性の間に差があることを示しています。

位相空間の性質は、一般に次のような強弱関係で考えられます。

つまり、

ハウスドルフ ⇒ 可算集合を避ける分離性 ⇒ 収束点列の極限一意性

という関係になります。

ただし、最後の含意は一般位相空間では注意が必要です。点列だけでは位相の情報を十分に反映できない場合があり、ネット（net）やフィルターを用いると異なる性質が現れることがあります。

実数のような第一可算空間では、点列による収束は位相の性質をよく表します。しかし、一般の位相空間では点列では捉えきれない現象があります。

そのため、「すべての収束点列の極限が一意」という条件だけでは、ハウスドルフ性や質問中の分離条件を特徴づけることはできません。

より一般的な位相空間論では、点列ではなくネットやフィルターを用いてハウスドルフ性との関係を調べます。

異なる2点の近傍の交わりから高々可算集合だけを避けて分離できるという条件は、通常のハウスドルフ性を弱めた分離条件です。

一般的に完全に統一された名称が使われるわけではありませんが、ω-Hausdorff性などの可算的な分離性の考え方と深く関係しています。

また、余可算位相の例が示すように、ハウスドルフではなくても収束点列の極限が一意になる空間は存在します。位相空間では「点列の性質」と「空間全体の分離性」が必ずしも一致しないことを理解することが重要です。