A thing about is that it is -invariant, so if then . Let's prove this. Let be arbitrary. Then so then there is some such that . Then completing the proof.
Also note that since since we have an eigenvector already (from it associated eigenvalue ) so then by the FTOLM then .
So then is an operator on since , so then by induction there is some basis such that is upper triangular. Next, we'll extend this basis to a basis for , namely . Call it . We claim that this will give me an U.T. matrix representation.
where the columns come from and the rows come form . This is a weird matrix, so let's explain it:
The bottom right matrix follows that:
so then we have to have a on the diagonal for this matrix, which is upper triangular.
The bottom left matrix is all 0's since is invariant, so no vectors of are needed to describe since the basis of is only needed.
The top left matrix is upper triangular by our inductive hypothesis
☐
Okay, pause and take a break to get the proof above.
Theorem
Suppose and there is a basis denoted , for which is U.T. Then is invertible iff every diagonal entry in is non-zero.
So if you see a 0 on the diagonal, then you immediately know that isn't invertible.
Proof
We'll do a proof by contradiction for . Assume is invertible and that entry in is 0. That means that:
but since it upper triangular than all for are all 0's:
but also we assumed :
Since is invertible, we have it that is LI since are LI.
We have a LI list of length given by in a vector space of dimension given by which is a contradiction.
The other direction requires some material that we haven't covered yet, and we'll look at that tomorrow.
☐