Invariance of domain

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

If ${\displaystyle U}$ is an open subset of ${\displaystyle \mathbb {R} ^{n}}$ and ${\displaystyle f:U\rightarrow \mathbb {R} ^{n}}$ is an injective continuous map, then ${\displaystyle V:=f(U)}$ is open in ${\displaystyle \mathbb {R} ^{n}}$ and ${\displaystyle f}$ is a homeomorphism between ${\displaystyle U}$ and ${\displaystyle V}$.

The theorem and its proof are due to L. E. J. Brouwer, published in 1912. ^[1] The proof uses tools of algebraic topology, notably the Brouwer fixed point theorem.

Notes

The conclusion of the theorem can equivalently be formulated as: "${\displaystyle f}$ is an open map".

Normally, to check that ${\displaystyle f}$ is a homeomorphism, one would have to verify that both ${\displaystyle f}$ and its inverse function ${\displaystyle f^{-1}}$ are continuous; the theorem says that if the domain is an open subset of ${\displaystyle \mathbb {R} ^{n}}$ and the image is also in ${\displaystyle \mathbb {R} ^{n},}$ then continuity of ${\displaystyle f^{-1}}$ is automatic. Furthermore, the theorem says that if two subsets ${\displaystyle U}$ and ${\displaystyle V}$ of ${\displaystyle \mathbb {R} ^{n}}$ are homeomorphic, and ${\displaystyle U}$ is open, then ${\displaystyle V}$ must be open as well. (Note that ${\displaystyle V}$ is open as a subset of ${\displaystyle \mathbb {R} ^{n},}$ and not just in the subspace topology. Openness of ${\displaystyle V}$ in the subspace topology is automatic.) Both of these statements are not at all obvious and are not generally true if one leaves Euclidean space.

An injective map which is not a homeomorphism onto its image: ${\displaystyle g:(-1.1,1)\to \mathbb {R} ^{2}}$ with ${\displaystyle g(t)=\left(t^{2}-1,t^{3}-t\right).}$

It is of crucial importance that both domain and image of ${\displaystyle f}$ are contained in Euclidean space of the same dimension. Consider for instance the map ${\displaystyle f:(0,1)\to \mathbb {R} ^{2}}$ defined by ${\displaystyle f(t)=(t,0).}$ This map is injective and continuous, the domain is an open subset of ${\displaystyle \mathbb {R} }$, but the image is not open in ${\displaystyle \mathbb {R} ^{2}.}$ A more extreme example is the map ${\displaystyle g:(-1.1,1)\to \mathbb {R} ^{2}}$ defined by ${\displaystyle g(t)=\left(t^{2}-1,t^{3}-t\right)}$ because here ${\displaystyle g}$ is injective and continuous but does not even yield a homeomorphism onto its image.

The theorem is also not generally true in infinitely many dimensions. Consider for instance the Banach L^p space ${\displaystyle \ell ^{\infty }}$ of all bounded real sequences. Define ${\displaystyle f:\ell ^{\infty }\to \ell ^{\infty }}$ as the shift ${\displaystyle f\left(x_{1},x_{2},\ldots \right)=\left(0,x_{1},x_{2},\ldots \right).}$ Then ${\displaystyle f}$ is injective and continuous, the domain is open in ${\displaystyle \ell ^{\infty }}$, but the image is not.

Consequences

If ${\displaystyle n>m}$, there exists no continuous injective map ${\displaystyle f:U\to \mathbb {R} ^{m}}$ for a nonempty open set ${\displaystyle U\subseteq \mathbb {R} ^{n}}$. To see this, suppose there exists such a map ${\displaystyle f.}$ Composing ${\displaystyle f}$ with the standard inclusion of ${\displaystyle \mathbb {R} ^{m}}$ into ${\displaystyle \mathbb {R} ^{n}}$ would give a continuous injection from ${\displaystyle \mathbb {R} ^{n}}$ to itself, but with an image with empty interior in ${\displaystyle \mathbb {R} ^{n}}$. This would contradict invariance of domain.

In particular, if ${\displaystyle n\neq m}$, no nonempty open subset of ${\displaystyle \mathbb {R} ^{n}}$ can be homeomorphic to an open subset of ${\displaystyle \mathbb {R} ^{m}}$.

And ${\displaystyle \mathbb {R} ^{n}}$ is not homeomorphic to ${\displaystyle \mathbb {R} ^{m}}$ if ${\displaystyle n\neq m.}$

Generalizations

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

There are also generalizations to certain types of continuous maps from a Banach space to itself. ^[2]

See also

• Open mapping theorem for other conditions that ensure that a given continuous map is open.

Notes

1. Brouwer L.E.J. Beweis der Invarianz des ${\displaystyle n}$-dimensionalen Gebiets, Mathematische Annalen 71 (1912), pages 305–315; see also 72 (1912), pages 55–56
2. Leray J. Topologie des espaces abstraits de M. Banach. C. R. Acad. Sci. Paris, 200 (1935) pages 1083–1093

References

• Bredon, Glen E. (1993). Topology and geometry. Graduate Texts in Mathematics. Vol. 139. Springer-Verlag. ISBN   0-387-97926-3. MR   1224675.
• Cao Labora, Daniel (2020). "When is a continuous bijection a homeomorphism?". Amer. Math. Monthly . 127 (6): 547–553. doi:10.1080/00029890.2020.1738826. MR   4101407. S2CID   221066737.
• Cartan, Henri (1945). "Méthodes modernes en topologie algébrique". Comment. Math. Helv. (in French). 18: 1–15. doi:10.1007/BF02568096. MR   0013313. S2CID   124671921.
• Deo, Satya (2018). Algebraic topology: A primer. Texts and Readings in Mathematics. Vol. 27 (Second ed.). New Delhi: Hindustan Book Agency. ISBN   978-93-86279-67-5. MR   3887626.
• Dieudonné, Jean (1982). "8. Les théorèmes de Brouwer". Éléments d'analyse. Cahiers Scientifiques (in French). Vol. IX. Paris: Gauthier-Villars. pp. 44–47. ISBN   2-04-011499-8. MR   0658305.
• Hirsch, Morris W. (1988). Differential Topology. New York: Springer. ISBN   978-0-387-90148-0. (see p. 72–73 for Hirsch's proof utilizing non-existence of a differentiable retraction)
• Hilton, Peter J.; Wylie, Shaun (1960). Homology theory: An introduction to algebraic topology. New York: Cambridge University Press. ISBN   0521094224. MR   0115161.
• Hurewicz, Witold; Wallman, Henry (1941). Dimension Theory. Princeton Mathematical Series. Vol. 4. Princeton University Press. MR   0006493.
• Kulpa, Władysław (1998). "Poincaré and domain invariance theorem" (PDF). Acta Univ. Carolin. Math. Phys. 39 (1): 129–136. MR   1696596.
• Madsen, Ib; Tornehave, Jørgen (1997). From calculus to cohomology: de Rham cohomology and characteristic classes. Cambridge University Press. ISBN   0-521-58059-5. MR   1454127.
• Munkres, James R. (1966). Elementary differential topology. Annals of Mathematics Studies. Vol. 54 (Revised ed.). Princeton University Press. MR   0198479.
• Spanier, Edwin H. (1966). Algebraic topology. New York-Toronto-London: McGraw-Hill.
• Tao, Terence (2011). "Brouwer's fixed point and invariance of domain theorems, and Hilbert's fifth problem". terrytao.wordpress.com. Retrieved 2 February 2022.

External links

• Mill, J. van (2001) [1994], "Domain invariance", Encyclopedia of Mathematics , EMS Press