Register to reply 
Topology, line with two origins 
Share this thread: 
#1
Feb213, 09:29 PM

P: 84

1. The problem statement, all variables and given/known data
Let X be the set of all points (x,y)[itex]\in[/itex]ℝ^{2} such that y=±1, and let M be the quotient of X by the equivalence relation generated by (x,1)~(x,1) for all x≠0. Show that M is locally Euclidean and secondcountable, but not Hausdorff. 2. Relevant equations 3. The attempt at a solution So I haven't taken any topology and my understanding of it is to the basic. I've been reading a lot about quotient spaces and I'm really not understanding the phrase "let M be the quotient of X by the equivalence relation generated by (x,1)~(x,1)" Question: What is M? M={[x][itex]\in[/itex]X}={{v[itex]\in[/itex]X:v~x}:x[itex]\in[/itex]X} Question: M is locally Euclidean because there is a onetoone correspondence onto ℝ? Question: M is second countable because the bases are open subsets of ℝ? 


#2
Feb213, 10:49 PM

Sci Advisor
HW Helper
Thanks
P: 25,251

Even if you have studied topology this take some thought and possibly makes brain hurt. But the title of your thread says it all. It's a line with two distinct origins. Your original space was two distinct lines. All of the other points except for (0,1) and (0,1) have been glued together. Away from those points it is just a single line. So it's obviously Euclidean except for those two points. Start with the Hausdorff question. You really have to think hard about the open sets are in the quotient space. Is there any open set containing (0,1) that is disjoint from (0,1)? Then is there an open set containing (0,1) that does not contain (0,1) that you might consider Euclidean?



#3
Feb313, 12:10 PM

P: 84

I'm not too good with the formality here. So I see the gluing that you are talking about in my head. I think I'm having a hard time with the quotient space.
So M is the quotient space correct? I believe we are talking about the quotient map ∏: X→M now I guess my question is this, elements in X are in ℝ^{2} M is the quotient of X by the equivalence relation (x,1)~(x,1) for all x≠0 the problem is, when i'm thinking of this relation, I believe I see this and I don't know if this is correct, let x be in X the image of x under ∏, ∏(x) is a subset of ℝ, now there's a problem at the origin and this is why M is not Hausdorff because the inverse image of M will have problems. I know the last part is not very formal. But from many cursory readings in topology, I've read that a line with two endpoints is homeomorphic to S^{1}. I'm thinking open sets of M, the quotient space, are the usual open sets in ℝ, and those are second countable. I've been thinking about this problem all night and I'm going nowhere! 


#4
Feb313, 12:55 PM

Sci Advisor
HW Helper
Thanks
P: 25,251

Topology, line with two origins



Register to reply 
Related Discussions  
Subspace Topology of a Straight Line  Calculus & Beyond Homework  2  
Group of translations on real line with discrete topology  Topology and Analysis  3  
Topology intervals on the real line proof  Calculus & Beyond Homework  5  
Topology : 3 sets on the Real line with the wada property.  Calculus & Beyond Homework  11 