If $f:\mathbb{R} \to \mathbb{R}$ is a continuous function such that $f(x)=x$ has no real solution, then show that $f(f(x))=x$ has no real solution either.
Is the proof trivial as it seems or does it need an analytical approach?
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this communityIf $f:\mathbb{R} \to \mathbb{R}$ is a continuous function such that $f(x)=x$ has no real solution, then show that $f(f(x))=x$ has no real solution either.
Is the proof trivial as it seems or does it need an analytical approach?
As $f$ is continuous, $g(x)=f(x)-x$ is also continuous. We know that $g(x)=0$ has no root. Thus, either $g(x)>0$ for all $x\in\mathbb{R}$ or $g(x)<0$ for all $x\in\mathbb{R}$. In the first case, we have $f(x)>x$ for all $x\in\mathbb{R}$. So, $$f(f(x))>f(x)>x$$ In the second case, we have $f(x)<x$ for all $x\in\mathbb{R}$. So, $$f(f(x))<f(x)<x$$