連結成分・弧状連結成分が互いに素
連結成分・弧状連結成分が互いに素
連結成分・弧状連結成分について次が成り立つ。
ここで\(C_{x}\)は\(x\)を要素に持つ連結成分である。
ここで\(\pi_{x}\)は\(x\)を要素に持つ弧状連結成分である。
連結成分・弧状連結成分について次が成り立つ。
(1)
位相空間\(\left(X,\mathcal{O}\right)\)があるとき、\(C_{x}\cap C_{y}\ne0\)と\(C_{x}=C_{y}\)は同値である。ここで\(C_{x}\)は\(x\)を要素に持つ連結成分である。
(2)
位相空間\(\left(X,\mathcal{O}\right)\)があるとき、\(\pi_{x}\cap\pi_{y}\ne0\)と\(\pi_{x}=\pi_{y}\)は同値である。ここで\(\pi_{x}\)は\(x\)を要素に持つ弧状連結成分である。
(1)
連結成分は同値関係なので、\(C_{x}\cap C_{y}\ne0\)と\(C_{x}=C_{y}\)は同値となる。(1)-2
\(\Rightarrow\)
連結成分\(C_{x},C_{y}\)は連結で条件より\(C_{x}\cap C_{y}\ne0\)なので\(C_{x}\cup C_{y}\)は連結となる。\(x\)を要素に持つ最大の連結部分集合は\(C_{x}\)なので、\(x\in C_{x}\cup C_{y}\)より\(C_{x}\cup C_{y}\subseteq C_{x}\)となる。
従って\(C_{y}\subseteq C_{x}\)となる。
同様にすると、\(C_{x}\subseteq C_{y}\)となるので\(C_{x}=C_{y}\)となる。
従って\(\Rightarrow\)が成り立つ。
\(\Leftarrow\)
\(C_{x}\)は\(x\)を要素に持つので空集合ではない。これより、\(C_{x}=C_{y}\ne0\)となるがこのとき、\(C_{x}\cap C_{y}=C_{x}\cap C_{x}=C_{x}\ne0\)となる。
従って\(\Leftarrow\)が成り立つ。
\(\Leftrightarrow\)
これらより、\(\Rightarrow\)と\(\Leftarrow\)が成り立つので\(\Leftrightarrow\)となる。(2)
連結成分と同様にすればいい。ページ情報
タイトル | 連結成分・弧状連結成分が互いに素 |
URL | https://www.nomuramath.com/bqvev4bw/ |
SNSボタン |
位相空間で連結集合同士の積集合が空集合でなければ和集合は連結
連結空間の閉包・内部
連結であれば閉包も連結になる。
連結・弧状連結の連続写像による像・逆像
連結・弧状連結な部分集合の連続写像による像は連結・弧状連結となる。
弧状連結と連結の関係
弧状連結ならば連結。