关于Munkres拓扑正弦曲线非道路连通证明中路径简化步骤的疑问

嘿，这个问题问得特别戳中要害——我当初第一次啃Munkres这段证明的时候，也对着这个路径简化步骤卡了好一会儿！

先帮你理清楚核心逻辑：拓扑正弦曲线的闭包$\bar{S}$是由$S = {(x, \sin(1/x)) \mid 0 < x \leq 1}$加上原点$(0,0)$构成的。Munkres把路径$f:[a,c]\to\bar{S}$缩减到$f:[b,c]\to\bar{S}$，这里的$b$是最大的满足$f(t)$的$x$坐标为0的点，这么做的目的确实是为了保证：当$t > b$时，$x(t) > 0$，而且从$b$开始，路径再也不会回到$x=0$的位置——这是后续推导矛盾的关键前提。

要是直接用整个路径$[a,c]$会出什么问题呢？假设我们不做这个缩减，那在$[a,b)$区间里，可能存在无数个$t$使得$x(t)=0$（毕竟连续路径可以反复蹭着$y$轴走）。这时候当我们想构造那些用来导出矛盾的序列时——比如取$u_n = 1/(2n\pi + \pi/2)$（对应$\sin(1/u_n)=1$）、$v_n=1/(2n\pi)$（对应$\sin(1/v_n)=0$），然后用介值定理找$t_n$、$s_n$使得$x(t_n)=u_n$、$x(s_n)=v_n$——这些$t_n$和$s_n$可能不会趋向某个固定的点，反而在$[a,b)$里“来回晃”，我们没法把矛盾聚焦到某一个点的连续性上。

而当我们把路径限制到$[b,c]$之后，情况就清晰了：

• 首先，$x(t)$在$[b,c]$上连续，$x(b)=0$，且对所有$t > b$，$x(t) > 0$；
• 当$n$趋向无穷时，$u_n$和$v_n$都趋向0，所以根据$x(t)$的连续性，对应的$t_n$和$s_n$必须趋向$b$；
• 但$f(t_n)=(u_n,1)$，$f(s_n)=(v_n,0)$，这两个序列的$y$坐标一个恒为1、一个恒为0，根本没法趋向同一个极限——可$f$在$t=b$处是连续的，这就直接导出了矛盾。

所以这个路径简化的核心，就是把“可能反复蹭$y$轴的混乱路径”，修剪成“从$b$开始彻底离开$y$轴、只在$x>0$区域延伸的干净路径”，这样才能顺利用连续性导出矛盾。

备注：内容来源于stack exchange，提问作者zyy