部分空間トポロジー、相対トポロジー
📂位相幾何学部分空間トポロジー、相対トポロジー
定義
位相空間 (X,T)と部分集合 A⊂Xが与えられたとしよう。すると以下の集合
TA={A∩U : U∈T}
は A上の位相である。このとき TAを部分空間位相Subspace Topologyまたは相対位相と呼ぶ。また、位相空間 (A,TA)を (X,T)の部分空間Subspaceと呼ぶ。
定理
- [0]: 位相空間 (X,T) と部分集合 A⊂Xに対して
TA={A∩U : U∈T}
は A上の位相となる。
位相空間 Xと部分空間 Aが与えられたとしよう。部分空間 Aで開集合、閉集合の同値条件は以下のようである。
- [a1]: V⊂Aが Aで開集合であるための必要十分条件は、V=A∩Uを満たす Xでの開集合 Uが存在することである。
- [b1]: F⊂Aが Aで閉集合であるための必要十分条件は、F=A∩Eを満たす Xでの閉集合 Eが存在することである。
部分空間で開集合(閉集合)であっても、全体空間で開集合(閉集合)である保証はない。部分空間が全体空間に対して開集合(閉集合)であれば、その性質が全体空間でも保証される。位相空間 (X,T)と部分空間 (A,TA)、部分集合 B⊂A⊂Xが与えられたとしよう。
- [a2]: Bが部分空間 Aで開集合であり、Aが Xで開集合であれば、Bは Xで開集合である。
- [b2]: Bが部分空間 Aで閉集合であり、Aが Xで閉集合であれば、Bは Xで閉集合である。
- [3]: Bを位相空間 (X,T)の基底としよう。すると
BA={A∩B : B∈B}
は部分空間 (A,TA)の基底である。
説明
混乱しないように、いくつかの表記についてはっきりと確認しておこう。(X,T)が全体空間で
TA={A∩U : U∈T}
は部分集合 Aの位相である。つまり、部分空間 (A,TA)を形成する。Bは全体集合 Xの基底である。BAは全体集合の基底の各要素と Aの交差集合のコレクションである。これが部分集合 Aの基底となるというのが定理の内容である。
TBA={UA⊂A : ∀ x∈UA, ∃ (A∩B)∈BA s.t. x∈(A∩B)⊂UA}
さらに進んで、TBAが TAと同じであることが核心である。内容が複雑に感じられるかもしれない。整理して説明すると次のようになる。
- 全体空間 Xの基底の要素と Aを交差させたものを集めると、Aの基底になる。
- その基底 BAで生成した位相は TBAである。
- 2で生成した位相 TBAは Xの開集合と Aを交差させたものの集合である TAと同じである。
証明
[0]
- (T1): A∩∅=∅、A∩X=Aであるから、空集合と全体集合が TAに属する。
- (T2): Vα∈TA(α∈Λ)としよう。TAの定義により、各々の Vαに対して、Vα=A∩Uαを満たす Uαが存在する。位相の定義により U=∪α∈ΛUα∈Tである。そうすると
α∈Λ⋃Vα=α∈Λ⋃(A∩Uα)=A∩(∪α∈ΛUα)=A∩U∈TA
であるから ⋃α∈ΛVα∈TAである。
- (T3): V1, ⋯ ,Vn∈TAとしよう。同様に、各々の Viに対して、Vi=A∩Uiを満たす Uiが存在する。そして U=∩iUi∈Tであるから
i=1⋂nVi=i=1⋂n(A∩Ui)=A∩(i=1⋂nUi)=A∩U∈TA
である。従って ⋂i=1nVi∈TAである。
位相の条件 三つを満たすので TAは Aの上の位相である。
■
[a1]
距離空間での証明を参照せよ。TAの定義により自明である。
■
[b1]
(⟹)
Fが Aで閉集合であるため、A−Fは Aで開集合である。そこで[a1]により、A−F=A∩Uを満たす Xでの開集合 Uが存在する。Uが開集合であるため、E=X−Uは Xで閉集合である。それで
A∩E=A∩(X−U)=A−(A∩U)=A−(A−F)=F
(⟸)
Eは Xで閉集合であるため、X−Eは Xで開集合である。そこで[a1]により、A∩(X−E)は Aで開集合である。Fc=A−(A∩E)=A∩(X−E)であるから、Fcは Aで開集合である。従って、Fは Aで閉集合である。
■
[a2]
Bが Aで開集合である場合、[a1]により、B=A∩U (U∈T)を満たす Xでの開集合 Uが存在する。仮定により、Aは Xで開集合である。従って、Bは Xで開集合の交差であり、Xで開集合である。
■
[b2]
Bが Aで閉集合である場合、[b1]により、B=A∩Eを満たす Xでの閉集合 Eが存在する。仮定により、Aは Xで閉集合であり、Bは閉集合同士の交差であるため、Bも Xで閉集合である。
■
[3]
パート1. BAは Aの基底である。
[b1]: 任意の x∈Aに対して、A⊂Xであるから、x∈Xである。Bが Xの基底であるため、定義により、x∈B∈Bを満たす Bが存在する。従って、x∈(A∩B)∈BAを満たす A∩B∈BAが存在する。[b2]:
任意の A∩B1、A∩B2と x∈((A∩B1)∩(A∩B2))に対して
(A∩B1)∩(A∩B2)=A∩B1∩B2
であるため、x∈(B1∩B2)である。Bが Xの基底であるため、定義により、x∈B3⊂(B1∩B2)を満たす B3が存在する。従って
x∈(A∩B3)⊂(A∩(B1∩B2))=(A∩B1)∩(A∩B2)
である。基底となる二つの条件を満たしたので、BAは部分集合 Aの基底である。
パート2. TBA=TAである。
(⊂)
Bが (X,T)の基底であるため、TB=Tであり、B⊂TB=Tである。従って、全ての B∈Bに対して、B∈Tである。TAの定義によって、A∩B∈TAである。従って
BA⊂TA
TBAは BAを含む最も小さい位相であるため
TBA⊂TA
(⊃)
V∈TAと仮定する。[a1]によって、V=A∩Uを満たす U∈Tが存在する。また、Vの任意の点 x∈V⊂Aに対して、x∈Uである。BはTを生成する基底であるため、x∈B⊂Uを満たす B∈Bが存在する。従って、A∩B∈BAが
x∈(A∩B)⊂(A∩U)=V
を満たす。これは、Vがその BAが生成する A上の位相 TBAに属する条件であるため、V∈TBAである。従って
TBA⊃TA
■