Home > Analysis, Olympiad > There isn’t such a function

There isn’t such a function

Prove that there is no continuous function f: \Bbb{R} \to \Bbb{R} such that f(\Bbb{Q}) \subset \Bbb{R}\setminus \Bbb{Q} and f(\Bbb{R}\setminus \Bbb{Q}) \subset \Bbb{Q}.

Proof: As noted in the first comment, a continuous function has the Darboux property, which means that given two values a<b of its image, the function takes all values between them. This means that either the function is constant, either it has an uncountable number of points in its image. It is easy to see that the function has at least two values in the image, one rational, one irrational. Secondly, the image of the function is countable. These two, with the argument above give the contradiction required.

The problem could be modified such that instead of f continuous, we write f has the Darboux property. Note that there are some weird examples of functions with Darboux property, which have the property above, to switch two sets between them. One such example can be found here.

Categories: Analysis, Olympiad Tags: ,
  1. João Carlos M. A. Soares
    February 10, 2012 at 2:28 am

    This is a consequence of the fact that the image of a continuous function (defined on a connected subset of the reals) must be either finite or non-denumerable, and that the former occurs only when the said function is a constant.

    • February 10, 2012 at 11:51 am

      You are right. This is the idea.

  1. No trackbacks yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: