__NOTOC__
In
linear algebra, a
square matrix
In mathematics, a square matrix is a 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.
Square matrices are often ...
with
complex entries is said to be skew-Hermitian or anti-Hermitian if its
conjugate transpose 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, then) the complex conjugate of a + bi is equal to 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 Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
, which corresponds to the Lie group
U(n). The concept can be generalized to include
linear transformations of any
complex vector space with a
sesquilinear
In mathematics, a sesquilinear form is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear in each of its arguments, but a sesquilinear form allow ...
norm.
Note that the
adjoint of an operator depends on the
scalar product 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 a real number multiplied by 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 of an imaginary number is . Fo ...
s can be thought of as skew-adjoint (since they are like
matrices), whereas
real numbers correspond to
self-adjoint 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 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.
* 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 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 Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow ...
of the Lie group
In mathematics, a Lie group (pronounced ) is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additio ...
.
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, a ...
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
* Normal matrix
* Skew-symmetric matrix
* Unitary matrix
Notes
References
* .
* .
{{Matrix classes
Matrices
Abstract algebra
Linear algebra