Why is this the inverse of an nxn identity matrix plus an nxn upper triangular matrix? (I+N) is (I−N+N2−⋯)

Gauge Odom

Gauge Odom

Answered question

2022-09-04

Why is this the inverse of an nxn identity matrix plus an nxn upper triangular matrix?
( I + N ) is ( I N + N 2 )

Answer & Explanation

madirans2m

madirans2m

Beginner2022-09-05Added 17 answers

Step 1
First note that N is nilpotent, i.e., when computing the powers N 2 , N 3 , and so on, the upper triangle gets smaller and smaller until we find that N n is zero (and so are all higher powers). With this in mind,
( I + N ) ( I N + N 2 N 3 ± ± N n ) = ( I N + N 2 + ( 1 ) n N n ) + N ( I N + N 2 + ( 1 ) n N n ) = ( I N + N 2 + ( 1 ) n N n ) + ( N N 2 ± + ( 1 ) n N n + 1 ) = I
because all other summands cancel in pairs (apart from N n + 1 which is zero anyway)
Cameron Benitez

Cameron Benitez

Beginner2022-09-06Added 17 answers

Step 1
As we know from fifth grade" should not be taken literally. What is alluded to is a formula for the sum of an infinite geometric series:
1 r + r 2 r 3 + r 4 = 1 1 + r
if | r | < 1. . Maybe most people encounter that in high school.
The extent to which it can be applied to matrices is more complicated than | r | < 1. . However, note that
( I + N ) ( I N + N 2 N 3 + N 4 ) = I ( I N + N 2 N 3 + N 4 ) + N ( I N + N 2 N 3 + N 4 ) = I N + N 2 N 3 + N 4 I + N N 2 + N 3 N 4 + N 5
In the last row, one could say that each term cancels the one above it, so the sum is I. That is problematic since questions of convergence are involved. In particular, what would happen with numbers with absolute values exceeding 1 were there instead of matrices? To think about convergence one must first consider a finite sequence:
I N + N 2 N 3 + N 4 ± N k I + N N 2 + N 3 N 4 + N k ± N k + 1 = I ± N k + 1
and then ask whether N k + 1 0 as k . .

Do you have a similar question?

Recalculate according to your conditions!

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?