# Invariance of domain

**Invariance of domain** is a theorem in topology about homeomorphic subsets of Euclidean space **R**^{n}. It states:

- If
*U*is an open subset of**R**^{n}and*f*:*U*→**R**^{n}is an injective continuous map, then*V*=*f*(*U*) is open and*f*is a homeomorphism between*U*and*V*.

*f*is a homeomorphism, one would have to verify that both

*f*and its inverse function

*f*

^{ -1}are continuous; the theorem says that if the domain is an

*open*subset of

**R**

^{n}and the image is also in

**R**

^{n}, then continuity of

*f*

^{ -1}is automatic. Furthermore, the theorem says that if two subsets

*U*and

*V*of

**R**

^{n}are homeomorphic, and

*U*is open, then

*V*must be open as well. Both of these statements are not at all obvious and are not generally true if one leaves Euclidean space.

The theorem is due to L.E.J. Brouwer. Its proof uses tools of algebraic topology, notably the Brouwer fixed point theorem.

## Consequences

## Generalization

The domain invariance theorem may be generalized to manifolds: if *M* and *N* are topological *n*-manifolds without boundary and *f* : *M* → *N* is a continuous map which is locally one-to-one (meaning that every point in *M* has a neighborhood such that *f* restricted to this neighborhood is injective), then *f* is an open map (meaning that *f*(*U*) is open in *M* whenever *U* is an open subset of *M*).