Let together with be a complex inner product space and let be a linear operator on .
The operator is positive semi-definite if for every the complex number is a real number satisfying
the order being that of the ordered field of real numbers.
Loading…
No relations recorded yet.