Lebesgue's criterion for the Riemann integration with respect to a state on a separable unital \(C^\ast\)-algebra (Q2825910)

Let \(\omega\) be a state on a unital \(C^\ast\)-algebra \(A\). Following \textit{A. I. Shtern} [Funct. Anal. Appl. 29, No. 4, 268--275 (1995; Zbl 0856.46036); translation from Funkts. Anal. Prilozh. 29, No. 4, 57--67 (1995)], a self-adjoint \(x\) in the universal envelope \(\tilde A\) is said to be Riemann integrable if, for every \(\varepsilon>0\), there are \(a\) and \(b\) in \(A\) satisfying \(a\leq x\leq b\) and \(\omega(b-a)<\varepsilon\). In the same paper, it was shown that \(x\) is Riemann integrable iff \(\omega(x^+-x^-)=0\) where \(x^+\) and \(x^-\) are the upper and lower envelopes of \(x\), equal to \(\inf_{\tilde A}\{b\in A:x\leq b\}\) and \(\sup_{\tilde A}\{a\in A:x\geq a\}\), respectively.NEWLINENEWLINEIf \(p\) is the range projection of \(x^+-x^-\), then it is not difficult to see that \(x\) is Riemann integrable iff \(\omega(p)=0\). This is put to record in the present note.