Skew-symmetric matrix explained

In mathematics, particularly in linear algebra, a skew-symmetric (or antisymmetric or antimetric[1]) matrix is a square matrix whose transpose equals its negative. That is, it satisfies the condition[2]

In terms of the entries of the matrix, if a_ denotes the entry in the i-th row and j-th column, then the skew-symmetric condition is equivalent to

Example

The matrix

A= \begin{bmatrix} 0&2&-45\\ -2&0&-4\\ 45&4&0 \end{bmatrix}

is skew-symmetric because

-A= \begin{bmatrix} 0&-2&45\\ 2&0&4\\ -45&-4&0 \end{bmatrix}=Asf{T} .

Properties

Throughout, we assume that all matrix entries belong to a field \mathbb whose characteristic is not equal to 2. That is, we assume that, where 1 denotes the multiplicative identity and 0 the additive identity of the given field. If the characteristic of the field is 2, then a skew-symmetric matrix is the same thing as a symmetric matrix.

Vector space structure

As a result of the first two properties above, the set of all skew-symmetric matrices of a fixed size forms a vector space. The space of n \times n skew-symmetric matrices has dimension \fracn(n - 1).

Let

Matn

denote the space of n \times n matrices. A skew-symmetric matrix is determined by \fracn(n - 1) scalars (the number of entries above the main diagonal); a symmetric matrix is determined by \fracn(n + 1) scalars (the number of entries on or above the main diagonal). Let \mbox_n denote the space of n \times n skew-symmetric matrices and \mbox_n denote the space of n \times n symmetric matrices. If A \in \mbox_n thenA = \frac\left(A - A^\mathsf\right) + \frac\left(A + A^\mathsf\right).

Notice that \frac\left(A - A^\textsf\right) \in \mbox_n and \frac\left(A + A^\textsf\right) \in \mbox_n. This is true for every square matrix A with entries from any field whose characteristic is different from 2. Then, since \mbox_n = \mbox_n + \mbox_n and \mbox_n \cap \mbox_n = \, \mbox_n = \mbox_n \oplus \mbox_n,where

denotes the direct sum.

Denote by \langle \cdot, \cdot \rangle the standard inner product on

\Rn.

The real

n x n

matrix A is skew-symmetric if and only if\langle Ax,y \rangle = - \langle x, Ay\rangle \quad \text x, y \in \R^n.

This is also equivalent to \langle x, Ax \rangle = 0 for all

x\in\Rn

(one implication being obvious, the other a plain consequence of \langle x + y, A(x + y)\rangle = 0 for all

x

and

y

).

A

and a choice of inner product.

3 x 3

skew symmetric matrices can be used to represent cross products as matrix multiplications.

Furthermore, if

A

is a skew-symmetric (or skew-Hermitian) matrix, then

xTAx=0

for all

x\in\Cn

.

Determinant

Let

A

be a

n x n

skew-symmetric matrix. The determinant of

A

satisfies

\det\left(Asf{T}\right)=\det(-A)=(-1)n\det(A).

In particular, if

n

is odd, and since the underlying field is not of characteristic 2, the determinant vanishes. Hence, all odd dimension skew symmetric matrices are singular as their determinants are always zero. This result is called Jacobi’s theorem, after Carl Gustav Jacobi (Eves, 1980).

The even-dimensional case is more interesting. It turns out that the determinant of

A

for

n

even can be written as the square of a polynomial in the entries of

A

, which was first proved by Cayley:[3]

\det(A)=\operatorname{Pf}(A)2.

This polynomial is called the Pfaffian of

A

and is denoted

\operatorname{Pf}(A)

. Thus the determinant of a real skew-symmetric matrix is always non-negative. However this last fact can be proved in an elementary way as follows: the eigenvalues of a real skew-symmetric matrix are purely imaginary (see below) and to every eigenvalue there corresponds the conjugate eigenvalue with the same multiplicity; therefore, as the determinant is the product of the eigenvalues, each one repeated according to its multiplicity, it follows at once that the determinant, if it is not 0, is a positive real number.

The number of distinct terms

s(n)

in the expansion of the determinant of a skew-symmetric matrix of order

n

was considered already by Cayley, Sylvester, and Pfaff. Due to cancellations, this number is quite small as compared the number of terms of the determinant of a generic matrix of order

n

, which is

n!

. The sequence

s(n)

is

1, 0, 1, 0, 6, 0, 120, 0, 5250, 0, 395010, 0, …

and it is encoded in the exponential generating function

infty
\sum
n=0
s(n)
n!

xn=\left(1-x2\right)

-1
4
\exp\left(
x2
4

\right).

The latter yields to the asymptotics (for

n

even)

s(n)=

-1
2
\pi
3
4
2\Gamma\left(
3\right)\left(
4
n
e
n-
1
4
\right)

\left(1+O\left(

1
n

\right)\right).

The number of positive and negative terms are approximatively a half of the total, although their difference takes larger and larger positive and negative values as

n

increases .

Cross product

Three-by-three skew-symmetric matrices can be used to represent cross products as matrix multiplications. Consider vectors \mathbf = \left(a_1\ a_2\ a_3\right)^\textsf and \mathbf = \left(b_1\ b_2\ b_3\right)^\textsf. Then, defining the matrix

[a] x =\begin{bmatrix} 0&-a3&a2\\ a3&0&-a1\\ -a2&a1&0 \end{bmatrix},

the cross product can be written as

a x b=[a] x b.

This can be immediately verified by computing both sides of the previous equation and comparing each corresponding element of the results.

See also: Plücker matrix. One actually has

[a x b] x = [a] x [b] x -[b] x [a] x ;

i.e., the commutator of skew-symmetric three-by-three matrices can be identified with the cross-product of three-vectors. Since the skew-symmetric three-by-three matrices are the Lie algebra of the rotation group SO(3) this elucidates the relation between three-space \mathbb^3, the cross product and three-dimensional rotations. More on infinitesimal rotations can be found below.

Spectral theory

Since a matrix is similar to its own transpose, they must have the same eigenvalues. It follows that the eigenvalues of a skew-symmetric matrix always come in pairs ±λ (except in the odd-dimensional case where there is an additional unpaired 0 eigenvalue). From the spectral theorem, for a real skew-symmetric matrix the nonzero eigenvalues are all pure imaginary and thus are of the form

λ1i,1i,λ2i,2i,\ldots

where each of the

λk

are real.

Real skew-symmetric matrices are normal matrices (they commute with their adjoints) and are thus subject to the spectral theorem, which states that any real skew-symmetric matrix can be diagonalized by a unitary matrix. Since the eigenvalues of a real skew-symmetric matrix are imaginary, it is not possible to diagonalize one by a real matrix. However, it is possible to bring every skew-symmetric matrix to a block diagonal form by a special orthogonal transformation.[4] [5] Specifically, every

2n x 2n

real skew-symmetric matrix can be written in the form

A=Q\SigmaQsf{T}

where

Q

is orthogonal and

\Sigma=\begin{bmatrix} \begin{matrix}0&λ1\ -λ1&0\end{matrix}&0&&0\\ 0&\begin{matrix}0&λ2\ -λ2&0\end{matrix}&&0\\ \vdots&&\ddots&\vdots\\ 0&0&&\begin{matrix}0&λr\ -λr&0\end{matrix}\\ &&&&\begin{matrix}0\&\ddots\&&0\end{matrix} \end{bmatrix}

for real positive-definite

λk

. The nonzero eigenvalues of this matrix are ±λk i. In the odd-dimensional case Σ always has at least one row and column of zeros.

More generally, every complex skew-symmetric matrix can be written in the form

A=U\SigmaUT

where

U

is unitary and

\Sigma

has the block-diagonal form given above with

λk

still real positive-definite. This is an example of the Youla decomposition of a complex square matrix.[6]

Skew-symmetric and alternating forms

A skew-symmetric form

\varphi

on a vector space

V

over a field

K

of arbitrary characteristic is defined to be a bilinear form

\varphi:V x V\mapstoK

such that for all

v,w

in

V,

\varphi(v,w)=-\varphi(w,v).

This defines a form with desirable properties for vector spaces over fields of characteristic not equal to 2, but in a vector space over a field of characteristic 2, the definition is equivalent to that of a symmetric form, as every element is its own additive inverse.

V

is over a field of arbitrary characteristic including characteristic 2, we may define an alternating form as a bilinear form

\varphi

such that for all vectors

v

in

V

\varphi(v,v)=0.

This is equivalent to a skew-symmetric form when the field is not of characteristic 2, as seen from

0=\varphi(v+w,v+w)=\varphi(v,v)+\varphi(v,w)+\varphi(w,v)+\varphi(w,w)=\varphi(v,w)+\varphi(w,v),

whence

\varphi(v,w)=-\varphi(w,v).

A bilinear form

\varphi

will be represented by a matrix

A

such that

\varphi(v,w)=vsf{T}Aw

, once a basis of

V

is chosen, and conversely an

n x n

matrix

A

on

Kn

gives rise to a form sending

(v,w)

to

vsf{T}Aw.

For each of symmetric, skew-symmetric and alternating forms, the representing matrices are symmetric, skew-symmetric and alternating respectively.

Coordinate-free

More intrinsically (i.e., without using coordinates), skew-symmetric linear transformations on a vector space

V

with an inner product may be defined as the bivectors on the space, which are sums of simple bivectors (2-blades) v \wedge w. The correspondence is given by the map v \wedge w \mapsto v^* \otimes w - w^* \otimes v, where v^* is the covector dual to the vector v; in orthonormal coordinates these are exactly the elementary skew-symmetric matrices. This characterization is used in interpreting the curl of a vector field (naturally a 2-vector) as an infinitesimal rotation or "curl", hence the name.

Skew-symmetrizable matrix

An

n x n

matrix

A

is said to be skew-symmetrizable if there exists an invertible diagonal matrix

D

such that

DA

is skew-symmetric. For real

n x n

matrices, sometimes the condition for

D

to have positive entries is added.[7]

See also

Further reading

External links

Notes and References

  1. Book: Applied Factor Analysis in the Natural Sciences . Cambridge University Press . 1996 . 0-521-57556-7 . 68 . Richard A. Reyment . K. G. Jöreskog . Leslie F. Marcus . K. G. Jöreskog .
  2. Book: Schaum's Outline of Theory and Problems of Linear Algebra . Seymour . Lipschutz . Marc . Lipson . September 2005 . 9780070605022 . McGraw-Hill.
  3. Cayley . Arthur . Arthur Cayley . 1847 . Sur les determinants gauches . On skew determinants . Crelle's Journal . 38 . 93–96. Reprinted in Book: 10.1017/CBO9780511703676.070 . Sur les Déterminants Gauches . The Collected Mathematical Papers . 1 . 410–413 . 2009 . Cayley . A. . 978-0-511-70367-6.
  4. Voronov, Theodore. Pfaffian, in: Concise Encyclopedia of Supersymmetry and Noncommutative Structures in Mathematics and Physics, Eds. S. Duplij, W. Siegel, J. Bagger (Berlin, New York: Springer 2005), p. 298.
  5. 10.1063/1.1724294. Bruno. Zumino. Normal Forms of Complex Matrices. Journal of Mathematical Physics . 3. 5. 1055–1057 . 1962. 1962JMP.....3.1055Z.
  6. 10.4153/CJM-1961-059-8. D. C. . Youla. A normal form for a matrix under the unitary congruence group. Can. J. Math. . 13. 694–704 . 1961. free.
  7. Fomin . Zelevinsky . Sergey . Andrei . math/0104151v1 . Cluster algebras I: Foundations . 2001 .