QB5
15 marks
Proof
Proof That a Map Has a Specific Property
View
Throughout this question every mentioned function is required to be a differentiable function from $\mathbb { R }$ to $\mathbb { R }$. The symbol $\circ$ denotes composition of functions.
(a) Suppose $f \circ f = f$. Then for each $x$, one must have $f ^ { \prime } ( x ) = $ \_\_\_\_ or $f ^ { \prime } ( f ( x ) ) = $ \_\_\_\_. Complete the sentence and justify.
(b) For a non-constant $f$ satisfying $f \circ f = f$, it is known and you may assume that the range of $f$ must have one of the following forms: $\mathbb { R } , ( - \infty , b ] , [ a , \infty )$ or $[ a , b ]$. Show that in fact the range must be all of $\mathbb { R }$ and deduce that there is a unique such function $f$. (Possible hints: For each $y$ in the range of $f$, what can you say about $f ( y )$? If the range has a maximum element $b$ what can you say about the derivative of $f$?)
(c) Suppose that $g \circ g \circ g = g$ and that $g \circ g$ is a non-constant function. Show that $g$ must be onto, $g$ must be strictly increasing or strictly decreasing and that there is a unique such increasing $g$.