Is continuous image of a locally compact space is locally compact?
Let $X$ be locally compact(l.c.). Let $f: X\to Y$ be continuous and surjective.
A space $X$ is locally compact if for each $x\in X$ such that $\exists $ a compact set $V$ such that $x\in U\subset V$ for some open set $U$ containing $x$.
To show that $Y$ is locally compact
My try:
Let $y=f(x)\in Y$ and let $V\subset Y$ be an open set containing $y$.then $x\in f^{-1}(V)\subset X$ .As $f$ is continuous then $f^{-1}(V)$ is open in $X$ which is locally compact so there exists a compact set $C\subset X$ such that $x\in f^{-1}(V)\subset C\subset X\implies f(x)\subset V\subset f(C)\subset Y$ Now $f(C)$ being continuous image of a compact set is compact.
Thus proved. But the problem is it has been given that only continuity will not do the map has to be open also.
Please find mistakes in the proof if it exists.
Best Answer
I have found an answer ;
Let $y=f(x)\in Y $ then since $X$ is locally compact $x\in X$ has a compact neighborhood i.e there exists an open set $U $ contained in a compact set $V$ i.e. $x\in U\subset V$ then $f(x)\in f(U)\subset f(V)$
Now $f$ being open $f(U)$ is open in $Y$ and continuous image of a compact set being compact implies $f(V)$ is compact