True. Choose a basis of and extend it to a basis of the finite-dimensional vector space . Put . Every basis vector belongs to , so . Linear independence of the complete basis makes a vector belonging to both spans necessarily zero. ThereforeThis constructs a direct-sum complement; it need not be unique.
Articles by others on the same topic
There are currently no matching articles.