1
$\begingroup$

I have been attempting to do the following question by contradiction. However, I just got stuck at where to use the given continuity condition. It would be really appreciated if you can possibly give a further hint to solving this problem.

Here it goes

Let $f(x):\mathbb{R} \rightarrow \mathbb{Q}$ is a continuous function. Prove that $f$ is a constant.

  • 0
    Can you find a real number between two given rationals?2012-05-05
  • 0
    More to the point, can you find an *irrational* number between two rationals?2012-05-05
  • 0
    Yes, it was my initial idea of using Density Theorem. However, I do not see the connection between that with the function.2012-05-05
  • 0
    Look at [this](http://math.stackexchange.com/q/55638/8271)2012-05-05

1 Answers 1

2

The basic idea behind this problem is the following statement:

Theorem: The continuous image of a connected space is connected.

Now, $\mathbb{R}$ is connected--that is just a fact. Now, $\mathbb{Q}$ is not connected (in fact, it's totally disconnected) since given any irrational number $\xi$ one has that $\mathbb{Q}=[(-\infty,\xi)\cap\mathbb{Q}]\cup[(\xi,\infty)\cap\mathbb{Q}]$ is a disconnection.

  • 0
    Great solution, however, the question requires the answer to use the definition of the continuity. Thereby, I just do not know where to start.2012-05-05
  • 0
    @VietHoangQuoc Well, which definition of continuity are you using?2012-05-05
  • 0
    The formal one as follows For all $ \epsilon >0$, there exists $ \delta >0$ such that for all $ x \in \mathbb{R}$ satisfying $ |x-x_0| < \delta$, one has $ |f(x)-f(x_0)| < \epsilon $.2012-05-05
  • 2
    @VietHoangQuoc Ditch that definition here. Use the following definition: A function $f: X \rightarrow Y$ between two topological spaces is continuous if for every open set $U$ in $Y$, the preimage of $U$ under $f$ is open in $X$.2012-05-05
  • 0
    @VietHoangQuoc As Benjamin points out, that definition is often inadequate when dealing with topological problems. Is there any chance you can use the the definition Benjamin pointed out? There is, philosophically, no difference between the two definitions.2012-05-05
  • 0
    @Benjamin Lim : This is the first course in Analysis so we have not learnt anything such as Topological spaces and other things, just simply the definition and way to go. Thanks.2012-05-05
  • 0
    @VietHoangQuoc What if it was phrased in this regards. Every open ball $B_\delta(x)\subseteq\mathbb{Q}$ has preimage equal to the union of balls? Is that closer to something you may be able to work with?2012-05-05
  • 0
    To my understanding, if we can pick a rational point $x_1$ satisfying $|x_1-x_0|< \delta$ such that $|f(x_1)-f(x_0)| \ge \epsilon$ then this will give a contradiction.2012-05-05
  • 0
    @VietHoangQuoc Because now we are dealing with the usual topology on $\Bbb{R}$ and the usual subspace topology on $\Bbb{Q}$, the definitions of continuity using open sets and epsilon - deltas ***are not different from each other***.2012-05-05
  • 0
    Thanks all the the great effort made, let's me just recap what we have had so far: $f$ is continuous iff for all $\epsilon >0$, $ x \in B_{\delta}(x_0)$ then $f(x) \in B_{\epsilon}(f(x_0))$2012-05-05
  • 1
    Here is another similar type of question proving the function is constant using the continuity definition, Let $f: [-1,1] \to \mathbb{R}$ be a function with $f(x)=f(x^2)$ for all $ x \in (-1,1)$. Suppose that $f$ is continuous at 0. Prove that $f$ is a constant.2012-05-05
  • 0
    @VietHoangQuoc In the last comment, the problem you tell us is best solved using $\varepsilon-\delta$ definition is more appropriate.2012-05-05