
Topology Topology Math Forum 
 LinkBack  Thread Tools  Display Modes 
December 14th, 2008, 09:41 PM  #1 
Member Joined: Dec 2008 Posts: 78 Thanks: 0  The Real Line & Countable Complement Topology not Compact?
Hi everyone, How would you prove that the Real Line equipped with the Countable Complement Topology is NOT Compact? Obviously the method should be to construct an open cover without ?nite subcovers, but I can't quite how one would go about doing this? Many thanks in advance. 
December 22nd, 2008, 05:30 PM  #2 
Newbie Joined: Dec 2008 Posts: 2 Thanks: 0  Re: The Real Line & Countable Complement Topology not Compact?
Right its not compact. Here is a proof: I will denote the rationals by Q. Consider the set {q}U(Q)^c where q is in Q [so a point in Q union every point not in Q] Taking this sets complement gives Q\{q} which is clearly countable. Then we can do this for each point in q to get an open cover of R. But if were to suppose R with this topology were compact then there would be only finitely many open sets and thus we would only get finitely points in Q which is impossible since we must cover R and therefore Q as well. Q.E.D. There was nothing special about Q in this proof really. We could have used any [b]inifintely[b] countable set such as the set of all algebraic numbers in place of Q in the proof. 

Tags 
compact, complement, countable, line, real, topology 
Thread Tools  
Display Modes  

Similar Threads  
Thread  Thread Starter  Forum  Replies  Last Post 
countable base for a topology, question to solution  rayman  Topology  3  February 10th, 2013 07:08 AM 
The OpenCompact Topology  Hooman  Topology  1  January 8th, 2012 03:34 AM 
Real Analysis: Compact Sets  phyxius117  Real Analysis  1  March 7th, 2010 11:24 PM 
About compact subsets of the sorgenfrey line  bigli  Real Analysis  2  May 3rd, 2007 06:11 AM 
compact subsets of the Sorgenfrey line  bigli  Real Analysis  1  December 27th, 2006 12:09 AM 