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 ).
One can define in a natural way irregular 1-sets on the graphs of several fractal functions, like Takagi’s function, Weierstrass-Cellerier type functions and the typical continuous function. These irregular 1-sets can be useful during the investigation of level-sets and occupation measures of these functions. For example, we see that for Takagi’s function and for certain Weierstrass-Cellerier functions the occupation measure is singular with respect to the Lebesgue measure and for almost every level the level set is finite. The Takagi function : [0, 1] [0, 1] is a continuous non-differentiable function constructed by Takagi in 1903. This paper studies the level sets L(y) = x : (x) = y of the Takagi function (x). It shows that for a full Lebesgue measure set of ordinates y, these level sets are finite sets, but whose expected number of points is infinite. Complementing this, it shows that the set of ordinates y whose level set has positive Hausdorff dimension is itself a set of full Hausdorff dimension 1 (but Lebesgue measure zero). Finally it shows that the level sets have a nontrivial Hausdorff dimension spectrum. The results are obtained using a notion of "local level set" introduced in a previous paper, along with a singular measure parameterizing such sets.