Is Every Projection Map a Quotient Map in Topology?

math8
Messages
143
Reaction score
0
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).
 
Physics news on Phys.org
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 f^{-1}(X_1) is a closed-half-plane, and f^{-1}(X_2) 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 f^{-1}(X_1) is not open in R2.
 
Last edited:
Prove $$\int\limits_0^{\sqrt2/4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx = \frac{\pi^2}{8}.$$ Let $$I = \int\limits_0^{\sqrt 2 / 4}\frac{1}{\sqrt{x-x^2}}\arcsin\sqrt{\frac{(x-1)\left(x-1+x\sqrt{9-16x}\right)}{1-2x}} \, \mathrm dx. \tag{1}$$ The representation integral of ##\arcsin## is $$\arcsin u = \int\limits_{0}^{1} \frac{\mathrm dt}{\sqrt{1-t^2}}, \qquad 0 \leqslant u \leqslant 1.$$ Plugging identity above into ##(1)## with ##u...
Back
Top