# For a continuous function $f$ satisfying $f(f(x))=x$ has exactly one fixed point

Let $f \colon [ 0, 1] \to [0, 1]$ be a continuous map such that $$f\big( f(x) \big) = x \ \mbox{ for each } x \in [0, 1],$$ and $$f(x) \neq x \ \mbox{ for at least one } x \in [0, 1],$$ then how to show that $f$ has exactly one fixed point in $[0, 1]$?

I know (how to show) that $f$ does have at least one fixed point in $[0, 1]$.

Suppose that $u \in [0, 1]$ is such that $f(u) \neq u$. Suppose further that $p, q \in [0, 1]$ satisfy $f(p) = p$ and $f(q) = q$.

What next? Can we arrive at a contradiction?

Of course, $$f\big( f(u) \big) = u,$$ so that $$f \big( f(u) \big) \neq f(u).$$

Context:

This is Prob. 1.2 in the book An Introduction To Metric Spaces And Fixed Point Theory by Mohamed A. Khamsi and William A. Kirk.

• For some intuition on self-inverse functions: they symmetric to the line $f(x)=x$ as explained here. Having this symmetry makes them strictly decreasing. Such functions can have only a single intersection with any strictly increasing function as $f(x)=x$. This intersection is the fixed point. – M. Winter Aug 19 '18 at 16:30

$f$ is injective, since $f(x)=f(y) \implies f(f(x))=f(f(y)) \implies x=y$. Now, every injective continuous function is monotone. Now, by Brouwer's fixed point theorem, there is at least one fixed point. If there are two fixed points $x_1 > x_2$, then $f(x_1)>f(x_2)$ i.e. $f$ is monotone increasing. Now, there exists $x_0$ such that $f(x_0) \neq x_0$. Suppose, $f(x_0)>x_0$. Then $f(f(x_0))>f(x_0) \implies x_0>f(x_0)$. Contradiction.

If $f(x_0)<x_0$ then we arrive at the same contradiction.

• @Empty Well, I never said "strictly". It's increasing because there is a pair where $f$ preserves their order i.e. $x>y$ and $f(x)>f(y)$ and $f$ is monotone. – MathIsNice1729 Aug 19 '18 at 15:29
• @Empty You have two options. Monotone increasing or decreasing. Now, as there is a pair which shows it's increasing, then it's increasing. – MathIsNice1729 Aug 19 '18 at 15:30
• Question1: Why $f(x_0)>x_0$ always ? If I take $f(x)=x^2$ then $f$ is strictly increasing. $f(1/2)=1/4<1/2$. !! So you have to specify two different cases. – Empty Aug 19 '18 at 15:48
• Question 2 You have to specify which fixed point Theorem you are using to say $f$ has at least one fixed point. – Empty Aug 19 '18 at 15:50
• @CameronBuie Yeah..It is not a question, but the thing is not clear enough !! – Empty Aug 19 '18 at 15:52

Quite obviously $f$ is onto and one-to-one, so either (a) $f(0) =0$ and $f(1)=1$ or (b) $f(0)=1$ and $f(1) =0$

Also, because $f$ is continuous and a bijection, $f$ is strictly monotonic.

In case $(b)$ it's not difficult to see that $f$ has then exactly one fixed point (I leave this as a task to you).

It remains to show that $(a)$ cannot happen. So assume $f(0)=0, f(1)=1$ and suppose $f(x_0) \neq x_0$ for some $x_0$, assume $f(x_0) < x_0$. Then $f(f(x_0))= x_0 > f(x_0)$. and $f$ is not increasing. A similar reaoning applies if $f(x_0)>x_0$

• Why is it obvious that $f$ is onto? – DanielWainfleet Aug 19 '18 at 15:18
• @DanielWainfleet The image of $f$ has to be $[0,1]$ or else $f(f(x)) = x$ would be false for some $x$. – eyeballfrog Aug 19 '18 at 15:48
• @eyeballfrog. You're right. It IS obvious. Now...:) – DanielWainfleet Aug 19 '18 at 16:27

It is not hard to see that if

• if $f(x)$ is not injective, then $f(f(x))$ is not injective.
• if $f(x)$ is not surjective, then $f(f(x))$ is not surjective.

So since $f(f(x))=x$ is bijective (on $[0,1]$), so is $f(x)$. This makes it either strictly increasing, or strictly descreasing on $[0,1]$.

It cannot be strictly increasing, because then

$$x>f(x) \implies f(x)>\underbrace{f(f(x))}_x \implies f(x)>x.$$

But a strictly decreasing function has obviously a single intersection with any strictly increasing function, e.g. the function $g(x)=x$. But intersections with $g$ are exactly the fixed points.