Brouwer fixed poin in 1-D

120 Views Asked by At

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.

2

There are 2 best solutions below

3
On

Let $ X= (1,2)$, $Y=(0,3)$. Then $f(x)=1-\frac x2$ has no fixed point.

1
On

Let $X=\{1,2\}$ and let $f\colon X\to X$ be $f(1)=2$ and $f(2)=1$. You probably want to assume $X$ and $Y$ are closed intervals.