Evenly covered by a continuous map

From Maths
Revision as of 21:54, 24 February 2017 by Alec (Talk | contribs) (Created page with "{{Stub page|grade=A**|msg=find another source! I have encountered many variations}} {{Provisional page|grade=A*|msg=Books conflict on whether or not the {{M|V_\alpha}} must be...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Stub grade: A**
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:
find another source! I have encountered many variations
Provisional page grade: A*
This page is provisional
This page is provisional and the information it contains may change before this notice is removed (in a backwards incompatible way). This usually means the content is from one source and that source isn't the most formal, or there are many other forms floating around. It is on a to-do list for being expanded.The message provided is:
Books conflict on whether or not the [ilmath]V_\alpha[/ilmath] must be connected.
  • By the homeomorphism requirement, the [ilmath]V_\alpha[/ilmath] and [ilmath]U[/ilmath] have the same number of connected components, that is clear.
  • Lee requires the [ilmath]V_\alpha[/ilmath] to be connected, that means that [ilmath]U[/ilmath] must be connected then. Munkres doesn't. Alec (talk) 21:54, 24 February 2017 (UTC)

Definition

Let [ilmath](C,\mathcal{ K })[/ilmath] and [ilmath](X,\mathcal{ J })[/ilmath] be topological spaces and let [ilmath]f:C\rightarrow x[/ilmath] be a continuous map. Let [ilmath]U\in\mathcal{J} [/ilmath] be given, so [ilmath]U[/ilmath] is an open set of [ilmath](X,\mathcal{ J })[/ilmath], we say that:

  • [ilmath]U[/ilmath] is evenly covered by [ilmath]f[/ilmath] if[1][2]:
    • [math]\exists \{V_\alpha\}_{\alpha\in I}\subseteq\mathcal{K} [/math] - there exists an arbitrary collection of open sets - such that:
      1. [math]f^{-1}(U)\eq\bigcup_{\alpha\in I}V_\alpha[/math] - the union of this family is the entire pre-image of [ilmath]U[/ilmath][Note 1]
      2. [ilmath]\forall\alpha,\ \beta\in I[\alpha\neq\beta\implies V_\alpha\cap V_\beta\eq\emptyset][/ilmath] - the [ilmath]V_\alpha[/ilmath] are pairwise disjoint
      3. [ilmath]\forall\alpha\in I\big[\big(V_\alpha\cong_{f\vert_{V_\alpha}^\text{Im}:V_\alpha\rightarrow f(V_\alpha)} U\big)\text{ are } [/ilmath][ilmath]\text{homeomorphic} [/ilmath][ilmath]\text{ via }f\vert_{V_\alpha}^\text{Im}\big][/ilmath] - the restriction onto its image of [ilmath]f[/ilmath] for each [ilmath]V_\alpha[/ilmath] is a homeomorphism onto [ilmath]U[/ilmath]
        • Note that this would mean [ilmath]\forall\alpha\in I[f(V_\alpha)\eq U][/ilmath]

Derived constraints

TODO: Notes stage, don't trust yet unless you prove
  • [ilmath]U[/ilmath] and [ilmath]V_\alpha[/ilmath] have the same number of connected components - follows by homeomorphism part. Must do some theorem about homeomorphisms and components! But I don't want to say "number"

Notes

  1. Note that both sides of the [ilmath]\eq[/ilmath] are open:
    • Notice that [ilmath]f^{-1}(U)[/ilmath] is open as [ilmath]f[/ilmath] is continuous, and that the union of an arbitrary family of open sets is also open, by definition of [ilmath]\mathcal{K} [/ilmath] being a topology

References

  1. Introduction to Topological Manifolds - John M. Lee
  2. Topology - James R. Munkres