[Math] Continuous Functions – Topology

continuitygeneral-topology

I'd like to prove the following.

A function $f:X \to Y$ is continuous if whenever $A$ is closed in $Y$,
$f^{-1}(A)$ is closed in $X$.

Proof. By definition, a function is continuous if the inverse image of every open set is open. Suppose that $A\in Y$ is closed. Then, $Y-A$ is open, so $f^{-1}(Y-A)$ is open.

$f^{-1}(Y-A) = X – f^{-1}(A)$ is open. So $f^{-1}(A)$ is closed.

Is this correct?

Best Answer

Hints:

You cannot assume what you want to prove: suppose that whenever $\,A\subset Y\,$ is closed then also $\,f^{-1}(A)\subset X\,$ is closed.

Let $\,U\subset Y\,$ be open $\;\implies Y\setminus U\;$ is closed, so by asumption $\,f^{-1}\left(Y\setminus U\right)\;$ is closed in $\;X\;$ and thus $\;X\setminus f^{-1}(Y\setminus U)\;$ is open.

But $\,X\setminus f^{-1}(Y\setminus U)\subset f^{-1}(U)\;$ since:

$$z\in X\setminus f^{-1}(Y\setminus U)\implies z\notin f^{-1}(Y\setminus U)\implies f(z)\notin Y\setminus U\implies$$

$$f(z)\in U$$

Deduce now that in fact $\,f^{-1}(U)\;$ is open and thus $\,f\,$ fulfills the usual definition of continuity, i.e. $\,f\,$ is continuous.

Related Question