Talk:Quotient space

From Wikipedia, the free encyclopedia

WikiProject Mathematics
This article is within the scope of WikiProject Mathematics, which collaborates on articles related to mathematics.
Mathematics rating: Start Class Mid Priority  Field: Topology

can anyone tell me why its called "quotient"?

[edit] im f homeomorphic to X/~

I made a correction there--if f is not an open map, there is a continuous bijection from X/~ to im f, but it is not a homeomorphism.--Todd 15:07, 19 July 2006 (UTC)

You're right in thinking that a homeomorphism needs to be an open map. However, in the text the topology of Y is defined as the finest topology that makes f continuous: V is open in Y if and only if it's preimage under f is open in X. A topology on Y wasn't assumed; it was constructed. Originally, Y was only assumed to be a set. The construction not only makes f continuous, it also makes it open. I think the original text was right so unless I hear back from you soon, I'm going to change the article back. (Perhaps I'll try to clarify this point.) Lunch 18:38, 19 July 2006 (UTC)

Quotient maps aren't always open maps. However, the natural quotient map taking a space to an orbit space is an open map. 76.21.73.242 (talk) 22:32, 5 April 2008 (UTC)