Supposef: [a,b] →Ris continuous and thatf([a,b]) is a subset ofQ. Prove thatfis constant on [a,b].

Printable View

- May 5th 2009, 04:02 PMbearej50More Properties of Continuous Functions
Suppose

*f*: [*a*,*b*] →**R**is continuous and that*f*([*a*,*b*]) is a subset of**Q**. Prove that*f*is constant on [*a*,*b*].

- May 5th 2009, 04:28 PMGamma
You are gonna want to use the fact that a continuous image of a connected set is connected (intervals are connected).

If it is not constant, then there are x<y in the interval for which $\displaystyle f(x)\not = f(y)$. But as the irrationals are dense in the reals, you can be sure you can find an irrational number $\displaystyle \alpha$ between these two values $\displaystyle f(x),f(y)$. But this is not in $\displaystyle f([a,b])\subset \mathbb{Q}$. But then you would have a separation of the image of the connected interval at $\displaystyle \alpha$. Think you can fill in the details? - May 6th 2009, 09:51 PMjohnnymath345
I am currently working on proofs similar in nature to this one. Could you be so kind as to fill in the details for me???

- May 6th 2009, 10:22 PMGamma
Basically, the continuous image of a closed bounded interval is a closed bounded interval.

Closed bounded intervals are compact and connected. The continuous image of a compact set is compact. And the continuous image of a connected set is connected.

But the image of [a,b] under this map is assumed to be a subset of the rational numbers. The rational numbers are in fact totally disconnected in the reals, because between any two rational numbers you can always find an irrational number.

So basically the idea is take f([a,b]) it will be a closed bounded interval in the reals say [c,d] because f is continuous. We want to show basically that d must in fact be c and this map is really just a constant map to c.

Well suppose d>c. Then there is an irrational number call it x between c and d. c<x<d. But then simply consider $\displaystyle (c,x) \cap [c,d]$ and $\displaystyle (x,d) \cap [c,d]$ these form a separation of [c,d] making in not connected which is a contradiction.

Seem okay?