代数学基本定理

贡献者： JierPeter; addis

1. 代数学基本定理的表述

　　 由推论 2 ，如果 $f(z_0)=0$，那么必然存在一个 $n-1$ 阶多项式 $g(z)$，使得 $f(z)=g(z)\cdot (z-z_0)$。对 $g(z)$ 重复此步骤，再对接下来得到的每一个次数大于 $1$ 的多项式都重复此步骤，最终结果是存在一系列 $z_i\in \mathbb{C}$，使得 $f(z)=\prod _{i=0}^n(z-z_i)$。

2. 代数学基本定理的证明

　　 本小节将用不同思路证明代数学基本定理。

代数拓扑方法

　　 考虑 $\mathbb{C}$ 的度量拓扑，其中度量 $d(z_1,z_2)=|z_1-z_2|$；换句话说，把 $\mathbb{C}$ 看成二维欧氏空间。假设存在多项式 $f(z)$ 使得任意复数 $z$ 都满足 $f(z)\ne 0$，那么 $|f(z)|\ne 0$，于是可以引入映射 $p:\mathbb{C}\to S^1$，其中 $p(z)=f(z)/|f(z)|$；换句话说，$p$ 将每个 $z\in \mathbb{C}$ 先映射到 $f(z)$，再保持辐角不变并移动到单位圆上。

　　 由于 $f(z)$ 是连续映射，且 $f(z)/|f(z)|$ 没有奇点，于是 $p(z)=f(z)/|f(z)|$ 也是连续映射。

　　 在 $\mathbb{C}$ 上选择任意一点 $z_0$ 作为基点来构造基本群。设任意回路 $r:S^1\to \mathbb{C}$，以及零回路 $n:S^1\to \mathbb{C}$，其中 $n(t)=z_0$ 对所有 $t$ 成立。由于 $\mathbb{C}$ 是可缩空间，因此必有 $r\cong n$。由定理 3 ，$p\circ r\cong p\circ n$，因此单位圆上的回路也彼此同伦。

　　 然而我们知道 $S^1$ 的基本群是 $\mathbb{Z}$，意味着并非所有回路都彼此同伦，因此出现了矛盾。

　　 矛盾意味着假设错误，也就是说 $f(z)$ 必然有零点。