1
$\begingroup$

Use the Intermediate Value Theorem to prove $f:[0,1]\to [0,1]$ continuous and $C\in[0,1]$, there is some $c \in [0,1]$ such that $f(c) = C$.

Using a similar technique to the proof of the intermediate value theorem, I can easily prove that there is an $f(x) = C$, but I am having trouble proving that a $f(c) = C$.

This is what I have:

Since $f$ is continuous on $[0,1]$ there exists $f(a) = 0$ and $f(b) = 1$.

Let $g(x) = F(x) - C$. We assume that $f(a) < C < f(b)$ $\to$ $0 < C < 1$

when $x = a$, $g(a)$ is negative when $x = b$, $g(b)$ is positive

Therefore, $g(a) < 0 < g(b)$, and since $f$ is continuous on $[0,1]$, so is $g$.

Therefore there exists a $g(x) = 0$, and $f(x) = C$.

How can I prove there is a $f(c) = C$ ? Is this a rule for IVT?

Thanks!

  • 1
    In fact, the theorem as stated is not true. Consider $f(x) = x/2$ and $C=3/4$. You need tnat $f$ is onto $[0,1]$.2012-04-09

2 Answers 2

5

The problem in your approach is that your already fix $C$ when you define $g$, whereas we don't know a priori what it will be (and there is also a confusion between $c$ and $C$).

Consider $g(x)=f(x)-x$; $g$ is continuous on $[0,1]$, and $g(0)=f(0)\geq 0$, and $g(1)=f(1)-1\leq 0$ so $g$ take the value $0$ at some $c\in [0,1]$.

  • 0
    Hi Davide, I took your approach and I think that is the right way to go. I actually left out 'if': the question should actually read: Use the IVT to prove that if f:[0,1] ->$[0,1]$is continuous, then there exists a$C$E [0,1], such that f(c) = C.2012-04-11
0

You can prove using the intermediate value theorem that if $f:[0,1] \to [0,1]$ is a continuous function then for every $\lambda \in \left[ \min_{[0,1]}f(x),\max_{[0,1]}f(x)\right] $ and only for these values of $\lambda$, there exists $c \in [0,1]$ with $f(c)=\lambda$.

The problem is that you pick $C$ arbitrarily, and you can easily define continuous functions on $[0,1]$ which do not take a certain value: constant functions, continuous functions $f: [0,1] \to [0,C/2]$, etc.

The flaw in your argument is that you assume that if $f$ is continuous then there exist $a,b$ such that $f(a)=0$ and $f(b)=1$. You cannot assume such thing unless $f$ is onto

  • 0
    yes, f:[0,1] is onto the range [0,1]. In which case, i think Davide is right, the function must intersect with the function g(x) = x, at some point. At this intersection is where f(c) = C.2012-04-11