求满足h(z)²=\overline{h(z)}的解析函数集合S的基数及逻辑验证

安全阿岳

2026-5-19

复分析集合基数问题求解与推导验证

问题描述

设$D={z∈ℂ:|z|<1}$，$S={ h:D→D \mid h在D内解析，且对所有z∈D，h(z)²=\overline{h(z)} }$，求集合$S$的基数？

你的推导逻辑分析

你的推导方向是对的，但有一处关键细节没考虑到，咱们一步步拆解清楚：

你令$h(z)=u+iv$（这里你写的$f(z)$应该是笔误），利用复数相等时实部虚部分别对应相等的性质，得到两个等式：
$$u^2-v2=u$$
$$2uv+v=0$$

从第二个等式$v(2u+1)=0$，确实能推出两种分支情况：

情况1：$v≠0$
此时必然有$u=-1/2$，代入第一个等式计算得$v^{2=3/4$，即$v=±\frac{\sqrt{3}}{2}$。但这里要注意，$h:D→D$要求函数值的模长$|h(z)|<1$，而此时$|h(z)|=\sqrt{u}2+v^{2}=\sqrt{(\frac{-1}{2})}2+(\frac{\sqrt{3}}{2})^2}=1$，刚好落在单位圆盘的边界上，不属于$D$，所以这类常函数不符合$S$的定义，要直接排除。
情况2：$v=0$
此时$h(z)$是实值解析函数，而解析的实值函数只能是常函数（由柯西-黎曼方程可知，实值函数的虚部偏导全为0，因此实部的偏导也必须全为0，函数只能是常数）。把$v=0$代入第一个等式得$u^2=u$，解得$u=0$或$u=1$。同样，$u=1$时$|h(z)|=1$，不满足映射到$D$的要求，只有$u=0$，也就是常函数$h(z)=0$符合条件。

补充验证：是否存在非常函数？

假设$h$是非常数解析函数，从原式$h(z)^{2=\overline{h(z)}$两边取共轭可得$\overline{h(z)}}2=h(z)$，把$\overline{h(z)}=h(z)^{2$代入这个共轭后的式子，得到$h(z)}4=h(z)$，即$h(z)(h(z)^3-1)=0$。这意味着$h(z)=0$或$h(z)$是三次单位根（模长为1），但三次单位根不符合$h:D→D$的条件，所以不存在非常函数属于$S$。