Local homeomorphism
From Maths
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 [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](Y,\mathcal{ K })[/ilmath] be topological spaces and let [ilmath]f:X\rightarrow Y[/ilmath] be a map (we do not require continuity at this stage). We call [ilmath]f[/ilmath] a local homeomorphism if[1]:
- [ilmath]\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 } [/ilmath][ilmath]\text{homeomorphism} [/ilmath][ilmath]\big)\big][/ilmath][Note 1]
- In words: for all points [ilmath]x\in X[/ilmath] there exists open neighbourhoods of [ilmath]x[/ilmath], say [ilmath]U[/ilmath], that [ilmath]f(U)[/ilmath] is open in [ilmath]Y[/ilmath] and [ilmath]f[/ilmath] restricted to [ilmath]U[/ilmath] (onto the image of [ilmath]U[/ilmath]) is a homeomorphism (when [ilmath]U[/ilmath] and [ilmath]f(U)[/ilmath] 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
Notes
- ↑ Note about notation:
- [ilmath]f\vert_A^\text{Im}:A\rightarrow f(A)[/ilmath] is the restriction onto its image of a function.
- [ilmath]\mathcal{O}(x,X)[/ilmath] is the set of open neighbourhoods of a point in a topological space
