A topological space is said to be locally compact if each point $x\in X$ has at least one neighbourhood which is compact. If $f$ is continuous open mapping of a locally compact space $(X,\tau)$ onto a topological space $(Y,\tau_1)$ then $(Y,\tau_1)$ is locally compact.
If $y\in Y$ then there exists a neighbourhood $V$ so that $y\in V$. Suppose there exists at least an $x$ such that $f^{-1}(y)=x$ then $f^{-1}(V)$ contains $U$ that is a compact neighbourhood of $x$. Then $y\in f(U)\subset V$.
In the previous question it was asked:
Prove continuous image of a locally compact space is not necessarily locally compact.
Questions:
1) What is the difference in proof from the present question and the previous one? Why does it change from "not necessarily compact" to "locally compact"?
2) Is my proof right?
Thanks in advance!