Transpose
From Wikipedia, the free encyclopedia
In linear algebra, the transpose of a matrix A is another matrix AT (also written Atr, tA, or A′) created by any one of the following equivalent actions:
- write the rows of A as the columns of AT
- write the columns of A as the rows of AT
- reflect A by its main diagonal (which starts from the top left) to obtain AT
Formally, the transpose of an m × n matrix A is the n × m matrix
for
Contents |
[edit] Examples
[edit] Properties
For matrices A, B and scalar c we have the following properties of transpose:
- Taking the transpose is a self inverse.
- The transpose is a linear map from the space of m × n matrices to the space of all n × m matrices.
- Note that the order of the factors reverses. From this one can deduce that a square matrix A is invertible if and only if AT is invertible, and in this case we have (A−1)T = (AT)−1.
- The transpose of a scalar is the same scalar.
- The dot product of two column vectors a and b can be computed as
in indicial notation.
- If A has only real entries, then ATA is a positive-semidefinite matrix.
- If A is over some field, then A is similar to AT.
[edit] Special transpose matrices
A square matrix whose transpose is equal to itself is called a symmetric matrix; that is, A is symmetric if
A square matrix whose transpose is also its inverse is called an orthogonal matrix; that is, G is orthogonal if
the identity matrix.
A square matrix whose transpose is equal to its negative is called skew-symmetric; that is, A is skew-symmetric if
The conjugate transpose of the complex matrix A, written as A*, is obtained by taking the transpose of A and the complex conjugate of each entry:
[edit] Transpose of linear maps
If f: V→W is a linear map between vector spaces V and W with nondegenerate bilinear forms, we define the transpose of f to be the linear map tf : W→V, determined by
Here, BV and BW are the bilinear forms on V and W respectively. The matrix of the transpose of a map is the transposed matrix only if the bases are orthonormal with respect to their bilinear forms.
Over a complex vector space, one often works with sesquilinear forms instead of bilinear (conjugate-linear in one argument). The transpose of a map between such spaces is defined similarly, and the matrix of the transpose map is given by the conjugate transpose matrix if the bases are orthonormal. In this case, the transpose is also called the Hermitian adjoint.
If V and W do not have bilinear forms, then the transpose of a linear map f: V→W is only defined as a linear map tf : W*→V* between the dual spaces of W and V.