In
linear algebra
Linear algebra is the branch of mathematics concerning linear equations such as
:a_1x_1+\cdots +a_nx_n=b,
linear maps such as
:(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n,
and their representations in vector spaces and through matrix (mathemat ...
, the identity matrix of size
is the
square matrix
In mathematics, a square matrix is a Matrix (mathematics), matrix with the same number of rows and columns. An ''n''-by-''n'' matrix is known as a square matrix of order Any two square matrices of the same order can be added and multiplied.
Squ ...
with
one
1 (one, unit, unity) is a number, numeral, and glyph. It is the first and smallest positive integer of the infinite sequence of natural numbers. This fundamental property has led to its unique uses in other fields, ranging from science to sp ...
s on the
main diagonal and
zero
0 (zero) is a number representing an empty quantity. Adding (or subtracting) 0 to any number leaves that number unchanged; in mathematical terminology, 0 is the additive identity of the integers, rational numbers, real numbers, and compl ...
s elsewhere. It has unique properties, for example when the identity matrix represents a
geometric transformation, the object remains unchanged by the transformation. In other contexts, it is analogous to multiplying by the number 1.
Terminology and notation
The identity matrix is often denoted by
, or simply by
if the size is immaterial or can be trivially determined by the context.
The term unit matrix has also been widely used,
but the term ''identity matrix'' is now standard. The term ''unit matrix'' is ambiguous, because it is also used for a
matrix of ones
In mathematics, a matrix of ones or all-ones matrix is a matrix with every entry equal to one. For example:
:J_2 = \begin
1 & 1 \\
1 & 1
\end,\quad
J_3 = \begin
1 & 1 & 1 \\
1 & 1 & 1 \\
1 & 1 & 1
\end,\quad
J_ = \begin
1 & 1 & 1 & 1 & 1 \\
1 & ...
and for any
unit of the
ring of all matrices.
In some fields, such as
group theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ( ...
or
quantum mechanics
Quantum mechanics is the fundamental physical Scientific theory, theory that describes the behavior of matter and of light; its unusual characteristics typically occur at and below the scale of atoms. Reprinted, Addison-Wesley, 1989, It is ...
, the identity matrix is sometimes denoted by a boldface one,
, or called "id" (short for identity). Less frequently, some mathematics books use
or
to represent the identity matrix, standing for "unit matrix"
and the German word respectively.
In terms of a notation that is sometimes used to concisely describe
diagonal matrices, the identity matrix can be written as
The identity matrix can also be written using the
Kronecker delta
In mathematics, the Kronecker delta (named after Leopold Kronecker) is a function of two variables, usually just non-negative integers. The function is 1 if the variables are equal, and 0 otherwise:
\delta_ = \begin
0 &\text i \neq j, \\
1 &\ ...
notation:
Properties
When
is an
matrix, it is a property of
matrix multiplication
In mathematics, specifically in linear algebra, matrix multiplication is a binary operation that produces a matrix (mathematics), matrix from two matrices. For matrix multiplication, the number of columns in the first matrix must be equal to the n ...
that
In particular, the identity matrix serves as the
multiplicative identity
In mathematics, an identity element or neutral element of a binary operation is an element that leaves unchanged every element when the operation is applied. For example, 0 is an identity element of the addition of real numbers. This concept is use ...
of the
matrix ring of all
matrices, and as the
identity element
In mathematics, an identity element or neutral element of a binary operation is an element that leaves unchanged every element when the operation is applied. For example, 0 is an identity element of the addition of real numbers. This concept is use ...
of the
general linear group
In mathematics, the general linear group of degree n is the set of n\times n invertible matrices, together with the operation of ordinary matrix multiplication. This forms a group, because the product of two invertible matrices is again inve ...
, which consists of all
invertible
In mathematics, the concept of an inverse element generalises the concepts of opposite () and reciprocal () of numbers.
Given an operation denoted here , and an identity element denoted , if , one says that is a left inverse of , and that ...
matrices under the matrix multiplication operation. In particular, the identity matrix is invertible. It is an
involutory matrix, equal to its own inverse. In this group, two square matrices have the identity matrix as their product exactly when they are the inverses of each other.
When
matrices are used to represent
linear transformation
In mathematics, and more specifically in linear algebra, a linear map (also called a linear mapping, linear transformation, vector space homomorphism, or in some contexts linear function) is a mapping V \to W between two vector spaces that pr ...
s from an
-dimensional vector space to itself, the identity matrix
represents the
identity function
Graph of the identity function on the real numbers
In mathematics, an identity function, also called an identity relation, identity map or identity transformation, is a function that always returns the value that was used as its argument, unc ...
, for whatever
basis was used in this representation.
The
th column of an identity matrix is the
unit vector
In mathematics, a unit vector in a normed vector space is a Vector (mathematics and physics), vector (often a vector (geometry), spatial vector) of Norm (mathematics), length 1. A unit vector is often denoted by a lowercase letter with a circumfle ...
, a vector whose
th entry is 1 and 0 elsewhere. The
determinant
In mathematics, the determinant is a Scalar (mathematics), scalar-valued function (mathematics), function of the entries of a square matrix. The determinant of a matrix is commonly denoted , , or . Its value characterizes some properties of the ...
of the identity matrix is 1, and its
trace is
.
The identity matrix is the only
idempotent matrix
In linear algebra, an idempotent matrix is a matrix which, when multiplied by itself, yields itself. That is, the matrix A is idempotent if and only if A^2 = A. For this product A^2 to be defined, A must necessarily be a square matrix. Viewed thi ...
with non-zero determinant. That is, it is the only matrix such that:
# When multiplied by itself, the result is itself
# All of its rows and columns are
linearly independent
In the theory of vector spaces, a set of vectors is said to be if there exists no nontrivial linear combination of the vectors that equals the zero vector. If such a linear combination exists, then the vectors are said to be . These concep ...
.
The
principal square root of an identity matrix is itself, and this is its only
positive-definite square root. However, every identity matrix with at least two rows and columns has an infinitude of symmetric square roots.
The
rank of an identity matrix
equals the size
, i.e.:
See also
*
Binary matrix (zero-one matrix)
*
Elementary matrix
*
Exchange matrix
*
Matrix of ones
In mathematics, a matrix of ones or all-ones matrix is a matrix with every entry equal to one. For example:
:J_2 = \begin
1 & 1 \\
1 & 1
\end,\quad
J_3 = \begin
1 & 1 & 1 \\
1 & 1 & 1 \\
1 & 1 & 1
\end,\quad
J_ = \begin
1 & 1 & 1 & 1 & 1 \\
1 & ...
*
Pauli matrices
In mathematical physics and mathematics, the Pauli matrices are a set of three complex matrices that are traceless, Hermitian, involutory and unitary. Usually indicated by the Greek letter sigma (), they are occasionally denoted by tau () ...
(the identity matrix is the zeroth Pauli matrix)
*
Householder transformation (the Householder matrix is built through the identity matrix)
*
Square root of a 2 by 2 identity matrix
*
Unitary matrix
*
Zero matrix
In mathematics, particularly linear algebra, a zero matrix or null matrix is a matrix all of whose entries are zero. It also serves as the additive identity of the additive group of m \times n matrices, and is denoted by the symbol O or 0 followe ...
Notes
{{Matrix classes
Matrices (mathematics)
1 (number)
Sparse matrices