Collatz map as a non-singular transformation

Abstract: Let

T

be the map defined on

N

by

T (n) = f r a c n 2

if

n

is even and by

T (n) = f r a c 3 n + 1 2

if

n

is odd. Consider the dynamical system

(N, 2^{N}, u, T)

where

u

is a finite measure equivalent to the counting measure. Define the operator

U : L^{1} (u) i g h t a r r o w L^{1} (u)

by

U f = f c i r c T .

We show that the Collatz conjecture is equivalent to the existence of a finite measure

u

on

(N, 2^{N})

making the operator

V f = f c i r c T

power bounded in

L^{1} (u) .

This page was built for publication: Collatz map as a non-singular transformation