满足格点周期性的整函数常数性证明问题求助

嗨，刚入门复分析碰到这个问题很正常，我来给你拆解下思路～

首先先明确几个关键概念：

• 题目里的 ( \kappa = {a_1\alpha+a_2\beta \mid a_1, a_2 \in \mathbb{Z} } ) 其实是复平面上的一个格，因为α和β是实线性无关的复数——简单说就是你没法用两个不全为0的实数p、q把它们组合成0，这意味着α和β能生成一个铺满整个复平面的平行四边形网格。
• 整函数是在整个复平面上都解析的函数，这里我们可以用复分析里非常核心的Liouville定理（有界的整函数必为常数）来突破，核心就是要证明这个f是有界的。

具体步骤可以这么走：

1. 先构造一个基本平行四边形区域：( D = { t_1\alpha + t_2\beta \mid 0 \leq t_1,t_2 < 1 } )。因为α和β是固定的复数，t1、t2都在[0,1)区间里，所以D是复平面上的一个有界集，它的闭包 ( \overline{D} = { t_1\alpha + t_2\beta \mid 0 \leq t_1,t_2 \leq 1 } ) 是有界闭集，也就是复分析里说的紧集。
2. 整函数f是连续的（解析函数必然连续），而连续函数在紧集上一定能取到最大值和最小值，所以f在 ( \overline{D} ) 上是有界的——也就是说存在一个正数M，使得对所有 ( w \in \overline{D} )，都有 ( |f(w)| \leq M )。
3. 接下来看复平面上任意一点z，根据格的性质，我们总能把z写成 ( z = k + w )，其中 ( k \in \kappa )，( w \in D )（相当于把D沿着格点平移，就能铺满整个复平面）。
4. 因为f满足周期性 ( f(z + k) = f(z) )，所以 ( f(z) = f(w) )，那自然 ( |f(z)| = |f(w)| \leq M )，这就说明f在整个复平面上都是有界的。
5. 最后套用Liouville定理，有界的整函数一定是常数函数，这样就完成证明啦～

如果对“紧集”“格的平铺”这些概念还有点模糊，不用着急，刚学复分析的时候这些拓扑相关的概念需要慢慢适应，核心就是抓住Liouville定理这个关键工具，把周期性转化为有界性就搞定了。

备注：内容来源于stack exchange，提问作者The Limit Does Not Exist