“基本群在开覆盖下由群呈示粘合,交集映射决定 amalgamated free product。道路连通与共同基点保证回路可分段比较。该定理计算曲面、结补和 CW 复形基本群,并与Mayer–…”
“设 $X=U\cup V$,其中 $U,V$ 为开且道路连通,$U\cap V$ 也道路连通,并取基点 $x 0\in U\cap V$。包含映射诱导同态后,Seifert–van Kamp…”
定义Definition
施工中 · 内容逐步修订
Path-connected space
任意两点可由从单位区间出发的连续路径连接。
拓扑空间
“存在道路连接”是等价关系。常值道路给出自反性,
在接合点取值一致,因而连续,给出传递性。等价类称道路分支。
道路是连续运动的参数化轨迹。参数
道路连通必蕴含连通。若
欧氏空间的凸子集道路连通:
连通不必道路连通。拓扑学家的正弦曲线
是连通图像的闭包,故连通,却没有从竖线到振荡图像的道路。若存在这种道路,考察它最后离开竖线的参数时刻
一族道路连通子集若共有一点,其并道路连通,因为可经公共点拼接道路。只有闭包相交则不够,例如
连续像保持道路连通:若
若每个点有道路连通开邻域基,道路分支就是开集;连通空间不能被多个这样的开分支分开,因此局部道路连通空间的两种分支一致。流形属于这一类。进一步固定道路端点并研究同伦,便进入基本群;覆叠空间则通过提升道路记录绕行历史。