<oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
<dc:title>Level sets of the Takagi function: generic level sets</dc:title>
<dc:creator>Jeffrey Lagarias</dc:creator><dc:creator>Zachary Maddock</dc:creator>
<dc:subject>26A45</dc:subject><dc:subject>26A27</dc:subject><dc:subject>26A30</dc:subject><dc:subject>28A25</dc:subject><dc:subject>Hausdorff dimension</dc:subject><dc:subject>Level set</dc:subject><dc:subject>Singular measure</dc:subject><dc:subject>Takagi function</dc:subject>
<dc:description>The Takagi function $\tau:[0,1]\to[0,1]$ is a continuous non-differentiable function constructed by Takagi in 1903. This paper studies the level sets $L(y) = \{x:\tau(x) = y\}$ of the Takagi function $\tau(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 &quot;local level set&quot; introduced in a previous paper, along with a singular measure parameterizing such sets.</dc:description>
<dc:publisher>Indiana University Mathematics Journal</dc:publisher>
<dc:date>2011</dc:date>
<dc:type>text</dc:type>
<dc:format>pdf</dc:format>
<dc:identifier>10.1512/iumj.2011.60.4554</dc:identifier>
<dc:source>10.1512/iumj.2011.60.4554</dc:source>
<dc:language>en</dc:language>
<dc:relation>Indiana Univ. Math. J. 60 (2011) 1857 - 1884</dc:relation>
<dc:coverage>state-of-the-art mathematics</dc:coverage>
<dc:rights>http://iumj.org/access/</dc:rights>
</oai_dc:dc>