Singularity of maps of several variables and a problem of Mycielski concerning prevalent homeomorphisms

Abstract

S. Banach pointed out that the graph of the generic (in the sense of Baire category) element of $\text{Homeo}([0,1])$ has length $2$. J. Mycielski asked if the measure theoretic dual holds, i.e., if the graph of all but Haar null many (in the sense of Christensen) elements of $\text{Homeo}([0,1])$ have length $2$. We answer this question in the affirmative. We call $f\in \text{Homeo}([0,1{]}^d)$ singular if it takes a suitable set of full measure to a nullset, and strongly singular if it is almost everywhere differentiable with singular derivative matrix. Since the graph of $f\in \text{Homeo}([0,1])$ has length $2$ iff $f$ is singular iff $f$ is strongly singular, the following results are the higher dimensional analogues of Banach's observation and our solution to Mycielski's problem. We show that for $d\ge 2$ the graph of the generic element of $\text{Homeo}([0,1{]}^d)$ has infinite $d$-dimensional Hausdorff measure, contrasting the above result of Banach. The measure theoretic dual remains open, but we show that the set of elements of $\text{Homeo}([0,1{]}^d)$ with infinite $d$-dimensional Hausdorff measure is not Haar null. We show that for $d\ge 2$ the generic element of $\text{Homeo}([0,1{]}^d)$ is singular but not strongly singular. We also show that for $d\ge 2$ almost every element of $\text{Homeo}([0,1{]}^d)$ is singular, but the set of strongly singular elements form a so called Haar ambivalent set (neither Haar null, nor co-Haar null). Finally, in order to clarify the situation, we investigate the various possible definitions of singularity for maps of several variables, and explore the connections between them.

31 pages. Final version with minor modifications

References in corpus (2)

• Topological Hausdorff dimension and level sets of generic continuous functions on fractals
• Bruckner--Garg-type results with respect to Haar null sets in $C[0,1]$