Linear-Algebra-Done-Right · Unit 19 · Video 4 · Interactive Practice

The Unique Positive Square Root T\sqrt{T}

IKey Formulas

FormulaNameWhat it says
RR positive, R2=TR^2 = T, Tv=λvTv = \lambda v ⇒\Rightarrow Rv=λ vRv = \sqrt{\lambda}\, vUniquenessEvery positive square root of TT acts the same way on each eigenvector of TT, so there is only one
ak(λ−λk)=0a_k(\lambda - \lambda_k) = 0 for k=1,…,nk = 1, \dots, nKey stepWrite v=a1e1+⋯+anenv = a_1 e_1 + \cdots + a_n e_n in an orthonormal eigenbasis of RR with Rek=λk ekRe_k = \sqrt{\lambda_k}\, e_k and compare λv=R2v\lambda v = R^2 v: only terms with λk=λ\lambda_k = \lambda survive
Tek=λkek⇒T ek=λk ekTe_k = \lambda_k e_k \Rightarrow \sqrt{T}\, e_k = \sqrt{\lambda_k}\, e_kRecipe for T\sqrt{T}Keep an orthonormal eigenbasis of TT, replace each eigenvalue by its nonnegative square root
⟨Tv,v⟩=∥T v∥2\langle Tv, v\rangle = \|\sqrt{T}\, v\|^2ApplicationFor TT positive, ⟨Tv,v⟩=0⇒T v=0⇒Tv=0\langle Tv, v\rangle = 0 \Rightarrow \sqrt{T}\, v = 0 \Rightarrow Tv = 0

Key Insight: Square roots need not be unique: every reflection Rθ=(cos⁡θsin⁡θsin⁡θ−cos⁡θ)R_\theta = \begin{pmatrix} \cos\theta & \sin\theta \\ \sin\theta & -\cos\theta \end{pmatrix} satisfies Rθ2=IR_\theta^2 = I. Positivity is what singles out one: I=I\sqrt{I} = I.

IIMany Square Roots of II, One Positive

Every reflection of R2\mathbf{R}^2, and also −I-I, squares to II, but each has eigenvalue −1-1; only II is positive.

IIIThe Recipe: Keep the Eigenvectors, Take Roots of the Eigenvalues

T\sqrt{T} shares the orthonormal eigenvectors of TT and stretches by λk\sqrt{\lambda_k} where TT stretches by λk\lambda_k.

💡 Entrywise square roots work only when M(T)\mathcal{M}(T) is diagonal; in general T\sqrt{T} is computed through eigenvectors and eigenvalues, never through entries.

IV⟨Tv,v⟩=∥T v∥2\langle Tv, v\rangle = \|\sqrt{T}\, v\|^2

For positive TT, ⟨Tv,v⟩\langle Tv, v\rangle is a squared norm, so it vanishes only where Tv=0Tv = 0; self-adjointness alone is not enough.

VQuiz Questions

Problem 1 · The Square Root of a Diagonal Operator

Given: T∈L(R2)T \in \mathcal{L}(\mathbf{R}^2), T(x,y)=(9x,4y)T(x, y) = (9x, 4y), with the Euclidean inner product. Find the matrix of T\sqrt{T} in the standard basis.

✅ Correct! The standard basis is an orthonormal eigenbasis with eigenvalues 99 and 44; replacing them by 33 and 22 gives the unique positive square root.
❌ Not quite. This matrix does square to (9004)\begin{pmatrix} 9 & 0 \\ 0 & 4 \end{pmatrix}, but it has eigenvalue −2-2, so it sends (0,1)(0,1) to (0,−2)(0,-2), giving ⟨(0,−2),(0,1)⟩=−2<0\langle (0,-2), (0,1)\rangle = -2 \lt 0: it is not positive. T\sqrt{T} uses the nonnegative root of each eigenvalue.
❌ Not quite. This is the matrix of T2T^2, not of T\sqrt{T}: its square is (656100256)\begin{pmatrix} 6561 & 0 \\ 0 & 256 \end{pmatrix}, not M(T)\mathcal{M}(T). Each eigenvalue is replaced by its square root, not its square.
❌ Not quite. This is −T-\sqrt{T}. It squares to M(T)\mathcal{M}(T), but its eigenvalues −3-3 and −2-2 are negative, so it is not a positive operator.
Show solution

The standard basis (1,0),(0,1)(1,0), (0,1) is orthonormal and consists of eigenvectors of TT: T(1,0)=9⋅(1,0)T(1,0) = 9 \cdot (1,0) and T(0,1)=4⋅(0,1)T(0,1) = 4 \cdot (0,1). The recipe keeps these eigenvectors and replaces each eigenvalue by its nonnegative square root:

T(1,0)=3⋅(1,0),T(0,1)=2⋅(0,1),M(T)=(3002).\sqrt{T}(1,0) = 3 \cdot (1,0), \qquad \sqrt{T}(0,1) = 2 \cdot (0,1), \qquad \mathcal{M}(\sqrt{T}) = \begin{pmatrix} 3 & 0 \\ 0 & 2 \end{pmatrix}.

Check: its square is (9004)\begin{pmatrix} 9 & 0 \\ 0 & 4 \end{pmatrix}, it is symmetric, and its eigenvalues 3,23, 2 are nonnegative, so it is positive. The matrices (±300±2)\begin{pmatrix} \pm 3 & 0 \\ 0 & \pm 2 \end{pmatrix} with a minus sign also square to M(T)\mathcal{M}(T), but none of them is positive.

Problem 2 · Entrywise Roots Are a Trap

Given: T∈L(R2)T \in \mathcal{L}(\mathbf{R}^2) with standard matrix (5445)\begin{pmatrix} 5 & 4 \\ 4 & 5 \end{pmatrix} (Euclidean inner product). It has eigenvalues 99 and 11. Find M(T)\mathcal{M}(\sqrt{T}).

✅ Correct! (2112)2=(5445)\begin{pmatrix} 2 & 1 \\ 1 & 2 \end{pmatrix}^2 = \begin{pmatrix} 5 & 4 \\ 4 & 5 \end{pmatrix}, and the matrix is symmetric with eigenvalues 33 and 11, so it is the positive square root.
❌ Not quite. Taking square roots entry by entry fails off the diagonal: this matrix squares to (945459)≠M(T)\begin{pmatrix} 9 & 4\sqrt{5} \\ 4\sqrt{5} & 9 \end{pmatrix} \ne \mathcal{M}(T). The square root acts on eigenvalues, not entries.
❌ Not quite. The eigenvalue roots 33 and 11 are right, but they belong to the eigenvectors (1,1)(1,1) and (1,−1)(1,-1), not to the standard basis. This diagonal matrix squares to (9001)≠M(T)\begin{pmatrix} 9 & 0 \\ 0 & 1 \end{pmatrix} \ne \mathcal{M}(T).
❌ Not quite. This matrix does square to M(T)\mathcal{M}(T), but its eigenvalues are −3-3 and −1-1, so it sends (1,1)(1,1) to (−3,−3)(-3,-3) and ⟨(−3,−3),(1,1)⟩=−6<0\langle (-3,-3), (1,1)\rangle = -6 \lt 0: it is a square root of TT that is not positive.
Show solution

Eigenvectors. T(1,1)=(9,9)=9(1,1)T(1,1) = (9,9) = 9(1,1) and T(1,−1)=(1,−1)T(1,-1) = (1,-1). Normalized, u1=12(1,1)u_1 = \tfrac{1}{\sqrt{2}}(1,1) and u2=12(1,−1)u_2 = \tfrac{1}{\sqrt{2}}(1,-1) form an orthonormal eigenbasis with eigenvalues 99 and 11.

Recipe. T u1=3u1\sqrt{T}\, u_1 = 3u_1 and T u2=u2\sqrt{T}\, u_2 = u_2. Since (1,0)=12(u1+u2)(1,0) = \tfrac{1}{\sqrt{2}}(u_1 + u_2) and (0,1)=12(u1−u2)(0,1) = \tfrac{1}{\sqrt{2}}(u_1 - u_2),

T(1,0)=12(3u1+u2)=12(3,3)+12(1,−1)=(2,1),\sqrt{T}(1,0) = \tfrac{1}{\sqrt{2}}(3u_1 + u_2) = \tfrac{1}{2}(3,3) + \tfrac{1}{2}(1,-1) = (2, 1), T(0,1)=12(3u1−u2)=12(3,3)−12(1,−1)=(1,2).\sqrt{T}(0,1) = \tfrac{1}{\sqrt{2}}(3u_1 - u_2) = \tfrac{1}{2}(3,3) - \tfrac{1}{2}(1,-1) = (1, 2).

So M(T)=(2112)\mathcal{M}(\sqrt{T}) = \begin{pmatrix} 2 & 1 \\ 1 & 2 \end{pmatrix}. Check: (2112)2=(4+12+22+21+4)=(5445)\begin{pmatrix} 2 & 1 \\ 1 & 2 \end{pmatrix}^2 = \begin{pmatrix} 4 + 1 & 2 + 2 \\ 2 + 2 & 1 + 4 \end{pmatrix} = \begin{pmatrix} 5 & 4 \\ 4 & 5 \end{pmatrix}.

Problem 3 · From Eigenvectors to the Matrix of T\sqrt{T}

Given: T∈L(R2)T \in \mathcal{L}(\mathbf{R}^2) with standard matrix (106610)\begin{pmatrix} 10 & 6 \\ 6 & 10 \end{pmatrix} (Euclidean inner product).

Which eigenvalue goes with which eigenvector?

What is M(T)\mathcal{M}(\sqrt{T})?

✅ Correct! T\sqrt{T} multiplies (1,1)(1,1) by 44 and (1,−1)(1,-1) by 22, which is the matrix (3113)\begin{pmatrix} 3 & 1 \\ 1 & 3 \end{pmatrix}, and its square is (106610)\begin{pmatrix} 10 & 6 \\ 6 & 10 \end{pmatrix}.
❌ Not quite. The pairing is swapped: T(1,1)=(10+6,6+10)=(16,16)T(1,1) = (10 + 6, 6 + 10) = (16, 16), so (1,1)(1,1) has eigenvalue 1616, and T(1,−1)=(4,−4)T(1,-1) = (4, -4).
❌ Not quite. The diagonal entries are not eigenvalues of a non-diagonal matrix: T(1,0)=(10,6)T(1,0) = (10, 6), which is not a multiple of (1,0)(1,0).
❌ Not quite. This matrix multiplies (1,1)(1,1) by 22 and (1,−1)(1,-1) by 44, so the eigenvalue roots were attached to the wrong eigenvectors; its square is (10−6−610)≠M(T)\begin{pmatrix} 10 & -6 \\ -6 & 10 \end{pmatrix} \ne \mathcal{M}(T).
❌ Not quite. 44 and 22 are the right eigenvalues of T\sqrt{T}, but this matrix puts them on the standard basis instead of on (1,1)(1,1) and (1,−1)(1,-1); its square is (16004)≠M(T)\begin{pmatrix} 16 & 0 \\ 0 & 4 \end{pmatrix} \ne \mathcal{M}(T).
❌ Not quite. Entrywise square roots fail here: the top-left entry of the square of this matrix is (10)2+(6)2=10+6=16≠10(\sqrt{10})^2 + (\sqrt{6})^2 = 10 + 6 = 16 \ne 10. The square root acts on eigenvalues, not entries.
Show solution

Eigenvectors. T(1,1)=(16,16)=16(1,1)T(1,1) = (16,16) = 16(1,1) and T(1,−1)=(4,−4)=4(1,−1)T(1,-1) = (4,-4) = 4(1,-1). The unit vectors u1=12(1,1)u_1 = \tfrac{1}{\sqrt{2}}(1,1) and u2=12(1,−1)u_2 = \tfrac{1}{\sqrt{2}}(1,-1) are orthogonal, so they form an orthonormal eigenbasis.

Recipe. T u1=4u1\sqrt{T}\, u_1 = 4u_1 and T u2=2u2\sqrt{T}\, u_2 = 2u_2. With (1,0)=12(u1+u2)(1,0) = \tfrac{1}{\sqrt{2}}(u_1 + u_2) and (0,1)=12(u1−u2)(0,1) = \tfrac{1}{\sqrt{2}}(u_1 - u_2):

T(1,0)=12(4,4)+12(2,−2)=(3,1),T(0,1)=12(4,4)−12(2,−2)=(1,3).\sqrt{T}(1,0) = \tfrac{1}{2}(4,4) + \tfrac{1}{2}(2,-2) = (3, 1), \qquad \sqrt{T}(0,1) = \tfrac{1}{2}(4,4) - \tfrac{1}{2}(2,-2) = (1, 3).

So M(T)=(3113)\mathcal{M}(\sqrt{T}) = \begin{pmatrix} 3 & 1 \\ 1 & 3 \end{pmatrix}. Check: (3113)2=(9+13+33+31+9)=(106610)\begin{pmatrix} 3 & 1 \\ 1 & 3 \end{pmatrix}^2 = \begin{pmatrix} 9 + 1 & 3 + 3 \\ 3 + 3 & 1 + 9 \end{pmatrix} = \begin{pmatrix} 10 & 6 \\ 6 & 10 \end{pmatrix}, and the matrix is symmetric with eigenvalues 4,2≥04, 2 \geq 0.

Problem 4 · A Square Root of II That Is Not I\sqrt{I}

Given: R∈L(R2)R \in \mathcal{L}(\mathbf{R}^2), R(x,y)=(y,x)R(x, y) = (y, x), the reflection across the line y=xy = x. Then R2(x,y)=R(y,x)=(x,y)R^2(x,y) = R(y,x) = (x,y), so R2=IR^2 = I. Which statement is correct?

✅ Correct! RR is self-adjoint with eigenvalues 11 on (1,1)(1,1) and −1-1 on (1,−1)(1,-1); the eigenvalue −1-1 rules out positivity, and I=I\sqrt{I} = I because every eigenvalue of II is 11.
❌ Not quite. I\sqrt{I} is the unique positive square root, and self-adjoint is weaker than positive: R(1,−1)=(−1,1)=−(1,−1)R(1,-1) = (-1,1) = -(1,-1), so RR has eigenvalue −1-1.
❌ Not quite. M(R)=(0110)\mathcal{M}(R) = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} equals its transpose, so RR is self-adjoint. What fails is the inequality ⟨Rv,v⟩≥0\langle Rv, v\rangle \geq 0.
❌ Not quite. II does have infinitely many square roots (every reflection is one), but exactly one of them is positive. The uniqueness theorem is about positive square roots, so I\sqrt{I} is well defined.
Show solution

M(R)=(0110)\mathcal{M}(R) = \begin{pmatrix} 0 & 1 \\ 1 & 0 \end{pmatrix} is symmetric, so RR is self-adjoint, and R2=IR^2 = I. Its eigenvectors are (1,1)(1,1) with eigenvalue 11 and (1,−1)(1,-1) with eigenvalue −1-1, and

⟨R(1,−1),(1,−1)⟩=⟨(−1,1),(1,−1)⟩=−1−1=−2<0,\langle R(1,-1), (1,-1)\rangle = \langle (-1,1), (1,-1)\rangle = -1 - 1 = -2 \lt 0,

so RR is not positive. By the theorem, II has exactly one positive square root; since every eigenvalue of II is 11 and 1=1\sqrt{1} = 1, the recipe gives I=I\sqrt{I} = I. The reflection RR (like −I-I and every other reflection) is one of the infinitely many square roots of II that are not positive.

Solved: 0 / 4