1. Not finding help here? Sign up for a free 30min tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Projection and quotient map

  1. Nov 27, 2008 #1
    Is a projection a quotient map?

    I think a quotient map is an onto map p:X-->Y (where X and Y are topological spaces) such that
    U is open/closed in Y iff (p)-1(U) is open/closed in X.

    And a projection is a map f:X-->X/~ defined by f(x)=[x] where [x] is the equivalent class (for a relation ~) containing x.

    I guess a projection is onto because for every equivalent class [x], there is an x that maps to it, but I am wondering if every projection is a quotient map (or if every projection is continuous).
  2. jcsd
  3. Nov 27, 2008 #2
    Hi Math8,

    In order to talk about whether your projection map is continuous, you need to have defined what the open sets in X/~ are. The standard procedure is to define the topology on X/~ to be the so-called quotient topology induced by f. That is, so that f is a quotient map; i.e., a set U in X/~ is open iff f^(-1)(U) is open in X.

    Of course, one can invent a topology on X/~ so that f is not continuous. Say, partition the plane X=R2 into a closed half-plane and an open half-plane. Then X/~ has two points X1 and X2, where [tex]f^{-1}(X_1)[/tex] is a closed-half-plane, and [tex]f^{-1}(X_2)[/tex] is an open half-plane. Define the topology on X/~ to be the discrete one, so X1 and X2 are open, and f is not continuous as [tex]f^{-1}(X_1)[/tex] is not open in R2.
    Last edited: Nov 27, 2008
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Have something to add?

Similar Discussions: Projection and quotient map
  1. Quotient map closed? (Replies: 1)

  2. Quotient maps. (Replies: 1)