Loewner ordering
Let be a Hilbert space![]()
, and let be symmetric operators on .
We define the Loewner order on by declaring if is a positive semidefinite invertible bounded operator
![]()
on , and if is a positive semidefinite invertible bounded operator on .