关于Gamelin《复动力系统》定理2.1证明中不等式|f(z)-λz|≤C|z|²的推导疑问
嗨，我来帮你理清这个推导的关键逻辑，其实核心不用纠结泰勒系数的具体值，只需要借助复分析里紧集上连续/全纯函数的有界性就能解决，步骤如下：
1. 先明确已知条件的核心推论
因为$f$在0的邻域内全纯，且0是不动点（$f(0)=0$），其乘子$\lambda = f'(0)$，所以$f(z)$在0的某个收敛圆盘$|z|<R$（$R>0$）内的泰勒展开确实是：
$$f(z) = \lambda z + a_2 z^2 + a_3 z^3 + \dots$$
这个展开在收敛圆盘内绝对且一致收敛。
2. 构造辅助函数并利用紧集有界性
我们取$\delta$满足$0<\delta<R$，考虑紧集$\overline{D(0,\delta)} = {z \mid |z| \leq \delta}$（这个紧集完全包含在泰勒展开的收敛圆盘内）。
定义辅助函数：
$$g(z) = \begin{cases}
\frac{f(z)-\lambda z}{z^2}, & z \neq 0 \
a_2, & z = 0
\end{cases}$$
- 当$z \neq 0$时，$g(z)$是全纯的（因为分子的泰勒展开从$z2$项开始，与分母$z2$约分后是收敛的幂级数）；
- 补充$z=0$处的定义后，$g(z)$在$\overline{D(0,\delta)}$上连续（因为泰勒级数在紧集上一致收敛，极限连续）。
根据复分析的基本结论：连续函数在紧集上必有界，因此存在常数$C>0$，使得对所有$|z| \leq \delta$，都有$|g(z)| \leq C$。
3. 推导目标不等式
将$g(z)$的定义代回，直接得到：
$$|f(z)-\lambda z| = |g(z)| \cdot |z|^2 \leq C|z|^2$$
这就正好是我们需要的不等式啦！
另一种直观的级数估计方式
如果不想构造辅助函数，也可以直接对泰勒余项做估计：
在$|z| \leq \delta$时，
$$|f(z)-\lambda z| = |a_2 z^2 + a_3 z^3 + \dots| = |z|^2 \cdot |a_2 + a_3 z + a_4 z^2 + \dots|$$
括号里的幂级数在$|z| \leq \delta$上定义了一个连续函数，同样因为紧集上连续函数有界，设这个界为$C$，也能得到相同的不等式。
总结一下：这里的关键是利用紧集上的有界性，不需要知道系数${a_n}$的具体值，只需要依赖全纯函数泰勒展开的收敛性和紧集的性质，就能得到这个平方项的估计，这也是复动力系统中常见的“局部估计”技巧~
备注：内容来源于stack exchange，提问作者zhanghaoyu_
