Local homeomorphism

In mathematics, more specifically topology, a local homeomorphism is a function between topological spaces that, intuitively, preserves local (though not necessarily global) structure. If ${\displaystyle f:X\to Y}$ is a local homeomorphism, ${\displaystyle X}$ is said to be an étale space over ${\displaystyle Y.}$ Local homeomorphisms are used in the study of sheaves. Typical examples of local homeomorphisms are covering maps.

A topological space ${\displaystyle X}$ is locally homeomorphic to Y if every point of ${\displaystyle X}$ has a neighborhood that is homeomorphic to an open subset of Y. For example, a manifold of dimension ${\displaystyle n}$ is locally homeomorphic to ${\displaystyle \mathbb {R} ^{n}.}$

If there is a local homeomorphism from ${\displaystyle X}$ to ${\displaystyle Y,}$ then ${\displaystyle X}$ is locally homeomorphic to ${\displaystyle Y,}$ but the converse is not always true. For example, the two dimensional sphere, being a manifold, is locally homeomorphic to the plane ${\displaystyle \mathbb {R} ^{2},}$ but there is no local homeomorphism ${\displaystyle S^{2}\to \mathbb {R} ^{2}}$.

Formal definition[]

Let ${\displaystyle X}$ and ${\displaystyle Y}$ be topological spaces. A function ${\displaystyle f:X\to Y}$ is a local homeomorphism^[1] if for every point ${\displaystyle x\in X}$ there exists an open set ${\displaystyle U}$ containing ${\displaystyle x,}$ such that the image ${\displaystyle f(U)}$ is open in ${\displaystyle Y}$ and the restriction ${\displaystyle f{\big \vert }_{U}:U\to f(U)}$ is a homeomorphism (where the respective subspace topologies are used on ${\displaystyle U}$ and on ${\displaystyle f(U)}$).

Examples and sufficient conditions[]

Every homeomorphism is a local homeomorphism.

If ${\displaystyle U}$ is an open subset of ${\displaystyle Y}$ equipped with the subspace topology, then the inclusion map ${\displaystyle i:U\to Y}$ is a local homeomorphism. The subset ${\displaystyle U}$ being open in ${\displaystyle X}$ is essential here because the inclusion map of a non-open subset of ${\displaystyle Y}$ never yields a local homeomorphism.

If ${\displaystyle f:\mathbb {R} \to S^{1}}$ is defined by ${\displaystyle f(t)=e^{it},}$ so that geometrically, this map wraps the real line around the circle, then ${\displaystyle f:\mathbb {R} \to S^{1}}$ is a local homeomorphism but not a homeomorphism. If ${\displaystyle f:S^{1}\to S^{1}}$ is the map with ${\displaystyle f(z)=z^{n}}$ that wraps the circle around itself ${\displaystyle n}$ times (i.e. has winding number ${\displaystyle n}$), then this is a local homeomorphism for all non-zero ${\displaystyle n,}$ but a homeomorphism only in the cases where it is bijective, that is, when ${\displaystyle n}$ equal ${\displaystyle 1}$ or ${\displaystyle -1.}$

Generalizing the previous two examples, every covering map is a local homeomorphism; in particular, the universal cover ${\displaystyle p:C\to Y}$ of a space ${\displaystyle Y}$ is a local homeomorphism. In certain situations the converse is true. For example: if ${\displaystyle p:X\to Y}$ is a proper local homeomorphism between two Hausdorff spaces and if ${\displaystyle Y}$ is also locally compact, then ${\displaystyle p}$ is a covering map.

There exist local homeomorphisms ${\displaystyle f:X\to Y}$ where ${\displaystyle Y}$ is a Hausdorff space and ${\displaystyle X}$ is not. Consider for instance the quotient space ${\displaystyle X=\left(\mathbb {R} \sqcup \mathbb {R} \right)/\sim ,}$ where the equivalence relation ${\displaystyle \sim }$ on the disjoint union of two copies of the reals identifies every negative real of the first copy with the corresponding negative real of the second copy. The two copies of ${\displaystyle 0}$ are not identified and they do not have any disjoint neighborhoods, so ${\displaystyle X}$ is not Hausdorff. One readily checks that the natural map ${\displaystyle f:X\to \mathbb {R} }$ is a local homeomorphism. The fiber ${\displaystyle f^{-1}(\{y\})}$ has two elements if ${\displaystyle y\geq 0}$ and one element if ${\displaystyle y<0.}$ Similarly, it is possible to construct a local homeomorphisms ${\displaystyle f:X\to Y}$ where ${\displaystyle X}$ is Hausdorff and ${\displaystyle Y}$ is not: pick the natural map from ${\displaystyle X=\mathbb {R} \sqcup \mathbb {R} }$ to ${\displaystyle Y=\left(\mathbb {R} \sqcup \mathbb {R} \right)/\sim }$ with the same equivalence relation ${\displaystyle \sim }$ as above.

It is shown in complex analysis that a complex analytic function ${\displaystyle f:U\to \mathbb {C} }$ (where ${\displaystyle U}$ is an open subset of the complex plane ${\displaystyle \mathbb {C} }$) is a local homeomorphism precisely when the derivative ${\displaystyle f^{\prime }(z)}$ is non-zero for all ${\displaystyle z\in U.}$ The function ${\displaystyle f(x)=z^{n}}$ on an open disk around ${\displaystyle 0}$ is not a local homeomorphism at ${\displaystyle 0}$ when ${\displaystyle n\geq 2.}$ In that case ${\displaystyle 0}$ is a point of "ramification" (intuitively, ${\displaystyle n}$ sheets come together there).

Using the inverse function theorem one can show that a continuously differentiable function ${\displaystyle f:U\to \mathbb {R} ^{n}}$ (where ${\displaystyle U}$ is an open subset of ${\displaystyle \mathbb {R} ^{n}}$) is a local homeomorphism if the derivative ${\displaystyle D_{x}f}$ is an invertible linear map (invertible square matrix) for every ${\displaystyle x\in U.}$ (The converse is false, as shown by the local homeomorphism ${\displaystyle f:\mathbb {R} \to \mathbb {R} }$ with ${\displaystyle f(x)=x^{3}}$). An analogous condition can be formulated for maps between differentiable manifolds.

Suppose ${\displaystyle f:X\to Y}$ is a continuous open surjection between two Hausdorff second-countable spaces where ${\displaystyle X}$ is a Baire space and ${\displaystyle Y}$ is a normal space. If every fiber of ${\displaystyle f}$ is a discrete subspace of ${\displaystyle X}$ (which is a necessary condition for ${\displaystyle f:X\to Y}$ to be a local homeomorphism) then ${\displaystyle f}$ is a ${\displaystyle Y}$-valued local homeomorphism on a dense open subset of ${\displaystyle X.}$ To clarify this statement's conclusion, let ${\displaystyle O=O_{f}}$ be the (unique) largest open subset of ${\displaystyle X}$ such that ${\displaystyle f{\big \vert }_{O}:O\to Y}$ is a local homeomorphism.^{[note 1]} If every fiber of ${\displaystyle f}$ is a discrete subspace of ${\displaystyle X}$ then this open set ${\displaystyle O}$ is necessarily a dense subset of ${\displaystyle X}$ (which then implies, in particular, that ${\displaystyle O\neq \varnothing }$ when ${\displaystyle X\neq \varnothing }$). A particular consequence is that every continuous open surjection ${\displaystyle f}$ between completely metrizable second-countable spaces that has discrete fibers is "almost everywhere" a local homeomorphism (in the topological sense that ${\displaystyle O_{f}}$ is a dense open subset of its domain). For example, if the continuous open surjection ${\displaystyle f:\mathbb {R} \to [0,\infty )}$ is defined by the polynomial ${\displaystyle f(x)=x^{2}}$ then the maximal open subset ${\displaystyle O=O_{f}}$ from this theorem is ${\displaystyle O=\mathbb {R} \setminus \{0\};}$ this example also shows that it is possible for ${\displaystyle O}$ to be a proper dense subset of ${\displaystyle f}$'s domain. Because every fiber of every non-constant polynomial is finite (and thus a discrete, and even compact, subspace), this example generalizes to such polynomials whenever the mapping induced by it is an open map; and if it is not an open map then it is nevertheless still straightforward to apply the theorem (possibly multiple times) by choosing domain(s) based on an appropriate consideration of the map's local minimums/maximums.

Properties[]

Every local homeomorphism is a continuous and open map. A bijective local homeomorphism is therefore a homeomorphism.

Every fiber of a local homeomorphism ${\displaystyle f:X\to Y}$ is a discrete subspace of its domain ${\displaystyle X.}$

If ${\displaystyle f:X\to Y}$ is a local homeomorphism and ${\displaystyle U}$ is an open subset of ${\displaystyle X,}$ then the restriction ${\displaystyle f{\big \vert }_{U}:U\to Y}$ is also a local homeomorphism.

The composition of two local homeomorphisms is a local homeomorphism (that is, if ${\displaystyle f:X\to Y}$ and ${\displaystyle g:Y\to Z}$ are local homeomorphisms, then the composition ${\displaystyle g\circ f:X\to Z}$ is also a local homeomorphism).

If ${\displaystyle f:X\to Y}$ is continuous, ${\displaystyle g:Y\to Z}$ is a local homeomorphism, and ${\displaystyle g\circ f:X\to Z}$ a local homeomorphism, then ${\displaystyle f}$ is also a local homeomorphism.

A local homeomorphism ${\displaystyle f:X\to Y}$ transfers "local" topological properties in both directions:

• ${\displaystyle X}$ is locally connected if and only if ${\displaystyle f(X)}$ is;
• ${\displaystyle X}$ is locally path-connected if and only if ${\displaystyle f(X)}$ is;
• ${\displaystyle X}$ is locally compact if and only if ${\displaystyle f(X)}$ is;
• ${\displaystyle X}$ is first-countable if and only if ${\displaystyle f(X)}$ is.

As pointed out above, the Hausdorff property is not local in this sense and need not be preserved by local homeomorphisms.

The local homeomorphisms with codomain ${\displaystyle Y}$ stand in a natural one-to-one correspondence with the sheaves of sets on ${\displaystyle Y;}$ this correspondence is in fact an equivalence of categories. Furthermore, every continuous map with codomain ${\displaystyle Y}$ gives rise to a uniquely defined local homeomorphism with codomain ${\displaystyle Y}$ in a natural way. All of this is explained in detail in the article on sheaves.

Generalizations and analogous concepts[]

The idea of a local homeomorphism can be formulated in geometric settings different from that of topological spaces. For differentiable manifolds, we obtain the local diffeomorphisms; for schemes, we have the formally étale morphisms and the étale morphisms; and for toposes, we get the .

See also[]

• Homeomorphism – Isomorphism in topology (mathematics)
• Local diffeomorphism

Notes[]

Citations[]

References[]

• Bourbaki, Nicolas (1989) [1966]. General Topology: Chapters 1–4 [Topologie Générale]. Éléments de mathématique. Berlin New York: Springer Science & Business Media. ISBN 978-3-540-64241-1. OCLC 18588129.
• Munkres, James R. (2000). Topology (Second ed.). Upper Saddle River, NJ: Prentice Hall, Inc. ISBN 978-0-13-181629-9. OCLC 42683260.
• Willard, Stephen (2004) [1970]. General Topology (First ed.). Mineola, N.Y.: Dover Publications. ISBN 978-0-486-43479-7. OCLC 115240.