Bruckner–Garg-Type Results with Respect to Haar Null Sets inC[0, 1]

DOI10.1017/S0013091515000577MaRDI QIDQ2976348zbMATHOpenAlexFDO

Authors Richárd Balka, Márton Elekes, Udayan B. Darji

Publication date 28 April 2017

Published in Proceedings of the Edinburgh Mathematical Society (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1311.5293

zbMATH Keywords

level setsHaar nullcontinuous functionsHaar ambivalent

Mathematics Subject Classification ID

Banach spaces of continuous, differentiable or analytic functions (46E15) Set functions and measures on topological groups or semigroups, Haar measures, invariant measures (28C10) Baire category, Baire spaces (54E52) Differentiation (real functions of one variable): general theory, generalized derivatives, mean value theorems (26A24)

Abstract: A set $mathcalAsubsetC[0,1]$ is emph{shy} or emph{Haar null } (in the sense of Christensen) if there exists a Borel set $mathcalBsubsetC[0,1]$ and a Borel probability measure $mu$ on $C[0,1]$ such that $mathcalAsubsetmathcalB$ and $muleft(mathcalB+fight)=0$ for all $finC[0,1]$. The complement of a shy set is called a emph{prevalent} set. We say that a set is emph{Haar ambivalent} if it is neither shy nor prevalent. The main goal of the paper is to answer the following question: What can we say about the topological properties of the level sets of the prevalent/non-shy many $finC[0,1]$? The classical Bruckner--Garg Theorem characterizes the level sets of the generic (in the sense of Baire category) $finC[0,1]$ from the topological point of view. We prove that the functions $finC[0,1]$ for which the same characterization holds form a Haar ambivalent set. In an earlier paper we proved that the functions $finC[0,1]$ for which positively many level sets with respect to the Lebesgue measure $lambda$ are singletons form a non-shy set in $C[0,1]$. The above result yields that this set is actually Haar ambivalent. Now we prove that the functions $finC[0,1]$ for which positively many level sets with respect to the occupation measure $lambdacirc{f}^{-1}$ are not perfect form a Haar ambivalent set in $C[0,1]$. We show that for the prevalent $finC[0,1]$ for the generic $yinf([0,1])$ the level set $f^{-1}(y)$ is perfect. Finally, we answer a question of Darji and White by showing that the set of functions $finC[0,1]$ for which there exists a perfect $P_{f}subset[0,1]$ such that $f^{\prime }(x)=infty$ for all $xin{P}_f$ is Haar ambivalent.

Recommendations

• Haar null sets and the consistent reflection of non-meagreness
• Haar-\(\mathcal{I}\) sets: looking at small sets in Polish groups through compact glasses
• On certain regularity properties of Haar-null sets
• On questions of U. Darji and D. Fremlin
• The strength of measurability hypotheses
• The Steinhaus property and Haar-null sets
• Dichotomies of the set of test measures of a Haar-null set
• Haar meager sets, their hulls, and relationship to compact sets
• Models in Which Every Nonmeager Set is Nonmeager in a Nowhere Dense Cantor Set
• Universally meager sets

Cites work

• Haar ambivalent sets in the space of continuous functions
• Hausdorff and packing dimension of fibers and graphs of prevalent continuous maps
• Higher-dimensional Bruckner-Garg type theorem
• On sets of Haar measure zero in abelian Polish groups
• Prevalence: a translation-invariant “almost every” on infinite-dimensional spaces
• Pseudoarcs, pseudocircles, Lakes of Wada and generic maps on \(S^2\)

Cited in

(5)

• Haar ambivalent sets in the space of continuous functions
• Singularity of maps of several variables and a problem of Mycielski concerning prevalent homeomorphisms
• Haar null sets without \(G_{\delta}\) hulls
• Haar null and Haar meager sets: a survey and new results
• Porous sets that are Haar null, and nowhere approximately differentiable functions

This page was built for publication: Bruckner–Garg-Type Results with Respect to Haar Null Sets inC[0, 1]

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2976348)