Does this theorem work for a continuous function $f : ]a,b[ \rightarrow ]a,b[$ with $a, b \in \mathbb{\bar{R}}$ ?
Thanks in advance.
Does this theorem work for a continuous function $f : ]a,b[ \rightarrow ]a,b[$ with $a, b \in \mathbb{\bar{R}}$ ?
Thanks in advance.
No, but it does hold for a continuous function $f:[a,b]\to [a,b]$ Here's the proof for the special case when $[a,b]=[0,1]$
Case 1: $f(0)=0$. In which case, done, that's our fixed point. Case 2: $f(1)=1$. Again, we're done, that's our fixed point.
Case 3: $f(0)>0,f(1)<1$. Then define a new function $g(x)=f(x)-x$ on $[0,1]$. We have $g(0)=f(0)-0>0$, $g(1)=f(1)-1<0$, so by the intermediate value theorem, for some point $c\in (0,1)$, $g(c)=f(c)-c=0$, hence $f(c)=c$.
The generalization to $[a,b]$ comes from either redoing the g function or the ultra simple proof that "All continuous functions on the topological space X have a fixed point" is a topological property, and $[a,b]$ is homeomorphic to $[0,1]$.