Prove that f is a constant function

[drawar]

Homework Statement

Suppose that the function f:ℝ→ℝ is continuous on ℝ and f\left( {r + \frac{1}{n}} \right) = f(r) for any rational number r and natural number n.
(i) Prove that for any rational r and natural numbers n and m, f\left( {r + \frac{m}{n}} \right) = f(r).
(ii) Prove that f is a constant function

Homework Equations

The Attempt at a Solution

For part (i), I think we can just use induction on m:
Let P(m) be the statement that f\left( {r + \frac{m}{n}} \right) = f(r), for any rational r and natural numbers n and m
The case when m=1 is given as a hypothesis, so no need to prove it.
Assume P(k) holds, i.e. f\left( {r + \frac{k}{n}} \right) = f(r), then
f\left( {r + \frac{k+1}{n}} \right) = f\left( {r + \frac{k}{n} + \frac{1}{n}} \right) = f\left( {r + \frac{k}{n}} \right) = f(r) => P(k+1) also holds. By principle of mathematical induction, P(m) holds.

Any hint on part (ii) is much appreciated, as I don't even know how to get started, thanks!

 

[haruspex]

You'll need to use continuity, so how about supposing the negative (f(r) not equal to f(0) for some real r) and introducing a sequence of rationals converging to r?

 

[drawar]

You'll need to use continuity, so how about supposing the negative (f(r) not equal to f(0) for some real r) and introducing a sequence of rationals converging to r?

Thank you.
Oh continuity, that's exactly what our professor gave us as a hint :) But how do you know the proof of constant function involves continuity? Also, what theorem(s) are we going to use here?

 

[haruspex]

Oh continuity, that's exactly what our professor gave us as a hint

It's also a given fact about the function, which is a hint in itself.

But how do you know the proof of constant function involves continuity?

Without a condition such as continuity, there doesn't need to be any relationship between the values a function takes at different points. Since the rationals are dense in the set of reals, continuity implies strong constraints on the relationship between the values at rational and irrational points.

Also, what theorem(s) are we going to use here?

Use the definition of continuity, obviously. Start by assuming the result is not true, i.e. there exists some real r for which f(r) ≠ c, where c is the value of f at all rational points. You then need to find a sequence of rationals converging to r - that's the interesting part. There may be some theorem you've been taught that helps with that, but it's not hard from first principles. Then apply the definition of continuity to this sequence and the result should drop out.

 

[drawar]

Well finally something pops up in my mind.
By part (i), f(x)=c for some constant c and all rationals x. Suppose f is not a constant function, then there exists a real number r s.t f(r)≠c. By the Density Theorem, there exists a sequence (r_n) of rationals converging to r. Now since f is continuous on R,
f(r) = f(\mathop {\lim }\limits_{n \to \infty } {r_n}) = \mathop {\lim }\limits_{n \to \infty } f({r_n}) = \mathop {\lim }\limits_{n \to \infty } c = c
, which is a contradiction!. Hence f is a constant function.

 

[haruspex]

Bingo.