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 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 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 i-th row and j-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 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 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 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 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 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 1 \times 1 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 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 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 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 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 = -\overline 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 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 ...
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 ident ...
u(n) 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 ...
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 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