Vector space/Finite family/Linearly independent and dimension of spanned subspace/Exercise

From Wikiversity
Jump to navigation Jump to search

Let be a field, and let be a -vector space. Let be a family of vectors in , and let

be the linear subspace

they span. Prove that the family is linearly independent if and only if the dimension of is exactly .