7
$\begingroup$

Let $f : I^2 \to I$ be a continuous map, where $I := [0,1]$ is the unit interval. It is a basic fact that for each $y\in I$, the function $x \mapsto f(x,y)$ admits a fixed point. I want to ask whether one can always choose those fixed points as a continuous function of $y$.

Question: Does there always exist a continuous path $\gamma : I \to I$ such that $f(\gamma(y),y) = \gamma(y)$ for every $y\in I$?

$\endgroup$
3
  • $\begingroup$ Do you mean that $f : [0,1] \times [0,1] \to [0,1]$ and searching for a continuous $g : [0,1] \to [0,1]$ such that $f(g(y), y) = g(y)$ for all $y \in [0,1]$, is it? $\endgroup$ Jan 24, 2014 at 4:05
  • $\begingroup$ Yes. Exactly. I forgot mentioning the range of $f(x,y)$. $\endgroup$
    – LSZ
    Jan 24, 2014 at 5:11
  • 3
    $\begingroup$ You may find arxiv.org/abs/1210.6496 interesting. $\endgroup$ Jan 25, 2014 at 10:54

1 Answer 1

9
$\begingroup$

Not necessarily. Let $f(x,0)=0$, $\,f(x,1/2)=x$, $\,f(x,1)=1$, and define $f(x,y)$ for $0<y<1/2$ and $1/2<y<1$ by linear interpolation (that is, $f(x,y) = 2yx$ and $f(x,y)=1-2(1-y)(1-x)$ respectively). Then $g(y)$ would have to be $0$ for $y<1/2$ and $1$ for $y>1/2$, so $g$ cannot be continuous at $y=1/2$.

$\endgroup$
1
  • 1
    $\begingroup$ Good example... is there an more strange example such that the fixed point at $y=0$ and the fixed point at $y=1$ stay in different path components of the set of such fixed points? $\endgroup$ Jan 24, 2014 at 5:41

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.