Proposición 1:
Sea $f : A \subseteq \mathbb{R}^n \rightarrow \mathbb{R}^m $ una función continua en $A$ y $A$ un conjunto abierto.
Entonces para todo abierto $\mathcal{V} \subseteq \mathbb{R}^m $ la imagen inversa de $\mathcal{V}$, $f^{-1}(\mathcal{V})$ es un abierto de $\mathbb{R}^n.$
Demostración:
Sea $\mathcal{V}$ abierto de $\mathbb{R}^n.$
Supongamos que $f^{-1}(\mathcal{V}) \neq \emptyset.$
Si $f^{-1}(\mathcal{V}) = \emptyset $ , es un abierto entonces, terminó la demostración.
Ahora bien, sea $\vec{x_0} \in f^{-1}(\mathcal{V})$ entonces $f(\vec{x_0}) \in \mathcal{V}$ luego, $f(\vec{x_0})$ es punto interior de $\mathcal{V}.$
$\big[$ por demostrar: $\vec{x_0}$ es punto interior de $f^{-1}(\mathcal{V}$ $\big]$
Por hipótesis, $f$ es continua.
Sea $\epsilon > 0 $ tal que $B_{\epsilon}(f(\vec{x_0})) \subseteq \mathcal{V}$. Dicha $\epsilon$ existe porque $\mathcal{V}$ es abierto y $f(\vec{x_0}) \in \mathcal{V}.$
Entonces, existe $\delta > 0$ tal que si $\vec{x} \in B_{\delta}(\vec{x_0})$ entonces $f(\vec{x}) \in B_{\epsilon}(f(\vec{x_0})) \subseteq \mathcal{V}.$
$\vec{x_0}$ es punto interior de $f^{-1}(\mathcal{V})$ ya que $B_{\delta}(\vec{x_0}) \subseteq f^{-1}(\mathcal{V})$
Razón: $\vec{x} \in B_{\delta}(\vec{x_0})$ entonces $f(\vec{x}) \in B_{\epsilon}(f(\vec{x_0}))$ entonces $f(\vec{x}) \in \mathcal{V}$ implica $\vec{x} \in f^{-1}(\mathcal{V})._{\blacksquare}$
Proposición 2:
Sea $A \subseteq \mathbb{R}^n$ un abierto.
Sea $f : A \subseteq \mathbb{R}^n \rightarrow \mathbb{R}^m.$
Si la imagen inversa de abiertos en $\mathbb{R}^m$ es un abierto en $\mathbb{R}^n$, entonces la función $f$ es continua en $A.$
Demostración:
Sea $\vec{x_0} \in A.$
$\big[$ por demostrar: $f$ es continua en $\vec{x_0}$ $\big]$
Sea $\epsilon > 0.$
$\big[$ por demostrar: existe $\delta > 0$ tal que si $x \in B_{\delta}(\vec{x_0})$ entonces $f(\vec{x}) \in B_{\epsilon} (f(\vec{x_0}))$ $\big]$
Sea $\mathcal{V} = B_{\epsilon} (f(\vec{x_0}))$ es un abierto de $\mathbb{R}^m$.
Por hipótesis, $f^{-1}(\mathcal{V}) \subseteq \mathbb{R}^n$ es abierto.
Existe $\delta_1 > 0 $ tal que $B_{\delta} (\vec{x_0}) \subseteq f^{-1}(\mathcal{V}).$
$A$ es abierto, existe $\delta_2 > 0 $ tal que $B_{\delta_2}(\vec{x_0}) \subseteq A.$
Sea $\delta = mín\{ \delta_1 , \delta_2\}$ es la $\delta$ que necesitamos. $_{\blacksquare}$