Linear-Algebra-Done-Right Β· Unit 19 Β· Video 2 Β· Interactive Practice

The Complex Spectral Theorem: Normal Is Enough

IKey Formulas

FormulaNameWhen it applies
TT normal β€…β€ŠβŸΊβ€…β€Š\iff M(T)\mathcal{M}(T) diagonal w.r.t. some orthonormal basis β€…β€ŠβŸΊβ€…β€Š\iff VV has an orthonormal basis of eigenvectors of TTComplex spectral theoremF=C\mathbf{F} = \mathbf{C}, VV finite-dimensional, T∈L(V)T \in \mathcal{L}(V)
βˆ₯Tekβˆ₯2=∣ak,k∣2\|Te_k\|^2 = |a_{k,k}|^2, Β βˆ₯Tβˆ—ekβˆ₯2=∣ak,k∣2+∣ak,k+1∣2+β‹―+∣ak,n∣2\ \|T^*e_k\|^2 = |a_{k,k}|^2 + |a_{k,k+1}|^2 + \cdots + |a_{k,n}|^2Row kk of the proofSchur's orthonormal basis, rows 1,…,kβˆ’11, \dots, k-1 already cleared
M(TTβˆ—)=diag⁑(∣λ1∣2,…,∣λn∣2)=M(Tβˆ—T)\mathcal{M}(TT^*) = \operatorname{diag}(|\lambda_1|^2, \dots, |\lambda_n|^2) = \mathcal{M}(T^*T)Diagonal implies normalM(T)=diag⁑(Ξ»1,…,Ξ»n)\mathcal{M}(T) = \operatorname{diag}(\lambda_1, \dots, \lambda_n) w.r.t. an orthonormal basis
V=E(Ξ»1,T)βŠ•β‹―βŠ•E(Ξ»m,T)V = E(\lambda_1, T) \oplus \cdots \oplus E(\lambda_m, T)Orthogonal eigenspace decompositionTT normal, F=C\mathbf{F} = \mathbf{C}, VV finite-dimensional, distinct eigenvalues Ξ»1,…,Ξ»m\lambda_1, \dots, \lambda_m

Key Insight: A diagonal matrix with real entries equals its conjugate transpose, so over R\mathbf{R} the condition is T=Tβˆ—T = T^*. Over C\mathbf{C} the diagonal entries can be non-real, so an operator with an orthonormal eigenbasis is always normal, and self-adjoint exactly when every eigenvalue is real.

IIClearing Schur's Matrix Row by Row

With M(T)\mathcal{M}(T) upper triangular in an orthonormal basis, βˆ₯Tekβˆ₯=βˆ₯Tβˆ—ekβˆ₯\|Te_k\| = \|T^*e_k\| for each kk forces every entry above the diagonal to be 00.

IIIDiagonal Means Normal

If M(T)=diag⁑(λ1,λ2)\mathcal{M}(T) = \operatorname{diag}(\lambda_1, \lambda_2) in an orthonormal basis, TT is normal; it is self-adjoint exactly when both λk\lambda_k are real.

IVThe Opening Example on C2\mathbf{C}^2

For T(w,z)=(2wβˆ’3z,Β 3w+2z)T(w, z) = (2w - 3z,\ 3w + 2z), v=(w,z)v = (w, z) is an eigenvector exactly when TT multiplies both coordinates by one complex number.

πŸ’‘ Challenge: find eigenvectors for both 2+3i2 + 3i and 2βˆ’3i2 - 3i. Each eigenspace is a line, so every eigenvector for 2+3i2 + 3i is orthogonal to every eigenvector for 2βˆ’3i2 - 3i, as ⟨(i,1),(βˆ’i,1)⟩=i (βˆ’i)β€Ύ+1=0\langle (i, 1), (-i, 1) \rangle = i\,\overline{(-i)} + 1 = 0 shows, so rescaling them to norm 11 gives an orthonormal eigenbasis of C2\mathbf{C}^2.

VQuiz Questions

Problem 1 Β· Normal or Self-Adjoint?

Given: T∈L(C2)T \in \mathcal{L}(\mathbf{C}^2) has matrix A=(1ii1)A = \begin{pmatrix} 1 & i \\ i & 1 \end{pmatrix} with respect to the standard basis. Which statement is true?

βœ… Correct! TT is normal but not self-adjoint, and over C\mathbf{C} normality is exactly the condition for an orthonormal eigenbasis.
❌ Not quite. Over C\mathbf{C} the adjoint's matrix is the conjugate transpose: Aβˆ—=(1βˆ’iβˆ’i1)β‰ AA^* = \begin{pmatrix} 1 & -i \\ -i & 1 \end{pmatrix} \neq A. A symmetric complex matrix need not be self-adjoint.
❌ Not quite. "Orthonormal eigenbasis β€…β€ŠβŸΊβ€…β€ŠT=Tβˆ—\iff T = T^*" is the real spectral theorem. On a complex space the condition is TTβˆ—=Tβˆ—TTT^* = T^*T, which this TT satisfies.
❌ Not quite. That product is Aβ‹…A=A2A \cdot A = A^2: you transposed without conjugating. With Aβˆ—=(1βˆ’iβˆ’i1)A^* = \begin{pmatrix} 1 & -i \\ -i & 1 \end{pmatrix}, the (1,1)(1,1) entry of AAβˆ—AA^* is 1β‹…1+iβ‹…(βˆ’i)=21 \cdot 1 + i \cdot (-i) = 2 and the (1,2)(1,2) entry is 1β‹…(βˆ’i)+iβ‹…1=01 \cdot (-i) + i \cdot 1 = 0.
Show solution

The standard basis is orthonormal, so M(Tβˆ—)=Aβˆ—\mathcal{M}(T^*) = A^*, the conjugate transpose:

Aβˆ—=(1βˆ’iβˆ’i1)β‰ A,A^* = \begin{pmatrix} 1 & -i \\ -i & 1 \end{pmatrix} \neq A,

so TT is not self-adjoint. Multiplying,

AAβˆ—=(1+i(βˆ’i)βˆ’i+iiβˆ’ii(βˆ’i)+1)=(2002),Aβˆ—A=(1+(βˆ’i)iiβˆ’iβˆ’i+i(βˆ’i)i+1)=(2002).AA^* = \begin{pmatrix} 1 + i(-i) & -i + i \\ i - i & i(-i) + 1 \end{pmatrix} = \begin{pmatrix} 2 & 0 \\ 0 & 2 \end{pmatrix}, \qquad A^*A = \begin{pmatrix} 1 + (-i)i & i - i \\ -i + i & (-i)i + 1 \end{pmatrix} = \begin{pmatrix} 2 & 0 \\ 0 & 2 \end{pmatrix}.

So TTβˆ—=Tβˆ—TTT^* = T^*T: TT is normal, and by the complex spectral theorem C2\mathbf{C}^2 has an orthonormal basis of eigenvectors of TT, even though Tβ‰ Tβˆ—T \neq T^*.

Problem 2 Β· Distinct Eigenvalues Are Not Enough

Given: T∈L(C2)T \in \mathcal{L}(\mathbf{C}^2) has matrix (1203)\begin{pmatrix} 1 & 2 \\ 0 & 3 \end{pmatrix} with respect to the standard basis e1,e2e_1, e_2. Does C2\mathbf{C}^2 have an orthonormal basis of eigenvectors of TT?

βœ… Correct! An orthonormal eigenbasis would make TT normal, and the first row of the proof already fails: the entry 22 above the diagonal cannot be cleared.
❌ Not quite. Those eigenvectors do form a basis, but ⟨(1,0),(1,1)⟩=1β‰ 0\langle (1, 0), (1, 1) \rangle = 1 \neq 0. Dividing by norms changes lengths, not angles, and each eigenspace is a line, so no other choice of eigenvectors is orthogonal either.
❌ Not quite. Schur's theorem gives an upper-triangular matrix, not a diagonal one; an orthonormal eigenbasis needs a diagonal matrix. Clearing the entry 22 requires normality, which fails here.
❌ Right answer, wrong reason. Over C\mathbf{C} normal is enough: (1ii1)\begin{pmatrix} 1 & i \\ i & 1 \end{pmatrix} is not self-adjoint yet has an orthonormal eigenbasis. Here the obstruction is that TT is not normal.
Show solution

The standard basis is orthonormal, so βˆ₯Te1βˆ₯\|Te_1\| is the norm of column 11 and βˆ₯Tβˆ—e1βˆ₯\|T^*e_1\| is the norm of row 11 (conjugated):

βˆ₯Te1βˆ₯2=∣1∣2+∣0∣2=1,βˆ₯Tβˆ—e1βˆ₯2=∣1∣2+∣2∣2=5.\|Te_1\|^2 = |1|^2 + |0|^2 = 1, \qquad \|T^*e_1\|^2 = |1|^2 + |2|^2 = 5.

Since βˆ₯Te1βˆ₯β‰ βˆ₯Tβˆ—e1βˆ₯\|Te_1\| \neq \|T^*e_1\|, TT is not normal. By the complex spectral theorem, C2\mathbf{C}^2 has no orthonormal basis of eigenvectors of TT.

Directly: the eigenvectors are the nonzero multiples of (1,0)(1, 0) (eigenvalue 11) and of (1,1)(1, 1) (eigenvalue 33, from (βˆ’2200)(11)=0\begin{pmatrix} -2 & 2 \\ 0 & 0 \end{pmatrix}\begin{pmatrix} 1 \\ 1 \end{pmatrix} = 0), and ⟨a(1,0),b(1,1)⟩=abβ€Ύβ‰ 0\langle a(1, 0), b(1, 1) \rangle = a\overline{b} \neq 0 for nonzero a,ba, b. So there is an eigenbasis, but never an orthonormal one.

Problem 3 Β· Diagonalizing a Normal Matrix

Given: T∈L(C2)T \in \mathcal{L}(\mathbf{C}^2) has matrix A=(1ii1)A = \begin{pmatrix} 1 & i \\ i & 1 \end{pmatrix} with respect to the standard basis, and T(1,1)=(1+i)(1,1)T(1, 1) = (1 + i)(1, 1). Find the eigenvalue of (1,βˆ’1)(1, -1) and the matrix of TT with respect to the orthonormal basis 12(1,1),Β 12(1,βˆ’1)\tfrac{1}{\sqrt{2}}(1, 1),\ \tfrac{1}{\sqrt{2}}(1, -1).

Eigenvalue of (1,βˆ’1)(1, -1)?

Matrix of TT in the orthonormal basis?

βœ… Correct! The diagonal entries 1Β±i1 \pm i are not real, which is why TT is normal without being self-adjoint.
❌ Not quite. 1+i1 + i belongs to (1,1)(1, 1). Compute A(1,βˆ’1)=(1βˆ’i,Β iβˆ’1)A(1, -1) = (1 - i,\ i - 1) and factor out the scalar that multiplies (1,βˆ’1)(1, -1).
❌ Not quite. iβˆ’1i - 1 is the second coordinate of A(1,βˆ’1)A(1, -1), not the eigenvalue: (1βˆ’i,Β iβˆ’1)=(1βˆ’i)(1,βˆ’1)(1 - i,\ i - 1) = (1 - i)(1, -1), since the second coordinate is (1βˆ’i)(βˆ’1)(1 - i)(-1).
❌ Not quite. Reading eigenvalues off the diagonal works for an upper-triangular matrix, and AA is not upper triangular. Compute A(1,βˆ’1)A(1, -1) instead.
❌ Not quite. Dividing an eigenvector by 2\sqrt{2} does not change its eigenvalue: T(12(1,1))=(1+i) 12(1,1)T\bigl(\tfrac{1}{\sqrt{2}}(1, 1)\bigr) = (1 + i)\,\tfrac{1}{\sqrt{2}}(1, 1).
❌ Not quite. A matrix depends on the basis. Each new basis vector is an eigenvector, so column kk has only the eigenvalue on the diagonal.
❌ Not quite. Diagonal entry kk is the eigenvalue of basis vector kk; the basis lists 12(1,1)\tfrac{1}{\sqrt{2}}(1, 1), with eigenvalue 1+i1 + i, first.
Show solution

Eigenvalue. A(1,βˆ’1)=(1β‹…1+i(βˆ’1),Β iβ‹…1+1β‹…(βˆ’1))=(1βˆ’i,Β iβˆ’1)=(1βˆ’i)(1,βˆ’1)A(1, -1) = (1 \cdot 1 + i(-1),\ i \cdot 1 + 1 \cdot (-1)) = (1 - i,\ i - 1) = (1 - i)(1, -1), so the eigenvalue is 1βˆ’i1 - i.

Orthonormal basis. ⟨(1,1),(1,βˆ’1)⟩=1β‹…1+1β‹…(βˆ’1)=0\langle (1, 1), (1, -1) \rangle = 1 \cdot 1 + 1 \cdot (-1) = 0 and βˆ₯(1,1)βˆ₯2=βˆ₯(1,βˆ’1)βˆ₯2=2\|(1, 1)\|^2 = \|(1, -1)\|^2 = 2, so f1=12(1,1)f_1 = \tfrac{1}{\sqrt{2}}(1, 1), f2=12(1,βˆ’1)f_2 = \tfrac{1}{\sqrt{2}}(1, -1) is orthonormal.

Matrix. Tf1=(1+i)f1Tf_1 = (1 + i)f_1 and Tf2=(1βˆ’i)f2Tf_2 = (1 - i)f_2, so

M(T,(f1,f2))=(1+i001βˆ’i).\mathcal{M}(T, (f_1, f_2)) = \begin{pmatrix} 1 + i & 0 \\ 0 & 1 - i \end{pmatrix}.

Problem 4 Β· An Orthonormal Eigenbasis for a Self-Adjoint Matrix

Given: T∈L(C2)T \in \mathcal{L}(\mathbf{C}^2) has matrix B=(21+i1βˆ’i3)B = \begin{pmatrix} 2 & 1 + i \\ 1 - i & 3 \end{pmatrix} with respect to the standard basis; TT is self-adjoint, hence normal, with eigenvalues 11 and 44. Which list is an orthonormal basis of C2\mathbf{C}^2 consisting of eigenvectors of TT?

βœ… Correct! Here the eigenvalues 11 and 44 are real, matching T=Tβˆ—T = T^*; in Problem 3 the eigenvalues 1Β±i1 \pm i were not, and that TT was only normal.
❌ Not quite. The directions are right but the norms are not: ∣1+i∣2=2|1 + i|^2 = 2, so βˆ₯(1+i,βˆ’1)βˆ₯2=2+1=3\|(1 + i, -1)\|^2 = 2 + 1 = 3 and βˆ₯(1+i,2)βˆ₯2=2+4=6\|(1 + i, 2)\|^2 = 2 + 4 = 6.
❌ Not quite. B(1βˆ’i,2)=(4,Β 6βˆ’2i)B(1 - i, 2) = (4,\ 6 - 2i) is not a multiple of (1βˆ’i,2)(1 - i, 2). The pair only looks orthogonal if the inner product skips the conjugate: ⟨(1+i,βˆ’1),(1βˆ’i,2)⟩=(1+i)(1βˆ’i)β€Ύβˆ’2=2iβˆ’2β‰ 0\langle (1 + i, -1), (1 - i, 2) \rangle = (1 + i)\overline{(1 - i)} - 2 = 2i - 2 \neq 0.
❌ Not quite. Self-adjoint does not mean diagonal in the standard basis: Te1=(2,Β 1βˆ’i)Te_1 = (2,\ 1 - i) is not a multiple of e1e_1. The spectral theorem promises some orthonormal eigenbasis, not this one.
Show solution

Eigenvectors. For Ξ»=1\lambda = 1: Bβˆ’I=(11+i1βˆ’i2)B - I = \begin{pmatrix} 1 & 1 + i \\ 1 - i & 2 \end{pmatrix}, and (1+i,βˆ’1)(1 + i, -1) satisfies (1+i)βˆ’(1+i)=0(1 + i) - (1 + i) = 0 and (1βˆ’i)(1+i)βˆ’2=0(1 - i)(1 + i) - 2 = 0. For Ξ»=4\lambda = 4: Bβˆ’4I=(βˆ’21+i1βˆ’iβˆ’1)B - 4I = \begin{pmatrix} -2 & 1 + i \\ 1 - i & -1 \end{pmatrix}, and (1+i,2)(1 + i, 2) satisfies βˆ’2(1+i)+2(1+i)=0-2(1 + i) + 2(1 + i) = 0 and (1βˆ’i)(1+i)βˆ’2=0(1 - i)(1 + i) - 2 = 0.

Orthogonality. ⟨(1+i,βˆ’1),(1+i,2)⟩=(1+i)(1+i)β€Ύ+(βˆ’1)β‹…2=2βˆ’2=0\langle (1 + i, -1), (1 + i, 2) \rangle = (1 + i)\overline{(1 + i)} + (-1) \cdot 2 = 2 - 2 = 0.

Norms. βˆ₯(1+i,βˆ’1)βˆ₯2=2+1=3\|(1 + i, -1)\|^2 = 2 + 1 = 3 and βˆ₯(1+i,2)βˆ₯2=2+4=6\|(1 + i, 2)\|^2 = 2 + 4 = 6.

So 13(1+i,βˆ’1)\tfrac{1}{\sqrt{3}}(1 + i, -1), 16(1+i,2)\tfrac{1}{\sqrt{6}}(1 + i, 2) is an orthonormal eigenbasis, and with respect to it M(T)=(1004)\mathcal{M}(T) = \begin{pmatrix} 1 & 0 \\ 0 & 4 \end{pmatrix}.

Solved: 0 / 4