技术问询：证明两不相交紧集外全纯函数可分解为单紧集外全纯函数之和

嘿，这个问题是复分析里关于全纯函数局部-整体性质的经典结论，核心是利用紧集的拓扑分离性和Cauchy积分公式来构造分解，我给你一步步讲明白：

先明确问题条件 #

设$K_1, K_2$是$\mathbb{C}$中两个不相交的紧集，函数$f$在$\mathbb{C} \setminus (K_1 \cup K_2)$上全纯。我们需要构造两个函数：

• $f_1$：在$\mathbb{C} \setminus K_1$上全纯
• $f_2$：在$\mathbb{C} \setminus K_2$上全纯
  满足$f(z) = f_1(z) + f_2(z)$对所有$z \in \mathbb{C} \setminus (K_1 \cup K_2)$成立。

构造分离开集 #

因为$K_1, K_2$是不相交的紧集，根据复平面上紧集的性质，我们可以找到两个开集$U_1, U_2$，使得：

• $K_1 \subset U_1$，$K_2 \subset U_2$
• $\overline{U_1} \cap \overline{U_2} = \emptyset$（两个开集的闭包也完全不相交）

用Cauchy积分构造分解 #

接下来我们利用Cauchy积分公式来定义两个函数：

定义$f_1(z)$ #

考虑积分：
$$f_1(z) = \frac{1}{2\pi i} \int_{\partial U_2} \frac{f(\zeta)}{\zeta - z} d\zeta$$
这里$\partial U_2$是$U_2$的正向边界。

• 当$z \notin \overline{U_2}$时，被积函数关于$\zeta$在$\overline{U_2}$内全纯，根据Cauchy定理，$f_1(z) = 0$；
• 当$z \in U_2 \setminus K_2$时，$f$在$U_2 \setminus K_2$上全纯，此时积分结果就是$f(z)$（Cauchy积分公式的直接应用）；
• 核心结论：$f_1(z)$在$\mathbb{C} \setminus K_2$上全纯——不管$z$在$\overline{U_2}$外还是$U_2$内，积分定义的函数都可导，且能交换积分与求导的顺序。

定义$f_2(z)$ #

令$f_2(z) = f(z) - f_1(z)$，我们来验证它在$\mathbb{C} \setminus K_1$上全纯：

• 当$z \in \mathbb{C} \setminus (U_1 \cup U_2)$时，$f_1(z)=0$，$f_2(z)=f(z)$，而$f$在这个区域本来就全纯；
• 当$z \in U_1 \setminus K_1$时，$z \notin \overline{U_2}$，所以$f_1(z)=0$，$f_2(z)=f(z)$，同样全纯；
• 更严谨的话，$f_2(z)$也可以写成对应$U_1$边界的Cauchy积分：
  $$f_2(z) = -\frac{1}{2\pi i} \int_{\partial U_1} \frac{f(\zeta)}{\zeta - z} d\zeta$$
  这个积分在$\mathbb{C} \setminus K_1$上显然全纯，因为$\partial U_1$与$K_1$完全分离。

验证分解成立 #

对于任意$z \in \mathbb{C} \setminus (K_1 \cup K_2)$：

• 若$z \in U_2 \setminus K_2$，则$f_1(z)=f(z)$，$f_2(z)=0$，和为$f(z)$；
• 若$z \in U_1 \setminus K_1$，则$f_1(z)=0$，$f_2(z)=f(z)$，和为$f(z)$；
• 若$z \notin U_1 \cup U_2$，则$f_1(z)=0$，$f_2(z)=f(z)$，和为$f(z)$。

这样就完成了分解的构造与证明！

如果你偏好Runge定理的思路，也可以这么理解：$\mathbb{C} \setminus K_1$和$\mathbb{C} \setminus K_2$都是全纯域，它们的交集就是$f$的全纯区域，根据Runge定理，$f$可以被两类全纯函数的和一致逼近，但上面的Cauchy积分构造是更直接的构造性证明，能直接给出具体的分解函数。

内容的提问来源于stack exchange，提问作者Qingzhi Li