Affiner Raum/Zariski-Topologie/Zariski-Abschluss ist V zu Verschwindungsideal/Fakt

Es sei ${}T\subseteq {{\mathbb {A} }_{K}^{n}}$ eine Teilmenge.

Dann ist der Zariski-Abschluss von ${}T$ gleich

${}{\overline {T}}=V(\operatorname {Id} \,(T))\,.$

Zum Beweis, Alternativen Beweis erstellen