Hostname: page-component-848d4c4894-ndmmz Total loading time: 0 Render date: 2024-06-08T09:41:30.700Z Has data issue: false hasContentIssue false

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

Published online by Cambridge University Press:  10 May 2016

Richárd Balka
Affiliation:
Department of Mathematics, University of Washington, Box 354350, Seattle, WA 98195-4350, USA (balka@math.washington.edu) Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, PO Box 127, 1364 Budapest, Hungary
Udayan B. Darji
Affiliation:
Department of Mathematics, University of Louisville, Louisville, KY 40292, USA (ubdarj01@louisville.edu)
Márton Elekes
Affiliation:
Alfréd Rényi Institute of Mathematics, Hungarian Academy of Sciences, PO Box 127, 1364 Budapest, Hungary Eötvös Loránd University, Institute of Mathematics, Pázmány Péter s. 1/c, 1117 Budapest, Hungary (elekes.marton@renyi.mta.hu)

Abstract

A set is shy or Haar null (in the sense of Christensen) if there exists a Borel set and a Borel probability measure μ on C[0, 1] such that and for all fC[0, 1]. The complement of a shy set is called a prevalent set. We say that a set is 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 fC[0, 1]?

The classical Bruckner–Garg theorem characterizes the level sets of the generic (in the sense of Baire category) fC[0, 1] from the topological point of view. We prove that the functions fC[0, 1] for which the same characterization holds form a Haar ambivalent set.

In an earlier paper, Balka et al. proved that the functions fC[0, 1] for which positively many level sets with respect to the Lebesgue measure λ 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 fC[0, 1] for which positively many level sets with respect to the occupation measure λ ◦ f–1 are not perfect form a Haar ambivalent set in C[0, 1].

We show that for the prevalent fC[0, 1] for the generic yf([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 fC[0, 1] for which there exists a perfect set Pf ⊂ [0, 1] such that fʹ(x) = ∞ for all xPf is Haar ambivalent.

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 2016 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)