求证：有界于无穷多条过原点复直线的整函数必为常数

首先，你的初步思路（从原点附近的局部性质推导全局常数性）完全可行，下面是严谨的推导过程：

步骤1：用单变量Liouville定理得到直线上的常数性 #

每条过原点的复直线可表示为 ( L_z = { t z \mid t \in \mathbb{C} } )，其中 ( z \in \mathbb{C}^n \setminus {0} )。已知存在无穷多个这样的 ( z )，使得 ( f ) 在 ( L_z ) 上作为 ( t ) 的整函数有界。

根据单变量Liouville定理：有界整函数必为常数。因此对每个这样的 ( z )，( f(t z) = f(0) ) 对所有 ( t \in \mathbb{C} ) 成立——也就是说，( f ) 在整条直线 ( L_z ) 上恒等于 ( f(0) )。

步骤2：用解析函数唯一性定理推全局常数性 #

定义辅助函数 ( g(w) = f(w) - f(0) )，显然 ( g ) 也是 ( \mathbb{C}^n ) 上的整函数，且 ( g ) 在上述无穷多条过原点的直线上恒为0。我们需要证明 ( g \equiv 0 )。

考虑复射影空间 ( \mathbb{P}^{n-1} )（所有过原点复直线的“方向”构成的紧空间），我们的无穷多条直线对应的方向点在 ( \mathbb{P}^{n-1} ) 中是无穷集，根据紧空间的性质，这个集合必有聚点 ( z_0 \in \mathbb{P}^{n-1} )。

在原点附近，( g ) 可展开为齐次多项式的和：
[ g(w) = \sum_{k=0}^\infty P_k(w) ]
其中 ( P_k ) 是 ( k ) 次齐次多项式（且 ( P_0(w) = g(0) = 0 )）。

对于每个目标方向 ( z )，( g(t z) = \sum_{k=0}^\infty t^k P_k(z) = 0 ) 对所有 ( t \in \mathbb{C} ) 成立。由于幂级数在全平面恒为0，所有系数必须为0，即 ( P_k(z) = 0 ) 对所有 ( k \geq 1 ) 和所有目标方向 ( z ) 成立。

每个 ( P_k ) 是齐次多项式，它在 ( \mathbb{P}^{n-1} ) 的一个有聚点的集合上恒为0。根据多项式唯一性定理：若多项式在某个有聚点的集合上为0，则该多项式恒为0。因此 ( P_k \equiv 0 ) 对所有 ( k \geq 1 ) 成立，进而 ( g(w) = 0 ) 对所有 ( w \in \mathbb{C}^n ) 成立，即 ( f(w) = f(0) ) 是常数。

补充说明 #

你提到的“原点附近小开球内函数为常数”可以从上述推导自然得出：聚点方向附近的直线覆盖了原点附近的大量点，这些点上 ( g ) 都为0，结合解析函数的唯一性（零点集非离散则函数恒为0），直接就能推出全局常数性。

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