Skip to main content

2.5 Problem 34 and 45, Introduction to Linear Algebra by Gilbert Strang

Gilbert Strang's book, Introduction to Linear Algebra 4th ed., chapter 2 section 5, problem 34 and 45 are following. I think Problem 45 is an extension of Problem 34.

Problem 45 is to find the S after this. Then, we could naturally extends this problem to the next:

45' Elimination for a 2 by 2 block matrix: Find inverse of 2 by 2 block matrix.

I try to find the solution of this problem here.

First, I would like to demonstrate the Equation (1) is not correct in the block matrix. (This is correct when the elements are scalars.)


There is a question that how 1/(AD-BC) is defined since A,B,C, and D are all matrices. Isn't it 1/|AD-BC|? But this doesn't matter anyway. Because,


Equation (2)'s element 1,2 is DB-BD != 0, element 2,1 is -CA+AC != 0. This comes from the matrix multiplication is not commutative. This means these are non zero
element, however, this should be zero. Therefore, Equation(1) is not correct. Many of the relationships held in (scalar) matrix also held block matrix. But,
some of the scalar equations are demand on commutative law. This doesn't work on block matrix case.

Then, let's compute the inverse by the straightforward method, elimination.
Let's test it. T^{-1}T is:


TT^{1} is the same. Fantastic! Of course there is no magic and just as expected, but, this is fun.
Labels:

Comments

Post a Comment

Popular posts from this blog

Why parallelogram area is |ad-bc|?

Here is my question. The area of parallelogram is the difference of these two rectangles (red rectangle - blue rectangle). This is not intuitive for me. If you also think it is not so intuitive, you might interested in my slides. I try to explain this for hight school students. Slides:  A bit intuitive (for me) explanation of area of parallelogram  (to my site, external link) . 
Post a Comment
Read more

Geometric Multiplicity: eignvectors (2)

If eigenvectors of a matrix A are independent, it is a happy property. Because the matrix A can be diagonalized with a matrix S that column vectors are eigenvectors of A . For example, Why this is a happy property of A? Because I can find A's power easily. A^{10} is not a big deal. Because Λ is a diagonal matrix and power of a diagonal matrix is quite simple. A^{10} = SΛ^{10} S^{-1} Then, why if I want to compute power of A ? That is the same reason to find eigenvectors. Eigenvectors are a basis of a matrix. A matrix can be represented by a single scalar. I repeat this again. This is the happy point, a matrix becomes a scalar. What can be simpler than a scalar value. But, this is only possible when the matrix S's columns are independent. Because S^{-1} must be exist. Now I come back to my first question. Is the λ's multiplicity related with the number of eigenvectors? This time I found this has the name. Geometric multiplicity (GM): the number of in...
Post a Comment
Read more

Gauss's quote for positive, negative, and imaginary number

Recently I watched the following great videos about imaginary numbers by Welch Labs. https://youtu.be/T647CGsuOVU?list=PLiaHhY2iBX9g6KIvZ_703G3KJXapKkNaF I like this article about naming of math by Kalid Azad. https://betterexplained.com/articles/learning-tip-idea-name/ Both articles mentioned about Gauss, who suggested to use other names of positive, negative, and imaginary numbers. Gauss wrote these names are wrong and that is one of the reason people didn't get why negative times negative is positive, or, pure positive imaginary times pure positive imaginary is negative real number. I made a few videos about explaining why -1 * -1 = +1, too. Explanation: why -1 * -1 = +1 by pattern https://youtu.be/uD7JRdAzKP8 Explanation: why -1 * -1 = +1 by climbing a mountain https://youtu.be/uD7JRdAzKP8 But actually Gauss's insight is much powerful. The original is in the Gauß, Werke, Bd. 2, S. 178 . Hätte man +1, -1, √-1) nicht positiv, negative, imaginäre (oder gar um...
Post a Comment
Read more