Definition talk:Quotient Topology/Quotient Space

From ProofWiki
Jump to navigation Jump to search

Interesting. This has obvious parallels with Definition:Quotient Mapping, of which it appears to be an example. Am I on the right track? My topology is rusty. If so, would it be worth adding a link and a few words? --prime mover (talk) 21:40, 19 January 2009 (UTC)

Yes, this is precisely the Definition:Quotient Set, but with the added condition of the quotient topology inherited from the base space. The pi function I mention here is exactly the Definition:Quotient Mapping. It wouldn't hurt to add that material, and I'll do that shortly, but the definition given here should remain up independently of those other definitions because of the additional topology imposed on the quotient set, and the necessity of this definition for a variety of proofs, not the least of which is the classification of 2-manifolds, which is already up and deals heavily with quotient spaces. I've yet to go back and link up that page, and finish it. Another thing on my to-do list. Zelmerszoetrop 00:12, 20 January 2009 (UTC)

Nice one. It's all starting to make sense. --prime mover (talk) 06:36, 20 January 2009 (UTC)