The Takagi function τ: [0,1] → [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. The level sets L(y) = x : τ(x) = y of the Takagi function τ(x) are studied by introducing a notion of local level set into which level sets are partitioned. Local level sets are simple to analyze, reducing questions to understanding the relation of level sets to local level sets, which is more complicated. It is known that for a “generic” full Lebesgue measure set of ordinates y, the level sets are finite sets. In contrast, here it is shown for a “generic” full Lebesgue measure set of abscissas x, the level set L(τ(x)) is uncountable. An interesting singular monotone function is constructed associated to local level sets, and is used to show the expected number of local level sets at a random level y is exactly ( 3 2 ).
We compute the Hausdorff dimension ofM x = s:X(s)=x and of for almost everyx andt in [0;1] for a class of self-affine functionsX. We study the occupation measure of a class of self-affine functions in Kamae’s sense. As these functions are Jarnik functions, we give examples of Jarnik functions which are not (LT), answering negatively to a problem of Geman and Horowitz.