Affine Varietät/Nicht algebraisch abgeschlossen/Eine Gleichung/Aufgabe/Lösung
Erscheinungsbild
- Nach Voraussetzung gibt es ein nichtkonstantes Polynom in einer Variablen ohne Nullstelle in . Wir schreiben
mit , . Wir betrachten die Homogenisierung
Der Nullpunkt ist davon eine Nullstelle. Es sei eine Nullstelle. Bei
kann man durch dividieren und erhält mit eine Nullstelle von , was es nach Voraussetzung nicht gibt. Es ist also
Doch dann wäre und wäre eine Nullstelle des Ausgangspolynoms.
- Nach
dem Hilbertschen Basissatz
ist
Wir zeigen, dass man hierbei zwei Polynome durch eines ersetzen kann, ohne die Nullstellenmenge zu ändern. Durch Induktion über folgt daraus die Aussage. Es sei das Polynom aus Teil (1), und wir betrachten , wir ersetzen also die Variablen durch die beiden Polynome. Nach Teil (1) gilt, dass
genau dann ist, wenn
und
gilt. Also ist