Kunze Linear Algebra · Problem 6.6.1

Elementary Canonical Forms

Mathematics — Methods · complementary-subspace

Problem

Let

V

be a finite-dimensional vector space and let

W_1

be any subspace of

V

. Prove that there is a subspace

W_2

V

such that

V = W_1 \oplus W_2