距離空間における連結集合
📂距離空間距離空間における連結集合
定義
距離空間 X の二つの部分集合 A と Bが
A∩B=∅andA∩B=∅
を満たすとき、A と B は分離していると言う。つまり、B の閉包に含まれる A の点がなく、A の閉包に含まれる Bの点がないという意味だ。部分集合 E⊂X が空集合ではない分離された二つの集合の合併として表されない場合、E は連結していると言う。
この定義をよく考えてみると、「連結している」とは「明確に重なる集合の合併として表される集合」を表すために作られた概念であることがわかる。
定理
E⊂R に対して、以下の二つの命題は同値である。
(a) E は連結集合である。
(b) x,y∈E かつ x<z<y ならば、z∈E である。
証明
(a) ⟹ (b)
対偶法によって証明する。つまり、z∈/E ならば E は非連結集合であることを示す。z∈/E と仮定する。二つの部分集合 Az と Bz を次のようにする。
Az=E∩(−∞,z),Bz=E∩(z,∞)(1)
すると
E=Az∪Bz
が成立する。さらに、(1) により x∈Az と y∈Bz なので二つの集合は空集合ではない。同様に、(1) により
Az∩Bz=∅,Az∩Bz=∅
であるので、Az と Bz は分離している。E が空集合ではない分離された二つの集合の合併として表されるので、定義により E は非連結集合である。
(a) ⟸ (b)
同様に、対偶法によって証明する。つまり、E が非連結ならば z∈/E であることを示す。E が非連結であると仮定する。すると、定義によって E=A∪B を満たす空集合ではない分離された二つの集合 A と B が存在する。A と B は空集合ではないので、任意の x∈A と y∈B を選ぶことができる。一般性を失わずに、x<y とする。そして、z を次のようにする。
z=sup(A∩[x,y])
すると、閉包の性質によって以下が成立する。
z∈A∩[x,y]⊂A
すると、仮定によって A と B が分離しているので、z∈/B である。ここで二つの場合を考える。
case 1. z∈/A
z∈/A と z∈/B と E=A∪B のため、z∈/E である。
case 2. z∈A
仮定によって A と B が分離しているので、z∈/Bである。従って、証明過程での x を z としておくと
z<z1<y,z1∈/B
を満たす z1 が存在し、x<z1<y と z1∈/E を満たすことがわかる。
■