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.
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$.