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…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.