近傍系と位相空間における証明問題の解説

集合X上の近傍系の公理に基づいて問題を解く際、いくつかの重要な定義と証明が必要となります。この記事では、近傍系の公理に関する問題とその証明方法について詳細に解説します。また、Xの位相が成立することや、N(x)とN'(x)が等しいことを証明する過程を具体的に説明します。

1. 近傍系の公理とは？
2. O’がXの位相であることの証明
3. N(x)とN'(x)が等しいことの証明
4. まとめ

1. 近傍系の公理とは？

近傍系は、集合X上で点xに対する「近い集合」を定義するために使用されます。近傍系には、次のような公理が必要です。

1. X∈N(x)
2. ∀V∈N(x), x∈V
3. V∈N(x), かつ V⊂U ⇒ U∈N(x)
4. V,W∈N(x) ⇒ V∩W∈N(x)
5. ∀V∈N(x), ∃U∈N(x), y∈U ⇒ V∈N(y)

これらの公理により、集合X上での「近い集合」の関係が定義され、位相空間の構造が成り立ちます。

2. O’がXの位相であることの証明

次に、O’={U⊂X | ∀x∈U,∃V∈N(x),V⊂U} がXの位相であることを示します。この定義に基づくと、O’は位相の定義を満たしていることがわかります。具体的には、次の条件が成り立ちます。

開集合の空集合とX自体がO’に含まれること。
任意のO’に属する集合の任意の部分集合がO’に含まれること。
O’に属する集合の任意の有限個の交わりがO’に属すること。

これにより、O’が位相であることが確認されます。

3. N(x)とN'(x)が等しいことの証明

次に、N(x)とN'(x)が等しいことを証明します。まず、N'(x)の定義を見てみましょう。

N'(x) = {V⊂X | ∃U∈O’, x∈U⊂V} です。

証明の第一ステップとして、V∈N'(x)に対し、あるU∈O’が存在してx∈U⊂Vとなることを確認します。O’の定義により、あるU’∈N(x)でU’⊂Uより、U∈N(x)が成り立ちます。これにより、N'(x)⊂N(x)が成立します。

次に、W∈N(x)を任意にとり、S = {y∈X | ∃V∈N(y), V⊂W}と定義します。x∈Sであり、S⊂Wであることがわかります（2.より）。y∈Sを任意にとると、あるV∈N(y)でV⊂Wとなり、Vに対し5.より、あるU∈N(y)で、z∈U⇒V∈N(z)となります。これにより、U⊂Sとなり、S∈O’であることが確認されます。これにより、N(x)⊂N'(x)が成立し、最終的にN(x) = N'(x)が証明されます。