単連結空間
位相幾何学における単連結空間(たんれんけつくうかん、英: simply connected space)とは、任意のループを連続的に1点に収縮できるような弧状連結空間のことである。

上図の穴あき平面は連結であるが、穴のまわりを1周するループを考えればわかるように単連結ではない。穴を全てふさげば単連結となる。
定義
ある弧状連結空間の基本群が、単位元のみを要素として持つ自明な群であるとき、その空間を単連結であるという。基本群の場合は基点に留まり続ける定値道を代表元とするループのホモトピー型が単位元になる。つまり、その空間上において(あたえられた基点に対する)任意のループが常にホモトピックな連続変形によって1点(基点)に収縮できれば単連結ということになる。弧状連結という仮定から、任意のループが1点に収縮できるかどうかは基点の取り方に依存しないで定まる。
例

赤色の線がメリディアン、桃色の線がロンジチュード
線分・円板・球体やn次元ユークリッド空間、2次元以上の球面などは単連結である。他方、トーラスやアニュラス、メビウスの帯、円周、結び目の補空間などは単連結ではない。
例えばトーラスの場合、1点に収縮できるようなループも存在するが、右図のようにメリディアンやロンジチュードといった閉曲線上を1周するループをとるとこれは1点に収縮できなくなる。実際、トーラスの基本群は
であり、自明な群ではない。
関連項目
参考文献
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.