Preimage of a closed set under surjection

217 Views Asked by At

Let $X,Y$ be topological vector spaces, $\overline{B(0,1)}\subset Y$ is compact, and $T:X\to Y$ is a surjection. Would like to show that $W\subset Y$ is closed then $T^{-1}(W)\subset X$ is closed.

My attemp is, since topological vector spaces are Hausdorff, then $X,Y$ are Hausdorff. And since compact subspace of hausdorff space is closed, hence $\overline{B(0,1)}\subset Y$ is closed. Since $T$ is a surjection then $T^{-1}(\overline{B(0,1)})\subset X$. Now it remains to show that $T^{-1}(\overline{B(0,1)})\subset X$ is closed. But I do not know how to do that. I know that $T^{-1}(\overline{B(0,1)})$ is convex and balanced, but I am not sure whether this information useful. Note that I do not say that $T$ is continuous. Any help is appreciated! :)

1

There are 1 best solutions below

6
On

This isn't true. For instance, take $Y=\mathbb{R}$ and $X=\ell^1$ (in fact, this can be modified to work with $X$ as any infinite-dimensional Banach space). Let $Z\subset X$ be the subspace consisting of sequences that are eventually $0$; note that $Z$ is dense in $X$. Let $f:X/Z\to\mathbb{R}$ be a linear surjection and compose it with the quotient map $X\to X/Z$ to get a linear surjection $T:X\to\mathbb{R}$. Then $T^{-1}(\{0\})$ contains $Z$ and so cannot be closed.