[Math] Proving a function is an open map

general-topology

Let $U$ be an open sub-set of $\mathbb{R}^2$, and let $f$ be a continuous function $f:U\rightarrow \mathbb{R}^2$.

I'd like to show that $f$ is an open map, given that for each $u\in U$ exists an open set $V_u$ in $U$ ($V_u\subseteq U$) such that $f\uparrow_{V_u}$ is one-to-one.

I'm not quite sure on where to start here?

And assuming I'll prove this, does this mean that $f$ is homeomorphism? Because if $f$ is open so $f^{-1}$ is continuous, right?

Best Answer

Let $ V $ be an open subset of $U$. Write $ V $ as a union of open sets $\{V_i\}_{i\in I}$ on which $f$ is 1:1. Apply the Invariance of Domain theorem to each open set $V_i$. Then recall that the union of open sets is open.

Also note that a map like $f$ isn't a homeomorphism, using Chocosup's example or similar. My favorite similar example is to take the open unit square, stretch it to the rectangle $(0,9)\times(0,1)$, and finally wrap it onto (covering $(0,1)\times(0,1)$ twice) $\{(0,3)\times(0,3)\} - \{[1,2]\times[1,2]\}$.

Edit on decomposing $ V $: For each $ v\in V $ let $ \hat V_v $ be a neighborhood with $ f $ 1:1. Then let $ V_v := \hat V_v \cap V $. Because $\mathbb{R}^2$ is reasonable you could slim down the collection $V_v$ to a countable collection, but it isn't needed here.