logo

距離空間における連結集合 📂距離空間

距離空間における連結集合

定義

距離空間 XX の二つの部分集合 AABB

AB=andAB= A \cap \overline{B}= \varnothing \quad \text{and} \quad \overline{A}\cap B= \varnothing

を満たすとき、AABB分離していると言う。つまり、BB閉包に含まれる AA の点がなく、AA の閉包に含まれる BBの点がないという意味だ。部分集合 EXE \subset X が空集合ではない分離された二つの集合の合併として表されない場合、EE連結していると言う。


この定義をよく考えてみると、「連結している」とは「明確に重なる集合の合併として表される集合」を表すために作られた概念であることがわかる。

定理

ERE \subset \mathbb{R} に対して、以下の二つの命題は同値である。

(a) EE は連結集合である。

(b) x,yEx ,y\in E かつ x<z<yx<z<y ならば、zEz \in E である。

証明

  • (a) \Longrightarrow (b)

    対偶法によって証明する。つまり、zEz\notin E ならば EE は非連結集合であることを示す。zEz\notin E と仮定する。二つの部分集合 AzA_{z}BzB_{z} を次のようにする。

    Az=E(,z),Bz=E(z,)(1) A_{z}=E\cap (-\infty,z),\quad B_{z}=E\cap(z,\infty) \tag{1}

    すると

    E=AzBz E=A_{z}\cup B_{z}

    が成立する。さらに、(1)(1) により xAzx\in A_{z}yBzy \in B_{z} なので二つの集合は空集合ではない。同様に、(1)(1) により AzBz=,AzBz= A_{z}\cap \overline{B_{z}}=\varnothing,\quad \overline{A_{z}}\cap B_{z}=\varnothing であるので、AzA_{z}BzB_{z} は分離している。EE が空集合ではない分離された二つの集合の合併として表されるので、定義により EE は非連結集合である。

  • (a) \Longleftarrow (b)

    同様に、対偶法によって証明する。つまり、EE が非連結ならば zEz\notin E であることを示す。EE が非連結であると仮定する。すると、定義によって E=ABE=A \cup B を満たす空集合ではない分離された二つの集合 AABB が存在する。AABB は空集合ではないので、任意の xAx\in AyBy\in B を選ぶことができる。一般性を失わずに、x<yx<y とする。そして、zz を次のようにする。

    z=sup(A[x,y]) z =\sup (A\cap [x,y])

    すると、閉包の性質1によって以下が成立する。

    zA[x,y]A z \in \overline{A\cap [x,y]} \subset \overline{A}

    すると、仮定によって AABB が分離しているので、zBz \notin B である。ここで二つの場合を考える。

    • case 1. zAz \notin A

      zAz \notin AzBz \notin BE=ABE=A \cup B のため、zEz\notin E である。

    • case 2. zAz\in A

      仮定によって AABB が分離しているので、zBz \notin \overline{B}である。従って、証明過程での xxzz としておくと

      z<z1<y,z1B z<z_{1}<y,\quad z_{1}\notin B

      を満たす z1z_{1} が存在し、x<z1<yx<z_{1}<yz1Ez_{1}\notin E を満たすことがわかる。


  1. 定理2 (2a)、定理4 参照 ↩︎