nLab zero locus

Contents

Contents

Idea

The zero locus or vanishing locus of a function is the set of points where it vanishes, in that it takes the value zero.

Definition

For f:X𝔸f \colon X \to \mathbb{A} a function, its zero locus is the preimage f 1(0)f^{-1}(0) of zero, hence the level set at 0.

Properties

Nullstellensatz

Hilbert’s Nullstellensatz (German: “zero locus theorem”) characterizes joint zero loci of ideals of functions in a polynomial ring.

Last revised on May 24, 2023 at 21:36:53. See the history of this page for a list of all contributions to it.