The supremum of linear operators for the *-order (Q603151): Difference between revisions

Let \(\mathcal{B(H)}\) be the algebra of all bounded linear operators on a complex Hilbert space \(\mathcal{H}\). For \(A,B\in \mathcal{B(H)}\), the \(*\)-order \(A\leq^{*} B\) is defined by \(A^{*}A=A^{*}B\) and \(AA^{*}=BA^{*}\). In this paper, the authors obtain a characterization of operators \(C\in \mathcal{B(H)}\) such that \(A\leq^{*} C\) and \(B\leq^{*} C\) (if such \(C\) exists). Moreover, the authors obtain the exact form of the least upper bound of \(A\) and \(B\) with respect to the \(*\)-order, i.e., \[ A\bigvee^{*} B=\min \{C\in \mathcal{B(H)}; A\leq^{*} C \text{ and }B\leq^{*} C\}, \] where \(\min\) denotes the minimum operator respect to the \(*\)-order, and obtain a necessary and sufficient condition under which \(A\overset {*}\bigvee B\) exists.