Lebesgue-type decomposition of positive operators (Q369630)

Let \(A\) and \(B\) be bounded positive linear operators on a complex Hilbert space \(H\). Positivity means that the quadratic forms of the corresponding operators are nonnegative semidefinite. A positive operator \(B\) is called absolutely continuous with respect to \(A\) if, for any sequence \((x_n)\) in \(H\), we have that \((Ax_n,x_n)\rightarrow 0\) and \((B(x_n -x_m),x_n - x_m) \rightarrow 0\) yields \((Bx_n ,x_n)\rightarrow 0\). \(B\) is singular with respect \(A\) if, for any positive linear operator \(C\), \(C\leq A\) and \(C\leq B\) hold only if \(C= 0\). The present paper is a revision of \textit{T. Ando}'s work [Acta Sci. Math. 38, 253--260 (1976; Zbl 0337.47011)] with the same title. The author gives a new construction for the Lebesgue decomposition of positive operators on Hilbert space with respect to each other. The author's approach is similar to that of \textit{H. Kosaki} [J. Oper. Theory 11, 137--143 (1984; Zbl 0577.47041)], in the sense that unbounded operator thechniques and factorization via two arbitrary Hilbert spaces are utilized.