A transformation theorem for one-dimensional F-expansions

If f is a monotone function subject to certain restrictions, then one can associate with any real number x between zero and one a sequence {a_n(x)} of integers such that

$\text{x=f(a}{}_1\text{(x) + f(a}{}_2\text{(x) +f(a}{}_3\text{(x) +…)))}$

. In this paper properties of the function F defined by

$\text{Fx=g(a}{}_1\text{(x) + g(a}{}_2\text{(x) +g(a}{}_3\text{(x) +…)))}$

, where g is any function satisfying the same restrictions as f, are discussed. Principally, F is found to be useful in finding stationary measures on the sequences {a_n(x)}.