Der Fundamentalsatz der Algebra und ein einfacher topologischer Beweis.

In der Schule lernt man die Lösungsformel für quadratische Gleichungen, aus der sich insbesondere ergibt, daß eine quadratische Gleichung a₂x²+a₁x+a₀=0 zwar nicht unbedingt eine reelle, aber auf jeden Fall immer eine komplexe Lösung haben muß.

Der “Fundamentalsatz der Algebra” besagt, daß dies für jede Gleichung der Form
a_nzⁿ+a_n-1z^n-1+…+a₁z+a₀=0
gilt: es gibt immer eine komplexe Lösung (außer natürlich wenn a_n=…=a₁=0 und a₀≠0).

Stringenter formuliert: Jedes Polynom P vom Grad n≠0 hat eine Nullstelle in den komplexen Zahlen C.

Für den Fundamentalsatz gibt es viele Beweise, einige finden sich im Wikipedia-Artikel.

Der erste vollständige Beweis war 1799 von Gauß in seiner Dissertation veröffentlicht worden, dieser benutzt übrigens aus heutiger Sicht auch eine topologische Methode, nämlich die Windungszahl von Kurven in der punktierten Ebene.
(Soweit ich mich erinnern kann, war in “Die Vermessung der Welt” nie die Rede vom Dissertationsthema Fundamentalsatz, dort ging es immer nur um Primzahlen, ‘Disquisitiones Arithmeticae’ und die Methode der kleinsten Quadrate:

Das Buch wird übrigens zur Zeit gerade verfilmt.)

Einen sehr kurzen Beweis des Fundamentalsatzes mit Hilfe von Flächen-Topologie kann man geben, indem man π₂S²=Z (und die Tatsache, daß dieser Isomorphismus durch den Abbildungsgrad gegeben wird – das hatten wir letzte Woche als Spezialfall des Pontrjagin-Thom-Theorems bewiesen) benutzt.

Polynome und Abbildungen zwischen Sphären

Zunächst: wie macht man aus P eine Abbildung der 2-Sphäre?

aus Dimensions

Quelle

Die 2-Sphäre kann man mittels sphärischer Projektion (Bilder oben oder TvF 154) als 1-Punkt-Kompaktifizierung der Ebene, also als Vereinigung der Ebene mit einem Punkt im Unendlichen auffassen: S²=C∪{unendlich}, wobei C die komplexe Zahlenebene ist.

Ein Polynom P(z)=a_nzⁿ+a_n-1z^n-1+…+a₁z+a₀ ist zunächst eine Abbildung P:C–>C der komplexen Zahlenebene auf sich.
Wenn das Polynom nicht konstant ist, dann ist geht für z gegen unendlich auch P(z) gegen unendlich – das sieht man mit der Umformung P(z)=zⁿ(a_n+_n-1/z+…+a₁/z^n-1+a₀/zⁿ): der erste Faktor geht gegen unendlich, der zweite Faktor konvergiert gegen a_n≠0.
Deshalb kann man P durch P(unendlich)=unendlich zu einer stetigen Funktion P:S²–>S² fortsetzen.
P ist sogar differenzierbar: das ist klar auf C, und im Punkt unendlich rechnet man es mit der Karte φ(z)=1/z leicht nach.

Beweis des Fundamentalsatzes

Wir wollen zeigen, daß P eine Nullstelle hat, daß also 0 im Bild von P liegt.
Dazu genügt es natürlich, Surjektivität zu beweisen, also daß jeder Punkt im Bild von P liegt.

Wenn eine Abbildung P:S²–>S² nicht surjektiv ist, dann hat sie Abbildungsgrad 0. Das ergibt sich einfach aus der Definition des Abbildungsgrades: dieser zählt ja (mit Vorzeichen gemäß Orientierung) die Urbilder eines regulären Wertes. Wenn es keine Urbilder gibt, ist der Abbildungsgrad 0.
(Ein anderer Beweis ergibt sich aus der Homotopie-Invarianz des Abbildungsgrades: wenn P nicht surjektiv ist, also mindestens einen Punkt * nicht im Bild hat, dann kann man die offensichtliche Deformationsretraktion von S²-{*} auf den * antipodal gegenüberliegenden Punkt benutzen, um eine Homotopie von P zur konstanten Abbildung zu konstruieren. Weil der Abbildungsgrad der konstanten Abbildung 0 ist, hat dann auch P den Abbildungsgrad 0.)

Im Umkehrschluß: wenn der Abbildungsgrad nicht Null ist, dann ist die Abbildung surjektiv.

Der Abbildungsgrad eines Polynoms P ist aber gerade der Grad des Polynoms (also die höchste vorkommende Potenz), wie wir gleich beweisen werden. Wenn ein Polynom nicht konstant ist, dann ist sein Grad, und damit auch sein Abbildungsgrad, nicht Null, also ist P surjektiv. QED

Polynom-Grad = Abbildungsgrad

Bleibt noch zu beweisen, daß der Abbildungsgrad eines Polynoms gerade sein Grad ist.

Das ist offensichtlich richtig für P(z)=zⁿ. Zum Beispiel 1 hat genau n Urbilder (in denen das Differential jeweils positiv ist), weil es bekanntlich n n-te Einheitswurzeln gibt.

Wie verallgemeinert man das auf beliebige Polynome P(z)=a_nzⁿ+a_n-1z^n-1+…+a₁z+a₀ vom Grad n?
Weil der Abbildungsgrad homotopie-invariant ist, liegt es nahe zu versuchen, eine Homotopie zwischen zⁿ und P(z) zu konstruieren. Der offensichtliche Ansatz für eine Homotopie ist H(z,t)=tP(z)+(1-t)zⁿ, fortgesetzt durch H(∞,t)=∞.