notevector-spaces

Recall Span and Linear Combination

Discussed Polynomials as a Vector Space

Proved Linear Dependence Lemma

Theorem

In a finite-dimensional vector space, the length of every linearly independent list of vectors is less than or equal to the length of every spanning list of vectors.

Proof

Suppose is linearly independent and spans . We need to show that .

Let be the list , which spans . Then the list is linearly dependent since by assumption. By the linear dependence lemma, one of is a linear combination of the previous vectors in the list. since is linearly independent. So in the lemma. Therefore, we can remove some from the list, and preserve the span. So .

Step , for : After step , the list looks like . Also spans . Thus, , so is linearly dependent.

Since is linearly independent, our index from the linear dependent lemma must “point to” some . Thus, we can remove this and preserve the span.

Since we can do this for all the ‘s, .

Theorem

Every subspace of a finite-dimensional vector space is finite dimensional.