September 3rd, 2012, 11:17 AM  #1 
Member Joined: May 2012 Posts: 56 Thanks: 0  Topology
Show that the countable collection {(a,b) x (c,d) such that a < b and c < d, and a,b,c,d are rational} is a basis for the standard topology on R^2. In class, we learned this theorem... Let X be a set and T be a topology on X. A basis for T is a collection of sets B, such that 1) Every b in B is open 2) IF U is in T and x is in U, then there exists a b in B such that x is in B which is contained in (or equal to) U. I am guessing that I have to use this theorem to answer the question...the only thing that confuses me is...can I use this theorem to prove that a set is a basis for a topology (when the basis and the topology are the same set...since we know that {(a,b) x (c,d) such that a < b and c < d, and a,b,c,d are rational} is a standard topology on R^2 right?)? Thanks in advance. 
September 3rd, 2012, 12:43 PM  #2  
Senior Member Joined: Aug 2012 Posts: 1,569 Thanks: 379  Re: Topology Quote:
Quote:
I think a good approach to this problem is to do it in one dimension. Do it in R with intervals (a,b) and show that those are not ALL the open sets, but are a basis for the open sets.  
September 4th, 2012, 09:57 AM  #3  
Member Joined: May 2012 Posts: 56 Thanks: 0  Re: Topology Quote:
 
September 4th, 2012, 10:37 AM  #4  
Member Joined: May 2012 Posts: 56 Thanks: 0  Re: Topology Quote:
I tried to prove it...and I was just wondering if you could check to see if my answer is correct (if you don't mind)... We know that the standard topology on R is {(a,b) x (c,d) such that a<b, c<d and a,b,c,d is in R} I am trying to prove that the countable colection {(a,b)x(c,d) such that a<b, c<d, and a,b,c,d are rational} is a basis for that standard topology Let T be the standard topology on R^2. a) Every set (a,b)x(c,d) in the countable collection must also be in the standard topology, because we know that a,b,c,d rational (which is contained in the reals). So it must also be contained in T. b) If U is of the form (a,b)x(c,d) where a,b,c,d is in R. And if we have a point (w,v) in (a,b)x(c,d). Since the rational numbers are countably infinite, we know that there exist rational numbers e,f,g,h such that a=<e<w<f=<b and c=<g<v<h=<d. So we know that (w,v) is in (e,f)x(g,h), where (e,f)x(g,h) is in the countable collection, which is contained in (or equal to) U. So this countable collection actually is a basis for the T. Do you think my answer is correct? Also, the professor said something about induction, and also about the countability of the set (if I remember correctly)...so do you think I missed anything (that had to do with induction or the countability of the set) in the proof? Thanks in advance  
September 5th, 2012, 07:10 AM  #5  
Senior Member Joined: Aug 2012 Posts: 1,569 Thanks: 379  Re: Topology Quote:
 
September 5th, 2012, 07:21 AM  #6  
Senior Member Joined: Aug 2012 Posts: 1,569 Thanks: 379  Re: Topology Quote:
What you claim as the "standard topology" is not even a topology. It's not closed under finite unions, for example, let alone arbitrary unions. I think if you review the definitions of the terms topology and basis, you will get a better handle on this problem. Also I'd repeat my earlier suggestion, which would be to do this problem in one dimension first. Is the collection of all intervals (a,b) of reals a topology on the reals? No it's not. It's not even closed under finite unions. For example the set (1,2) UNION (3,4) is an open set of reals that's not an interval. So the collection of open intervals is not a topology. It's a basis for the standard topology on the reals.  

Tags 
topology 
Search tags for this page 
Click on a term to search for related topics.

Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
Help with Topology  leonhardeuler  Topology  8  February 26th, 2017 04:12 PM 
Topology  johnny_01  Topology  4  November 3rd, 2012 08:41 PM 
Problem on product topology/standard topology on R^2.  vercammen  Topology  1  October 19th, 2012 11:06 AM 
discrete topology, product topology  genoatopologist  Topology  0  December 6th, 2008 10:09 AM 
discrete topology, product topology  Erdos32212  Topology  0  December 2nd, 2008 01:04 PM 