A topological principle (Brouwer's Invariance of Domain) that a continuous injective map between n-dimensional Euclidean manifolds (or between open subsets of R^n) is an open embedding; equivalently, a continuous injective map from an open set of R^n into R^n has open image. A key consequence is that Euclidean spaces R^m and R^n are not homeomorphic when m ≠ n.

Principle

Injective continuous maps between manifolds of the same local Euclidean dimension preserve local topological type and cannot collapse open sets to lower-dimensional subsets; injectivity plus continuity forces images of opens to be open embeddings.

Demonstration

Let U be a nonempty open subset of R^n and f: U → R^n a continuous injection. Invariance of Domain asserts f(U) is open in R^n and f is a topological embedding onto its image. From this, if there existed a homeomorphism h: R^m → R^n with m < n, restricting h to an open ball would give a continuous injective map whose image contradicts local Euclidean dimension, which is impossible; hence no such homeomorphism exists.

Misapplication

Applying the statement to non-manifolds, to spaces that are not locally Euclidean, to maps that are merely injective on homotopy or homology but not pointwise injective, or to discontinuous embeddings. For example, expecting the theorem to hold for embeddings of fractal sets or for non-Hausdorff spaces leads to false conclusions.

Consequence

Used to prove invariance of dimension and to rule out homeomorphisms between Euclidean spaces of different dimensions; constrains possible embeddings and informs classification arguments in low- and high-dimensional topology.

Reversal

If injectivity is dropped (allowing noninjective continuous maps) or continuity is dropped, the conclusion fails: continuous surjections from R^n onto lower-dimensional sets or wild continuous maps can have images that are not open; conversely, an open embedding need not be surjective and so does not force global homeomorphism.

Boundary

Applies to continuous injective maps between topological n-manifolds (or open subsets of R^n) with the usual Hausdorff, second-countable hypotheses. It does not apply to maps between manifolds of different dimensions, to maps on spaces with boundary without checking local charts, nor to purely algebraic invariants that lack pointwise injectivity.

Semantic Tension

Often conflated with the Open Mapping Theorem from analysis or with invariance of domain in algebraic settings; also nearby is 'invariance of dimension' (the corollary) and the Jordan–Brouwer separation theorem—each is related but distinct in hypotheses and conclusions.

Synthesis

Invariance of Domain is the topological rule that a continuous injective map between equal-dimensional Euclidean-type manifolds preserves local openness and embedding structure; it enforces a strict incompatibility of different Euclidean dimensions and underpins many rigidity and classification results in topology.