单连通空间是否必为局部单连通空间?
哈哈,这个问题一点都不蠢!毕竟路径连通和局部路径连通确实是互相独立的性质,能顺着这个思路联想到单连通和局部单连通的关系,说明你学拓扑的时候真的在认真琢磨,完全没问题😉
答案是否定的——存在单连通但并不局部单连通的拓扑空间,下面给你举两个经典的例子:
华沙圈(Warsaw Circle)
它的构造很直观:先取平面上的拓扑学家正弦曲线段(x从0到1,y=sin(1/x)的曲线,再加上(0,0)点),然后补上x轴上从(0,0)到(1,0)的线段,最后用一个从(1,0)到(0,1)的上半圆把两端连起来。这个空间是单连通的——里面任何闭环都可以连续收缩到某一点;但在(0,0)这个点,你取任何一个小邻域,里面都会包含无穷多段正弦曲线的“小尾巴”,这个邻域的基本群不是平凡的(没法把里面的闭环都收缩到(0,0)),所以(0,0)点不满足局部单连通的条件,整个空间也就不是局部单连通的。无限扫帚空间
想象一把特殊的扫帚:手柄是从(0,0)到(0,1)的线段,然后在手柄的每个点(0,1/n)(n为正整数)上,粘一条从(0,1/n)到(1,1/n)的水平线段,最后把所有这些线段的“端点”汇集到(0,0)点。这个空间是单连通的——任何闭环都可以被拉回手柄上,最终收缩到一点;但在(0,0)点,任何邻域都会包含无穷多根“扫帚毛”,这个邻域里的闭环没法在邻域内收缩到(0,0),所以它也不是局部单连通的。
简单来说,单连通是全局性质:整个空间里的所有闭环都能收缩到一点;而局部单连通是局部性质:每个点周围都有“小范围的单连通区域”。这两个性质的着眼点不同,自然会出现全局满足但局部不满足的情况。
备注:内容来源于stack exchange,提问作者Gabriele




