Operators Diagonal in an Orthonormal Basis
lemmaAnalysisLinear Algebralem:orthonormal-diagonal-operator-2026aLet together with be a complex inner product space. Let be a natural number, let be the initial segment determined by , and let be an -tuple in that is an orthonormal basis of , with components . Let be an -tuple with components in the field of complex numbers.
Sums of vectors are finite sums in . Let be the map from to given by
Then the following hold.
1. (Linearity and action on the basis) is a linear operator on , and for every .
2. (Self-adjointness) If is a real number for every , then is self-adjoint.
Loading…
Prerequisites
No prerequisites tracked.
Dependents
No dependents yet.
Dependent proofs
No dependent proofs yet.
No relations recorded yet.