Mathematics desk | ||
---|---|---|
< April 22 | << Mar | April | May >> | April 24 > |
Welcome to the Wikipedia Mathematics Reference Desk Archives |
---|
The page you are currently viewing is an archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages. |
Normally I can answer any question my daughter asked, but this one stumped me! —Preceding unsigned comment added by 216.61.187.254 (talk) 21:30, 23 April 2009 (UTC)
I'm currently reading Hajime Sato's Algebraic Topology: An Intuitive Approach, but I'm having a bit of trouble understanding how to understand what particular quotient spaces look like (despite the book's name). I've taken an introductory course in Algebraic Topology, but was hoping for a bit more rigour regarding quotient spaces, but the book hasn't really helped. It's easy enough to visualise simple examples (such as a closed two-dimensional ball which has its boundary identified to a single point being homeomorphic to S2), but for more complicated examples, I'm just not comfortable stretching these shapes around in my head - I'd like some sort of rigorous method to determine what the quotient space looks like, but haven't been able to find one.
Another (somewhat related) issue I'm having with Sato is the idea of cell-complexes. I've come across these before too, but after describing how to construct general spaces using them, he bounds into examples without really explaining what to do. He, for example, say that the torus, T2 can be written as where the are closed i-balls, and the are 'attaching maps', which take the boundary of one part of the complex onto a lower-dimensional part, and which he does not actually give the details of. (For instance, I'm interpreting h1 to be ). I've covered similar ground to this before, having studied n-simplices, which are each obviously homeomorphic to (and with boundary operators in place of the 'attaching maps', however the boundary operators were never used to glue), but I can't seem to get the two ideas to gel.
In my mind, the above example starts with two disjoint closed intervals, and whose boundaries (end points) are attached/glued by h1 to a single point, , giving a sort of figure of eight shape. This is then glued by h2 to the boundary of , S2 (edit: obviously I meant S1) ...which I again have no idea how to visualise, or see how this could possibly give a torus.
Sorry for this massive outpouring, I just really can't get my head around it. Thanks a lot! Icthyos (talk) 22:27, 23 April 2009 (UTC)
Don't apologize - we are here to help you. Topology is a subject on which there are too few a number of textbooks; at least half of which try to simplify the subject down. I have attempted to understand why this is the case (when I first saw the definition of a topology (a long time ago), I did not see the purpose of having such a complex set-theoretic definition, but after a week I got used to it and saw the definition more intuitively than ever - the definition of a topology is really ingenious and I respect Hausdorff for this). Quotient spaces are rigorously defined as follows: Let X be a topological space and ~ an equivalence relation on X. Let X* be the set of all equivalence classes under this relation. Define U to be open in X* iff the union of the equivalence classes that belong to U, is open as a subset of X. Then X* is a topological space with this topology - it is called the quotient space of X by the equivalence relation ~ (verify that this is a topological space, if you have not done so already). Note that some authors prefer to define the quotient space using the quotient map (which is probably a less confusing way to define it), but I think this definition is alright too. Think about the following - it should improve your intuition of the concept:
a) Consider the natural projection . Is this map continuous? Is the inverse of this map continuous? Is this map surjective? Deduce some properties of X*, given properties of X, using this map.
b) Suppose X is homogeneous (i.e the homeomorphism group acts transitively on X) (equivalently, if x is in X and y is in X, there exists a homeomorphism of X taking x to y). Under what conditions is X* homogeneous?
c) Consider the circle with ~ defined by - x ~ y iff x is antipodal to y (i.e x = - y). Consider the (two-point) equivalence classes (actually viewed as a single entity)- one equivalence class ((1,0) and (-1,0)) essentially determines the x - axis. As you move clockwise around the circle, the equivalence classes are distinct until you have rotated 180 degrees. So essentially, to consider the quotient space, you have to examine the geometry of the equivalence classes - i.e points on the upper semicircle. Essentially, the equivalence classes "close" to (-1,0) are also close to (0,1) because both points are equivalent. What is the quotient space X* homeomorphic to?
d) With a similar equivalence relation defined on the sphere, note that the resulting quotient space is a two-manifold. However, it is impossible to embed the resulting quotient space in R3. What is the smallest n, such that this quotient space can be embedded in Rn? What is the smallest n for which the resulting quotient space can be embedded via a diffeomorphism in Rn (define a smooth structure on the quotient space using the natural smooth structure on the sphere, and the projection (i.e quotient) map).
e) Define x ~ y on an arbitrary topological space iff there is a homeomorphism of that topological space carrying x to y. Find a space for which the resulting quotient space is the Sierpinski space. Is there a topological space for which this is homeomorphic to the countable discrete space?
f) Is the quotient space of a manifold, again a manifold? If not, under what conditions is it a manifold? Under what conditions does it have the same dimension (as a manifold) as the original manifold?
g) Let G act on a topological space X. Use this action to define a quotient space of X. Prove that the resulting quotient map to the quotient space, is a covering map, under certain conditions.
I think that these questions are useful to develop your intuition. As I don't know your exact level, I can't say whether these questions will be challenging for you or not. However, most should be relatively easy. If you have any other questions, or any difficulties, feel free to ask again. I will help you on your other question, if no-one else will do so, but I have got to go now. --PST 03:00, 24 April 2009 (UTC)
Thanks a lot for your responses, they've been a great help. Xedi: I see now how those attaching maps on those cells give the torus, I'm just a bit miffed that I couldn't build it from the ground up, without using that diagram. Thanks!
PST: I've not come across a lot of those definitions before. Ordinarily I'd dive right in, but it's exam crunch time at the moment, and I feel guilty when I wander away from curricular-based topics! It's definitely helped consolidate the ideas I have about quotient topologies, though. What you said about understanding the set theoretic definition of a topology struck a chord with me, though. As I assume is the usual way, I was first taught the subject from the point of view of metric spaces, and once comfortable with that, the notion of distance was stripped away, and we defined a topology to be a certain collection of subsets of a space that maintained the 'nice' properties of the open sets in a metric space. What I don't understand is, why do we define a topology to have those specific properties? (unions and finite intersections of open being open etc.) Just because they allow us to prove certain theorems? If the subject were taught without the lead in from metric spaces, how would one justify the definition of a topology? I suppose I just don't see how a 'structure' is defined on the space in such abstract terms - without some notion like distance, it's harder to visualise. Thanks again, Icthyos (talk) 20:28, 25 April 2009 (UTC)