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