Well really it's pretty obvious that the irrationals are G-delta without looking at the popcorn function, seeing as how the rationals are countable... I've seen the proof that the rationals are not G-delta, but only *assuming* R is a Baire space... I'm told all complete metric spaces are Baire, but I've not actually proved it before or seen the proof, so I may as well try that. :D
Re: :A use of the popcorn function
Date: 2005-12-26 07:38 pm (UTC)