Local homeomorphism

Stub grade: B

This page is a stub

This page is a stub, so it contains little or minimal information and is on a to-do list for being expanded.The message provided is:

Prototype page

Definition

Let $(X,\mathcal{ J })$ and $(Y,\mathcal{ K })$ be topological spaces and let $f:X\rightarrow Y$ be a map (we do not require continuity at this stage). We call $f$ a local homeomorphism if:

• $\forall x\in X\exists U\in\mathcal{O}(x,X)\big[\big(f(U)\in\mathcal{K}\big)\wedge \big(f\vert_U^\text{Im}:U\rightarrow f(U)\text{ is a }$$\text{homeomorphism}$$\big)\big]$
  • In words: for all points $x\in X$ there exists open neighbourhoods of $x$, say $U$, that $f(U)$ is open in $Y$ and $f$ restricted to $U$ (onto the image of $U$) is a homeomorphism (when $U$ and $f(U)$ are considered with the subspace topology of course)

If there is a local homeomorphism between two spaces we say they are locally homeomorphic

Immediate properties

TODO: I do not know if local homeomorphism is preserved by anything, or an equivalence relation

- investigate this. Alec (talk) 21:45, 22 February 2017 (UTC)

• A local homeomorphism is continuous
• A local homeomorphism is an open map
• A bijective local homeomorphism is a homeomorphism
• Every homeomorphism is a local homeomorphism