Maths WorkshopMaths problems with full solutions
Exercise 1892Topology › Topology of ℝⁿL1Added 3 Nov 2026

Continuity and open preimages

#continuity#open preimages#multivariable

Statement

Show that f:Rn→Rmf:\mathbb{R}^n\to\mathbb{R}^m is continuous iff f−1(U)f^{-1}(U) is open for every open U⊆RmU\subseteq\mathbb{R}^m.

Hint

Copy the one-dimensional proof, replacing intervals by balls.

Show solutionHide solution

Solution

⇐\Leftarrow. Given x0x_0 and ε>0\varepsilon>0, the ball U=B(f(x0),ε)U=B(f(x_0),\varepsilon) is open. So f−1(U)f^{-1}(U) is open; it contains x0x_0, hence B(x0,δ)⊆f−1(U)B(x_0,\delta)\subseteq f^{-1}(U). So ∥f(x)−f(x0)∥<ε\|f(x)-f(x_0)\|<\varepsilon for ∥x−x0∥<δ\|x-x_0\|<\delta.

⇒\Rightarrow. Given open UU and x0∈f−1(U)x_0\in f^{-1}(U), f(x0)∈Uf(x_0)\in U gives ε>0\varepsilon>0 with B(f(x0),ε)⊆UB(f(x_0),\varepsilon)\subseteq U; continuity gives δ\delta with f(B(x0,δ))⊆Uf(B(x_0,\delta))\subseteq U.

Conclusion. Continuity is equivalent to the preimage of open sets being open.