Skip to main content
1 of 2
Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201

Consider $f \colon {\mathbb C}^2 \to {\mathbb C}^2$ given by $(x,y) \mapsto (xy,y)$. The image consists of ${\mathbb C}^2$ minus the subset $y = 0, x \neq 0$. Since this subset is not closed the image is not a variety.

The notion of a constructible subset was invented to deal with questions like this. A constructible subset is one which can be constructed from subvarieties using "boolean operations". Equivalently it is a subset defined by polynomial equations and inequations. It is true that the image of a constructible subset is again constructible (Chevalley's theorem).

Dan Petersen
  • 40.2k
  • 2
  • 114
  • 201