Matrix analysis

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

In mathematics, particularly in linear algebra and applications, matrix analysis is the study of matrices and their algebraic properties.[1] Some particular topics out of many include; operations defined on matrices (such as matrix addition, matrix multiplication and operations derived from these), functions of matrices (such as matrix exponentiation and matrix logarithm, and even sines and cosines etc. of matrices), and the eigenvalues of matrices (eigendecomposition of a matrix, eigenvalue perturbation theory).[2]

Matrix spaces

[edit | edit source]

The set of all m × n matrices over a field F denoted in this article Mmn(F) form a vector space. Examples of F include the set of rational numbers , the real numbers , and set of complex numbers . The spaces Mmn(F) and Mpq(F) are different spaces if m and p are unequal, and if n and q are unequal; for instance M32(F) ≠ M23(F). Two m × n matrices A and B in Mmn(F) can be added together to form another matrix in the space Mmn(F):

𝐀,𝐁Mmn(F),𝐀+𝐁Mmn(F)

and multiplied by a α in F, to obtain another matrix in Mmn(F):

αF,α𝐀Mmn(F)

Combining these two properties, a linear combination of matrices A and B are in Mmn(F) is another matrix in Mmn(F):

α𝐀+β𝐁Mmn(F)

where α and β are numbers in F.

Any matrix can be expressed as a linear combination of basis matrices, which play the role of the basis vectors for the matrix space. For example, for the set of 2 × 2 matrices over the field of real numbers, M22(), one legitimate basis set of matrices is:

(1000),(0100),(0010),(0001),

because any 2 × 2 matrix can be expressed as:

(abcd)=a(1000)+b(0100)+c(0010)+d(0001),

where a, b, c,d are all real numbers. This idea applies to other fields and matrices of higher dimensions.

Determinants

[edit | edit source]

The determinant of a square matrix is an important property. The determinant indicates if a matrix is invertible (i.e. the inverse of a matrix exists when the determinant is nonzero). Determinants are used for finding eigenvalues of matrices (see below), and for solving a system of linear equations (see Cramer's rule).

Eigenvalues and eigenvectors of matrices

[edit | edit source]

Definitions

[edit | edit source]

An n × n matrix A has eigenvectors x and eigenvalues λ defined by the relation:

𝐀𝐱=λ𝐱

In words, the matrix multiplication of A followed by an eigenvector x (here an n-dimensional column matrix), is the same as multiplying the eigenvector by the eigenvalue. For an n × n matrix, there are n eigenvalues. The eigenvalues are the roots of the characteristic polynomial:

p𝐀(λ)=det(𝐀λ𝐈)=0

where I is the n × n identity matrix.

Roots of polynomials, in this context the eigenvalues, can all be different, or some may be equal (in which case eigenvalue has multiplicity, the number of times an eigenvalue occurs). After solving for the eigenvalues, the eigenvectors corresponding to the eigenvalues can be found by the defining equation.

Perturbations of eigenvalues

[edit | edit source]

Matrix similarity

[edit | edit source]

Two n × n matrices A and B are similar if they are related by a similarity transformation:

𝐁=𝐏𝐀𝐏1

The matrix P is called a similarity matrix, and is necessarily invertible.

Unitary similarity

[edit | edit source]

Canonical forms

[edit | edit source]

Row echelon form

[edit | edit source]

Jordan normal form

[edit | edit source]

Weyr canonical form

[edit | edit source]

Frobenius normal form

[edit | edit source]

Triangular factorization

[edit | edit source]

LU decomposition

[edit | edit source]

LU decomposition splits a matrix into a matrix product of an upper triangular matrix and a lower triangle matrix.

Matrix norms

[edit | edit source]

Since matrices form vector spaces, one can form axioms (analogous to those of vectors) to define a "size" of a particular matrix. The norm of a matrix is a positive real number.

Definition and axioms

[edit | edit source]

For all matrices A and B in Mmn(F), and all numbers α in F, a matrix norm, delimited by double vertical bars || ... ||, fulfills:[note 1]

𝐀0
with equality only for A = 0, the zero matrix.
α𝐀=|α|𝐀
𝐀+𝐁𝐀+𝐁

Frobenius norm

[edit | edit source]

The Frobenius norm is analogous to the dot product of Euclidean vectors; multiply matrix elements entry-wise, add up the results, then take the positive square root:

𝐀=𝐀:𝐀=i=1mj=1n(Aij)2

It is defined for matrices of any dimension (i.e. no restriction to square matrices).

Positive definite and semidefinite matrices

[edit | edit source]

Functions

[edit | edit source]

Matrix elements are not restricted to constant numbers, they can be mathematical variables.

Functions of matrices

[edit | edit source]

A functions of a matrix takes in a matrix, and return something else (a number, vector, matrix, etc...).

Matrix-valued functions

[edit | edit source]

A matrix valued function takes in something (a number, vector, matrix, etc...) and returns a matrix.

See also

[edit | edit source]

Other branches of analysis

[edit | edit source]

Other concepts of linear algebra

[edit | edit source]

Types of matrix

[edit | edit source]

Matrix functions

[edit | edit source]

Footnotes

[edit | edit source]
  1. ^ Some authors, e.g. Horn and Johnson, use triple vertical bars instead of double: |||A|||.

References

[edit | edit source]

Notes

[edit | edit source]
  1. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  2. ^ Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).

Further reading

[edit | edit source]
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).
  • Lua error in Module:Citation/CS1/Configuration at line 2172: attempt to index field '?' (a nil value).