logo

部分空間トポロジー、相対トポロジー 📂位相幾何学

部分空間トポロジー、相対トポロジー

定義 1

位相空間 (X,T)(X,\mathscr{T})と部分集合 AXA \subset Xが与えられたとしよう。すると以下の集合 TA={AU : UT} \mathscr{T}_{A} =\left\{ A\cap U\ :\ U\in \mathscr{T} \right\} AA上の位相である。このとき TA\mathscr{T}_{A}部分空間位相Subspace Topologyまたは相対位相と呼ぶ。また、位相空間 (A,TA)(A, \mathscr{T}_{A})(X,T)(X,\mathscr{T})部分空間Subspaceと呼ぶ。

定理

  • [0]: 位相空間 (X,T(X, \mathscr{T}) と部分集合 AXA \subset Xに対して TA={AU : UT} \mathscr{T}_{A} = \left\{ A\cap U\ :\ U \in \mathscr{T}\right\} AA上の位相となる。

位相空間 XXと部分空間 AAが与えられたとしよう。部分空間 AAで開集合、閉集合の同値条件は以下のようである。

  • [a1]: VAV\subset AAAで開集合であるための必要十分条件は、V=AUV= A\cap Uを満たす XXでの開集合 UUが存在することである。
  • [b1]: FAF\subset AAAで閉集合であるための必要十分条件は、F=AEF=A\cap Eを満たす XXでの閉集合 EEが存在することである。

部分空間で開集合(閉集合)であっても、全体空間で開集合(閉集合)である保証はない。部分空間が全体空間に対して開集合(閉集合)であれば、その性質が全体空間でも保証される。位相空間 (X,T)(X,\mathscr{T})と部分空間 (A,TA)(A,\mathscr{T}_{A})、部分集合 BAXB\subset A\subset Xが与えられたとしよう。

  • [a2]: BBが部分空間 AAで開集合であり、AAXXで開集合であれば、BBXXで開集合である。
  • [b2]: BBが部分空間 AAで閉集合であり、AAXXで閉集合であれば、BBXXで閉集合である。
  • [3]: B\mathscr{B}を位相空間 (X,T)(X,\mathscr{T})基底としよう。すると BA={AB : BB} \mathscr{B}_{A} =\left\{ A\cap B\ :\ B\in \mathscr{B} \right\} は部分空間 (A,TA)(A,\mathscr{T}_{A})の基底である。

説明

混乱しないように、いくつかの表記についてはっきりと確認しておこう。(X,T)(X,\mathscr{T})が全体空間で TA={AU : UT} \mathscr{T}_{A}=\left\{A\cap U\ :\ U \in \mathscr{T} \right\} は部分集合 AAの位相である。つまり、部分空間 (A,TA)(A,\mathscr{T}_{A})を形成する。B\mathscr{B}は全体集合 XXの基底である。BA\mathscr{B}_{A}は全体集合の基底の各要素と AAの交差集合のコレクションである。これが部分集合 AAの基底となるというのが定理の内容である。 TBA={UAA :  xUA,  (AB)BA  s.t. x(AB)UA} \mathscr{T}_{\mathscr{B}_{A}}=\left\{U_{A}\subset A\ :\ \forall\ x \in U_{A},\ \exists\ (A\cap B) \in \mathscr{B}_{A}\ \ \text{s.t.}\ x\in (A\cap B) \subset U_{A}\right\} さらに進んで、TBA\mathscr{T}_{\mathscr{B}_{A}}TA\mathscr{T}_{A}と同じであることが核心である。内容が複雑に感じられるかもしれない。整理して説明すると次のようになる。

  1. 全体空間 XXの基底の要素と AAを交差させたものを集めると、AAの基底になる。
  2. その基底 BA\mathscr{B}_{A}で生成した位相は TBA\mathscr{T}_{\mathscr{B}_{A}}である。
  3. 2で生成した位相 TBA\mathscr{T}_{\mathscr{B}_{A}}XXの開集合と AAを交差させたものの集合である TA\mathscr{T}_{A}と同じである。

証明

[0]

  • (T1)(T1): A=A \cap \varnothing =\varnothingAX=AA \cap X=Aであるから、空集合と全体集合が TA\mathscr{T}_{A}に属する。
  • (T2)(T2): VαTA(αΛ)V_\alpha \in \mathscr{T}_{A}( \alpha \in \Lambda)としよう。TA\mathscr{T}_{A}の定義により、各々の VαV_\alphaに対して、Vα=AUαV_\alpha = A \cap U_\alphaを満たす UαU_\alphaが存在する。位相の定義により U=αΛUαTU=\cup_{\alpha \in \Lambda} U_\alpha \in \mathscr{T}である。そうすると αΛVα=αΛ(AUα)=A(αΛUα)=AUTA \bigcup_{\alpha \in \Lambda} V_\alpha = \bigcup_{\alpha \in \Lambda} (A \cap U_\alpha ) =A\cap (\cup_{\alpha \in \Lambda} U_\alpha ) =A\cap U \in \mathscr{T}_{A} であるから αΛVαTA\bigcup _{\alpha \in \Lambda} V_\alpha \in \mathscr{T}_{A}である。
  • (T3)(T3): V1,  ,VnTAV_{1},\ \cdots\ ,V_{n} \in \mathscr{T}_{A}としよう。同様に、各々の ViV_{i}に対して、Vi=AUiV_{i} =A \cap U_{i}を満たす UiU_{i}が存在する。そして U=iUiTU=\cap _{i} U_{i} \in \mathscr{T}であるから i=1nVi=i=1n(AUi)=A(i=1nUi)=AUTA \bigcap _{i=1}^n V_{i} = \bigcap_{i=1}^n (A\cap U_{i}) = A\cap \left( \bigcap_{i=1}^n U_{i} \right) =A\cap U \in \mathscr{T}_{A} である。従って i=1nViTA\bigcap_{i=1}^n V_{i} \in \mathscr{T}_{A}である。

位相の条件 三つを満たすので TA\mathscr{T}_{A}AAの上の位相である。

[a1]

距離空間での証明を参照せよ。TA\mathscr{T}_{A}の定義により自明である。

[b1]

(    )(\implies) FFAAで閉集合であるため、AFA-FAAで開集合である。そこで[a1]により、AF=AUA-F=A\cap Uを満たす XXでの開集合 UUが存在する。UUが開集合であるため、E=XUE=X-UXXで閉集合である。それで AE=A(XU)=A(AU)=A(AF)=F A\cap E=A\cap (X-U)=A-(A\cap U)=A-(A-F)=F


()(\Longleftarrow ) EEXXで閉集合であるため、XEX-EXXで開集合である。そこで[a1]により、A(XE)A \cap (X-E)AAで開集合である。Fc=A(AE)=A(XE)F^c=A-(A\cap E)=A\cap(X-E)であるから、FcF ^cAAで開集合である。従って、FFAAで閉集合である。

[a2]

BBAAで開集合である場合、[a1]により、B=AU (UT)B=A\cap U\ (U\in \mathscr{T})を満たす XXでの開集合 UUが存在する。仮定により、AAXXで開集合である。従って、BBXXで開集合の交差であり、XXで開集合である。

[b2]

BBAAで閉集合である場合、[b1]により、B=AEB=A\cap Eを満たす XXでの閉集合 EEが存在する。仮定により、AAXXで閉集合であり、BBは閉集合同士の交差であるため、BBXXで閉集合である。

[3]

パート1. BA\mathscr{B}_{A}AAの基底である。

[b1]: 任意の xAx\in Aに対して、AXA\subset Xであるから、xXx\in Xである。B\mathscr{B}XXの基底であるため、定義により、xBBx \in B \in \mathscr{B}を満たす BBが存在する。従って、x(AB)BAx\in (A\cap B ) \in \mathscr{B}_{A}を満たす ABBAA\cap B \in \mathscr{B}_{A}が存在する。[b2]: 任意の AB1A\cap B_{1}AB2A\cap B_{2}x((AB1)(AB2))x\in \Big( (A\cap B_{1} ) \cap (A \cap B_{2}) \Big)に対して (AB1)(AB2)=AB1B2 (A\cap B_{1})\cap (A \cap B_{2})=A\cap B_{1}\cap B_{2} であるため、x(B1B2)x\in (B_{1}\cap B_{2})である。B\mathscr{B}XXの基底であるため、定義により、xB3(B1B2)x\in B_{3} \subset ( B_{1}\cap B_{2})を満たす B3B_{3}が存在する。従って x(AB3)(A(B1B2))=(AB1)(AB2) x \in (A\cap B_{3})\subset \Big( A\cap (B_{1}\cap B_{2}) \Big)=(A\cap B_{1}) \cap (A\cap B_{2}) である。基底となる二つの条件を満たしたので、BA\mathscr{B}_{A}は部分集合 AAの基底である。


パート2. TBA=TA\mathscr{T}_{\mathscr{B}_{A}}=\mathscr{T}_{A}である。

()(\subset) B\mathscr{B}(X,T)(X,\mathscr{T})の基底であるため、TB=T\mathscr{T}_{\mathscr{B}}=\mathscr{T}であり、BTB=T\mathscr{B}\subset \mathscr{T_{\mathscr{B}}}=\mathscr{T}である。従って、全ての BBB \in \mathscr{B}に対して、BTB\in \mathscr{T}である。TA\mathscr{T}_{A}の定義によって、ABTAA\cap B \in \mathscr{T}_{A}である。従って BATA \mathscr{B}_{A} \subset \mathscr{T}_{A} TBA\mathscr{T}_{\mathscr{B}_{A}}BA\mathscr{B}_{A}を含む最も小さい位相であるため TBATA \mathscr{T}_{\mathscr{B}_{A}} \subset \mathscr{T}_{A}

()(\supset ) VTAV \in \mathscr{T}_{A}と仮定する。[a1]によって、V=AUV=A\cap Uを満たす UTU\in \mathscr{T}が存在する。また、VVの任意の点 xVAx\in V \subset Aに対して、xUx \in Uである。B\mathscr{B}T\mathscr{T}を生成する基底であるため、xBUx\in B \subset Uを満たす BBB\in \mathscr{B}が存在する。従って、ABBAA \cap B \in \mathscr{B}_{A}x(AB)(AU)=V x\in (A\cap B) \subset (A\cap U) =V を満たす。これは、VVがその BA\mathscr{B}_{A}が生成する AA上の位相 TBA\mathscr{T}_{\mathscr{B}_{A}}に属する条件であるため、VTBAV \in \mathscr{T}_{\mathscr{B}_{A}}である。従って TBATA \mathscr{T}_{\mathscr{B}_{A}} \supset \mathscr{T}_{A}


  1. Munkres. (2000). 『Topology(2nd Edition)』: p89. ↩︎