Direct Sum of Eigenspaces

Suppose a linear operator has several different eigenvalues. Each has its own eigenspace of possibly high dimension. A natural question arises. Can these eigenspaces overlap in some hidden, nontrivial way? Or do they fit together as cleanly as possible inside the ambient vector space? This question is not merely aesthetic. It is the linchpin of diagonalization theory. The entire strategy for diagonalizing an operator rests on assembling a basis. That basis is built from eigenvectors drawn from different eigenspaces. The answer, remarkably, is that eigenspaces corresponding to distinct eigenvalues never interfere with one another at all. Their sum is always a direct sum. This means every vector in the total span decomposes uniquely. It decomposes as a sum of eigenvectors, one from each eigenspace involved. This is a stronger and more structural fact. It is more than merely saying eigenvectors for distinct eigenvalues are linearly independent. It says the entire eigenspaces, subspace by subspace, avoid every kind of mutual entanglement. This holds not just for individual vector collisions. The big picture is that this theorem converts a spectral fact into a geometric fact. The spectral fact is a list of eigenvalues. The geometric fact is a direct sum decomposition of a subspace of the vector space. It is the precise reason that a diagonalizable operator's eigenvectors can be gathered into a single basis. You diagonalize exactly when the direct sum of all eigenspaces fills up the whole space. Understanding why the sum is automatically direct matters greatly. No extra hypothesis is needed beyond distinctness of the eigenvalues. This removes the mystery from the Diagonalizability Criterion that follows. This article gives the precise definitions of eigenspace and direct sum. It states and proves the central theorem in full generality. This includes any finite number of distinct eigenvalues, any dimension of vector space, including infinite-dimensional spaces. It works through two concrete non-trivial matrix examples. It also shows via a counterexample exactly what breaks if the eigenvalues are allowed to coincide.

Key takeaways
  • For a linear operator TT, each eigenvalue λ\lambda has an eigenspace Eλ=ker⁡(T−λI)E_\lambda = \ker(T - \lambda I).
  • If λ1,…,λk\lambda_1, \dots, \lambda_k are distinct eigenvalues of TT, then Eλ1+⋯+EλkE_{\lambda_1} + \cdots + E_{\lambda_k} is always a direct sum.
  • Directness means every vector in the sum has a unique expression as v1+⋯+vkv_1 + \cdots + v_k with vi∈Eλiv_i \in E_{\lambda_i}.
  • This is proved by extending the classical independence-of-eigenvectors argument from vectors to whole subspaces.
  • The result needs no extra hypotheses on dimension, field, or operator — only that the eigenvalues be pairwise distinct.
  • Key idea: distinct eigenvalues force distinct "frequencies" of scaling, and no nonzero vector can simultaneously scale two different ways, so the eigenspaces cannot overlap or entangle.

Where this lives today

The direct sum of eigenspaces is the structural backbone of diagonalization: an operator on a finite-dimensional space is diagonalizable exactly when the direct sum of all its eigenspaces equals the whole space, a fact built entirely on this theorem plus a dimension count. In quantum mechanics, observables are modeled by self-adjoint (Hermitian) operators, and distinct eigenvalues correspond to distinct measurable outcomes; the direct sum decomposition of the Hilbert space into eigenspaces is the mathematical expression of the spectral theorem, guaranteeing that measurement outcomes correspond to genuinely independent, non-overlapping physical states. In numerical linear algebra and engineering, this theorem underlies why algorithms such as the power method and QR algorithm can isolate dominant eigenvectors without them "contaminating" one another — because eigenspaces for distinct eigenvalues never share nonzero vectors. In statistics, principal component analysis relies on the spectral decomposition of a covariance matrix, whose distinct eigenvalues yield orthogonal (hence certainly direct-summing) eigenspaces corresponding to independent directions of variance. In graph theory and network science, the eigenspaces of the adjacency or Laplacian matrix of a graph decompose the vertex space directly, and distinct eigenvalues (e.g., in strongly regular or distance-regular graphs) organize the combinatorial structure into cleanly separated components. In cryptography and coding theory, eigenspace decompositions of linear operators over finite fields (e.g., in the study of linear feedback shift registers) rely on exactly this non-overlap phenomenon to guarantee unique decompositions of states.

Ask the tutor: Why does the same induction argument fail the moment two of the chosen eigenvalues coincide, and what exactly goes wrong in the algebra?

DefinitionEigenspace and Direct Sum of Subspaces

Let VV be a vector space over a field F\mathbb{F} and let T:V→VT : V \to V be a linear operator.

Eigenspace. For a scalar λ∈F\lambda \in \mathbb{F}, the eigenspace of TT corresponding to λ\lambda is

Eλ(T)={v∈V:Tv=λv}=ker⁡(T−λI).E_\lambda(T) = \{ v \in V : Tv = \lambda v \} = \ker(T - \lambda I).

This is always a subspace of VV (it is the kernel of the linear map T−λIT - \lambda I). The scalar λ\lambda is an eigenvalue of TT precisely when Eλ(T)≠{0}E_\lambda(T) \neq \{0\}, i.e., when there exists a nonzero vv with Tv=λvTv = \lambda v; such a vv is called an eigenvector for λ\lambda.

Sum of subspaces. Given subspaces W1,…,Wk⊆VW_1, \dots, W_k \subseteq V, their sum is

W1+⋯+Wk={w1+⋯+wk:wi∈Wi for each i}.W_1 + \cdots + W_k = \{ w_1 + \cdots + w_k : w_i \in W_i \text{ for each } i \}.

Direct sum. The sum W1+⋯+WkW_1 + \cdots + W_k is called a direct sum, written W1⊕⋯⊕WkW_1 \oplus \cdots \oplus W_k, if every element of the sum has a unique representation as w1+⋯+wkw_1 + \cdots + w_k with wi∈Wiw_i \in W_i. Equivalently (a standard fact about subspaces), the sum is direct if and only if

w1+⋯+wk=0,wi∈Wi for all i⟹wi=0 for all i.w_1 + \cdots + w_k = 0, \quad w_i \in W_i \ \text{for all } i \quad \Longrightarrow \quad w_i = 0 \ \text{for all } i.

Intuition

Picture each eigenspace as a "pure mode" of the operator TT: every nonzero vector inside EλiE_{\lambda_i} gets stretched by the same factor λi\lambda_i when TT is applied, and nothing else happens to it. If two different eigenspaces Eλ1E_{\lambda_1} and Eλ2E_{\lambda_2} shared a nonzero vector vv, that single vector would have to be stretched by λ1\lambda_1 and by λ2\lambda_2 simultaneously — a contradiction unless λ1=λ2\lambda_1 = \lambda_2. This is the seed of the whole theorem: distinct eigenvalues are like distinct musical frequencies, and no nonzero "sound" can vibrate at two different pure frequencies at once. The subtlety the theorem resolves is more than pairwise: could a vector in Eλ3E_{\lambda_3} perhaps be expressed as some combination of vectors from Eλ1E_{\lambda_1} and Eλ2E_{\lambda_2} even though no individual clash occurs? The theorem says no — the whole collection of eigenspaces, taken together, remains independent in the direct-sum sense. Geometrically, in R3\mathbb{R}^3 with three distinct eigenvalues, each 1-dimensional eigenspace is a distinct line through the origin, and the three lines (assuming they truly correspond to a diagonalizable operator) span three independent directions with no overlap beyond the origin — exactly like the xx, yy, zz axes.

Figure
Three eigenspaces as independent lines through the origin, corresponding to eigenvalues 2, −1, 5
E_λ₁ (λ₁=2) E_λ₂ (λ₂=−1) E_λ₃ (λ₃=5) 0 Only common point: the origin — the sum E_λ₁+E_λ₂+E_λ₃ is direct.

Theorem

TheoremDirect Sum of Eigenspaces

Let VV be a vector space over a field F\mathbb{F}, and let T:V→VT : V \to V be a linear operator. Let λ1,λ2,…,λk∈F\lambda_1, \lambda_2, \dots, \lambda_k \in \mathbb{F} be distinct scalars (i.e., λi≠λj\lambda_i \neq \lambda_j whenever i≠ji \neq j), and let Eλ1,…,EλkE_{\lambda_1}, \dots, E_{\lambda_k} be the corresponding eigenspaces of TT (some may be {0}\{0\} if λi\lambda_i is not actually an eigenvalue). Then the sum

Eλ1+Eλ2+⋯+EλkE_{\lambda_1} + E_{\lambda_2} + \cdots + E_{\lambda_k}

is a direct sum:

Eλ1+⋯+Eλk=Eλ1⊕⋯⊕Eλk.E_{\lambda_1} + \cdots + E_{\lambda_k} = E_{\lambda_1} \oplus \cdots \oplus E_{\lambda_k}.

No hypothesis on the dimension of VV, on the field F\mathbb{F}, or on the number kk (beyond k≥1k \geq 1 and finiteness) is required beyond the distinctness of the λi\lambda_i.

Proof

We use induction on kk, the number of eigenspaces, combined with the defining criterion for directness stated in the definition above. This is the same style of argument used to prove Independence of Eigenvectors for Distinct Eigenvalues, but applied to whole subspaces rather than single vectors; we do not assume that prior theorem as a black box, we re-derive the needed mechanism from scratch so the proof is self-contained.

Base case k=1k = 1. A single subspace Eλ1E_{\lambda_1} trivially satisfies the direct sum condition: if w1=0w_1 = 0 with w1∈Eλ1w_1 \in E_{\lambda_1}, then certainly w1=0w_1 = 0. There is nothing more to check.

Inductive step. Suppose the theorem holds for any k−1k-1 distinct eigenvalues (inductive hypothesis): for any distinct μ1,…,μk−1∈F\mu_1, \dots, \mu_{k-1} \in \mathbb{F}, the sum Eμ1+⋯+Eμk−1E_{\mu_1} + \cdots + E_{\mu_{k-1}} is direct. We prove it for kk distinct eigenvalues λ1,…,λk\lambda_1, \dots, \lambda_k. By the criterion for directness, it suffices to show: if

w1+w2+⋯+wk=0,wi∈Eλi for each i,w_1 + w_2 + \cdots + w_k = 0, \qquad w_i \in E_{\lambda_i} \text{ for each } i,

then wi=0w_i = 0 for every ii. So assume this equation holds. Apply the linear operator TT to both sides:

T(w1+⋯+wk)=T(0)=0.T(w_1 + \cdots + w_k) = T(0) = 0.

Since TT is linear and Twi=λiwiTw_i = \lambda_i w_i for each ii (as wi∈Eλiw_i \in E_{\lambda_i}), this gives

λ1w1+λ2w2+⋯+λkwk=0.(1)\lambda_1 w_1 + \lambda_2 w_2 + \cdots + \lambda_k w_k = 0. \tag{1}

Now multiply the original equation

w1+w2+⋯+wk=0(2)w_1 + w_2 + \cdots + w_k = 0 \tag{2}

by the scalar λk\lambda_k:

λkw1+λkw2+⋯+λkwk=0.(3)\lambda_k w_1 + \lambda_k w_2 + \cdots + \lambda_k w_k = 0. \tag{3}

Subtract (3) from (1):

(λ1−λk)w1+(λ2−λk)w2+⋯+(λk−1−λk)wk−1+0⋅wk=0.(\lambda_1 - \lambda_k) w_1 + (\lambda_2 - \lambda_k) w_2 + \cdots + (\lambda_{k-1} - \lambda_k) w_{k-1} + 0 \cdot w_k = 0.

That is,

(λ1−λk)w1+⋯+(λk−1−λk)wk−1=0.(4)(\lambda_1 - \lambda_k) w_1 + \cdots + (\lambda_{k-1} - \lambda_k) w_{k-1} = 0. \tag{4}

Here each coefficient (λi−λk)(\lambda_i - \lambda_k) for i=1,…,k−1i = 1, \dots, k-1 is nonzero, because the λi\lambda_i are pairwise distinct. Define

ui:=(λi−λk)wi∈Eλi(i=1,…,k−1),u_i := (\lambda_i - \lambda_k) w_i \in E_{\lambda_i} \quad (i = 1, \dots, k-1),

which lies in EλiE_{\lambda_i} because EλiE_{\lambda_i} is a subspace (closed under scalar multiplication) and wi∈Eλiw_i \in E_{\lambda_i}. Equation (4) reads

u1+u2+⋯+uk−1=0,ui∈Eλi.u_1 + u_2 + \cdots + u_{k-1} = 0, \qquad u_i \in E_{\lambda_i}.

By the inductive hypothesis applied to the k−1k-1 distinct eigenvalues λ1,…,λk−1\lambda_1, \dots, \lambda_{k-1}, the sum Eλ1+⋯+Eλk−1E_{\lambda_1} + \cdots + E_{\lambda_{k-1}} is direct, so this forces

ui=0for all i=1,…,k−1.u_i = 0 \quad \text{for all } i = 1, \dots, k-1.

That is, (λi−λk)wi=0(\lambda_i - \lambda_k) w_i = 0 for each i<ki < k. Since λi−λk≠0\lambda_i - \lambda_k \neq 0, we may divide (multiply by the multiplicative inverse in the field F\mathbb{F}) to conclude

wi=0for all i=1,…,k−1.w_i = 0 \quad \text{for all } i = 1, \dots, k-1.

Finally, substitute back into the original equation (2): since w1=⋯=wk−1=0w_1 = \cdots = w_{k-1} = 0, equation (2) reduces to wk=0w_k = 0. Hence w1=w2=⋯=wk=0w_1 = w_2 = \cdots = w_k = 0, as required. This closes the inductive step. By induction, the theorem holds for every finite k≥1k \geq 1, completing the proof. ■\blacksquare

∎

Worked examples

Example 1 — a 4×44\times 4 matrix with three distinct eigenvalues of mixed multiplicity. Let

A=(300003100030100−2).A = \begin{pmatrix} 3 & 0 & 0 & 0 \\ 0 & 3 & 1 & 0 \\ 0 & 0 & 3 & 0 \\ 1 & 0 & 0 & -2 \end{pmatrix}.

The matrix is block lower-triangular in a useful sense; let's find its eigenvalues directly from the structure. The characteristic polynomial can be computed by expanding along the last column, but it is faster to notice the matrix is triangular except for the (2,3)(2,3) entry and the (4,1)(4,1) entry. Compute det⁡(A−tI)\det(A - tI):

A−tI=(3−t00003−t10003−t0100−2−t).A - tI = \begin{pmatrix} 3-t & 0 & 0 & 0 \\ 0 & 3-t & 1 & 0 \\ 0 & 0 & 3-t & 0 \\ 1 & 0 & 0 & -2-t \end{pmatrix}.

Expanding along the first row: the only nonzero entry in row 1 is (3−t)(3-t) in position (1,1)(1,1), so

det⁡(A−tI)=(3−t)det⁡(3−t1003−t000−2−t).\det(A-tI) = (3-t)\det\begin{pmatrix} 3-t & 1 & 0 \\ 0 & 3-t & 0 \\ 0 & 0 & -2-t \end{pmatrix}.

This 3×33\times 3 matrix is upper triangular, so its determinant is (3−t)2(−2−t)(3-t)^2(-2-t). Thus

det⁡(A−tI)=(3−t)3(−2−t)=−(t−3)3(t+2).\det(A - tI) = (3-t)^3(-2-t) = -(t-3)^3(t+2).

The eigenvalues are λ1=3\lambda_1 = 3 (algebraic multiplicity 3) and λ2=−2\lambda_2 = -2 (algebraic multiplicity 1). These are only two distinct eigenvalues, so the theorem tells us E3⊕E−2E_3 \oplus E_{-2} is direct — let's verify by computing both eigenspaces explicitly. Eigenspace E3E_3: solve (A−3I)v=0(A - 3I)v = 0 where

A−3I=(000000100000100−5).A - 3I = \begin{pmatrix} 0 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 0 \\ 1 & 0 & 0 & -5 \end{pmatrix}.

Row 2 forces v3=0v_3 = 0. Row 4 gives v1−5v4=0v_1 - 5v_4 = 0, i.e. v1=5v4v_1 = 5v_4. Variables v2v_2 and v4v_4 are free. So

E3={(5s,r,0,s):r,s∈R}=span⁡{(5,0,0,1), (0,1,0,0)},E_3 = \left\{ (5s, r, 0, s) : r, s \in \mathbb{R} \right\} = \operatorname{span}\{(5,0,0,1),\ (0,1,0,0)\},

a 2-dimensional eigenspace (geometric multiplicity 2, strictly less than algebraic multiplicity 3 — the matrix is not diagonalizable, but that does not affect this theorem). Eigenspace E−2E_{-2}: solve (A+2I)v=0(A+2I)v = 0 where

A+2I=(5000051000501000).A + 2I = \begin{pmatrix} 5 & 0 & 0 & 0 \\ 0 & 5 & 1 & 0 \\ 0 & 0 & 5 & 0 \\ 1 & 0 & 0 & 0 \end{pmatrix}.

Row 1 gives v1=0v_1 = 0; row 4 then gives v1=0v_1 = 0 again (consistent). Row 3 gives v3=0v_3 = 0. Row 2 then gives 5v2+v3=0⇒v2=05v_2 + v_3 = 0 \Rightarrow v_2 = 0. Only v4v_4 is free:

E−2=span⁡{(0,0,0,1)},1-dimensional.E_{-2} = \operatorname{span}\{(0,0,0,1)\}, \quad \text{1-dimensional}.

Now check directness concretely. Suppose w1∈E3w_1 \in E_3 and w2∈E−2w_2 \in E_{-2} with w1+w2=0w_1 + w_2 = 0. Write w1=5s(1,0,0,0)+s(0,0,0,1)+r(0,1,0,0)w_1 = 5s(1,0,0,0) + s(0,0,0,1) + r(0,1,0,0)... more precisely w1=(5s,r,0,s)w_1 = (5s, r, 0, s) and w2=(0,0,0,t)w_2 = (0,0,0,t). Then

w1+w2=(5s, r, 0, s+t)=(0,0,0,0)w_1 + w_2 = (5s,\, r,\, 0,\, s+t) = (0,0,0,0)

forces s=0s = 0, r=0r = 0, and then t=0t = 0. Hence w1=w2=0w_1 = w_2 = 0, confirming directness exactly as the theorem guarantees — and this matches the general proof: applying AA to w1+w2=0w_1+w_2=0 gives 3w1−2w2=03w_1 - 2w_2 = 0, and eliminating w2w_2 using 2(w1+w2)=02(w_1+w_2)=0 gives 5w1=05w_1=0, so w1=0w_1=0, hence w2=0w_2=0, mirroring the induction step exactly.

Example 2 — a 3×33\times 3 matrix with three distinct eigenvalues, verifying the full direct sum fills the space. Let

B=(411242−1−11).B = \begin{pmatrix} 4 & 1 & 1 \\ 2 & 4 & 2 \\ -1 & -1 & 1 \end{pmatrix}.

Compute the characteristic polynomial:

det⁡(B−tI)=det⁡(4−t1124−t2−1−11−t).\det(B - tI) = \det\begin{pmatrix} 4-t & 1 & 1 \\ 2 & 4-t & 2 \\ -1 & -1 & 1-t \end{pmatrix}.

Expand along the first row:

=(4−t)[(4−t)(1−t)−2(−1)]−1[2(1−t)−2(−1)]+1[2(−1)−(4−t)(−1)].= (4-t)\big[(4-t)(1-t) - 2(-1)\big] - 1\big[2(1-t) - 2(-1)\big] + 1\big[2(-1) - (4-t)(-1)\big].

Compute each bracket:

  • (4−t)(1−t)+2=(4−4t−t+t2)+2=t2−5t+6(4-t)(1-t) + 2 = (4 - 4t - t + t^2) + 2 = t^2 -5t + 6.
  • 2(1−t)+2=2−2t+2=4−2t2(1-t) + 2 = 2 - 2t + 2 = 4 - 2t.
  • −2+(4−t)=2−t-2 + (4-t) = 2 - t.

So

det⁡(B−tI)=(4−t)(t2−5t+6)−(4−2t)+(2−t).\det(B-tI) = (4-t)(t^2 - 5t + 6) - (4 - 2t) + (2-t).

Expand (4−t)(t2−5t+6)=4t2−20t+24−t3+5t2−6t=−t3+9t2−26t+24(4-t)(t^2-5t+6) = 4t^2 -20t +24 -t^3 +5t^2 -6t = -t^3 + 9t^2 -26t +24. Then

det⁡(B−tI)=−t3+9t2−26t+24−4+2t+2−t=−t3+9t2−25t+22.\det(B-tI) = -t^3 + 9t^2 - 26t + 24 - 4 + 2t + 2 - t = -t^3 + 9t^2 - 25t + 22.

Test t=2t=2: −8+36−50+22=0-8 + 36 - 50 + 22 = 0. Good, t=2t=2 is a root. Factor:

−t3+9t2−25t+22=−(t−2)(t2−7t+11).-t^3+9t^2-25t+22 = -(t-2)(t^2 -7t + 11).

(Check: (t−2)(t2−7t+11)=t3−7t2+11t−2t2+14t−22=t3−9t2+25t−22(t-2)(t^2-7t+11) = t^3 -7t^2+11t -2t^2+14t-22 = t^3 -9t^2+25t-22, and negating gives our polynomial — correct.) Solve t2−7t+11=0t^2 - 7t + 11 = 0: t=7±49−442=7±52t = \frac{7 \pm \sqrt{49-44}}{2} = \frac{7\pm\sqrt5}{2}. So the three eigenvalues are

λ1=2,λ2=7+52,λ3=7−52,\lambda_1 = 2, \qquad \lambda_2 = \frac{7+\sqrt5}{2}, \qquad \lambda_3 = \frac{7-\sqrt5}{2},

all distinct (since 5≠0\sqrt5 \ne 0 and 2≠7±522 \ne \frac{7\pm\sqrt5}{2}, as 7−52≈2.38≠2\frac{7-\sqrt5}{2}\approx 2.38 \ne 2). By the theorem, Eλ1⊕Eλ2⊕Eλ3E_{\lambda_1} \oplus E_{\lambda_2} \oplus E_{\lambda_3} is automatically a direct sum — no computation needed to confirm this. Since BB is 3×33\times 3 with three distinct eigenvalues, each eigenspace is (at least, hence exactly) 1-dimensional, and

dim⁡(Eλ1⊕Eλ2⊕Eλ3)=1+1+1=3=dim⁡R3,\dim(E_{\lambda_1} \oplus E_{\lambda_2} \oplus E_{\lambda_3}) = 1+1+1 = 3 = \dim \mathbb{R}^3,

so this direct sum is all of R3\mathbb{R}^3 — a preview of how directness of eigenspaces feeds directly into the Diagonalizability Criterion: BB is diagonalizable precisely because these eigenspaces, being automatically direct, exhaust the whole space.

CounterexampleDistinctness of eigenvalues cannot be dropped

The theorem's hypothesis that λ1,…,λk\lambda_1, \dots, \lambda_k be pairwise distinct is essential; without it the "sum" of the (repeated) eigenspace with itself is not even well-formed as a direct sum in a meaningful sense, but more importantly, if we instead ask whether eigenspaces for equal eigenvalues combine with genuinely different eigenspaces for possibly-coincident labels, uniqueness of decomposition can fail once two of the eigenvalues are forced to coincide by a bad choice of indexing across a repeated root. The cleanest way to see what really breaks is to consider two different subspaces that are not eigenspaces for distinct eigenvalues, but for the same eigenvalue, and see the direct sum property vanish. Let T:R3→R3T : \mathbb{R}^3 \to \mathbb{R}^3 be the identity operator, T=IT = I. Then every nonzero vector is an eigenvector with eigenvalue 11, so E1=R3E_1 = \mathbb{R}^3 is the entire space. Now pick two distinct 2-dimensional subspaces of E1E_1, say

W1=span⁡{(1,0,0),(0,1,0)},W2=span⁡{(0,1,0),(0,0,1)}.W_1 = \operatorname{span}\{(1,0,0), (0,1,0)\}, \qquad W_2 = \operatorname{span}\{(0,1,0), (0,0,1)\}.

Both W1W_1 and W2W_2 are subspaces of the same eigenspace E1E_1 (since TT acts as scalar 11 on the whole space, every subspace of R3\mathbb{R}^3 is "eigenvalue-1 respecting"). If one mistakenly tried to apply the theorem's conclusion to W1W_1 and W2W_2 as though they were eigenspaces for two different eigenvalues, directness would fail badly:

W1+W2=R3,W1∩W2=span⁡{(0,1,0)}≠{0}.W_1 + W_2 = \mathbb{R}^3, \qquad W_1 \cap W_2 = \operatorname{span}\{(0,1,0)\} \neq \{0\}.

Indeed, the vector (0,1,0)(0,1,0) has two different representations as w1+w2w_1 + w_2 with w1∈W1,w2∈W2w_1\in W_1,w_2\in W_2: trivially (0,1,0)+(0,0,0)(0,1,0)+ (0,0,0), but also (0,0,0)+(0,1,0)(0,0,0)+(0,1,0), and more seriously, (0,1,0)=(0,1,0)−(0,0,0)(0,1,0) = (0,1,0) - (0,0,0) can be split many ways, e.g. (0,1,0)=(0,12,0)+(0,12,0)(0,1,0) = (0, \tfrac12,0) + (0,\tfrac12,0) with both summands landing in W1∩W2W_1\cap W_2. This non-uniqueness is precisely the failure of directness, and it happens because W1,W2W_1, W_2 are not eigenspaces for two distinct eigenvalues — they are both sitting inside the single eigenspace of the single eigenvalue λ=1\lambda = 1. The proof breaks down exactly at the step "(λi−λk)≠0(\lambda_i - \lambda_k) \neq 0": if we try to run the argument with λ1=λ2=1\lambda_1 = \lambda_2 = 1, the coefficient λ1−λ2=0\lambda_1 - \lambda_2 = 0, so we can no longer divide, and the inductive collapse to wi=0w_i = 0 never occurs. This shows precisely where distinctness is used, and that no weaker hypothesis suffices.

Scope, edge cases & common traps

SituationWhat happens
Some λi\lambda_i is not actually an eigenvalue of TTEλi={0}E_{\lambda_i} = \{0\}, and the theorem still holds trivially (a zero subspace contributes nothing and cannot create overlap).
VV is infinite-dimensionalThe proof uses no finite-dimensionality; it works verbatim for any vector space over any field.
kk eigenvalues but geometric multiplicities sum to less than dim⁡V\dim VDirect sum still holds; it just may not equal all of VV (as in Example 1). This is exactly the gap measured by the Diagonalizability Criterion.
Two of the λi\lambda_i are equalHypothesis violated; the theorem does not apply and, as the counterexample shows, directness can genuinely fail for a poorly chosen pair of subspaces confused with eigenspaces.
Field of characteristic ppProof only uses field axioms (subtraction, existence of inverses for nonzero scalars), so it holds over any field, including finite fields.

The mathematician behind it

Origins · 1 minAugustin-Louis Cauchy and how this was discovered
AC
Augustin-Louis Cauchy
1789–1857 · early 19th-century France, foundational work on eigenvalues via characteristic equations of quadratic forms

Cauchy's work on the "principal axes" of quadratic forms and his study of what he called valeurs propres laid essential groundwork for the modern theory of eigenvalues and eigenvectors. Long before the abstract vector-space language of direct sums was formalized, Cauchy understood that distinct roots of the characteristic equation corresponded to geometrically independent directions of a quadratic form — the seed of the phenomenon formalized in this article.

History
- 1826 — Cauchy studies the characteristic equation of quadratic forms and distinct roots corresponding to independent principal axes.
- 1858 — Arthur Cayley's memoir on matrix algebra develops matrix eigenvalue language systematically.
- 1904 — David Hilbert coins "eigenwert" (eigenvalue) in the context of integral equations, extending the theory to infinite-dimensional spaces.
- 1930s — von Neumann and others formalize direct sum decompositions rigorously within the axiomatic framework of vector spaces and Hilbert spaces.
- 1958 onward — Standard linear algebra textbooks (Hoffman–Kunze, and later Axler) present the direct-sum-of-eigenspaces theorem as a clean, self-contained result preceding diagonalizability criteria.
Does this theorem require the vector space to be finite-dimensional?

No. The proof only uses linearity of TT, the subspace properties of each EλiE_{\lambda_i}, and field arithmetic (existence of multiplicative inverses for nonzero scalars). None of these require finite dimension. The theorem holds verbatim for infinite-dimensional vector spaces, including function spaces where TT might be a differential or integral operator, provided the eigenvalues under consideration are still pairwise distinct scalars in the base field.

Is "direct sum" here the same as "orthogonal direct sum" from inner product spaces?

Not necessarily. This theorem produces an algebraic direct sum: unique decomposition of vectors, with no reference to any inner product or orthogonality. If TT happens to be self-adjoint (or more generally normal) with respect to some inner product, then eigenspaces for distinct eigenvalues turn out to be orthogonal as well, which is a stronger and separate fact (part of the spectral theorem). Without such extra structure, directness alone does not imply orthogonality.

Does the theorem tell us the operator is diagonalizable?

Not by itself. It only guarantees that the sum of all eigenspaces is direct, so their dimensions add up correctly inside VV. Diagonalizability additionally requires that this direct sum equal the entire space VV, i.e., that the eigenvectors span VV. Example 1 shows a case where the eigenspaces sum directly but do not exhaust R4\mathbb{R}^4 (dimensions 2+1=3<42+1=3<4), so that matrix is not diagonalizable, even though the direct sum theorem still holds perfectly.

What if two eigenvalues are complex conjugates of each other, is the theorem still valid?

Yes, as long as they are treated as distinct scalars in the field (e.g., working over C\mathbb{C}, or over R\mathbb{R} if you only ever consider real eigenvalues). If λ\lambda and λˉ\bar\lambda are genuinely different complex numbers, the theorem applies to EλE_\lambda and EλˉE_{\bar\lambda} exactly as to any other pair of distinct scalars; the proof makes no use of any real-versus-complex distinction, only of field arithmetic.

Can the theorem fail if TT is not linear?

The very definitions of eigenspace and eigenvector presuppose Tv=λvTv=\lambda v interacting correctly with vector space operations, and the proof crucially uses linearity when applying TT to a sum: T(w1+⋯+wk)=Tw1+⋯+TwkT(w_1+\cdots+w_k) = Tw_1 + \cdots + Tw_k. If TT is not linear, "eigenspace" is not even standardly defined, and the entire apparatus (eigenvalues, eigenspaces, and this theorem) does not apply. Linearity of TT is a standing hypothesis throughout, not an optional extra.

How does this theorem connect to the Diagonalizability Criterion?

It supplies exactly half of that criterion for free: whenever you have several distinct eigenvalues, you automatically know their eigenspaces combine directly, so

dim⁡(Eλ1⊕⋯⊕Eλk)=dim⁡Eλ1+⋯+dim⁡Eλk.\dim(E_{\lambda_1}\oplus\cdots\oplus E_{\lambda_k}) = \dim E_{\lambda_1} + \cdots + \dim E_{\lambda_k}.

The remaining question for diagonalizability is purely a dimension count: does this total equal dim⁡V\dim V? If yes, the operator is diagonalizable; if the sum of geometric multiplicities falls short (as in Example 1), it is not. This theorem removes any worry about hidden overlaps, reducing diagonalizability to counting dimensions.

Is the converse true — if a sum of subspaces is direct, must they be eigenspaces for distinct eigenvalues?

No, and this converse is not claimed anywhere in the theorem. Many direct sums of subspaces have nothing to do with eigenspaces at all — for instance, any complementary pair of subspaces W1⊕W2=VW_1 \oplus W_2 = V with W1∩W2={0}W_1 \cap W_2 = \{0\} forms a direct sum regardless of any operator. The theorem is a one-directional implication: distinct eigenvalues ⇒\Rightarrow direct sum of eigenspaces. It says nothing about direct sums arising from other sources.

Before this