A Universe of Sorts

Consider the set of points $Z = f^{-1}(0)$ for some function $f: X \to \mathbb R$ .
Suppose we can talk about sequences or limits in $X$ .
Thus, if $f$ is continuous, then we must have $f(\lim x_i) = \lim f(x_i)$ .
Now consider a limit point $l$ of the set $Z$ with sequence $l_i$ (that is, $\lim l_i = l$ ). Then we have $f(l) = f(\lim l_i) = \lim f(l_i) = \lim 0 = 0$ . Thus, $f(l) = 0$ .
This means that the set $Z$ contains $l$ , since $Z$ contains all pre-images of zero. Thus, the set $Z$ is closed.
This implies that the zero set of a continuous function must be a closed set.
This also motivates zariski; we want a topology that captures polynomial behaviour. Well, then the closed sets must be the zero sets of polynomials!

§ Why the Zero Set of a Continuous Function Must Be a Closed Set