Haar null sets in the space of automorphisms on \([0,1]\) (Q1978966)

A set \(A\subset G\) of a (non-Abelian) Polish group is called Haar null (left Haar null, right Haar null, left-and-right Haar null) if there is a Borel probability measure \(\mu \) on \(G\) such that \(\mu (hAg)=0\) (\(\mu (hA)=0\), \(\mu (Ag)=0\), \(\mu (hA)=\mu (Ag)=0\), resp.) for all \(g,h \in G\). Since in case of locally compact Polish group these concepts coincide the authors study the situation in the non-abelian non-locally compact group \(H\) of all homeomorphisms \(h:[0,1]\rightarrow [0,1]\) with \(h(0)=0\) and \(h(1)=1\). They showed that there are uncountably many disjoint non-Haar null sets in \(H\) each of them being a left-and-right Haar null set. They also give an explicit example of a measure \(\mu \) witnessing that a set \(A\) is left-and-right Haar null (right Haar null) and still \(\mu \) is not the measure witnessing that \(A\) is Haar null (left Haar null, resp.).