MathDB
sequence of functions on N

Source: Serbian Mathematical Olympiad 2007

June 9, 2007
functioninductionalgebra proposedalgebra

Problem Statement

Let kk be a natural number. For each function f:NNf : \mathbb{N}\to \mathbb{N} define the sequence of functions (fm)m1(f_{m})_{m\geq 1} by f1=ff_{1}= f and fm+1=ffmf_{m+1}= f \circ f_{m} for m1m \geq 1 . Function ff is called kk-nice if for each nN:fk(n)=f(n)kn \in\mathbb{N}: f_{k}(n) = f (n)^{k}. (a) For which kk does there exist an injective kk-nice function ff ? (b) For which kk does there exist a surjective kk-nice function ff ?