2
$\begingroup$

I came across this question in an answer given to a question here on MSE.

Given that $f(a)=f(a^2)$ for all $a\in [0,1]$,$f$ continuous, it is easy to prove by induction that $p(n): f(a) = f(a^{2^{n}})$ for all $a\in [0,1]$ and for all $n\in \mathbb{N}$.

I am having a hard time proving it. Here's my attempt though, and I'll appreciate any help I can get.

For $n=1$, $p(n)$ is true.
Now , suppose it is true for $n=k$. i.e. $f(a)=f\left(a^{2^{k}}\right)$ and consider it for for $n=k+1$. So we would have $ f\left(a^{2^{k+1}}\right)=f\left(a^{2^k}\cdot a^2\right)$

Now this is where I get stuck.


Okay, so thanks to the quick answers below, I see where I went wrong. I make some modification to the $k+1$ step. $ f\left(a^{2^{k+1}}\right)=f\left(a^{2^k}\cdot a^{2^k}\right)=f\left(\left(a^{2^k}\right)^2\right)=f(a)~~\text{by the induction hypothesis}.$

2 Answers 2

2

Note that $a^{2^k}a^2 = a^{2^k+2}\neq a^{2^{k+1}}$ (unless $k=1$).

What you want is $a^{2^k}a^{2^k} = a^{2^k+2^k} = a^{2(2^k)} = a^{2^{k+1}}.$

  • 0
    Right!...Thanks ver$y$ much.2011-11-14
1

HINT : Your mistake is with your index laws. It is not true that $ a^{2^{k+1} } = a^{2^k} \cdot a^2 . $ The second term is actually $ a^{2^k +2}$, since $ a^m \cdot a^n = a^{m+n}.$ Instead, the correct manipulation is $ a^{2^{k+1} } = ( a^{2^k} )^2 $ because of the general index law $ (a^m)^n = a^{mn}.$

  • 0
    Thanks for your swift response.2011-11-14