弧状連結の定義と具体例|「ひとつに繋がった集合」の考え方

位相空間論
位相空間論

位相空間$X$において「集合$A\subset X$がひとつに繋がっていること」を表す概念として弧状連結性があります.

大雑把に言えば「集合$A$上のどの2点も$A$上の曲線で結べる」とき,集合$A$は弧状連結であると言います.

なお,似た概念に連結性がありますが,実は「弧状連結なら連結」は成り立ちますが逆は成り立ちません.つまり,連結性の方が少し広い性質となっています.

この記事では

  • 弧状連結性の定義
  • 弧状連結な集合の具体例

を順に説明します.

なお,この記事では以下$X$を位相空間とします.

位相空間をよく知らない方は$X$をユークリッド空間$\R$, $\R^2$(数直線,$xy$平面)と思って読み進めても内容は理解できます.

弧状連結の定義

弧状連結は「集合$A$内の任意の2点を$A$内の曲線で結べること」を言います.

この「2点を曲線で結べること」をきちんと述べるために,まずは連続曲線を定義しましょう.

連続曲線

直感的には連続曲線とは「ちぎれていない曲線」のことをいうのですが,数学的にきちんと定義するには次のようになります.

時刻0から時刻1まで集合$A$上を連続的に点が動く状況を考え,時刻$t$での$A$の位置を$f(t)$と表しましょう.

Rendered by QuickLaTeX.com

このことは,$f$が連続写像$[0,1]\to A$になっていると言い換えることができますね.

$[0,1]$は0以上1以下の実数上の区間のことですね:$[0,1]=\set{x\in\R}{0\le x\le1}$.

このことから,次のように連続曲線を定義します.

集合$A\subset X$に対して,連続写像$f:[0,1]\to A$を$A$上の連続曲線という.

ただし,$[0,1]$は1次元ユークリッド距離空間$\R$の部分位相空間とする.

「曲線」というと直感的には「1本に繋がって(描かれた)線」ですが,厳密にはこの定義のように写像のことをいうわけですね.

弧状連結

連続曲線を用いて弧状連結性を定義しましょう.

集合$A\subset X$が弧状連結であるとは,任意の$a,b\in A$に対して,$a,b$を結ぶ$A$上の連続曲線が存在すること(すなわち,$f(a)=0$, $f(b)=1$を満たす$A$上の連続曲線$f$が存在すること)をいう.

要は集合$A$に属する全ての2点を連続的な移動だけで行き来することができるときに,$A$を弧状連結というわけですね.

Rendered by QuickLaTeX.com

もし「離れ小島」があれば,異なる「島」に1点ずつとれば連続曲線で結べませんから,「ひとつに繋がっている」とは言えないというイメージですね.

Rendered by QuickLaTeX.com

弧状連結な集合の具体例

例1で弧状連結な集合を,例2で弧状連結でない集合を扱います.

例1(弧状連結な集合)

$A\subset\R^2$を原点中心・半径1の円周とすると,$A$が弧状連結であることを示せ.ただし,$\R^2$は2次元ユークリッド空間(通常の$xy$平面)とする.

Rendered by QuickLaTeX.com

図から分かるように$A$上の任意の2点を結ぶ連続曲線は存在するので弧状連結です.

きちんと示すには,任意の$\m{a},\m{b}\in A$に対して,$f(0)=\m{a}$, $f(1)=\m{b}$を満たす連続曲線$f:[0,1]\to A$をとってくればいいですね.

任意に$\m{a},\m{b}\in A$をとる.

このとき,$\m{a}=\bmat{\cos{\theta}\\\sin{\theta}}$, $\m{b}=\bmat{\cos{\phi}\\\sin{\phi}}$ ($\theta,\phi\in[0,2\pi)$)と表せるから,写像$f:[0,1]\to \R^2$を

    \begin{align*}f(t)=\bmat{\cos{((1-t)\theta+t\phi)}\\\sin{((1-t)\theta+t\phi)}}\end{align*}

とすれば,$f$は連続で$f:[0,1]\to A$である.さらに$f(0)=\m{a}$, $f(1)=\m{b}$である.

よって,定義を満たすので$A$は弧状連結である.

例2(弧状連結でない集合)

$\R^2$は2次元ユークリッド空間(通常の$xy$平面)とする.$A\subset\R^2$を

    \begin{align*}A=\set{\bmat{x\\0}\in\R^2}{x\neq0}\end{align*}

とすると,$A$が弧状連結でないことを示せ.

Rendered by QuickLaTeX.com

$A$は$x$軸から原点を除いた集合ですね.

このため,$A$は$x>0$の部分と$x<0$の部分が離れているので,弧状連結ではありませんね.

このことを示すには,連続曲線で繋ぐことのできない2点をとってくればいいですね.

背理法により示す.すなわち,$A$が弧状連結であると仮定して矛盾を導く.

この仮定より$\m{a}=\bmat{1\\0},\m{b}=\bmat{-1\\0}\in A$に対して,$\m{a}$, $\m{b}$を結ぶ$A$上の連続曲線$f$が存在する.

このとき,$f$の第1成分は連続だから,中間値の定理より,ある$t\in[0,1]$が存在して$f(t)=\bmat{0\\0}$となる.

しかし,$\bmat{0\\0}\notin A$だから$f$が$A$上の曲線であることに矛盾する.

よって仮定は誤りなので,$A$は弧状連結でない.

参考文献

集合・位相入門

[松坂和夫 著/岩波書店]

本書は「集合論」「位相空間論」をこれから学ぶ人のための入門書です.

本書は説明が丁寧で行間が少ないテキストなので,初学者にとっても読みやすくなっています.

実際,本書は1968年に発刊されて以来売れ続けている超ロングセラーで,2018年に新装版が発売されたことからも現在でも広く使われていることが分かります.

具体例が多く扱われているのも特徴で,新しい概念のイメージも掴みやすいように書かれています.

また,各セクションの終わりに少なくない数の演習問題も載っており,演習書的な使い方もできます.

なお,本書については,以下の記事で書評としてまとめています.

集合と位相

[鎌田正良 著/近代科学社(現代数学ゼミナール)]

本書はすっきりと書かれた「集合論」「位相空間論」の教科書です.

簡潔な説明が多いので,集合と位相の基本の全体像をさらうのに適しています.

裏返せば簡潔すぎてかえって分かりにくい可能性もありますが,数学をきちんと学びたい人には是非読みこなして欲しいテキストです.

また,演習問題の解説も丁寧に書かれているので,この点は独学で学ぶ場合には重宝します.

背景にある位相の圏論的な性質も踏まえて解説されており,数学系の学生は是非とも理解しておきたい考え方です.

コメント