No stuff on 8.B on Square roots. Just the stuff before that (before pg. 258)
Recall from last week that we talked about this "main result":
Theorem
Given an operator where is a complex finite-dimensional vector space, then there is a basis of generalized eigenvectors of .
Namely:
Further, we defined the multiplicity of an eigenvalue :
multiplicity of an eigenvalue
For , the multiplicity of an eigenvalue is .
And for the matrix representation of using the basis of generalized eigenvectors? Suppose we have:
is the basis for .
is the basis for
...
is the basis for
Then the concatenation of all of these vectors is a basis, denoted , for as prior discussed. Here the notation suggest that each is the multiplicity of each . Further note that is -invariant.
Then we have a bloch-diagonal structure:
Note that and here is nilpotent on specifically. What that means is that:
Thus:
Note the 's in the main matrix are all matrices with corresponding entries all 0's.
Square Roots
We can do some nice things with nilpotent operators! Suppose is a nilpotent operator. Then there's some minimum positive integer such that (the zero operator).
Let , with:
then:
where the second equality comes from the fact that and same for higher powers. In fact, substituting allows to still be finite. So if you gave me some power series:
then substituting gives:
So using a nilpotent operator in a power series always gives a polynomial operator in . What can we do with fact? Look at the geometric series for example:
Substituting in here:
because we have have a nilpotent operator. If we were to foil this out a lot of cancellation happens, and we'd only have the first term and the last term which becomes irrelevant anyway. This all implies that is invertible and is given by:
Looking at another series:
Implying that the inverse of is:
Now for a big one. We generalized:
We were allowed to choose things like though and it still worked:
Now plugging to get:
For this specific case:
This brings us to:
Theorem
Given a nilpotent , the operator has a square root
Proof
We can use the construction made above.
☐
Theorem
Every invertible operator on a complex vector space has a square root.
Proof
Let be the distinct eigenvalues of . As is complex, then:
Let's construct an operator such that . Define by its action on a basis. In particular, using the basis .
Consider . On this space, notice whcih is a nilpotent plus the identity: