On a one-dimensional analogue of the Smale horseshoe
We construct a transformation T:[0,1] → [0,1] having the following properties: 1) (T,|·|) is completely mixing, where |·| is Lebesgue measure, 2) for every f∈ L¹ with ∫fdx = 1 and φ ∈ C[0,1] we have , where μ is the cylinder measure on the standard Cantor set, 3) if φ ∈ C[0,1] then for Lebesgue-a.e. x.