Showing that $f(x)=x$ for at least one point in $[0,1]$

452 Views Asked by At

Problem: Let $I=[0,1]$ be the closed unit interval. Suppose $f$ is a continuous mapping of $I$ into $I$. Prove that $f(x)=x$ for at least one $x \in I$.

Attempt:

We have a known result:

Let $g$ be a continuous real valued function on a metric space $X$. Then $Z(g)=\{p \in X: g(p)=0 \}$, i.e. the zero set of $g$ is closed. [Proof is simple using "inverse image of a closed set is closed under continuous map"]

Now, we construct $F:I \to I$, such that $F(x) =f(x)-x$, which is definitely continuous, being a linear combination of two continuous functions.
[It is assumed that $F(x)=f(x)-x>0$, $\forall x\in I$. [ If $x>f(x)$, consider the function $F_1(x)=x-f(x)$ ]. Otherwise, if the function $F(x)$ changes sign somewhere within the interval, it must attain the value $0$, giving us $f(x)=x$ ].

But we know that $Z(F)$ is closed, hence it cannot be $\phi$. We are done.

Is this at all a valid proof?

Edit: Being doubtful, I write up another approach:

The function $f$ maps into $I$, i.e. itself. Hence, to be $f(x)>x$ for every value of $x$, its range set would have to exceed $I$, and the best case scenario would be the identity map, for which $f(x)=x$ for all $x$ . Otherwise, $F(x)$ must change sign.

2

There are 2 best solutions below

2
On

No, it is not at all valid. The empty set is also closed.

Note that your "proof" would also apply to $F(x) = f(x) - x/2$, but there is not necessarily a solution to $f(x) = x/2$.

9
On

No, the proof is not valid. It is not clear (nor is it necessarily true) that $F$ is a mapping from $I$ to $I$.

I would approach it this way: Letting $F$ be as you specified, it follows that $F(0) \geq 0$ while $F(1) \le 0$. Furthermore, $F$ is also continuous. Therefore by the intermediate value theorem there is an $x \in [0,1] = I$ s.t. $F(x) = 0$, or equvialently, $f(x) = x$.