2
$\begingroup$

Find all $f:\mathbb{N} \to \mathbb{N}$ such that $f(f(n)) = 2n\; \forall n \in \mathbb{N}$

If it was $f:\mathbb{R} \to \mathbb{R}$ then the solution was simply $f(n) = \sqrt{2}n$. But how to solve when $f : \mathbb{N} \to \mathbb{N}$ ?

  • 1
    There needs to be more restraints; is there a condition that $f(n)$ is an increasing function? – 2017-01-24
  • 1
    There are other functions $f:\mathbb R\to\mathbb R$ than $f(x)=\sqrt2x$, such that $f(f(x))=2x$ identically. – 2017-01-24
  • 0
    @S.C.B. no... There is no condition like that ... But it said the function must be true for all $n \in \mathbb{N}$ – 2017-01-24
  • 0
    @Did I would like to know the solutions for $f:\mathbb{R} \to \mathbb{R} $ also. – 2017-01-24
  • 0
    For an example showing that to give every solution is probably hopeless, consider $$f(2^n(4k+1))=2^n(4k+3)\qquad f(2^n(4k+3))=4^n(4k+1)$$ for every nonnegative $(n,k)$. This defines $f$ on $\mathbb N$ such that $f(f(n))=2n$ for every $n$. – 2017-01-24

1 Answers 1

6

There are many functions $f$ that work.

Here is an uncountable family of them:

Consider all the possible partitions of the odd integers into ordered pairs.

If you have the ordered pair $(a,b)$ then we define $f(b2^k)=a2^k$ and $f(a2^{k})=b2^{k+1}$.

We let $f(0)=0$.

This already gives us a bunch of extremely weird functions $f$, and of course, there are weirder ones.

  • 0
    Is $0 \in \mathbb{N}$ ? – 2017-01-24
  • 0
    Well, if it isn't just omit the second to last line and we're still good to go. – 2017-01-24
  • 0
    Nice! Is there a quick way to see that all possibles partitions constitute an uncountable family? – 2017-01-24
  • 1
    @PAM Since the pairs are "ordered", it is clear that they are uncountable, since we can give an uncountable number of orientations to each partition. But even without this it is true that the number of unoriented partitions is uncountable.To see this it suffices to restrict our attention to the partitions that always pair up elements that are $1\bmod 4$ with elements that are $3\bmod 4$. The number of such partitions is clearly equal to the number of bijections from $\mathbb N$ to $\mathbb N$, which is known to be uncountable. – 2017-01-24
  • 1
    @PAM one way to see the number of bijections on an infinite set $A$ is larger than $A$ itself is to notice that for every subset $B$ not of the form $B\setminus \{x\}$ we can find a permutation such that the set of fixed elements of the permutation is $B$, and then using Cantor's theorem. – 2017-01-24