I am trying to prove that a continuous decreasing function $f: \Bbb R → \Bbb R$ has a fixed point.
I tried to use the function $g(x) = f(x) - x$, which should be a decreasing one, but I don't know how to obtain a point of $g$ that is $0$.
I am trying to prove that a continuous decreasing function $f: \Bbb R → \Bbb R$ has a fixed point.
I tried to use the function $g(x) = f(x) - x$, which should be a decreasing one, but I don't know how to obtain a point of $g$ that is $0$.
On
Introducing the fhe function $g:x\mapsto f(x)-x$ is not necessary. Instead, consider $a=f(0)$.
$g(x) \geq f(0)-x$ for $x<0$ so $g(x) \to \infty$ as $x \to -\infty$. Similarly, $g(x) \leq f(0)-x \to -\infty$ as $x \to \infty$. By IVP we get $g(x)=x$ for some $x$.