Test if a numeric 2×2 matrix is explicitly antisymmetric:

Test if a symbolic 3×3 matrix is antisymmetric:

Any matrix generated from an antisymmetric function is antisymmetric:

The function is antisymmetric:

Using Table generates an antisymmetric matrix:

SymmetrizedArray can generate matrices (and general arrays) with symmetries:

Consider the family of rotation matrices corresponding to rotation by in the plane:

The logarithmic derivative is antisymmetric:

This will be true of any 1-parameter family of rotations:

The cross product of two vectors can be expressed as a product of an antisymmetric matrix and a vector:

This proves that :

This proves :

Find the function satisfying this time-dependent 3D equation:

Represent the cross product by means of multiplication by the antisymmetric matrix :

Compute the exponential and use it to define a solution to the equation:

Verify that satisfies the differential equation and initial condition:

The matrix is orthogonal for all values of :

Thus, the orbit of the solution is at a constant distance from the origin, in this case a circle:

AntiymmetricMatrixQ[x] trivially returns False for any x that is not a matrix:

A matrix is antisymmetric if m-Transpose[m]:

An antisymmetric matrix must have zeros on the diagonal:

Use Diagonal to pick out the diagonal elements:

A real-valued antisymmetric matrix is antihermitian:

But a complex-valued antisymmetric matrix may not be:

Use Symmetrize with the symmetry Antisymmetric to compute the antisymmetric part of a matrix:

This equals the normalized difference between m and Transpose[m]:

Any matrix can be represented as the sum of its symmetric and antisymmetric parts:

Use SymmetricMatrixQ to test whether a matrix is symmetric:

If is an antisymmetric matrix with real entries, then is Hermitian:

MatrixExp[m] for real antisymmetric m is both orthogonal and unitary:

For complex antisymmetric m, the exponential is orthogonal but not, in general, unitary:

A real-valued antisymmetric matrix is always a normal matrix:

A complex-valued antisymmetric matrix need not be normal:

Real-valued antisymmetric matrices have pure imaginary eigenvalues:

Use Eigenvalues to find eigenvalues:

Note that a complex-valued antisymmetric matrix may have both real and complex eigenvalues:

Consider a real antisymmetric m of even dimensions:

CharacteristicPolynomial[m,x] contains only even powers of x:

For an odd-dimensioned m, the polynomial contains only odd powers:

Real-valued antisymmetric matrices have a complete set of eigenvectors:

As a consequence, they must be diagonalizable:

Use Eigenvectors to find the necessarily complex-valued eigenvectors:

Note that a complex-valued antisymmetric matrix need not have these properties:

Det[m] for antisymmetric m of odd dimensions is zero:

If m has even dimensions and its entries are real, its determinant is non-negative:

The inverse of an antisymmetric matrix is antisymmetric:

Odd powers of an antisymmetric matrix are antisymmetric:

Even powers are symmetric:

AntisymmetricMatrixQ uses the definition for both real- and complex-valued matrices:

These complex matrices need not be normal or possess many properties of skew-adjoint (real antisymmetric) matrices:

AntihermitianMatrixQ tests the condition for skew-adjoint matrices:

Alternatively, test if the entries are real to restrict to real symmetric matrices: