Maths WorkshopMaths problems with full solutions
Exercise 1901Linear algebra › Vector spaces and subspacesL1Added 3 Nov 2026

Direct sum of subspaces

#direct sum#supplementary subspaces#dimension

Statement

In R3\mathbb{R}^3, let F={(x,y,z):x+y+z=0}F=\{(x,y,z): x+y+z=0\} and G=span⁡((1,1,1))G=\operatorname{span}((1,1,1)). Show that FF and GG are supplementary: R3=F⊕G\mathbb{R}^3=F\oplus G.

Hint

Show that F∩G={0}F\cap G=\{0\} and dim⁡F+dim⁡G=3\dim F+\dim G=3.

Show solutionHide solution

Solution

Dimension. dim⁡F=2\dim F=2 (a plane through the origin) and dim⁡G=1\dim G=1 (a line). Their sum is 3=dim⁡R33=\dim\mathbb{R}^3.

Intersection. A vector in GG has the form λ(1,1,1)\lambda(1,1,1). If it is also in FF, then λ+λ+λ=3λ=0\lambda+\lambda+\lambda=3\lambda=0, so λ=0\lambda=0. Thus F∩G={0}F\cap G=\{0\}.

Conclusion. By the direct sum criterion, R3=F⊕G\mathbb{R}^3=F\oplus G.

Interpretation. Every vector v∈R3v\in\mathbb{R}^3 decomposes uniquely as v=vF+vGv=v_F+v_G with vF∈Fv_F\in F and vG∈Gv_G\in G.