正則空間では点と閉集合が閉近傍で分離できることの証明｜証明の流れと注意点を解説

位相空間論では、正則空間という条件から点と閉集合の分離性を導く議論が頻繁に登場します。特に「点xと閉集合Gが交わらないとき、互いに交わらない閉近傍で分離できる」という性質は、正則性を理解するうえで重要な結果です。

この証明では、開近傍による分離から閉近傍による分離へどのようにつなげるかがポイントになります。ここでは証明の考え方と、提示された証明で確認すべき点を整理しながら解説します。

正則空間における分離性の基本的な考え方

正則空間とは、一般的には点と閉集合を開集合によって分離できる性質を持つ位相空間です。つまり、点xと閉集合Gがあり、xがGに含まれない場合、xを含む開集合UとGを含む開集合Vで、UとVが交わらないものを取ることができます。

今回示したいのは、単なる開集合による分離ではなく、「閉近傍」で分離できるということです。

閉近傍で分離するとは、xを含む閉集合CとGを含む閉集合Dが存在して、C∩D=∅となることを意味します。したがって、開集合から閉集合を作る操作が証明の中心になります。

x∈X、G∈Fを任意に取り、x∉Gとします。ここでFは閉集合全体です。

正則性より、xを含む開近傍UとGを含む開近傍Vで、U∩V=∅となるものが存在します。

このとき、G⊂Vであり、さらにU∩V=∅なのでV⊂X\Uとなります。ここでX\UはUの補集合なので閉集合です。

したがって、G⊂V⊂X\Uとなり、X\UはGを含む閉集合、つまりGの閉近傍になります。この部分の議論は正しく、証明の①に対応します。

次に、xと先ほど作った閉近傍X\Uを分離します。

x∉X\Uなので、正則性を再び利用できます。すると、xを含む開近傍U’とX\Uを含む開近傍V’で、U’∩V’=∅となるものが存在します。

ここでcl(U’)（U’の閉包）を考えます。x∈U’⊂cl(U’)なので、cl(U’)はxの閉近傍になります。

残る確認は、cl(U’)とX\Uが交わらないことです。

もし、ある点aがcl(U’)∩(X\U)に存在すると仮定します。

するとa∈X\Uであり、X\U⊂V’なのでa∈V’となります。また、a∈cl(U’)なので、aはU’の触点です。

しかし、V’はU’と交わらない開集合です。つまり、V’に含まれる点はU’の触点になることはできません。これは矛盾です。

したがって、cl(U’)∩(X\U)=∅となり、xを含む閉近傍cl(U’)とGを含む閉近傍X\Uは互いに分離されます。

提示された証明の大きな流れは正しく、正則性を二度使って開近傍から閉近傍を構成するという考え方になっています。

ただし、最後の部分の「aがU’の触点である」という表現は少し補足が必要です。a∈cl(U’)から触点であることは分かりますが、その後に「開集合V’とU’が交わらないことから矛盾」と説明するとより明確になります。

厳密には、aがU’の閉包に含まれるなら、aの任意の開近傍はU’と交わる必要があります。しかしaはV’という開近傍を持ち、V’∩U’=∅なので矛盾になります。

この結果を理解するには、「正則性は開集合による分離を与える」「閉近傍にするには閉包や補集合を利用する」という2点を押さえることが重要です。

特に、位相空間の証明では開集合から閉集合を作るために、補集合や閉包を使う場面が多くあります。

今回の証明は、正則空間の性質を一段強い形で表現する典型的な例であり、他の分離公理を学ぶ際にも役立つ考え方になります。

正則空間では、点xとそれを含まない閉集合Gは、互いに交わらない閉近傍によって分離できます。

証明の流れは、まず正則性によってGを含む閉近傍を作り、その後もう一度正則性を使ってxを含む閉近傍を作るというものです。

提示された証明は基本的な方針として正しく、最後の触点に関する部分を少し丁寧に補えば、十分に完成した証明になります。