__NOTOC__
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 ...
, a
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
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
entries is said to be skew-Hermitian or anti-Hermitian if its
conjugate transpose
In mathematics, the conjugate transpose, also known as the Hermitian transpose, of an m \times n complex matrix \mathbf is an n \times m matrix obtained by transposing \mathbf and applying complex conjugation to each entry (the complex conjugate ...
is the negative of the original matrix. That is, the matrix
is skew-Hermitian if it satisfies the relation
where
denotes the conjugate transpose of the matrix
. In component form, this means that
for all indices
and
, where
is the element in the
-th row and
-th column of
, and the overline denotes
complex conjugation
In mathematics, the complex conjugate of a complex number is the number with an equal real part and an imaginary part equal in magnitude but opposite in sign. That is, if a and b are real numbers, then the complex conjugate of a + bi is a - ...
.
Skew-Hermitian matrices can be understood as the complex versions of real
skew-symmetric matrices, or as the matrix analogue of the purely imaginary numbers.
[, §4.1.2] The set of all skew-Hermitian
matrices forms the
Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
, which corresponds to the Lie group
U(n). The concept can be generalized to include
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 of any
complex
Complex commonly refers to:
* Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe
** Complex system, a system composed of many components which may interact with each ...
vector space
In mathematics and physics, a vector space (also called a linear space) is a set (mathematics), set whose elements, often called vector (mathematics and physics), ''vectors'', can be added together and multiplied ("scaled") by numbers called sc ...
with a
sesquilinear norm.
Note that the
adjoint of an operator depends on the
scalar product
In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a scalar as a result". It is also used for other symmetric bilinear forms, for example in a pseudo-Euclidean space. Not to be confused wit ...
considered on the
dimensional complex or real space
. If
denotes the scalar product on
, then saying
is skew-adjoint means that for all
one has
.
Imaginary number
An imaginary number is the product of a real number and the imaginary unit , is usually used in engineering contexts where has other meanings (such as electrical current) which is defined by its property . The square (algebra), square of an im ...
s can be thought of as skew-adjoint (since they are like
matrices), whereas
real number
In mathematics, a real number is a number that can be used to measure a continuous one- dimensional quantity such as a duration or temperature. Here, ''continuous'' means that pairs of values can have arbitrarily small differences. Every re ...
s correspond to
self-adjoint
In mathematics, an element of a *-algebra is called self-adjoint if it is the same as its adjoint (i.e. a = a^*).
Definition
Let \mathcal be a *-algebra. An element a \in \mathcal is called self-adjoint if
The set of self-adjoint elements ...
operators.
Example
For example, the following matrix is skew-Hermitian
because
Properties
* The eigenvalues of a skew-Hermitian matrix are all purely imaginary (and possibly zero). Furthermore, skew-Hermitian matrices are
normal. Hence they are diagonalizable and their eigenvectors for distinct eigenvalues must be orthogonal.
* All entries on the
main diagonal
In linear algebra, the main diagonal (sometimes principal diagonal, primary diagonal, leading diagonal, major diagonal, or good diagonal) of a matrix A is the list of entries a_ where i = j. All off-diagonal elements are zero in a diagonal matrix ...
of a skew-Hermitian matrix have to be pure
imaginary; i.e., on the imaginary axis (the number zero is also considered purely imaginary).
[, Exercise 3.2.5]
* If
and
are skew-Hermitian, then is skew-Hermitian for all
real scalars
Scalar may refer to:
*Scalar (mathematics), an element of a field, which is used to define a vector space, usually the field of real numbers
*Scalar (physics), a physical quantity that can be described by a single element of a number field such a ...
and
.
[, §4.1.1]
*
is skew-Hermitian ''if and only if''
(or equivalently,
) is
Hermitian.
[
* is skew-Hermitian ''if and only if'' the real part is skew-symmetric and the imaginary part is ]symmetric
Symmetry () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is invariant under some transformations ...
.
* If is skew-Hermitian, then is Hermitian if is an even integer and skew-Hermitian if is an odd integer.
* is skew-Hermitian if and only if for all vectors .
* If is skew-Hermitian, then the matrix exponential
In mathematics, the matrix exponential is a matrix function on square matrix, square matrices analogous to the ordinary exponential function. It is used to solve systems of linear differential equations. In the theory of Lie groups, the matrix exp ...
is unitary.
* The space of skew-Hermitian matrices forms the Lie algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi ident ...
of the Lie group
In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable.
A manifold is a space that locally resembles Eucli ...
.
Decomposition into Hermitian and skew-Hermitian
* The sum of a square matrix and its conjugate transpose is Hermitian.
* The difference of a square matrix and its conjugate transpose is skew-Hermitian. This implies that the commutator
In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative. There are different definitions used in group theory and ring theory.
Group theory
The commutator of two elements, ...
of two Hermitian matrices is skew-Hermitian.
* An arbitrary square matrix can be written as the sum of a Hermitian matrix and a skew-Hermitian matrix :
See also
* Bivector (complex)
* Hermitian matrix
In mathematics, a Hermitian matrix (or self-adjoint matrix) is a complex square matrix that is equal to its own conjugate transpose—that is, the element in the -th row and -th column is equal to the complex conjugate of the element in the ...
* Normal matrix
In mathematics, a complex square matrix is normal if it commutes with its conjugate transpose :
:A \text \iff A^*A = AA^* .
The concept of normal matrices can be extended to normal operators on infinite-dimensional normed spaces and to nor ...
* Skew-symmetric matrix
In mathematics, particularly in linear algebra, a skew-symmetric (or antisymmetric or antimetric) matrix is a square matrix whose transpose equals its negative. That is, it satisfies the condition
In terms of the entries of the matrix, if a ...
* Unitary matrix
Notes
References
* .
* .
{{Matrix classes
Matrices (mathematics)
Abstract algebra
Linear algebra