弧状連結の定義
弧状連結の定義
空でない位相空間\(\left(X,\mathcal{O}\right)\)が与えられたとき、任意の\(x_{0},x_{1}\in X\)に対し、ある連続写像\(f:\left[0,1\right]\rightarrow X\)が存在し\(f\left(0\right)=x_{0},f\left(1\right)=x_{1}\)となるとき、\(\left(X,\mathcal{O}\right)\)は弧状連結であるという。
\(f\left(0\right)\)を始点、\(f\left(1\right)\)を終点、\(f\left(\left[0,1\right]\right)\)を弧という。
ここで\(\left[0,1\right]\)には標準的な位相を入れる。
位相空間\(\left(X,\mathcal{O}\right)\)の部分位相空間\(\left(A,\mathcal{O}_{A}\right)\)が弧状連結であるとき、\(A\)が弧状連結であるという。
空でない位相空間\(\left(X,\mathcal{O}\right)\)が与えられたとき、任意の\(x_{0},x_{1}\in X\)に対し、ある連続写像\(f:\left[0,1\right]\rightarrow X\)が存在し\(f\left(0\right)=x_{0},f\left(1\right)=x_{1}\)となるとき、\(\left(X,\mathcal{O}\right)\)は弧状連結であるという。
\(f\left(0\right)\)を始点、\(f\left(1\right)\)を終点、\(f\left(\left[0,1\right]\right)\)を弧という。
ここで\(\left[0,1\right]\)には標準的な位相を入れる。
位相空間\(\left(X,\mathcal{O}\right)\)の部分位相空間\(\left(A,\mathcal{O}_{A}\right)\)が弧状連結であるとき、\(A\)が弧状連結であるという。
定義より空集合では弧状連結になりません。
これより、弧状連結成分が1つなら弧状連結となります。
これより、弧状連結成分が1つなら弧状連結となります。
(1)
密着位相\(\left(X,\left\{ \emptyset,X\right\} \right)\)は弧状連結である。\(2\)\(\leq\left|X\right|\)のとき\(X=\left\{ a_{1},a_{2},\cdots,a_{n}\right\} \)として、連続写像\(f:\left[0,1\right]\rightarrow\left\{ a_{1},a_{2},\cdots,a_{n}\right\} \)が、\(f\left(0\right)=a_{j},f\left(1\right)=a_{k}\)を満たすには、
\(x\in\left[0,\frac{1}{2}\right)\)のとき\(f\left(x\right)=a_{j}\)
\(x\in\left[\frac{1}{2},1\right]\)のとき\(f\left(x\right)=a_{k}\)
とすればいい。
このとき、\(f^{\bullet}\left(\emptyset\right)=\emptyset,f^{\bullet}\left(X\right)=\left[0,1\right]\)となり開集合の逆像は開集合になるので、\(f\)は連続となる。
\(\left|X\right|=0,\left|X\right|=1\)のときも弧状連結となる。
これより、密着位相\(\left(X,\left\{ \emptyset,X\right\} \right)\)は弧状連結となる。
(2)
\(2\leq\left|X\right|\)のとき、離散位相\(\left(X,2^{X}\right)\)は弧状連結ではない。何故なら、「弧状連結ならば連結」の対偶は「連結でないならば弧状連結でない」となり、\(2\leq\left|X\right|\)の離散位相\(\left(X,2^{X}\right)\)は連結でないので弧状連結ではない。
(2)-2
別の証明背理法により示す。
\(X\)が弧状連結であると仮定する。
\(X\)の任意の異なる2点\(a,b\in X\)をとると、連続写像\(f:\left[0,1\right]\rightarrow X\)は\(f\left(a\right)=0,f\left(b\right)=1\)となる道が存在する。
離散位相なので1点集合は閉集合かつ開集合なので\(f^{\bullet}\left(\left\{ a\right\} \right),f^{\bullet}\left(\left\{ b\right\} \right)\)も共に閉集合かつ開集合になり、\(f^{\bullet}\left(\left\{ a\right\} \right)\cap f^{\bullet}\left(\left\{ b\right\} \right)=f^{\bullet}\left(\left\{ a\right\} \cap\left\{ b\right\} \right)=f^{\bullet}\left(\emptyset\right)=\emptyset\)とならなければいけない。
しかし、\(\left[0,1\right]\)は連結であるので閉集合かつ開集合となるのは\(\emptyset,\left[0,1\right]\)しかないが、\(f^{\bullet}\left(\left\{ a\right\} \right)=\emptyset\lor f^{\bullet}\left(\left\{ b\right\} \right)=\emptyset\)は弧状連結であるという仮定に矛盾。
従って\(f^{\bullet}\left(\left\{ a\right\} \right)=\left[0,1\right]\land f^{\bullet}\left(\left\{ b\right\} \right)=\left[0,1\right]\)とならなければいけないが、\(\emptyset=f^{\bullet}\left(\left\{ a\right\} \right)\cap f^{\bullet}\left(\left\{ b\right\} \right)=\left[0,1\right]\cap\left[0,1\right]=\left[0,1\right]\ne\emptyset\)となり矛盾。
故に\(2\leq X\)のとき、離散位相\(\left(X,2^{X}\right)\)は弧状連結ではない。
(3)
位相空間\(\left(X,\mathcal{O}\right)\)の1点集合\(\left\{ a\right\} \)は弧状連結である。何故なら定値写像\(f:\left[0,1\right]\rightarrow X,x\mapsto f\left(x\right)=a\)をとればいい。
(4)
シェルピンスキー空間\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} \right\} \right)\)は弧状連結である。連続写像\(f:\left[0,1\right]\rightarrow\left\{ a,b\right\} \)が、\(f\left(0\right)=a,f\left(1\right)=b\)を満たすには
\(x\in\left[0,\frac{1}{2}\right)\)のとき\(f\left(x\right)=a\)
\(x\in\left[\frac{1}{2},1\right]\)のとき\(f\left(x\right)=b\)
とすると、\(f^{\bullet}\left(\emptyset\right)=\emptyset,f^{\bullet}\left(\left\{ a\right\} \right)=\left[0,\frac{1}{2}\right),f^{\bullet}\left(\left\{ a,b\right\} \right)=f^{\bullet}\left(\left\{ a\right\} \cup\left\{ b\right\} \right)=f^{\bullet}\left(\left\{ a\right\} \right)\cup f^{\bullet}\left(\left\{ b\right\} \right)=\left[0,\frac{1}{2}\right)\cup\left[\frac{1}{2},1\right]=\left[0,1\right]\)となり開集合の逆像は開集合になるので、\(f\)は連続となる。
逆向き\(f\left(0\right)=b,f\left(1\right)=a\)のときも同様にすればいい。
これより、\(\left(\left\{ a,b\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} \right\} \right)\)は弧状連結となる。
(5)
位相空間\(\left(\left\{ a,b,c\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ b\right\} ,\left\{ a,b\right\} ,\left\{ a,b,c\right\} \right\} \right)\)は弧状連結である。連続写像\(f:\left[0,1\right]\rightarrow\left\{ a,b,c\right\} \)が、\(f\left(0\right)=a,f\left(1\right)=b\)を満たすには
\(x\in\left[0,\frac{1}{3}\right)\)のとき\(f\left(x\right)=a\)
\(x\in\left[\frac{1}{3},\frac{2}{3}\right]\)のとき\(f\left(x\right)=c\)
\(x\in\left(\frac{2}{3},1\right]\)のとき\(f\left(x\right)=b\)
とすると、\(f^{\bullet}\left(\emptyset\right)=\emptyset,f^{\bullet}\left(\left\{ a\right\} \right)=\left[0,\frac{1}{3}\right),f^{\bullet}\left(\left\{ b\right\} \right)=\left(\frac{2}{3},1\right],f^{\bullet}\left(\left\{ a,b\right\} \right)=\left[0,\frac{1}{3}\right)\cup\left(\frac{2}{3},1\right],f^{\bullet}\left(\left\{ a,b,c\right\} \right)=\left[0,1\right]\)となり開集合の逆像は開集合になるので、\(f\)は連続となる。
\(f\left(0\right)=a,f\left(1\right)=c\)を満たすには
\(x\in\left[0,\frac{1}{2}\right)\)のとき\(f\left(x\right)=a\)
\(x\in\left[\frac{1}{2},1\right]\)のとき\(f\left(x\right)=c\)
とすると、\(f^{\bullet}\left(\emptyset\right)=\emptyset,f^{\bullet}\left(\left\{ a\right\} \right)=\left[0,\frac{1}{2}\right),f^{\bullet}\left(\left\{ b\right\} \right)=\emptyset,f^{\bullet}\left(\left\{ a,b\right\} \right)=\left[0,\frac{1}{2}\right),f^{\bullet}\left(\left\{ a,b,c\right\} \right)=\left[0,1\right]\)となり開集合の逆像は開集合になるので、\(f\)は連続となる。
また、\(f\left(0\right)=b,f\left(1\right)=c\)も同様にすればいい。
逆向き\(f\left(0\right)=b,f\left(1\right)=a\)と\(f\left(0\right)=c,f\left(1\right)=a\)と\(f\left(0\right)=c,f\left(1\right)=b\)も同様にすればいい。
これより、\(\left(\left\{ a,b,c\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ b\right\} ,\left\{ a,b\right\} ,\left\{ a,b,c\right\} \right\} \right)\)は弧状連結となる。
(6)
位相空間\(\left(\left\{ a,b,c\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} ,\left\{ a,c\right\} ,\left\{ a,b,c\right\} \right\} \right)\)は弧状連結である。連続写像\(f:\left[0,1\right]\rightarrow\left\{ a,b,c\right\} \)が、\(f\left(0\right)=a,f\left(1\right)=b\)を満たすには
\(x\in\left[0,\frac{1}{2}\right)\)のとき\(f\left(x\right)=a\)
\(x\in\left[\frac{1}{2},1\right]\)のとき\(f\left(x\right)=b\)
とすると、\(f^{\bullet}\left(\emptyset\right)=\emptyset,f^{\bullet}\left(\left\{ a\right\} \right)=\left[0,\frac{1}{2}\right),f^{\bullet}\left(\left\{ a,b\right\} \right)=\left[0,1\right],f^{\bullet}\left(\left\{ a,c\right\} \right)=\left[0,\frac{1}{2}\right),f^{\bullet}\left(\left\{ a,b,c\right\} \right)=\left[0,1\right]\)となり開集合の逆像は開集合になるので、\(f\)は連続となる。
\(f\left(0\right)=a,f\left(1\right)=c\)も同様にすればいい。
\(f\left(0\right)=b,f\left(1\right)=c\)を満たすには
\(x\in\left[0,\frac{1}{3}\right]\)のとき\(f\left(x\right)=b\)
\(x\in\left(\frac{1}{3},\frac{2}{3}\right)\)のとき\(f\left(x\right)=a\)
\(x\in\left[\frac{2}{3},1\right]\)のとき\(f\left(x\right)=c\)
とすると、\(f^{\bullet}\left(\emptyset\right)=\emptyset,f^{\bullet}\left(\left\{ a\right\} \right)=\left(\frac{1}{3},\frac{2}{3}\right),f^{\bullet}\left(\left\{ a,b\right\} \right)=\left[0,\frac{2}{3}\right),f^{\bullet}\left(\left\{ a,c\right\} \right)=\left(\frac{1}{3},1\right],f^{\bullet}\left(\left\{ a,b,c\right\} \right)=\left[0,1\right]\)となり開集合の逆像は開集合になるので、\(f\)は連続となる。
逆向き\(f\left(0\right)=b,f\left(1\right)=a\)と\(f\left(0\right)=c,f\left(1\right)=a\)と\(f\left(0\right)=c,f\left(1\right)=b\)も同様にすればいい。
これより、\(\left(\left\{ a,b,c\right\} ,\left\{ \emptyset,\left\{ a\right\} ,\left\{ a,b\right\} ,\left\{ a,c\right\} ,\left\{ a,b,c\right\} \right\} \right)\)は弧状連結となる。
ページ情報
タイトル | 弧状連結の定義 |
URL | https://www.nomuramath.com/ccifdb0a/ |
SNSボタン |
櫛(くし)空間と位相幾何学者の正弦曲線の定義
\[
\begin{cases}
A_{n}=\left\{ \left(\frac{1}{n},y\right);0<y\leq1\right\} \\
A_{\infty}=\left\{ \left(0,y\right);0<y\leq1\right\} \\
B=\left\{ \left(x,0\right);0\leq x\leq1\right\}
\end{cases}
\]
連結部分集合・弧状連結部分集合・連結成分・弧状連結成分・完全不連結の定義
連結成分・弧状連結成分が互いに素
連結成分・弧状連結成分と開集合・閉集合の関係