Call the inverse of a square matrix1 , denoted , the matrix such that . It's the equivalent of for real numbers.
Let's suppose we can find some matrix such that , where is a diagonal matrix.
If we expand out, for instance, , a funny thing happens:
The extra copies of and just vanish. In general, we have that . All of those cancellations save us a lot of work: recall that is relatively easy to compute. So, for the price of just two extra multiplications, we can use this representation, called a diagonalization of , to efficiently compute .
- Exercise for the reader: why do I specify square?↩
Call the inverse of a square matrix1 , denoted , the matrix such that . It's the equivalent of for real numbers.
Let's suppose we can find some matrix such that , where is a diagonal matrix.
If we expand out, for instance, , a funny thing happens:
The extra copies of and just vanish. In general, we have that . All of those cancellations save us a lot of work: recall that is relatively easy to compute. So, for the price of just two extra multiplications, we can use this representation, called a diagonalization of , to efficiently compute .
- Exercise for the reader: why do I specify square?↩