分段解析曲线边界开集的邻域交连通分支有限性及单叶函数解析延拓问题

咱们一步步拆解这两个复分析相关的问题，先聊连通分支的有限性，再看单叶函数的解析延拓：

一、邻域与开集交的连通分支有限性证明思路 #

首先明确已知条件（包括你补充的Edit1）：

• $B$是复平面上的开集，边界$\partial B$由有限多条分段解析曲线组成
• $z_0$在$\partial B$上，且满足：
  1. 存在半径$r>0$，使得$z_0$的邻域$U(z_0,r) = {z: |z-z_0|<r}$完全包含在$\overline{B}$（$B$的闭包）里
  2. $U(z_0,r) \cap B$是不连通的
  3. $z_0$不在$\partial B$的任何“分段点”（非解析部分）上

核心思路是利用局部解析边界的光滑性：
因为$z_0$不在$\partial B$的分段点上，根据Edit3的定义，$\partial B$在$z_0$附近是一条非退化的解析曲线（即存在局部全纯参数化$\gamma$，$\gamma'(0)\neq0$，保证曲线光滑无折点）。

接下来，$U(z_0,r) \subset \overline{B}$意味着：邻域里的点要么属于$B$，要么属于$\partial B$。而$\partial B$在$z_0$附近的交集是有限条不相交的解析曲线段（这里因为$z_0$不是分段点，所以只有一条）。

我们知道，一个圆盘去掉有限条不相交的解析曲线段后，得到的集合的连通分支数一定是有限的——每条解析曲线段最多把当前的连通区域分成两个部分，而这里只有有限条，所以最终$U(z_0,r) \cap B = U(z_0,r) \setminus (\partial B \cap U(z_0,r))$的连通分支数必然是有限的。

二、单叶函数的解析延拓证明思路 #

现在看第二个问题：单叶全纯函数$\phi: B \to D$（$D=\phi(B)$），$\partial D$同样是有限多条分段解析曲线，且$\phi(z_0)$不在$\partial D$的非解析部分上，为什么$\phi$能解析延拓到$z_0$的整个开邻域？

这里要用到边界对应定理和Schwarz反射原理的推广：

1. 首先，单叶全纯函数$\phi$是$B$到$D$的双全纯映射（开集上的单叶全纯函数必然是双全纯到其像集）。
2. 因为$z_0$在$\partial B$的解析段上，$\phi(z_0)$在$\partial D$的解析段上，根据边界对应定理，$\phi$可以连续延拓到$\partial B$的解析段上，且这个延拓在边界上是解析的（因为两边的边界都是解析曲线，映射保持边界的解析性）。
3. 接下来用推广的Schwarz反射原理：我们可以做局部坐标变换，把$z_0$附近的$\partial B$映射成实轴的一段，同时把$\phi(z_0)$附近的$\partial D$也映射成实轴的一段。此时原映射$\phi$在实轴上方（对应$B$的局部区域）是全纯的，在实轴上（边界）是解析的，因此可以通过反射延拓到实轴下方（对应$z_0$邻域的另一半），得到一个全纯函数。
4. 最后把坐标变换还原回去，就得到了$\phi$在$z_0$整个开邻域上的解析延拓。

三、补充定义说明（Edit3） #

为了避免歧义，再明确你给出的关键定义：

• 分段解析曲线：是连续映射$\gamma: [0,1] \to \mathbb{C}$，存在区间分割$0=t_0 < t_1 < \dots < t_n=1$，使得在每个闭子区间$[t_{j-1},t_j]$上，$\gamma$是某个定义在该子区间邻域上的全纯函数的限制，且这个全纯函数在子区间上的导数恒不为零（保证曲线光滑无尖点）。
• $z_0$不在非解析部分：指$z_0$不是上述任何分割点$t_j$对应的像点$\gamma(t_j)$，也就是$z_0$位于分段解析曲线的“光滑解析段”上，而非折点处。

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