Affine Varietäten/Affiner Raum/Nullstellengebilde zu Polynommenge und zu Ideal/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Das Ideal besteht aus allen Linearkombinationen der und enthält insbesondere alle . Daher ist die Inklusion klar. Für die umgekehrte Inklusion sei und sei . Dann ist (mit ) und somit ist
also verschwindet jedes Element aus dem Ideal im Punkt . Daher ist .