Duality of measure and category in infinite-dimensional separable Hilbert space \(\ell _{2}\) (Q1608184)

The author constructs a concrete nontrivial \(\sigma\)-finite Borel measure \(\lambda\) on the infinite-dimensional separable Hilbert space \(\ell_2\) to show that there is a Borel subset \(Y\) of \(\ell_2\) with \(\lambda(Y)>0\) such that for any \(\delta>0\) there is a \(y\in\ell_2\) satisfying \(\|y\|<\delta\) and \(Y\cap (Y+y)=\emptyset\). This result states that an analogy of the Oxtoby duality principle is not valid for the measure \(\lambda\) and the Baire category in the Hilbert space \(\ell_2\).