关于单位复数zⁿ极限点与θ有理性关系的技术问询

嘿，我来一步步给你拆解这个结论，保证讲得明明白白～首先先纠正一个小细节：你提到“θ为无理数时极限点集合为ℝ”，这是笔误哦！因为所有z^n的模都是1（毕竟|z|=1，模的n次幂还是1），所以极限点肯定都在单位圆（也就是所有模为1的复数集合S¹ = {w∈ℂ | |w|=1}）上，不可能是整个实数集。下面我们分情况推导：

• 极限点：对于序列{z^n}，一个复数w是它的极限点，意思是：不管你取多小的正数ε，总能找到无穷多个正整数n，使得|z^n - w| < ε。简单说就是序列会无限次地蹭到w附近。
• z的极坐标表示：因为|z|=1，我们可以把它写成欧拉形式：z = e^{iπθ} = cos(πθ) + i sin(πθ)，其中θ是实数。那么z^n = e^{iπnθ} = cos(nπθ) + i sin(nπθ)，所以z^n本质就是单位圆上的点，辐角是nπθ。

假设θ = p/q，这里p、q是互质的整数（就是约分后的最简分数），q>0。那z^n的辐角就是nπ*(p/q)。

我们看这个序列的变化：当n从1开始取值时，辐角会是πp/q, 2πp/q, ..., qπp/q = πp, (q+1)πp/q = πp + πp/q——这时候就开始循环了！因为z^{n+q} = z^n * z^q，而z^q = e^{iπq*(p/q)} = e^{iπp} = (-1)^p，是一个固定的模1复数。但更关键的是，n取到q的倍数时，辐角会回到kπp（k是整数），后续的点只是在之前出现过的点的基础上乘以(-1)^p，所以整个序列{z^n}只会包含有限个不同的点。

有限序列的极限点就是这些点本身——因为每个点都会重复出现无穷多次，自然会无限次靠近自己。比如θ=1/3，z=e^{iπ/3}，序列是e^{iπ/3}, e^{i2π/3}, -1, e^{i4π/3}, e^{i5π/3}, 1, e^{iπ/3}, ...，循环周期是6，极限点就是这6个点，是有限集。

这时候要用到克罗内克定理的一个特例：如果α是无理数，那么序列{nα mod 1}（n∈ℕ）在区间[0,1)上是稠密的。

我们把z^n的辐角nπθ改写为2π*(nθ/2)，令α=θ/2——因为θ是无理数，所以α也是无理数。那么z^n = e^{i2π(nα)}，对应的就是单位圆上的点：把区间[0,1)绕成单位圆，nα mod 1就是这个点在[0,1)上的“位置”。

因为{nα mod 1}在[0,1)上稠密，意思是：不管你在[0,1)里选哪个数x，也不管你把围绕x的区间画得多小，都有无穷多个n使得nα mod 1落在这个区间里。对应到单位圆上，就是任何一个单位圆上的点w=e^{i2πx}，都有无穷多个n让z^n离w足够近。

换句话说，序列{z^n}会在单位圆上“到处跑”，无限次靠近圆上的每一个点，所以整个单位圆都是它的极限点集合。比如θ=√2（无理数），z=e^{iπ√2}，z^n的辐角nπ√2的小数部分永远不会重复，会填满整个[0,2π)区间，对应的点就会遍历整个单位圆。

• 当θ是有理数时，{z^n}是周期序列，只有有限个不同点，极限点就是这些点，集合有限；
• 当θ是无理数时，{z^n}在单位圆上稠密，极限点集合是整个单位圆（之前的ℝ是笔误哦）。

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