Linear Algebra Done Right · Problem 1C.22

Finite-Dimensional Vector Spaces — Sheldon Axler

Mathematics — Linear Algebra · direct-sums

Problem

Suppose U={(x,y,x+y,x−y,2x)∈F5:x,y∈F}.U = \{(x, y, x+y, x-y, 2x) \in \mathbf{F}^5 : x, y \in \mathbf{F}\}. Find three subspaces W1,W2,W3W_1, W_2, W_3 of F5\mathbf{F}^5, none of which equals {0}\{0\}, such that F5=U⊕W1⊕W2⊕W3.\mathbf{F}^5 = U \oplus W_1 \oplus W_2 \oplus W_3.
Intuitive explanation

The key is recognizing that UU is a 2-dimensional subspace (parametrized by the free variables xx and yy), so you need to find three complementary subspaces whose dimensions sum with dim⁡(U)=2\dim(U) = 2 to give 55. Start by writing vectors in UU as linear combinations of basis vectors, then identify which coordinate directions are "used up" by UU and which are "free"—those free directions will span your complementary subspaces. The direct sum decomposition works when the subspaces are independent and their dimensions add to 55.

Intuitive explanation

The key is recognizing that UU is a 2-dimensional subspace (parametrized by the free variables xx and yy), so you need to find three complementary subspaces whose dimensions sum with dim⁡(U)=2\dim(U) = 2 to give 55. Start by writing vectors in UU as linear combinations of basis vectors, then identify which coordinate directions are "used up" by UU and which are "free"—those free directions will span your complementary subspaces. The direct sum decomposition works when the subspaces are independent and their dimensions add to 55.

Related theory

Browse the problem library