Let 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…
No relations recorded yet.