No label defined (Q3972495)

This article is based on a theorem of \textit{R. Kaufman} [Colloq. Math. 60/61, No. 1, 93-98 (1990; Zbl 0751.42007)]. A set \(S\subset\mathbb{R}\) is said to be of type \(M_ 0\) if it is a set of multiplicity and carries a measure whose Fourier transform vanishes at infinity. The class \({\mathcal D}^ 1\) is defined to be the set of all \(C^ 1(\mathbb{R})\) functions whose derivative is strictly positive. A compact set \(S\) is said to be of type \(M_ 0({\mathcal D}^ 1)\) if \(\phi(S)\) is of type \(M_ 0\) for all \(\phi\) in \({\mathcal D}^ 1\), and of type \(M_ 0^ 0({\mathcal D}^ 1)\) if, additionally, there is one measure \(\mu\) on \(S\) such that the Fourier transform of \(\mu\circ\phi\) vanishes at infinity for all \(\phi\) in \({\mathcal D}^ 1\). Kaufman's theorem states that \(M_ 0^ 0({\mathcal D}^ 1)\) is properly contained in \(M_ 0({\mathcal D}^ 1)\). For the entire collection see [Zbl 0739.46021].