The general idea of prove openness. I never really get the idea of proofs involves openness, here's an example:

Let $f: \mathbb{R} \rightarrow \mathbb{R}$ be a local diffeomorphism. Prove that the image of $f$ is an open interval.

So, is the general principle is to show:


*

*Step n: For an arbitrary $y \in$ $f(U)$, which is the image of an open neighborhood, is in an open neighborhood.

*Step n-1: We find a neighborhood of $y$ open in a open neighborhood, which we chose $\mathbb{R}$ here.

*Step n-2: By the definition of function, $\forall y \in f(U), \exists x \in U: f(x) = y.$ So we choose an open neighborhood of $x, U_x.$

*Step n-3: ..... .

No, you show that $f(U)$ is open for all open subsets $U \subset \mathbb{R}$. Then, since $f$ is continuous, you know that $f(\mathbb{R})$ is a connected open subset of $\mathbb{R}$, hence an open interval.
To show that $f$ is an open mapping, consider an open $U \subset \mathbb{R}$ and any $x \in U$. By assumption, there is an open neighbourhood $V_x \subset U$ of $x$ on which $f$ is a diffeomorphism. That means $f\bigl\lvert_{V_x}$ is open, hence $f(V_x)$ is open. Now, $U = \bigcup\limits_{x \in U} V_x$, and therefore $f(U) = \bigcup\limits_{x \in U} f(V_x)$ is open.
