My Math Forum A Continuous surjective function: irrationals --> rationals
 User Name Remember Me? Password

 Real Analysis Real Analysis Math Forum

 October 28th, 2009, 08:32 PM #1 Newbie   Joined: Oct 2009 Posts: 2 Thanks: 0 A Continuous surjective function: irrationals --> rationals Question is: Show that there is a continuous surjective function f : [0, 1]\Q --> [0, 1] ^ Q (^ is intersection) This makes sense since rationals and irrationals are both "dense" in the interval. But "this makes sense" is not a proof. Please help me!
 October 29th, 2009, 01:55 AM #2 Senior Member   Joined: Jan 2009 From: Japan Posts: 192 Thanks: 0 Re: A Continuous surjective function: irrationals --> rationals As an example surjective function: Let f(a) = b if b is (a + pi - 3) or (a + pi - 4) (whichever lies in [0, 1]). It should be clear that this is surjective. Making it continuous depends on the topology -- I'm a fan of the discrete topology if you get to choose.
October 29th, 2009, 12:39 PM   #3
Newbie

Joined: Oct 2009

Posts: 2
Thanks: 0

Re: A Continuous surjective function: irrationals --> rationals

Quote:
 Originally Posted by cmusick As an example surjective function: Let f(a) = b if b is (a + pi - 3) or (a + pi - 4) (whichever lies in [0, 1]). It should be clear that this is surjective. Making it continuous depends on the topology -- I'm a fan of the discrete topology if you get to choose.

But all irrationals in the interval have to be mapped to certain rationals, otherwise the function is not well-defined. Not all irrationals can be expressed in the form of (a + pi - 3) or (a + pi - 4) , where a is a rational.

So to which rationals are those irrationals (which cannot be expressed that way) mapped onto?

 October 29th, 2009, 04:10 PM #4 Senior Member   Joined: Jan 2009 From: Japan Posts: 192 Thanks: 0 Re: A Continuous surjective function: irrationals --> rationals Yes, that's why I say making it continuous depends on the topology. I don't see a function off the top of my head that is continuous in the standard metric; someone else might.
 October 31st, 2009, 05:40 PM #5 Member   Joined: Oct 2009 Posts: 64 Thanks: 0 Re: A Continuous surjective function: irrationals --> rationals Well, the irrationals have a greater cardinality than the rationals, which poses problems if you want a 'normal' function: one that is differentiable except at a finite set of points on any finite interval.

 Tags >, continuous, function, irrationals, rationals, surjective

### surjective continuous function

Click on a term to search for related topics.
 Thread Tools Display Modes Linear Mode

 Similar Threads Thread Thread Starter Forum Replies Last Post mahmoud Abstract Algebra 0 March 13th, 2011 03:21 AM fakesmile Calculus 1 July 20th, 2009 05:11 AM Ujjwal Real Analysis 2 October 26th, 2008 07:08 PM puneet Calculus 1 August 21st, 2008 04:19 AM bigli Real Analysis 4 June 25th, 2007 04:58 PM

 Contact - Home - Forums - Cryptocurrency Forum - Top