位相空間論で登場するT3空間（正則空間）について学ぶ際、閉集合Fと点xを分離するという定義は一見すると矛盾しているように見えることがあります。特に「任意の閉集合F」と書かれているため、F=Xの場合を考えてしまうと疑問が生じます。
しかし、この問題はT3空間の定義における重要な条件を見落としていることが原因です。この記事では、T3空間の定義、なぜF=Xを代入してはいけないのか、そして点と閉集合の分離条件が何を意味しているのかを詳しく解説します。
T3空間の定義で重要な条件とは
T3空間（正則空間）の代表的な定義では、位相空間(X,O)について次の条件を満たすものをいいます。
任意の点x∈Xと任意の閉集合F⊂Xについて、x∉Fであるならば、xを含む開集合UとFを含む開集合Vが存在して、
U∩V=φ
となる。
ここで最も重要なのは、x∉Fという条件です。
つまり「点xと閉集合Fが離れている場合に、それらを別々の開集合で分離できる」という性質を表しています。
なぜF=Xとしてはいけないのか
質問のようにF=Xとすると、確かにXは閉集合なので条件に入るように見えます。しかし、この場合はx∈Fとなります。
つまり、
F=Xの場合、任意のx∈Xについてx∈F
となるため、T3空間の定義にある「x∉F」という前提条件を満たしません。
したがって、F=XはT3空間の条件を確認するときに考える対象ではありません。
これは数学の定義でよくある「任意の〇〇について」という表現の注意点です。条件付きで述べられている場合、その条件を満たすものだけを考える必要があります。
点と閉集合を分離するとはどういう意味か
T3空間の考え方は、ある点と、その点を含まない閉集合を、互いに交わらない開集合で囲めるというものです。
例えば実数全体Rを通常の位相で考えると、点x=0と閉集合F={2}を分けることができます。
この場合、
U=(-0.5,0.5)
V=(1.5,2.5)
とすれば、UとVは開集合であり、
U∩V=φ
となります。
このように、互いに離れた対象を位相的に分離できることが正則性の特徴です。
T3空間とT1空間の関係
位相空間の分離公理では、T3空間について少し注意が必要です。教科書によってT3空間の定義が異なる場合があります。
一般的には、T3空間は「正則空間かつT1空間」と定義されることが多いです。
T1空間とは、任意の異なる2点x,yについて、それぞれを含み相手を含まない開集合で分離できる性質を持つ空間です。
つまりT3空間は単に点と閉集合を分けられるだけではなく、点同士の分離も保証する、より強い性質を持つ空間として扱われます。
定義を読むときに注意すべき数学的ポイント
今回の疑問は、数学の定義を読む上で非常に重要なポイントを含んでいます。
「任意のx∈Xと任意の閉集合Fに対して」という文章を見たとき、その後に条件が続いていないかを確認する必要があります。
今回の場合は、本来、
「任意のx∈Xと任意の閉集合Fで、x∉Fならば、条件を満たす開集合U,Vが存在する」
という意味になります。
条件文の前提を無視してしまうと、今回のように一見すると定義そのものが矛盾しているように感じることがあります。
まとめ｜T3空間の定義でF=Xを考える必要がない理由
T3空間の定義においてF=Xを代入すると矛盾するように見えますが、それは「x∉F」という条件を考慮していないことが原因です。
T3空間では、点xが閉集合Fに含まれていない場合に限り、その点と閉集合を互いに交わらない開集合で分離できることを要求しています。
したがって、F=Xの場合は必ずx∈Fとなるため、そもそもT3空間の条件を適用する場面ではありません。位相空間の定義を理解するときは、「任意」という言葉だけでなく、その後に続く条件や前提を正確に読むことが重要です。
コメント