Let g : N \[\to\] N be defined as
g(3n + 1) = 3n + 2,
g(3n + 2) = 3n + 3,
g(3n + 3) = 3n + 1, for all n \[\ge\] 0.
Then which of the following statements is true?
Solutions · 1
Official solution
g : N \[\to\] N
g(3n + 1) = 3n + 2,
g(3n + 2) = 3n + 3,
g(3n + 3) = 3n + 1
\[g(x) = \left[ {x+1x+1x−2x=3k+1x=3k+2x=3k+3 } \right.\]
\[g\left( {g(x)} \right) = \left[ {x+2x−1x−1x=3k+1x=3k+2x=3k+3 } \right.\]
\[g\left( {g\left( {g\left( x \right)} \right)} \right) = \left[ {xxxx=3k+1x=3k+2x=3k+3 } \right.\]
If f : N \[\to\] N, if is a one-one function such that f(g(x)) = f(x) \[\Rightarrow\] g(x) = x, which is not the case
If f : N \[\to\] N f is an onto function
such that f(g(x)) = f(x),
one possibility is
\[f(x) = \left[ {xxxx=3n+1x=3n+2x=3n+3 } \right.\] n\[\in\]N0
Here f(x) is onto, also f(g(x)) = f(x) \[\forall\] x\[\in\]N