分離公理における「位相的に識別可能」と「分離される」の違い｜近傍系による整理と証明

位相空間における分離公理を学ぶ際には、「位相的に識別可能」と「分離される」という2つの概念が混同されやすいです。どちらも2点を区別するための条件ですが、要求している性質の強さが異なります。この記事では、近傍系を用いた定義を整理し、それぞれの関係や証明、具体例を通して理解を深めます。

近傍系による2点の比較

(X,O)を位相空間とし、x∈Xに対して近傍系をN(x)={N⊂X | ∃U∈O,x∈U⊂N}と定義します。

近傍系N(x)は、点xを含む開集合を内部に持つ集合全体です。つまり、その点の周囲にどのような集合が存在するかを記録したものと考えることができます。

この近傍系を利用すると、2点x,yが同じ位相的性質を持つかどうかを比較できます。特にN(x)=N(y)ならば、位相によってxとyを区別できない状態になります。

2点x,yが位相的に識別可能であるとは、近傍系が異なること、つまりN(x)≠N(y)であることです。

これは「xの周囲の様子」と「yの周囲の様子」に何らかの違いが存在することを意味します。ただし、この違いは一方の点だけを区別できる程度でも十分です。

近傍系を開集合との関係で見ると、N(x)=N(y)とN(x)∩O=N(y)∩Oは同値になります。したがって、開近傍だけを比較しても点の識別可能性を判断できます。

N(x)=N(y)ならば、当然N(x)∩O=N(y)∩Oです。逆にN(x)∩O=N(y)∩Oと仮定します。

M∈N(x)を任意に取ると、ある開集合U∈Oが存在してx∈U⊂Mとなります。このときUはN(x)∩Oの元なので、仮定よりU∈N(y)∩Oでもあります。

したがってy∈U⊂Mとなり、M∈N(y)です。よってN(x)⊂N(y)が示されます。同様にN(y)⊂N(x)も成り立つため、N(x)=N(y)となります。

一方、2点x,yが分離されるとは、xの近傍でyを含まないものが存在し、さらにyの近傍でxを含まないものが存在することです。

つまり、xとyそれぞれについて相手を完全に避ける近傍が存在する必要があります。条件は次のように表せます。

(∃M∈N(x),y∉M)∧(∃M∈N(y),x∉M)

この条件は、単に違いがあるだけではなく、双方から独立して区別できることを要求しています。そのため、位相的識別可能よりも強い条件になります。

位相的に識別可能である条件は、

(∃M∈N(x),y∉M)∨(∃M∈N(y),x∉M)

と表せます。つまり、どちらか一方の点だけでも相手と異なる近傍を持てば十分です。

それに対して分離される条件では、両方の点についてそのような近傍が存在する必要があります。

したがって、分離されるならば必ず位相的に識別可能ですが、逆は一般には成立しません。

X={1,2}、位相O={∅,{1},X}を考えます。この空間は位相空間です。

点1の近傍系はN(1)={{1},X}、点2の近傍系はN(2)={X}となります。

したがってN(1)≠N(2)なので、1と2は位相的に識別可能です。

しかし、点2の任意の近傍はXしかありません。そのため、2の近傍で1を含まないものは存在しません。

つまり、(∃M∈N(2),1∉M)は成立せず、1と2は分離されません。

この例から、識別可能性は「どこか一方から違いが見える」条件であり、分離可能性は「双方から互いに区別できる」条件であることが分かります。

これらの概念は、位相空間の分離公理を理解する上で重要な役割を持ちます。

特にT0空間では任意の異なる2点が位相的に識別可能であることを要求し、T1空間では任意の異なる2点が分離されることと関連します。

つまり、分離公理は「異なる点をどの程度区別できるか」を段階的に表したものです。

位相的に識別可能とは、近傍系が異なることであり、2点のどちらか一方でも違いを見つけられれば成立します。

一方、分離されるとは、それぞれの点に相手を含まない近傍が存在することであり、識別可能よりも強い条件です。

したがって、分離されるならば必ず位相的に識別可能ですが、位相的に識別可能だからといって必ず分離されるわけではありません。

近傍系を使って整理すると、両者の違いは「一方向の区別で十分か」「双方向に区別できる必要があるか」という点にあると理解できます。