HOME

TheInfoList



OR:

__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 A is skew-Hermitian if it satisfies the relation where A^\textsf denotes the conjugate transpose of the matrix A. In component form, this means that for all indices i and j, where a_ is the element in the j-th row and i-th column of A, 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 n \times n matrices forms the u(n)
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 n dimensional complex or real space K^n. If (\cdot\mid\cdot) denotes the scalar product on K^n, then saying A is skew-adjoint means that for all \mathbf u, \mathbf v \in K^n one has (A \mathbf u \mid \mathbf v) = - (\mathbf u \mid A \mathbf v).
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 1 \times 1 matrices), whereas real numbers correspond to self-adjoint operators.


Example

For example, the following matrix is skew-Hermitian A = \begin -i & +2 + i \\ -2 + i & 0 \end because -A = \begin i & -2 - i \\ 2 - i & 0 \end = \begin \overline & \overline \\ \overline & \overline \end = \begin \overline & \overline \\ \overline & \overline \end^\mathsf = A^\mathsf


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 A and B 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 ...
a and b., §4.1.1 * A is skew-Hermitian ''if and only if'' i A (or equivalently, -i A) is Hermitian. *A is skew-Hermitian ''if and only if'' the real part \Re is skew-symmetric and the imaginary part \Im is symmetric. * If A is skew-Hermitian, then A^k is Hermitian if k is an even integer and skew-Hermitian if k is an odd integer. * A is skew-Hermitian if and only if \mathbf^\mathsf A \mathbf = -\mathbf^\mathsf A \mathbf for all vectors \mathbf x, \mathbf y. * If A is skew-Hermitian, then the matrix exponential e^A 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 ...
u(n) 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 ...
U(n).


Decomposition into Hermitian and skew-Hermitian

* The sum of a square matrix and its conjugate transpose \left(A + A^\mathsf\right) is Hermitian. * The difference of a square matrix and its conjugate transpose \left(A - A^\mathsf\right) 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 C can be written as the sum of a Hermitian matrix A and a skew-Hermitian matrix B: C = A + B \quad\mbox\quad A = \frac\left(C + C^\mathsf\right) \quad\mbox\quad B = \frac\left(C - C^\mathsf\right)


See also

* Bivector (complex) * Hermitian matrix * Normal matrix * Skew-symmetric matrix * Unitary matrix


Notes


References

* . * . {{Matrix classes Matrices Abstract algebra Linear algebra