In linear algebra, the transpose of a matrix is an operator which flips a matrix over its diagonal, that is it switches the row and column indices of the matrix by producing another matrix denoted as A^{T} (also written A′, A^{tr}, ^{t}A or A^{t}). It is achieved by any one of the following equivalent actions:
Formally, the i-th row, j-th column element of A^{T} is the j-th row, i-th column element of A:
If A is an m × n matrix, then A^{T} is an n × m matrix.
The transpose of a matrix was introduced in 1858 by the British mathematician Arthur Cayley.^{[1]}
For matrices A, B and scalar c we have the following properties of transpose:
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 equal to its negative is called a skew-symmetric matrix; that is, A is skew-symmetric if
A square complex matrix whose transpose is equal to the matrix with every entry replaced by its complex conjugate (denoted here with an overline) is called a Hermitian matrix (equivalent to the matrix being equal to its conjugate transpose); that is, A is Hermitian if
A square complex matrix whose transpose is equal to the negation of its complex conjugate is called a skew-Hermitian matrix; that is, A is skew-Hermitian if
A square matrix whose transpose is equal to its inverse is called an orthogonal matrix; that is, A is orthogonal if
A square complex matrix whose transpose is equal to its conjugate inverse is called a unitary matrix; that is, A is unitary if
If A is an m × n matrix and A^{T} is its transpose, then the result of matrix multiplication with these two matrices gives two square matrices: A A^{T} is m × m and A^{T} A is n × n. Furthermore, these products are symmetric matrices. Indeed, the matrix product A A^{T} has entries that are the inner product of a row of A with a column of A^{T}. But the columns of A^{T} are the rows of A, so the entry corresponds to the inner product of two rows of A. If p_{i j} is the entry of the product, it is obtained from rows i and j in A. The entry p_{j i} is also obtained from these rows, thus p_{i j} = p_{j i}, and the product matrix (p_{i j}) is symmetric. Similarly, the product A^{T} A is a symmetric matrix.
A quick proof of the symmetry of A A^{T} results from the fact that it is its own transpose:
The transpose may be defined more generally:
If f : V → W is a linear map between right R-modules V and W with respective dual modules V^{∗} and W^{∗}, the transpose of f is the linear map
Equivalently, the transpose ^{t}f is defined by the relation
where ⟨·,·⟩ is the natural pairing of each dual space with its respective vector space. This definition also applies unchanged to left modules and to vector spaces.^{[3]}
The definition of the transpose may be seen to be independent of any bilinear form on the vector spaces, unlike the adjoint (below).
If the matrix A describes a linear map with respect to bases of V and W, then the matrix A^{T} describes the transpose of that linear map with respect to the dual bases.
Every linear map to the dual space f : V → V^{∗} defines a bilinear form B : V × V → F, with the relation B(v, w) = f(v)(w). By defining the transpose of this bilinear form as the bilinear form ^{t}B defined by the transpose ^{t}f : V^{∗∗} → V^{∗} i.e. ^{t}B(w, v) = ^{t}f(Ψ(w))(v), we find that B(v, w) = ^{t}B(w, v). Here, Ψ is the natural homomorphism V → V^{∗∗} into the double dual.
If the vector spaces V and W have respectively nondegenerate bilinear forms B_{V} and B_{W}, a concept known as the adjoint, which is closely related to the transpose, may be defined:
If f : V → W is a linear map between vector spaces V and W, we define g as the adjoint of f if g : W → V satisfies
These bilinear forms define an isomorphism between V and V^{∗}, and between W and W^{∗}, resulting in an isomorphism between the transpose and adjoint of f. The matrix of the adjoint of a map is the transposed matrix only if the bases are orthonormal with respect to their bilinear forms. In this context, many authors use the term transpose to refer to the adjoint as defined here.
The adjoint allows us to consider whether g : W → V is equal to f^{ −1} : W → V. In particular, this allows the orthogonal group over a vector space V with a quadratic form to be defined without reference to matrices (nor the components thereof) as the set of all linear maps V → V for which the adjoint equals the inverse.
Over a complex vector space, one often works with sesquilinear forms (conjugate-linear in one argument) instead of bilinear forms. The Hermitian adjoint of a map between such spaces is defined similarly, and the matrix of the Hermitian adjoint is given by the conjugate transpose matrix if the bases are orthonormal.
On a computer, one can often avoid explicitly transposing a matrix in memory by simply accessing the same data in a different order. For example, software libraries for linear algebra, such as BLAS, typically provide options to specify that certain matrices are to be interpreted in transposed order to avoid the necessity of data movement.
However, there remain a number of circumstances in which it is necessary or desirable to physically reorder a matrix in memory to its transposed ordering. For example, with a matrix stored in row-major order, the rows of the matrix are contiguous in memory and the columns are discontiguous. If repeated operations need to be performed on the columns, for example in a fast Fourier transform algorithm, transposing the matrix in memory (to make the columns contiguous) may improve performance by increasing memory locality.
Ideally, one might hope to transpose a matrix with minimal additional storage. This leads to the problem of transposing an n × m matrix in-place, with O(1) additional storage or at most storage much less than mn. For n ≠ m, this involves a complicated permutation of the data elements that is non-trivial to implement in-place. Therefore, efficient in-place matrix transposition has been the subject of numerous research publications in computer science, starting in the late 1950s, and several algorithms have been developed.