Linear Algebra Done Right · Problem 1C.22
Finite-Dimensional Vector Spaces — Sheldon Axler
Mathematics — Linear Algebra · direct-sums
Problem
Suppose Find three subspaces of , none of which equals , such thatIntuitive explanation
The key is recognizing that is a 2-dimensional subspace (parametrized by the free variables and ), so you need to find three complementary subspaces whose dimensions sum with to give . Start by writing vectors in as linear combinations of basis vectors, then identify which coordinate directions are "used up" by 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 .
Intuitive explanation
The key is recognizing that is a 2-dimensional subspace (parametrized by the free variables and ), so you need to find three complementary subspaces whose dimensions sum with to give . Start by writing vectors in as linear combinations of basis vectors, then identify which coordinate directions are "used up" by 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 .