Topological covering space

From Maths
Revision as of 01:35, 26 February 2017 by Alec (Talk | contribs) (Creating page)

(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:
Be sure to contrast with other books! There is variation here, I need to know how it varies!

Definition

Let [ilmath](X,\mathcal{ J })[/ilmath] be a topological space. We say "[ilmath]X[/ilmath] is covered by [ilmath]E[/ilmath]" or "[ilmath]E[/ilmath] is a covering space for [ilmath]X[/ilmath]" if[1]:

  1. [ilmath](E,\mathcal{ H })[/ilmath] is a topological space itself; and
  2. there exists a covering mapor: bellow of the form: [ilmath]p:E\rightarrow X[/ilmath]

Covering map

Let [ilmath](X,\mathcal{ J })[/ilmath] and [ilmath](E,\mathcal{ H })[/ilmath] be topological spaces. A map, [ilmath]p:E\rightarrow X[/ilmath] between them is called a covering map[1] if:

  1. [ilmath]\forall U\in\mathcal{J}[p^{-1}(U)\in\mathcal{H}][/ilmath] - in words: that [ilmath]p[/ilmath] is continuous
  2. [ilmath]\forall x\in X\exists e\in E[p(e)\eq x][/ilmath] - in words: that [ilmath]p[/ilmath] is surjective
  3. [ilmath]\forall x\in X\exists U\in\mathcal{O}(x,X)[U\text{ is } [/ilmath][ilmath]\text{evenly covered} [/ilmath][ilmath]\text{ by }p][/ilmath] - in words: for all points there is an open neighbourhood, [ilmath]U[/ilmath], such that [ilmath]p[/ilmath] evenly covers [ilmath]U[/ilmath]

In this case [ilmath]E[/ilmath] is a covering space of [ilmath]X[/ilmath].

See next

See also

  • Covering map
    • may have some useful information on it!
      TODO: Pertaining to properties of the covering map itself
      - should they be reproduced here? Alec (talk) 01:35, 26 February 2017 (UTC)
    • Evenly covered

References

  1. 1.0 1.1 Introduction to Topology - Theodore W. Gamelin & Robert Everist Greene