I am recording here an elementary* result used in the proof of the Teichmueller Existence Theorem.

**Theorem (Brouwer)**. Any injective continuous map from to itself is open.

*the statement itself sounds elementary enough, but the proof (all known proofs) seem to require some amount of machinery from algebraic topology. Note that one corollary of the theorem is that Euclidean spaces of different dimensions are not homeomorphic, another statement which appears elementary (and intuitive), but is difficult to prove without additional machinery.

It seems that the category of continuous maps contains enough curious things—Peano and other space-filling curves and the like—to quite thoroughly upset our intuitions, although going to the rather more restrictive category of smooth things does restore much of our intuition.

**Proof of Theorem**: It suffices to show that any such map sends open balls to open balls, or, more narrowly, that for any injective continuous map , lies in the interior of (where denotes the **closed** unit ball.)

Let *f* be as in the hypothesis of the Theorem. is a continuous bijection between compact Hausdorff spaces and hence a homeomorphism. is continuous; by the Tietze extension theorem, may be extended to a continuous map .

*G* has a zero at , and moreover we have the following

**Lemma**: If is a continuous map with (i.e. is a small perturbation of *G*), then has a zero in .

**Proof of Lemma**: Applying Brouwer’s fixed-point theorem to the function (from the closed unit ball to itself) yields a s.t. , i.e. .

If were not an interior point of , we may construct a small perturbation of *G* that no longer has a zero on , contradicting the above lemma.

At this point I refer the interested reader to Terry Tao’s blogpost (where the gist of this proof was also taken from; he was interested in Hilbert’s fifth problem, whose solution also makes use of invariance of domain) for the details of the construction.

**Corollary** Any proper injective continuous map is a homeomorphism.

**Proof of Corollary**:** **By invariance of domain, *f* is open. Now it suffices to show that *f* is surjective (and hence bijective) for it to be a homeomorphism; but surjectivity follows from *f* being a proper map into a metrizable space, and hence closed—given closed and a sequence of points accumulating to and , (the closed ball) for all . By properness, we have, for all , with *K* compact. Then, up to subsequence, . By continuity, , so .