MathDB
measurablility of level sets

Source: Miklos Schweitzer 2006 q8

September 14, 2021
real analysis

Problem Statement

let f(x)=n=02n2nxf(x) = \sum_{n=0}^{\infty} 2^{-n} ||2^n x|| , where ||x|| is the distance between x and the closest integer to x. Are the level sets {x[0,1]:f(x)=y}\{ x \in [0,1] : f(x)=y \} Lebesgue measurable for almost all yf(R)y \in f(R)?