Suppose I have a general vector space $V$ (could be possible uncountably infinite dimensional) and a list of vectors $(e_s)_{s \in S}$ that is linearly independent but doesn't span the whole of $V$. Is it true that I will always have a subspace $U \subset V$ such that $V= \langle e_s \rangle_{s \in S} \oplus U$?
existence of a complementary subspace
3
$\begingroup$
linear-algebra
2 Answers
2
Yes, extend $\{e_s\}_{s\in S}$ to a basis of $V$, call it $B$. Letting $U =B \setminus\{e_s\}$ gives a complementary subspace. so that $V = \langle e_s\rangle _{s\in S}\oplus \langle U\rangle $
3
Yes. You can always complete your linearly independent set to a basis, say $(e_s)_{s\in S}\cup(f_t)_{t\in T}$, and take $W=\text{span}\,\{f_t\}_{t\in T}$.
-
0Indeed.${\ \ \ \ }$ – 2012-11-21