Difference between revisions of "Local homeomorphism"
From Maths
(Created page with "{{Stub page|grade=B|msg=Prototype page}} __TOC__ ==Definition== Let {{Top.|X|J}} and {{Top.|Y|K}} be topological spaces and let {{M|f:X\rightarrow Y}} be a map (we do...") |
(Added terminology note and noted lack of information in one area) |
||
| Line 2: | Line 2: | ||
__TOC__ | __TOC__ | ||
==Definition== | ==Definition== | ||
| − | Let {{Top.|X|J}} and {{Top.|Y|K}} be [[topological spaces]] and let {{M|f:X\rightarrow Y}} be a [[map]] (we do not require [[continuity]] at this stage). We call {{M|f}} a ''local homeomorphism'' if: | + | Let {{Top.|X|J}} and {{Top.|Y|K}} be [[topological spaces]] and let {{M|f:X\rightarrow Y}} be a [[map]] (we do not require [[continuity]] at this stage). We call {{M|f}} a ''local homeomorphism'' if{{rITTMJML}}: |
* {{M|\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 } }}[[homeomorphism|{{M|\text{homeomorphism} }}]]{{M|\big)\big]}}<ref group="Note">Note about notation: | * {{M|\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 } }}[[homeomorphism|{{M|\text{homeomorphism} }}]]{{M|\big)\big]}}<ref group="Note">Note about notation: | ||
* {{M|f\vert_A^\text{Im}:A\rightarrow f(A)}} is the [[restriction onto its image]] of a [[function]]. | * {{M|f\vert_A^\text{Im}:A\rightarrow f(A)}} is the [[restriction onto its image]] of a [[function]]. | ||
* {{M|\mathcal{O}(x,X)}} is the [[set of open neighbourhoods of a point in a topological space]]</ref> | * {{M|\mathcal{O}(x,X)}} is the [[set of open neighbourhoods of a point in a topological space]]</ref> | ||
** In words: for all points {{M|x\in X}} there exists [[open neighbourhood|open neighbourhoods]] of {{M|x}}, say {{M|U}}, that {{M|f(U)}} is open in {{M|Y}} and {{M|f}} restricted to {{M|U}} (onto the image of {{M|U}}) is a [[homeomorphism]] (when {{M|U}} and {{M|f(U)}} are considered with the [[subspace topology]] of course) | ** In words: for all points {{M|x\in X}} there exists [[open neighbourhood|open neighbourhoods]] of {{M|x}}, say {{M|U}}, that {{M|f(U)}} is open in {{M|Y}} and {{M|f}} restricted to {{M|U}} (onto the image of {{M|U}}) is a [[homeomorphism]] (when {{M|U}} and {{M|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== | ==Immediate properties== | ||
| + | {{XXX|I do not know if local homeomorphism is preserved by anything, or an equivalence relation}} - investigate this. [[User:Alec|Alec]] ([[User talk:Alec|talk]]) 21:45, 22 February 2017 (UTC) | ||
* [[A local homeomorphism is continuous]] | * [[A local homeomorphism is continuous]] | ||
* [[A local homeomorphism is an open map]] | * [[A local homeomorphism is an open map]] | ||
Latest revision as of 21:45, 22 February 2017
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
