Bounded variation and invariant measures
For a given sequence a boundedly expressible set is introduced. Three criteria concerning the Hausdorff dimension of such sets are proved.
For every irrational rotation we construct a coboundary which is continuous except at a single point where it has a jump, is nondecreasing, and has zero derivative almost everywhere.