Invertible matrix
Encyclopedia : I : IN : INV : Invertible matrix
In linear algebra, an n-by-n (square) matrix [A] is called invertible, non-singular, or regular if there exists an n-by-n matrix [B] such that
- [AB = BA = I_n \ ]
- [AB = I \ ]
- [BA = I \ ].
As a rule of thumb, almost all matrices are invertible. Over the field of real numbers, this can be made precise as follows: the set of singular n-by-n matrices, considered as a subset of [R^], is a null set, i.e., has Lebesgue measure zero. Intuitively, this means that if you pick a random square matrix over the reals, the probability that it will be singular is zero. This is true because singular matrices can be thought of as the roots of the polynomial function given by the determinant. In practice however, one may encounter non-invertible matrices. And in numerical calculations, matrices which are invertible, but close to a non-invertible matrix, can still be problematic.
Matrix inversion is the process of finding the matrix [B] that satisfies the prior equation for a given invertible matrix [A].
Properties of invertible matrices
Let [A] be a square n by n matrix over a field [K] (for example the field [R] of real numbers). Then the following statements are equivalent:
- [A] is invertible.
- [A] is row-equivalent to the n-by-n identity matrix [I_n].
- [A] has n pivot positions.
- det [A] ≠ 0.
- rank [A] = n.
- The equation [Ax = 0 ] has only the trivial solution [x = 0 ] (i.e. Null [A = 0 ]).
- The equation [Ax = b] has exactly one solution for each [b] in [K^n].
- The columns of [A] are linearly independent.
- The columns of [A] span [K^n] (i.e. Col [A = K^n]).
- The columns of [A] form a basis of [K^n].
- The linear transformation mapping [x] to [Ax] is a bijection from [K^n] to [K^n].
- There is an n by n matrix [B] such that [AB = I_n].
- The transpose [A^T] is an invertible matrix.
- The matrix times its transpose, [A^T \times A] is an invertible matrix.
- The number 0 is not an eigenvalue of [A].
The inverse of an invertible matrix [A] is itself invertible, with
- [\left(A^\right)^ = A ].
- [\left(kA\right)^ = k^A^].
- [\left(AB\right)^ = B^A^]
Proof for matrix product rule
If [A_1], [A_2], ..., [A_n] are nonsingular square matrices over a field, then
- [(A_1A_2\cdots A_n)^ = A_n^A_^\cdots A_1^ ]
- [(A_1A_2\cdots A_n)B=I]
- [ A_1^(A_1A_2\cdots A_n)B=A_1^I]
- [(A_2A_3\cdots A_n)B=A_1^I]
- [A_2^(A_2A_3\cdots A_n)B=A_2^A_1^I]
- [(A_3A_4\cdots A_n)B=A_2^A_1^I]
- [ B=A_n^A_^\cdots A_2^A_1^I]
- [ B=A_n^A_^\cdots A_2^A_1^]
Methods of matrix inversion
Gauss-Jordan elimination
Gauss-Jordan elimination is an algorithm that can be used to determine whether a given matrix is invertible and to find the inverse. An alternative is the LU decomposition which generates an upper and a lower triangular matrices which are easier to invert. For special purposes, it may be convenient to invert matrices by treating mn-by-mn matrices as m-by-m matrices of n-by-n matrices, and applying one or another formula recursively (other sized matrices can be padded out with dummy rows and columns). For other purposes, a variant of Newton's method may be convenient (particularly when dealing with families of related matrices, so inverses of earlier matrices can be used to seed generating inverses of later matrices).Analytic solution
Writing another special matrix of cofactors, known as an adjugate matrix, can also be an efficient way to calculate the inverse of small matrices (since this method is essentially recursive, it becomes inefficient for large matrices). To determine the inverse, we calculate a matrix of cofactors:
- [A^=A\end}\left(C_\right)^=A\end}\beginC_ & C_ & \cdots & C_ \\C_ & \ddots & & C_ \\\vdots & & \ddots & \vdots \\C_ & \cdots & \cdots & C_ \\\end]
In most practical applications, it is not necessary to invert a matrix to solve a system of linear equations, however it is necessary that the matrix involved is invertible.
Decomposition techniques like LU decomposition, are much faster than inversion, and various fast algorithms for special classes of linear systems have also been developed.
Inversion of 2 x 2 matrices
The cofactor equation listed above yields the following result for 2 x 2 matrices. Inversion of these matrices can be done easily as follows:- [A^ = \begin
Inversion of 3 x 3 matrices
The cofactor equation listed above yields the following result for 3 x 3 matrices. Inversion of these matrices can be done quite easily as follows:- [A^ = \begin
- [|A| = a(ei-fh) - b(di-fg) + c(dh-eg) \ ]
Blockwise inversion
Matrices can also be inverted blockwisely by using the following analytic inversion formula:- [\begin A & B \\ C & D \end^ = \begin A^+A^B(D-CA^B)^CA^ & -A^B(D-CA^B)^ \\ -(D-CA^B)^CA^ & (D-CA^B)^ \end]
This technique was invented by Volker Strassen, who also invented the Strassen algorithm for fast(er) matrix multiplication.
The derivative of the matrix inverse
Suppose that the matrix A depends on a parameter t. Then the derivative of the inverse of A with respect to t is given by
- [ \fracA^}t} = - A^ \fracA}t} A^. ]
- [A^A = I].
The Moore-Penrose pseudoinverse
Some of the properties of inverse matrices are shared by (Moore-Penrose) pseudoinverses, which can be defined for any m-by-n matrix.
See also
- matrix decomposition
- matrix multiplication
- pseudoinverse (Moore-Penrose inverse)
- singular value decomposition
References
- Thomas H. Cormen, Charles E. Leiserson, Ronald L. Rivest, and Clifford Stein. Introduction to Algorithms, Second Edition. MIT Press and McGraw-Hill, 2001. ISBN 0262032937. Section 28.4: Inverting matrices, pp.755–760.
External links
- [Inverse Matrix Calculator]
- [Moore Penrose Pseudoinverse]
- [Derivative of inverse matrix] on PlanetMath
From Wikipedia, the Free Encyclopedia. Original article here. Support Wikipedia by contributing or donating.
All text is available under the terms of the GNU Free Documentation License See Wikipedia Copyrights for details.
