HOME

TheInfoList



OR:

__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 matric ...
, 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 ofte ...
with complex 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 \boldsymbol is an n \times m matrix obtained by transposing \boldsymbol and applying complex conjugate on each entry (the complex c ...
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. 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 operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi iden ...
, 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
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called '' vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but ...
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 In mathematics, the dot product or scalar productThe term ''scalar product'' means literally "product with a scalar as a result". It is also used sometimes for other symmetric bilinear forms, for example in a pseudo-Euclidean space. is an alg ...
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 number In mathematics, a real number is a number that can be used to measurement, measure a ''continuous'' one-dimensional quantity such as a distance, time, duration or temperature. Here, ''continuous'' means that values can have arbitrarily small var ...
s 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 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 A and B are skew-Hermitian, then is skew-Hermitian for all real scalars 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 Symmetry (from grc, συμμετρία "agreement in dimensions, due proportion, arrangement") in everyday language refers to a sense of harmonious and beautiful proportion and balance. In mathematics, "symmetry" has a more precise definit ...
. * 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 In mathematics, the matrix exponential is a matrix function on 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 exponential giv ...
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 operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi iden ...
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 addit ...
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, ...
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 In mathematics, a complex square matrix is normal if it commutes with its conjugate transpose : The concept of normal matrices can be extended to normal operators on infinite dimensional normed spaces and to normal elements in C*-algebras. ...
* Skew-symmetric matrix *
Unitary matrix In linear algebra, a Complex number, complex Matrix (mathematics), square matrix is unitary if its conjugate transpose is also its Invertible matrix, inverse, that is, if U^* U = UU^* = UU^ = I, where is the identity matrix. In physics, esp ...


Notes


References

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