Invariance of domain is a theorem in topology about homeomorphic subsets of Euclidean space Rn. It states:
If U is an open subset of Rn and f : U → Rn is an injective continuous map, then V = f(U) is open and f is a homeomorphism between U and V.The theorem and its proof are due to L. E. J. Brouwer, published in 1912. The proof uses tools of algebraic topology, notably the Brouwer fixed point theorem.
== Notes ==
The conclusion of the theorem can equivalently be formulated as: "f is an open map".
Normally, to check that f is a homeomorphism, one would have to verify that both f and its inverse...