In $\mathbb R_{+}$ (non-negative) I realize that any nonnegative valued continuous function $f\colon X \rightarrow Y$ where $X, Y \subseteq \mathbb R_{+}$ with a negative finite gradient has a fixed point.
But the Brouwer fixed point theorem tells us that the function should map the domain into codomain, i.e., $Y\subseteq X$. Is this required in the above case? I feel that even if the $Y \supset X$ the fixed point exists.
I mean if the function in the following figure didn't cut the red line and instead cut the $x$ axis say at 0.6 still the fixed point exists. http://en.wikipedia.org/wiki/File:Th%C3%A9or%C3%A8me-de-Brouwer-dim-1.svg http://en.wikipedia.org/wiki/Brouwer_fixed-point_theorem
Edit: I forgot to mentions that:
The domain $X$ has left end $0$ and both $X, Y$ are closed. (like in the picture)
Thank you.
Let $ X= (1,2)$, $Y=(0,3)$. Then $f(x)=1-\frac x2$ has no fixed point.