§ Level set of a continuous function must be closed
- Let f be continuous, let L≡f−1(y) be a level set. We claim L is closed.
- Consider any sequence of points s:N→L. We must have f(si)=ysince s(i)∈L. Thus, f(si)=y for all i.
- By continuity, we therefore have f(limsi)=limf(si)=y.
- Hence, limsi∈L.
- This explains why we build Zariski the way we do: the level sets of functions must be closed. Since we wish to study polynomials, we build our topology out of the level sets of polynomials.