2
$\begingroup$

I'm working on a project where I define a new sort of measure defined as the following: $m_\phi(E)=m(\phi^{-1}(E))\;,$ where $E \subset C$ for the ternary Cantor set $C$. Mind you that $\phi: \text{binary sequences in}\ [0,1] \rightarrow C\;.$ This measure is defined for the following $\sigma$-algebra:
$\mathcal{M_\phi}= \{E \subset C \mid \phi^{-1}(E) \in \mathcal{M}\}\;,$ where $\mathcal{M}$ is the $\sigma$-algebra of Lebesgue measurable sets. Keeping the ternary Cantor set $C$ as my "universe," I built a measure space $(C, \mathcal{M_\phi}, m_\phi)$ from which I concluded that $m_\phi(C)= 1$.

So this means that the measure space I built is in fact a probability measure space. My question is how could I construct a measure-preserving transformation for my measure space? I did read and got some basic ideas relating to what measure-preserving transformations are in general, but so far it seems I'm getting almost nowhere. Could this transformation perhaps be some sort of fractional linear map or group action? I did read somewhere that $C$ could be taken as the set of $2$-adic integers, so perhaps I could relate my measure to $2$-adic measure, but how do we account for convergence when it comes to the set of $2$-adic integers?

  • 2
    There are many such maps. Try for instance $x \to 3x [1]$, that's probably the simplest (beside the identity).2012-02-22

1 Answers 1

1

Two straightforward possibilities:

  1. For any $n\ge 0$ send $x$ to $3^nx$ reduced mod $1$; the case $n=1$ was D. Thomine’s suggestion in the comments.

  2. Let $F$ be any finite set of positive integers, and let $\varphi_F:\{0,2\}\to\{0,2\}:d\mapsto\begin{cases}2-d,&\text{if }d\in F\\d,&\text{if }d\notin F\;.\end{cases}$ If $x=\sum_{n\ge 1}\frac{d_n}{3^n}\in C\;,$ where each $d_n\in\{0,2\}$, let $f_F(x)=\sum_{n\ge 1}\frac{\varphi_F(d_n)}{3^n}\;.$ These functions simply shuffle some of the ‘blocks’ of $C$. For example, $f_{\{1\}}$ swaps the left and right halves of $C$ while preserving the order within each half.