Matrix (mathematics)
In mathematics, a matrix (plural matrices) is a rectangular table of elements (or entries), which may be numbers or, more generally, any abstract quantities that can be added and multiplied. Matrices are used to describe linear equations, keep track of the coefficients of linear transformations and to record data that depend on multiple parameters. Matrices are described by the field of matrix theory. They can be added, multiplied, and decomposed in various ways, which also makes them a key concept in the field of linear algebra.
In this article, the entries of a matrix are real or complex numbers unless otherwise noted.
Contents
- 1 Terminology and notation
- 2 Mathematical definition
- 3 Example
- 4 Basic operations
- 5 Square matrices and related definitions
- 6 Special types of matrices
- 7 Matrices in abstract algebra
- 8 Matrices without entries
- 9 History
- 10 Education
- 11 Applications
- 12 Further reading
- 13 See also
- 14 References
- 15 External links
Terminology and notation
The horizontal lines in a matrix are called rows and the vertical lines are called columns. A matrix with m rows and n columns is called an m-by-n matrix (written m × n) and m and n are called its dimensions. The dimensions of a matrix are always given with the number of rows first, then the number of columns. It is commonly said that an m-by-n matrix has an order of m × n ("order" meaning size). Two matrices of the same order whose corresponding entries are equivalent are considered equal.
The entry that lies in the i-th row and the j-th column of a matrix is typically referred to as the i,j, or (i,j), or (i,j)-th, or (i,j)^{th} entry of the matrix. Again, the row is always noted first, then the column.
Almost always upper-case letters denote matrices, while the corresponding lower-case letters, with two subscript indices, represent the entries. For example, the (i,j)^{th} entry of a matrix A is most commonly written as a_{i,j}. Alternative notations for that entry are A[i,j] or A_{i,j}. In addition to using upper-case letters to symbolize matrices, many authors use a special typographical style, commonly boldface upright (non-italic), to further distinguish matrices from other variables. Following this convention, A is a matrix, distinguished from A, a scalar. An alternate convention is to annotate matrices with their dimensions in small type underneath the symbol, for example, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \underset{m \times n}{A} for an m-by-n matrix.
We often write Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}:=(a_{i,j})_{i=1,\ldots,m;\,\,j=1,\ldots,n} or Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}:=(a_{i,j})_{m \times n} to define an m × n matrix A. In this case, the entries a_{i,j} are defined separately for all integers 1 ≤ i ≤ m and 1 ≤ j ≤ n. In some programming languages, the numbering of rows and columns starts at zero. Texts which use any such language extensively frequently follow that convention, so we have 0 ≤ i ≤ m-1 and 0 ≤ j ≤ n-1.
A matrix where one of the dimensions equals one is often called a vector, and interpreted as an element of real coordinate space. An m × 1 matrix (one column and m rows) is called a column vector and a 1 × n matrix (one row and n columns) is called a row vector.
Mathematical definition
An Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \,m \times n\,\,(m, n \in \mathbb{N}) matrix Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}\, is a function Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}\colon \{1, 2, \ldots, m\} \times \{1, 2, \ldots, n\} \to \mathbf{S},\,\, where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{S}\, is any non-empty set.
Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): (\{1, 2, \ldots, m\} \times \{1, 2, \ldots, n\}\, is the Cartesian product of sets Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \{1, 2, \ldots, m\}\, and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \{1, 2, \ldots, n\}.)\,
We say that matrix Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A} is a matrix over the set Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{S} . Important thing to note is that, if we want to have matrix algebra, the set Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{S}\, must be a ring and matrix Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A} must be a square matrix (see Square matrices and related definitions below for further explanation). Since the set of all square matrices over a ring is also a ring, matrix algebra is usually called matrix ring.
Since this article mainly considers matrices over real numbers, matrices shown here are actually functions Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}\colon \{1, 2, \ldots, m\} \times \{1, 2, \ldots, n\} \to \mathbb{R}.\,\,
Example
The matrix
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A} = \begin{bmatrix} 9 & 8 & 6 \\ 1 & 2 & 7 \\ 4 & 9 & 2 \\ 6 & 0 & 5 \end{bmatrix} or Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A} = \begin{pmatrix} 9 & 8 & 6 \\ 1 & 2 & 7 \\ 4 & 9 & 2 \\ 6 & 0 & 5 \end{pmatrix}
is a Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): 4\times 3 matrix. The element Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): a_{2,3} or Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}[2,3] is 7. In terms of the mathematical definition given above, this matrix is a function Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}\colon \{1, 2, 3, 4\} \times \{1, 2, 3\} \to \mathbb{R}\, and, for example, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}((2, 3)) = 7\, and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}((3, 1)) = 4.\,
The matrix
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{R} = \begin{bmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \end{bmatrix}
is a Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): 1\times 9 matrix, or 9-element row vector.
Basic operations
Sum
Two or more matrices of identical dimensions m and n can be added. Given m-by-n matrices A and B, their sum A+B is the m-by-n matrix computed by adding corresponding elements:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \begin{align} \mathbf{A}+\mathbf{B} &= (a_{i,j})_{1\le i \le m;\, 1\le j \le n} + (b_{i,j})_{1\le i \le m;\, 1\le j \le n}\\ &= (a_{i,j}+b_{i,j})_{1\le i \le m; 1\le j \le n}.\\ \end{align}
For example:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \begin{bmatrix} 1 & 3 & 1 \\ 1 & 0 & 0 \\ 1 & 2 & 2 \end{bmatrix} + \begin{bmatrix} 0 & 0 & 5 \\ 7 & 5 & 0 \\ 2 & 1 & 1 \end{bmatrix} = \begin{bmatrix} 1+0 & 3+0 & 1+5 \\ 1+7 & 0+5 & 0+0 \\ 1+2 & 2+1 & 2+1 \end{bmatrix} = \begin{bmatrix} 1 & 3 & 6 \\ 8 & 5 & 0 \\ 3 & 3 & 3 \end{bmatrix}.
Another, much less often used notion of matrix addition is the direct sum.
Scalar multiplication
Given a matrix A and a number c, the scalar multiplication cA is computed by multiplying every element of A by the scalar c (i.e. Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): (c\mathbf{A})_{i,j} = c \cdot a_{i,j} ). For example:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): 2 \cdot \begin{bmatrix} 1 & 8 & -3 \\ 4 & -2 & 5 \end{bmatrix} = \begin{bmatrix} 2 \cdot 1 & 2\cdot 8 & 2\cdot -3 \\ 2\cdot 4 & 2\cdot -2 & 2\cdot 5 \end{bmatrix} = \begin{bmatrix} 2 & 16 & -6 \\ 8 & -4 & 10 \end{bmatrix}.
Matrix addition and scalar multiplication turn the set Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \text{M}(m,n,\mathbb{R}) of all Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): m -by-Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): n matrices with real entries into a real vector space of dimension Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): m\cdot n .
Matrix multiplication
Multiplication of two matrices is well-defined only if the number of columns of the left matrix is the same as the number of rows of the right matrix. If A is an m-by-n matrix and B is an n-by-p matrix, then their matrix product AB is the m-by-p matrix given by:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): (\mathbf{AB})_{i,j} = a_{i,1} b_{1,j} + a_{i,2} b_{2,j} + \ldots + a_{i,n} b_{n,j}
for each pair Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): (i,j) . For example:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \begin{bmatrix} 1 & 0 & 2 \\ -1 & 3 & 1 \\ \end{bmatrix} \times \begin{bmatrix} 3 & 1 \\ 2 & 1 \\ 1 & 0 \\ \end{bmatrix} = \begin{bmatrix} ( 1 \times 3 + 0 \times 2 + 2 \times 1) & ( 1 \times 1 + 0 \times 1 + 2 \times 0) \\ (-1 \times 3 + 3 \times 2 + 1 \times 1) & (-1 \times 1 + 3 \times 1 + 1 \times 0) \\ \end{bmatrix}
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): = \begin{bmatrix} 5 & 1 \\ 4 & 2 \\ \end{bmatrix}.
Matrix multiplication has the following properties:
- (AB)C = A(BC) for all k-by-m matrices A, m-by-n matrices B and n-by-p matrices C ("associativity").
- (A+B)C = AC+BC for all m-by-n matrices A and B and n-by-k matrices C ("right distributivity").
- C(A+B) = CA+CB for all m-by-n matrices A and B and k-by-m matrices C ("left distributivity").
Matrix multiplication is not commutative; that is, given matrices A and B and their product defined, then generally AB Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \ne BA. It may also happen that AB is defined but BA is not defined.
Besides the ordinary matrix multiplication just described, there exist other operations on matrices that can be considered forms of multiplication, such as the Hadamard product and the Kronecker product.
Linear transformations
Matrices can conveniently represent linear transformations (also known as "linear maps") between finite-dimensional vector spaces. Let R^{n} be an n-dimensional vector space, and let the vectors in this space be represented in matrix format as column vectors (n-by-1 matrices). For every linear map f : R^{n} → R^{m} there exists a unique m-by-n matrix A such that
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): f(\mathbf x) = \mathbf {Ax}
for each vector x in R^{n}.
We say that the matrix A "represents" the linear map f, or that A is the "transformation matrix" of f.
Matrix multiplication neatly corresponds to the composition of maps. If the k-by-m matrix B represents another linear map g : R^{m} → R^{k}, then the composition g o f is represented by BA:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): (g \circ f) (\mathbf x) = g (f(\mathbf x)) = g(\mathbf{Ax}) = \mathbf B (\mathbf {Ax}) = (\mathbf {BA}) \mathbf x \,.
This follows from the above-mentioned associativity of matrix multiplication.
More generally, a linear map from an n-dimensional vector space to an m-dimensional vector space is represented by an m-by-n matrix, provided that bases have been chosen for each. This property makes matrices powerful data structures in high-level programming languages.
Ranks
The rank of a matrix A is the dimension of the image of the linear map represented by A; this is the same as the dimension of the space generated by the rows of A, and also the same as the dimension of the space generated by the columns of A. It can also be defined without reference to linear algebra as follows: the rank of an m-by-n matrix A is the smallest number k such that A can be written as a product BC where B is an m-by-k matrix and C is a k-by-n matrix (although this is not a practical way to compute the rank).
Transpose
The transpose of an m-by-n matrix A is the n-by-m matrix A^{T} (also sometimes written as A^{tr}, or ^{t}A, or A') formed by turning rows into columns and columns into rows, i.e., A^{T}[i, j] = A[j, i] for all indices i and j. If A describes a linear map with respect to two bases, then the matrix A^{T} describes the transpose of the linear map with respect to the dual bases, see dual space.
We have (A + B)^{T} = A^{T} + B^{T} and (AB)^{T} = B^{T} A^{T}.
Square root
Given two bounded matrices T and B, B is a square root of T if T = B*B.
A square matrix is a matrix which has the same number of rows and columns. The set of all square n-by-n matrices, together with matrix addition and matrix multiplication is a ring. Unless n = 1, this ring is not commutative.
M(n, R), the ring of real square matrices, is a real unitary associative algebra. M(n, C), the ring of complex square matrices, is a complex associative algebra.
The unit matrix or identity matrix I_{n} of size n is the n-by-n matrix in which all the elements on the main diagonal are equal to 1 and all other elements are equal to 0. The identity matrix is named thus because it satisfies the equations MI_{n} = M and I_{n}N = N for any m-by-n matrix M and n-by-k matrix N. For example, if n = 3:
- Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{I}_3 = \begin{bmatrix} 1 & 0 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 1 \end{bmatrix} .
The identity matrix is the identity element in the ring of square matrices.
Invertible elements in this ring are called invertible matrices or non-singular matrices. An n-by-n matrix A is invertible if and only if there exists a matrix B such that
- AB = I_{n} ( = BA).
In this case, B is the inverse matrix of A, denoted by A^{−1}. The set of all invertible n-by-n matrices forms a group (specifically a Lie group) under matrix multiplication, the general linear group.
If λ is a number and v is a non-zero vector such that Av = λv, then we call v an eigenvector of A and λ the associated eigenvalue. (Eigen means "own" in German and in Dutch.) The number λ is an eigenvalue of A if and only if A−λI_{n} is not invertible, which happens if and only if p_{A}(λ) = 0, where p_{A}(x) is the characteristic polynomial of A. p_{A}(x) is a polynomial of degree n and therefore has n complex roots if multiple roots are counted according to their multiplicity. Every square matrix has at most n complex eigenvalues.
The determinant of a square matrix A is the product of its n eigenvalues, but it can also be defined by the Leibniz formula. Invertible matrices are precisely those matrices with a nonzero determinant.
The Gaussian elimination algorithm is of central importance: it can be used to compute determinants, ranks and inverses of matrices and to solve systems of linear equations.
The trace of a square matrix is the sum of its diagonal entries, which equals the sum of its n eigenvalues.
The matrix exponential function is defined for square matrices, using power series.
Special types of matrices
In many areas in mathematics, matrices with certain structure arise. A few important examples are
- Symmetric matrices are such that elements symmetric about the main diagonal (from the upper left to the lower right) are equal, that is, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): a_{i,j}=a_{j,i} \Leftrightarrow \mathbf{A}^\mathrm{T} = \mathbf{A} .
- Skew-symmetric matrices are such that elements symmetric about the main diagonal are the negative of each other, that is, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): a_{i,j}=-a_{j,i} \Leftrightarrow \mathbf{A}^\mathrm{T}=-\mathbf{A} . In a skew-symmetric matrix, all diagonal elements are zero, that is, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): a_{i,i}=-a_{i,i}\Rightarrow a_{i,i}=0 .
- Hermitian (or self-adjoint) matrices are such that elements symmetric about the diagonal are each others complex conjugates, that is, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): a_{i,j}=\overline{a}_{j,i} \Leftrightarrow \mathbf{A}^\mathrm{H} = \mathbf{A} , where Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \overline{z} signifies the complex conjugate of a complex number Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): z and Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \,\! \mathbf{A}^\mathrm{H} the conjugate transpose of A.
- Toeplitz matrices have common elements on their diagonals, that is, Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \,\! a_{i,j}=a_{i+1,j+1} .
- Stochastic matrices are square matrices whose rows are probability vectors; they are used to define Markov chains.
- A square matrix A is called idempotent if Failed to parse (MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools): Invalid response ("Math extension cannot connect to Restbase.") from server "https://api.formulasearchengine.com/v1/":): \mathbf{A}^2=\mathbf{AA}=\mathbf{A} .
For a more extensive list see list of matrices.
Matrices in abstract algebra
If we start with a ring R, we can consider the set M(m,n, R) of all m by n matrices with entries in R. Addition and multiplication of these matrices can be defined as in the case of real or complex matrices (see above). The set M(n, R) of all square n by n matrices over R is a ring in its own right, isomorphic to the endomorphism ring of the left R-module R^{n}.
Similarly, if the entries are taken from a semiring S, matrix addition and multiplication can still be defined as usual. The set of all square n×n matrices over S is itself a semiring. Note that fast matrix multiplication algorithms such as the Strassen algorithm generally only apply to matrices over rings and will not work for matrices over semirings that are not rings.
If R is a commutative ring, then M(n, R) is a unitary associative algebra over R. It is then also meaningful to define the determinant of square matrices using the Leibniz formula; a matrix is invertible if and only if its determinant is invertible in R.
All statements mentioned in this article for real or complex matrices remain correct for matrices over an arbitrary field.
Matrices over a polynomial ring are important in the study of control theory.
Matrices without entries
A subtle question that is hardly ever posed is whether there is such a thing as a 3-by-0 matrix. That would be a matrix with 3 rows but without any columns, which seems absurd. However, if one wants to be able to have matrices for all linear maps between finite dimensional vector spaces, one needs such matrices, since there is nothing wrong with linear maps from a 0-dimensional space to a 3-dimensional space (in fact if the spaces are fixed there is one such map, the zero map). So one is led to admit that there is exactly one 3-by-0 matrix (which has 3×0=0 entries; not null entries but none at all). Similarly there are matrices with a positive number of columns but no rows.
Even in absence of entries, one must still keep track of the number of rows and columns, since the product BC where B is the 3-by-0 matrix and C is a 0-by-4 matrix is a perfectly normal 3-by-4 matrix, all of whose 12 entries are 0 (as they are given by an empty sum). Note that this computation of BC justifies the criterion given above for the rank of a matrix in terms of possible expressions as a product: the 3-by-4 matrix with zero entries certainly has rank 0, so it should be the product of a 3-by-0 matrix and a 0-by-4 matrix.^{[1]}
To allow and distinguish between matrices without entries, matrices should formally be defined, in a somewhat pedantic computer science style, as quadruples (A, r, c, M), where A is the set in which the entries live, r and c are the (natural) numbers of rows and columns, and M is the rectangular collection of rc elements of A (the matrix in the usual sense).
History
The study of matrices is quite old. A 3-by-3 magic square appears in the Chinese literature dating from as early as 650 BC.^{[2]}
Matrices have a long history of application in solving linear equations. An important Chinese text from between 300 BC and AD 200, The Nine Chapters on the Mathematical Art (Jiu Zhang Suan Shu), is the first example of the use of matrix methods to solve simultaneous equations.^{[3]} In the seventh chapter, "Too much and not enough," the concept of a determinant first appears almost 2000 years before its publication by the Japanese mathematician Seki Kowa in 1683 and the German mathematician Gottfried Leibniz in 1693.
Magic squares were known to Arab mathematicians, possibly as early as the 7th century, when the Arabs conquered northwestern parts of the Indian subcontinent and learned Indian mathematics and astronomy, including other aspects of combinatorial mathematics. It has also been suggested that the idea came via China. The first magic squares of order 5 and 6 appear in an encyclopedia from Baghdad circa 983 AD, the Encyclopedia of the Brethren of Purity (Rasa'il Ihkwan al-Safa); simpler magic squares were known to several earlier Arab mathematicians.^{[2]}
After the development of the theory of determinants by Seki Kowa and Leibniz in the late 17th century, Cramer developed the theory further in the 18th century, presenting Cramer's rule in 1750. Carl Friedrich Gauss and Wilhelm Jordan developed Gauss-Jordan elimination in the 1800s.
The term "matrix" was coined in 1848 by J. J. Sylvester. Cayley, Hamilton, Grassmann, Frobenius and von Neumann are among the famous mathematicians who have worked on matrix theory.
Olga Taussky-Todd (1906-1995) made important contributions to matrix theory, using it to investigate an aerodynamic phenomenon called fluttering or aeroelasticity during World War II. She has been called "a torchbearer" for matrix theory.^{[4]}
Education
Matrices were traditionally taught as part of linear algebra in college, or with calculus. With the adoption of integrated mathematics texts for use in high school in the United States in the 1990s, they have been included by many such texts such as the Core-Plus Mathematics Project which are often targeted as early as the ninth grade, or earlier for honors students. They often require the use of graphing calculators such as the TI-83 which can perform complex operations such as matrix inversion very quickly.
Although most computer languages are not designed with commands or libraries for matrices, as early as the 1970s, some engineering desktop computers such as the HP 9830 had ROM cartridges to add BASIC commands for matrices. Some computer languages such as APL, were designed to manipulate matrices, and mathematical programs such as Mathematica, and others are used to aid computing with matrices.
Applications
Encryption
- See also: Matrix encryption
Matrices can be used to encrypt numerical data. Encryption is done by multiplying the data matrix with a key matrix. Decryption is done simply by multiplying the encrypted matrix with the inverse of the key.
Computer graphics
- See also: Transformation matrix
4×4 transformation matrices are commonly used in computer graphics. The upper left 3×3 portion of a transformation matrix is composed of the new X, Y, and Z axes of the post-transformation coordinate space.
Further reading
A more advanced article on matrices is Matrix theory.
See also
References
- ↑
de Boor, Carl (1990), "An empty exercise" (PDF), ACM SIGNUM Newsletter, 25 (2): 3–7, doi:10.1145/122272.122273.
Nett, C.N.; Haddad, W.M. (1993), "A system-theoretic appropriate realization of the empty matrix concept", IEEE Transactions on Automatic Control, 38 (5): 771–775, ISSN 0018-9286, doi:10.1109/9.277245. - ↑ ^{2.0} ^{2.1} Swaney, Mark. History of Magic Squares.
- ↑ Shen Kangshen et al. (ed.) (1999). Nine Chapters of the Mathematical Art, Companion and Commentary. Oxford University Press. cited by Otto Bretscher (2005). Linear Algebra with Applications (3rd ed. ed.). Prentice-Hall. pp. p. 1.
- ↑ Ivars Peterson. Matrices, Circles, and Eigenthings.
External links
- Resources
- Matrix name and history: very brief overview, ualr.edu
- Introduction to Matrix Algebra: definitions and properties, xycoon.com
- Matrix Algebra, sosmath.com
- The Matrix Reference Manual, Imperial College
- An online textbook on Introduction to Matrix Algebra at Holistic Numerical Methods Institute
- Applied examples of matrices used in graphical game programming, Riemer's DirectX Tutorials
- Online Matrix Calculators
- easycalculation.com
- Matri-tri-ca - Matrix Calculator
- bluebit.gr
- wims.unice.fr
- Matrix Calculator at SolveMyMath - Calculate the Determinant, Trace, Transpose and Inverse Matrix of a Matrix
- Freeware
- MATRIX 2.1 Excel add-in, foxes
- MacAnova, University of Minnesota School of Statistics
<span id="interwiki-pl-fa" /> <span id="interwiki-ur-fa" />
ar:مصفوفة az:Matris bn:মেট্রিক্স bs:Matrica (matematika) bg:Матрица (математика) ca:Matriu (matemàtiques) cs:Matice da:Matrix de:Matrix (Mathematik) et:Maatrikseo:Matrico fa:ماتریس (ریاضی)gl:Matriz (matemáticas) ko:행렬 hr:Matrica (matematika) id:Matriks (matematika) is:Fylki (stærðfræði) it:Matrice he:מטריצה lo:ມາຕຣິກ lt:Matrica (matematika) hu:Mátrix (matematika) ms:Matriks (matematik) nl:Matrix (wiskunde)no:Matrise nn:Matrisesimple:Matrix (mathematics) sk:Matica (matematika) sl:Matrika sr:Матрица (математика) fi:Matriisi sv:Matris (matematik) ta:அணி th:เมทริกซ์ (คณิตศาสตร์)uk:Матриця (математика) ur:میٹرکس