Invariance of domain

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

If

U

is an open subset of

ℝ^{n}

and

f : U \to ℝ^{n}

is an injective continuous map, then

V := f (U)

is open in

ℝ^{n}

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 function $f^{- 1}$ are continuous; the theorem says that if the domain is an open subset of $ℝ^{n}$ and the image is also in $ℝ^{n},$ then continuity of $f^{- 1}$ is automatic. Furthermore, the theorem says that if two subsets $U$ and $V$ of $ℝ^{n}$ are homeomorphic, and $U$ is open, then $V$ must be open as well. (Note that $V$ is open as a subset of $ℝ^{n},$ and not just in the subspace topology. Openness of $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.

Not a homeomorphism onto its image — An injective map which is not a homeomorphism onto its image: $g : (- 1.1, 1) \to ℝ^{2}$ with $g (t) = (t^{2} - 1, t^{3} - t) .$

It is of crucial importance that both domain and image of $f$ are contained in Euclidean space of the same dimension. Consider for instance the map $f : (0, 1) \to ℝ^{2}$ defined by $f (t) = (t, 0) .$ This map is injective and continuous, the domain is an open subset of $ℝ$ , but the image is not open in $ℝ^{2} .$ A more extreme example is the map $g : (- 1.1, 1) \to ℝ^{2}$ defined by $g (t) = (t^{2} - 1, t^{3} - t)$ because here $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 $ℓ^{\infty}$ of all bounded real sequences. Define $f : ℓ^{\infty} \to ℓ^{\infty}$ as the shift $f (x_{1}, x_{2}, \dots) = (0, x_{1}, x_{2}, \dots) .$ Then $f$ is injective and continuous, the domain is open in $ℓ^{\infty}$ , but the image is not.

Consequences

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

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

And $ℝ^{n}$ is not homeomorphic to $ℝ^{m}$ if $n \neq m .$

Generalizations

The domain invariance theorem may be generalized to manifolds: if $M$ and $N$ are topological $n$ -manifolds without boundary and $f : M \to 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 $N$ whenever $U$ is an open subset of $M$ ) and a local homeomorphism.

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

Notes

↑ Brouwer L.E.J. Beweis der Invarianz des $n$ -dimensionalen Gebiets, Mathematische Annalen 71 (1912), pages 305–315; see also 72 (1912), pages 55–56
↑ 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. {{cite book}}: ISBN / Date incompatibility (help)
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

[1] Brouwer L.E.J. Beweis der Invarianz des $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

v t e Topology
Fields	General/Point-set set-theoretic continuum Pointless Algebraic combinatorial homology cohomology homotopy Differential Geometric low-dimensional knot Digital
Key concepts	Open set / Closed set Interior Continuity Space compact connected Hausdorff metric uniform second-countable Homotopy homotopy group fundamental group Simplicial complex CW complex Polyhedral complex Manifold topological smooth Bundle (mathematics) Cobordism
Metrics and properties	Euler characteristic Betti number Winding number Chern number Orientability
Key results	Banach fixed-point theorem De Rham cohomology Invariance of domain Poincaré conjecture Tychonoff's theorem Urysohn's lemma
Category Mathematics portal Wikibook Wikiversity Topics general algebraic geometric Publications

Invariance of domain

Notes

Consequences

Generalizations

See also

Notes

References

External links