# Consider the function f ( x ) : [ 0 , 1 ] &#x2192;<!-- → --> [

Consider the function $f\left(x\right):\left[0,1\right]\to \left[0,1\right]$ given by
$\left\{\begin{array}{ll}2x& 0\le x\le \frac{1}{2}\\ x-\frac{1}{2}& \frac{1}{2}
I found the measure with density given by $\rho =\frac{4}{3}{\chi }_{\left[0,\frac{1}{2}\right]}+\frac{2}{3}{\chi }_{\left(\frac{1}{2},1\right]}$ (with respect to Lebsegue measure) is invariant for this transformation. My question now is: how can I prove this system with this measure is ergodic? I thought to use the approach with invariant functions and Fourier series, but I'm not sure on how to write Fourier expansion with a measure different than Lebesgue's. I also thought to exploit a possible conjugacy with symbolic shift, but wasn't able to prove that $\left[0,\frac{1}{2}\right]$ and $\left(\frac{1}{2},1\right]$ constitute a Markov partition of the unit interval. Any ideas?
You can still ask an expert for help

• Questions are typically answered in as fast as 30 minutes

Solve your problem for the price of one coffee

• Math expert for every subject
• Pay only if we can solve it

Bruno Dixon
They gave as the exact same question in the course "introduction to analysis", as an example for uses for Fourier series, so the solution is bases on Fourier series.
Let's take $f:\mathbb{R}\to \mathbb{C}$ periodic and continuous such that ${\int }_{0}^{2\pi }|f\left(x\right)-f\circ T\left(x\right){|}^{2}=0$, we want to show that there exists $c\in \mathbb{C}$ such that $f\equiv c$.
From Parseval's identity, we know that ${\int }_{0}^{2\pi }|f\left(x\right)-f\circ T\left(x\right){|}^{2}=\sum _{k\in Z}|\stackrel{^}{f-f\circ T}\left(k\right){|}^{2}\phantom{\rule{0ex}{0ex}}.$
Therefore we can infer that
After doing some calculation we can also infer that for any "even" $k\in \mathbb{Z}$ , $\stackrel{^}{f\circ T}\left(k\right)=\stackrel{^}{f}\left(\frac{k}{2}\right)$.
so by induction we can infer now that for any $p\ne 0$, $\stackrel{^}{f\circ T}\left({2}^{n}\cdot p\right)=\stackrel{^}{f}\left(p\right)$ From Riemann–Lebesgue lemma, we can now infer that

So now we conclude that Fouriee series of f is $\stackrel{^}{f}\left(0\right)$ and therefore $f\equiv \stackrel{^}{f}\left(0\right)$, so f is constant, as required.