位相空間において、収束列の極限が一意に定まることとハウスドルフ性（Hausdorff性）の関係は、位相の基本的な性質を理解するうえで重要なテーマです。特に第一可算公理を満たす空間では、列による性質の判定が可能になるため、両者の関係がよく議論されます。この記事では、ハウスドルフ空間と収束列の極限の一意性の関係、そして余可算位相の具体例について整理します。
ハウスドルフ空間と収束列の極限の一意性
位相空間(X,O)がハウスドルフ空間であるとは、任意の異なる2点x,y∈Xに対して、互いに交わらない開近傍U,Vが存在することをいいます。
ハウスドルフ性は、点同士を位相的に分離できる性質であり、解析学で扱う実数空間のような通常の空間が持っている重要な特徴です。
ハウスドルフ空間では、任意の収束列の極限は必ず一意になります。つまり、ある列(x_n)がxにもyにも収束すると仮定すると、x=yでなければならないということです。
第一可算公理がある場合の逆は成立するのか
一般の位相空間では、「任意の収束列の極限が一意ならばハウスドルフである」という逆は成立しません。
しかし、第一可算公理を満たす空間では、この関係が成立します。
第一可算公理とは、各点xについて、その点の近傍系が可算個の基本近傍からなるという条件です。この条件があることで、位相的な性質を列によって調べることができます。
第一可算空間では、ハウスドルフでないことから、ある点xとyを分離できない状況を列で表現できます。その結果、ある列がxとyの両方に収束することになり、極限の一意性に反します。
したがって第一可算空間では、次の同値関係が成立します。
(X,O)が第一可算空間の場合、(X,O)がハウスドルフ ⇔ 任意の収束列の極限が一意
有限集合の場合の離散位相との関係
有限集合Xについて、ハウスドルフ性と離散位相との関係を考える場合には注意が必要です。
有限集合上の位相が必ず離散位相になるわけではありません。例えば、有限集合に密着位相（開集合が空集合と全体集合だけ）を入れることもできます。
ただし、有限集合上で余分な分離性条件を考えると、ハウスドルフな位相は必ず離散位相になります。
実際、有限ハウスドルフ空間では任意の一点集合が閉集合となり、有限個の点を分離できるため、すべての部分集合が閉集合になります。有限集合では補集合も存在するため、すべての部分集合が開集合となり、位相は離散位相になります。
余可算位相の例と収束列の極限
次に、実数全体Rに余可算位相を入れた場合を考えます。
余可算位相とは、空集合または補集合が可算集合である集合を開集合とする位相です。つまり、Rの開集合Uは、R\Uが有限または可算集合になります。
この位相は通常ハウスドルフではありません。異なる2点x,yを取ると、xを含む開集合とyを含む開集合は必ず交わります。なぜなら、2つの開集合の補集合は可算集合であり、R全体から可算集合を2つ除いても点が多数残るためです。
余可算位相で収束列の極限は本当に一意になるのか
ここで重要なのは、余可算位相では列の収束について通常とは異なる現象が起こることです。
余可算位相を持つRでは、非定常な列（同じ値を繰り返さない列）がどの点にも収束しない場合があります。
一方、ある点に最終的に一致する列、つまりある番号以降すべてxになる列は当然xに収束します。しかし、そのような列が別の点にも収束することはありません。
そのため、余可算位相のRでは「収束列の極限は一意」という性質を満たしますが、ハウスドルフではありません。
これは第一可算公理を満たさないことによって可能になります。つまり、第一可算性がない場合には、列だけでは空間の分離性を完全には検出できないということです。
第一可算公理が重要になる理由
位相空間では、開集合による議論と列による議論が必ずしも一致しません。
第一可算公理を満たす空間では、点の近傍を可算的に扱えるため、列を使って閉包や収束を特徴づけることができます。
しかし、第一可算でない空間では、列では表現できない収束現象が存在します。そのため、「すべての収束列の極限が一意」という条件だけではハウスドルフ性を保証できません。
まとめ
第一可算公理を満たす位相空間では、ハウスドルフ性と「任意の収束列の極限が一意である」という性質は同値になります。
一方で、第一可算公理を満たさない空間ではこの逆は成立せず、余可算位相を入れたRはその代表的な例です。
位相空間を列で理解できるかどうかは第一可算性に大きく依存しており、ハウスドルフ性と収束列の関係を考える際には、この条件の有無を確認することが重要です。
コメント