A sufficient condition for a singular functional on \(L^\infty [0, 1]\) to be represented on \(\mathcal{C} [0, 1]\) by a singular measure (Q1705765): Difference between revisions

A continuous linear functional \(p\) on \(L^\infty [0,1]\) is an integral w.r.t. a bounded finitely additive set function on the Borel \(\sigma\)-algebra of \([0,1]\) which vanishes on Lebesgue null sets. Denote the representing set function also by \(p\). The restriction of the functional \(p\) to the space of continuous functions \(\mathcal{C}[0,1]\) is an integral w.r.t. a unique \(\sigma\)-additive Borel measure on \([0,1]\) denoted by \(p^\mathcal{C}\). The author compares the Hewitt-Yosida decomposition of the set function \(p\) with the Lebesgue decomposition of \(p^\mathcal{C}\) w.r.t. the Lebesgue measure. A sufficient condition for \(p^\mathcal{C}\) being singular w.r.t. the Lebesgue measure is given.