Haar ambivalent sets in the space of continuous functions (Q624229): Difference between revisions

A universally measurable set \(A\) subset of a Polish group \(G\) is Haar null if there is a Borel probability measure \(\mu\) on \(G\) such that \(\mu(gAh) = 0\) for all \(g,h \in G\). A universally measurable subset of \(G\) is \(H\)-ambivalent if neither the set nor its complement is Haar null. A point \(x\) is said to be a knot point of \(f\in C(0,1)\) if \(\overline Df(x)=+\infty\) and \(\underline Df(x)=-\infty\). The results of the paper are formulated for the space \(C(0,1)\) of continuous functions on \([0,1]\) equipped with the sup norm and are as follows. Theorem. Let \(A\), \(B\) be two nonempty, disjoint, countable subsets of \([0,1]\). Let \(N_{A,B} = \{f\in C(0,1):(x\in A \Rightarrow f'(x)= + \infty )\wedge (x\in B\Rightarrow f'(x)= -\infty)\}\), and \(M_{A,B}= \{f\in N_{A,B}: x\not\in A\cup B \Rightarrow x\;\text{is a knot point of}\;f\}\). Then each of \(N_{A,B}\) and \(M_{A,B}\) is \(H\)-ambivalent. Theorem. Let \(P\subset [0,1]\) be a nonempty perfect set and \(I_P =\{f\in C(0,1): f'(x)=\infty\;\text{for all}\;x\in P\}\). Then \(I_P\) is Haar null.