Real Analysis · Advanced

Continuous functions that are periodic under composition

Advanced Real Analysis question for CSIR-NET · GATE. Choose an option, check your answer, then read the detailed solution.

Real AnalysisContinuityAdvancedCSIR-NET · GATE25 August 2026

Question RA-005

Let $f:[0,1]\to[0,1]$ be continuous. Define $f^n=f\circ f\circ\cdots \circ f$ ($n$-fold composition) and suppose $f^n(x)=x$ for all $x\in[0,1]$ and some fixed $n\ge2$. Which of the following must be true?

Detailed Solution

Since $f^n(x)=x$ for all $x$, $f$ is injective (if $f(x)=f(y)$ then $f^n(x)=f^n(y)$, i.e. $x=y$) and surjective (every $y$ has preimage $f^{n-1}(y)$, since $f(f^{n-1}(y))=f^n(y)=y$). A continuous injective function on an interval must be strictly monotone, so $f$ is strictly monotone on $[0,1]$ — this is (D). (As a consequence, $f$ also has at least one fixed point: if increasing, the bijection forces $f(0)=0$; if decreasing, it forces $f(0)=1,f(1)=0$, and the Intermediate Value Theorem applied to $f(x)-x$ gives a root — so (B) is also true, but (D) is the more fundamental fact.) Option (A) is false: $f(x)=1-x$ satisfies $f^2(x)=x$ (so $n=2$ works) yet is not the identity. Option (C) is false: for that same $f(x)=1-x$, the point $x=1/2$ satisfies $f(1/2)=1/2$, so it has period $1$, not period exactly $2$. Thus the correct option is $\boxed{\mathrm{D}}$.
Concepts tested: Iterated functionsInjective continuous functionsMonotonicity
💬 Discuss this problem
Have a doubt or a different approach? Continue the mathematics discussion on Telegram.
Join Telegram Discussion

Keep Practising

More Real Analysis Questions

Equality on the Closure

ModerateIIT JAM · CSIR-NET · GATE2 Oct 2026

If two continuous functions agree on an open set, how far must their equality extend?

Attempt Question →

Level Sets of a Continuous Function

AdvancedIIT JAM · CSIR-NET · GATE26 Sep 2026

What can be said about the sets where a continuous function lies above, equals, or falls below the identity function?

Attempt Question →

A Quadratic Modulus of Continuity Forces Constancy

AdvancedCSIR-NET · GATE18 Sep 2026

If $|f(x)-f(y)|\le |x-y|^2$ for all $x,y\in\mathbb R$, what can we conclude about $f$?

Attempt Question →