0. Introduction. Throughout this paper T will denote a measure preserving transformation on a cr-finite infinite measure space (X, (B, m) which is point isomorphic with the Lebesgue measure space of the real line. Unless otherwise stated, T will be one-one. Equations involving functions or sets will always be interpreted modulo sets of measure zero. T is said to be ergodic if T~1E = E, ££(B, im...