TheoremBase

Positive Definite Operator

Statement

Let VV together with ⟨⋅,⋅⟩\langle\cdot,\cdot\rangle be a complex inner product space with zero vector 0V0_{V}, and let TT be a linear operator on VV.

The operator TT is positive definite if for every u∈Vu\in V the complex number ⟨u,T(u)⟩\langle u,T(u)\rangle is a real number satisfying

0≤⟨u,T(u)⟩,0\le\langle u,T(u)\rangle,

the order being that of the ordered field of real numbers, and if moreover ⟨u,T(u)⟩=0\langle u,T(u)\rangle=0 holds only for u=0Vu=0_{V}.

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…