Local homeomorphism

From Encyclopedia of Mathematics
Revision as of 19:37, 1 November 2016 by Richard Pinch (talk | contribs) (Tex done)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

A mapping $f : X \rightarrow Y$ between topological spaces such that for every point $x \in X$ there is a neighbourhood $\mathcal{O}_x$ that maps homeomorphically into $Y$ under $f$ (cf. Homeomorphism). Sometimes in the definition of a local homeomorphism the requirement $f(X) = Y$ is included and $f$ is also assumed to be an open mapping. Examples of local homeomorphisms are: a continuously-differentiable mapping with non-zero Jacobian on an open subset of an $n$-dimensional Euclidean space into the $n$-dimensional Euclidean space; a covering mapping, in particular the natural mapping of a topological group onto its quotient space with respect to a discrete subgroup. If the mapping $f : X \rightarrow Y$ of a Čech-complete space, in particular a locally compact Hausdorff space, onto a Tikhonov space $Y$ is open and countable-to-one, that is, $|f^{-1}(y)| \le \aleph_0$, $y \in Y$, then on some open everywhere-dense set in $X$ the mapping $f$ is a local homeomorphism.



[a1] A.V. Arkhangel'skii, V.I. Ponomarev, "Fundamentals of general topology: problems and exercises" , Reidel (1984) (Translated from Russian)
How to Cite This Entry:
Local homeomorphism. Encyclopedia of Mathematics. URL:
This article was adapted from an original article by B.A. Pasynkov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article