The adjoint operator is uniquely characterized by
Let . Its quadratic form is nonnegative:
If , both norms vanish. In particular , while means is orthogonal to , by the defining adjoint operator identity. A vector belonging to a vector subspace and its orthogonal complement must be zero. Hence is injective, and finite dimensionality makes it surjective.
Thus
The same calculation shows it is a positive-definite operator when .

Articles by others on the same topic (0)

There are currently no matching articles.