幂级数收敛圆周上的收敛点集合相关技术问题

数据老陈

2026-4-17

嘿，这个问题问到了复分析里挺有意思的一个细分方向，我来给你拆解一下各个问题：

1. 收敛点集合可以是任意有限或余有限集合吗？

完全可以！不管你想要圆周上只有有限个点收敛，还是除了有限个点之外全收敛，都能构造出对应的幂级数：

有限收敛点的情况：假设你指定了收敛圆周$|z|=R$上的$k$个点${ R e^{i\theta_1}, ..., R e^{i\theta_k} }$，可以构造这样的级数：
$$\sum_{n=1}^\infty \frac{z^n}{n2} + \sum_{n=1}^\infty \frac{1}{n} \left( \prod_{j=1}^k \left( \frac{z}{R} - e^{i\theta_j} \right) \right)^n$$
第一个级数$\sum z^n/n2$在整个闭圆盘$|z|\leq R$上都是收敛的（因为$\sum R^n/n2$收敛）。第二个级数呢？当$z$是你指定的那$k$个点时，乘积项直接为0，整个级数就是0，自然收敛；而对于圆周上其他点，乘积项的模是一个大于0的常数$c$（因为$\phi \neq \theta_j$时，$|e^{i\phi} - e^{i\theta_j}|>0$），只要$c>1$（这在绝大多数非指定点都成立），第二个级数就会像调和级数一样发散，整体级数也就发散了。
余有限收敛点的情况：反过来，如果你想让圆周上除了$k$个点之外都收敛，可以用类似的思路：
$$\sum_{n=1}^\infty \frac{z^n}{n} \prod_{j=1}^k \left( 1 - \frac{z}{R e^{i\theta_j}} \right)^n$$
对于非指定点，乘积项的模小于1，此时级数是$\sum \frac{R^n |c|^n}{n}$，因为$|c|<1$，这个级数收敛；而在指定的那$k$个点，乘积项为0，级数退化为$\sum \frac{(R e^{i\theta_j})n}{n}$，这和调和级数类似，是发散的，正好符合要求。

除了有限/余有限集合，还有不少值得关注的集合类型：

可数集与余可数集：比如可以构造幂级数，让它在收敛圆周上所有有理角度的点（也就是$\theta=2\pi p/q$，$p,q$是整数）收敛，其他无理角度点发散；反过来，也能构造出只在无理角度点收敛的幂级数。
Borel集里的$F_{\sigma\delta}$类集合：更一般地，所有能通过“可数个闭集取并，再对这些并集取可数个交”得到的集合（也就是$F_{\sigma\delta}$型Borel集），都可以作为幂级数在收敛圆周上的收敛点集合。这是因为幂级数的部分和是解析函数，收敛点集合可以表示为这类开集、闭集的交并组合。

不行哦。虽然幂级数的收敛点集合一定是可测的（它属于Borel集，而Borel集都是可测的），但存在一些可测但不是Borel集的集合（比如利用连续统假设构造的特殊集合），这类集合就没法作为幂级数的收敛点集合，因为幂级数的收敛点必然是Borel集。

对于简单的集合（比如有限、余有限、可数集），用“拼接法”就够了：把在全圆盘收敛的级数、在特定点发散的级数结合起来，通过乘积项来控制哪些点收敛、哪些点发散。

对于更复杂的Borel集，就需要更技术性的构造了，比如利用级数的逐项叠加，或者结合解析函数的逼近定理，逐步调整级数的系数，让它在目标集合上收敛，在补集上发散。这类构造细节比较多，通常需要用到复分析里的一些进阶技巧。

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