Prove: the set of zeros of a continuous function is closed.

Prove: the set of zeros of a continuous function is closed.

And should the function on a closed interval?


Solution 1:

Hint: No matter what the domain of the function is (as long as it has a topology — no restriction on "closed interval", in particular):

  • The inverse image of an open set by a continuous function is open.
  • The inverse image of a closed set by a continuous function is closed.

and you're looking for $f^{-1}(\{0\})$.

Solution 2:

This depends on how you define continuity. If you say that a function $f$ is continuous if and only if $f^{-1}(U)$ is open for any open set $U$, then you can show that this is equivalent to $f^{-1}(V)$ being closed for any closed set $V$, and then we're done by taking $V=\{0\}.$

If instead you define continuity in the sense of preserving limits, take a sequence $\{x_n\}$ contained in the zero set (i.e. so that $f(x_n)=0$), which converges to some number $x.$ Then $f(x)=f(\lim x_n)=\lim f(x_n)=\lim 0=0,$ so $x$ is in the zero set, showing that the zero set contains all of its limit points and is then closed. Here it's in the statement $f(\lim x_n)=\lim f(x_n)$ that we're using continuity of $f$.