Skip to main content
Post Made Community Wiki
Source Link
Johannes Ebert
  • 20.9k
  • 4
  • 74
  • 117

The fundamental theorem of algebra holds because:

  1. For each degree $n$ normed polynomial $p$ over the complex numbers, there is an $n \times n$ matrix $A$ with characteristic polynomial $\pm p$.

  2. We show that $A$ has an eigenvector.

  3. We may assume that $0$ is not an eigenvalue of $A$ (otherwise $p(0)=0$), so $A \in GL_n (\mathbb{C})$.

  4. $A$ induces a self-map $f_A$ of $CP^{n-1}$, and the eigenspaces of $A$ correspond to the fixed points of $f_A$; so we need to show that $A$ has a fixed point.

  5. As $GL_n (\mathbb{C})$ is connected, $f_A$ is homotopic to the identity (this does not depend on the fundamental theorem of algebra; if $A \in GL_n (\mathbb{C})$, then $ z 1 + (1-z )A$ is invertible except for a finite number of values of $z$; and the complement of a finite set of points of the plane is path-connected (this follows, for example, from the transversality theorem).

  6. The Lefschetz number of the identity on $CP^{n-1}$ equals $n\neq 0$, thus the Lefschetz number of $f_A$ is not zero.

  7. By the Lefschetz fixed point theorem, $f_A$ has a fixed point.