TheoremBase

Operators Diagonal in an Orthonormal Basis

Statement

Let VV together with ⟨⋅,⋅⟩\langle\cdot,\cdot\rangle be a complex inner product space. Let nn be a natural number, let [n][n] be the initial segment determined by nn, and let e∈Vne\in V^{n} be an nn-tuple in VV that is an orthonormal basis of VV, with components eke_{k}. Let μ∈Cn\mu\in\mathbb{C}^{n} be an nn-tuple with components μk\mu_{k} in the field C\mathbb{C} of complex numbers.

Sums of vectors are finite sums in VV. Let RR be the map from VV to VV given by

R(x)=∑k=1n(μk⟨ek,x⟩)ekfor x∈V.R(x)=\sum_{k=1}^{n}\bigl(\mu_{k}\langle e_{k},x\rangle\bigr)e_{k}\qquad\text{for }x\in V.

Then the following hold.

1. (Linearity and action on the basis) RR is a linear operator on VV, and R(ej)=μjejR(e_{j})=\mu_{j}e_{j} for every j∈[n]j\in[n].

2. (Self-adjointness) If μk\mu_{k} is a real number for every k∈[n]k\in[n], then RR is self-adjoint.

Proofs

Log in to submit a proof.

Loading...

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…