Purchase Solution

Covering Maps : Let q: X->Y and r:Y->Z be covering maps; let p=(r(q(x))). Show if r^(-1)(z) is finite for each z in Z, p is a covering map.

Not what you're looking for?

Ask Custom Question

Let q: X->Y and r:Y->Z be covering maps; let p=(r(q(x))). Show if r^(-1)(z) is finite for each z in Z, p is a covering map.

Purchase this Solution
Solution Summary

Covering maps are investigated. The solution is detailed and well presented.

Solution Preview

r o q is continuous and onto, as both these properties are preserved by
compositions. So only the "evenly covered bit" needs to be checked.
So fix z in Z. It has a neighbourhood U_z such that U_z is evenly covered
by finitely many open sets V_1,...,V_n and r, where r^-1(z) = {y_1,...,y_n}
and each y_i is in V_i. Each V_i is mapped ...

Purchase this Solution
Free BrainMass Quizzes
Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Solving quadratic inequalities

This quiz test you on how well you are familiar with solving quadratic inequalities.

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Know Your Linear Equations

Each question is a choice-summary multiple choice question that will present you with a linear equation and then make 4 statements about that equation. You must determine which of the 4 statements are true (if any) in regards to the equation.

Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

View More Free Quizzes
Related BrainMass Solutions

  • Solve: Topological Space

    A function f : X → Y from a topological space X to a topological space Y is continuous if for every open set V ⊆ Y the pre-image f^−1(V ) is open in X. Consider the map f(x) = ∥x∥ from X to R. Let V be open in R.

  • Fundamental Groups, Path-Connected Space, Connectivity and Homotopy

    So, we call 1(X, x0) as fundamental group of X, if X is path connected. 2) We say a space is "simply connected" if its fundamental group is trivial. 3) Covering space: A map p: XY is a covering map if around each point y in Y there exists

  • Summation of Divergent Series

    (q+1)^4 + 6 (p - p^3/3) q^3/(q+1)^5 + 5 (p - p^3 + p^5/5)q^5/(q+1)^6] y^7 Equating the coefficient of y^7 to zero yields q = 3.58377703592 for the largest solution, and plugging in y = 1 yields the estimate 1.568 which is a big improvement over the

  • Covering Spaces : Compact Hausdorff Spaces and Homomorphisms

    If s is compact subspace in a hausdorff space X , it is closed. Proof:1 Consider any point x not in s. For each y in s, embed y in an open set disjoint from an open set containing x. Do this for each y in s, and we have an open cover.

  • Non-Identity Elements of Prime Order

    If y=x^k for some k, then y^p=(x^p)^k=1, so q divides p. But both p and q are primes, then p=q; if y is not equal to x^k for any integer k, then from x^r y^r=1, we must have x^r=1 and y^r=1.

  • Sets & Proofs

    270697 Real Analysis - Sets & Proofs Let S be a subset of the metric space E. A point p (element of ) S is called an interior point of S if there is an open ball in E of center p which is contained in S.

  • Stereographic Projection, Riemann Sphere and Mapping

    Let's say the point P has coordinates (x,y,z), Q lies at (a,b,0) and N at (0,0,1).

  • Ring theory

    Suppose, q is an automorphism of E/F, that is, q(f)=f for all f in F. Let p(x) be a polynomial in F[x], and z be an element of E. Then, p(z) is an element of E, and we can consider q(p(z)). Let p(x)=a0+a1x+a2x^2+. . . +anx^n.

  • Sqrarefree Integers, Fields, Conductors and Maximal Ideals

    Taking x = p + qω and y = r + sω in this sub-ring, from the requirement that x+ y = (p+r) + (q+s)ω we see that the coefficients of ω must form an abelian group with respect to addition and the same must hold for the free coefficients

View More Related Solutions