Midterm is pushed back. Check canvas later on but yeah.
Finishing 2.A
Theorem
In a vector space with are LD list:
There is some such that is a linear combination of
.
Note that this makes sense, since you can change the order of vectors (not the contents) such that the span is the same.
Linear Independence Theorem
The length of a LI list is always to the length of a spanning list in any vector space .
Proof
Suppose is a LI list and that is a spanning list for . We want to show that .
Consider . We can prepend to this list. This new list is dependent since the span , so the can be written in terms of . So is a LD list. Since it is, then there's some vector in the list that can be written as the previous, and if we remove the vector is doesn't change the span. Thus, there's some that is a linear combination of previous vectors. We throw out and consider the new list.
Consider , whose span has been unchanged from before. Repeat this idea, and consider . It is a LD list, so one of the vectors is a combination of the previous. It has to be one of the 's again since the 's are LI. So there is again some that is a linear combination of the previous. We throw it out and repeat.
Note then that there must be at least as many 's as there are 's, so , and the proof is done.
☐
Note
Recall that subspace of symmetric matrices:
So any list of length 4 or more vectors is guaranteed to be LD.
Bases
Consider the diagram below:
Thus having both properties are interesting to us, so we make a definition
Basis
A list in a vector space is a basis of if the list is:
L.I.
A spanning list
Now suppose that is a basis for , and is also a basis for . Using the LI Theorem, then , but we can do it the other way so then , so . Therefore, all bases for a vector space are the same number, so we give it a name:
Dimension
The number of vectors in a basis of is called the dimension of .
So if I have a LI list that isn't spanning, then the number of vectors is too low. And if a spanning list is LD, then we need to remove some vectors:
Hence when adding new vectors to make a LI list still LI is an extension to basis, and likewise removing vectors from a spanning list to make it LI is a reduction to basis (trimming).
Reduction
Suppose is a spanning list of . If the list of is LI then we are done. Otherwise, then the list must be LD, so at least one of these can be made as a linear combination of the others. Thus, we can throw it out without changing the span:
Thus, remove it, and repeat this process until we are LI. This must eventually terminate as there's a finite number of vectors in the list.
Extension
Suppose is LI. If they span, great we are done. If not, add a vector outside of the span of the list, say . The new list must be LI, so we can just repeat. Since , in a finitely-dimensional vector space, we must terminate once we have vectors in our list.