Level Sets of the Takagi Function: Local Level Sets

Abstract

The Takagi function τ: [0, 1] \to [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. 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.

32 pages, 2 figures, 1 table. Latest version has updated equation numbering. The final publication will soon be available at springerlink.com

References in corpus (4)

• Level Sets of the Takagi Function: Generic Level Sets
• The Takagi Function and Its Properties
• The Takagi function: a survey
• On the distribution of the cardinalities of level sets of the Takagi function

Cited by in corpus (6)

• Level Sets of the Takagi Function: Generic Level Sets
• Slices of the Takagi function
• The Takagi function: a survey
• On the distribution of the cardinalities of level sets of the Takagi function
• Functions consistent with real numbers, and global extrema of functions in exponential Takagi class
• Hausdorff dimension of level sets of generalized Takagi functions