Affine Varietäten/Affiner Raum/Nullstellengebilde zu Polynommenge und zu Ideal/Fakt/Beweis

Beweis

Das Ideal ${}{\mathfrak {a}}$ besteht aus allen Linearkombinationen der ${}F_{j}$ und enthält insbesondere alle ${}F_{j}$. Daher ist die Inklusion  ${}V(F_{j},j\in J)\supseteq V({\mathfrak {a}})$  klar. Für die umgekehrte Inklusion sei  ${}P\in V(F_{j},j\in J)$  und sei  ${}H\in {\mathfrak {a}}$.  Dann ist  ${}H=\sum _{i=1}^{k}A_{i}F_{j_{i}}$  (mit ${}A_{i}\in K[X_{1},\ldots ,X_{n}]$) und somit ist

${}H(P)=\sum _{i=1}^{k}A_{i}(P)F_{j_{i}}(P)=0\,,$

also verschwindet jedes Element aus dem Ideal im Punkt ${}P$. Daher ist  ${}P\in V({\mathfrak {a}})$. 

Zur bewiesenen Aussage