Editing Transpose

{{Short description|Matrix operation which flips a matrix over its diagonal}}
{{about|the transpose of matrices and [[Transpose of a linear map|linear operators]]||Transposition (disambiguation)}}
[[File:Matrix transpose.gif|thumb|200px|right|The transpose '''A'''<sup>T</sup> of a matrix '''A''' can be obtained by reflecting the elements along its main diagonal. Repeating the process on the transposed matrix returns the elements to their original position.]]

In [[linear algebra]],  the '''transpose''' of a [[Matrix (mathematics)|matrix]] is an operator which flips a matrix over its diagonal;
that is, it switches the row and column indices of the matrix {{math|'''A'''}} by producing another matrix, often denoted by {{math|'''A'''<sup>T</sup>}} (among other notations).<ref>{{Cite web|last=Nykamp|first=Duane|title=The transpose of a matrix|url=https://mathinsight.org/matrix_transpose|access-date=September 8, 2020|website=Math Insight}}</ref> 

The transpose of a matrix was introduced in 1858 by the British mathematician [[Arthur Cayley]].<ref>Arthur Cayley (1858) [https://books.google.com/books?id=flFFAAAAcAAJ&pg=PA31 "A memoir on the theory of matrices"], ''Philosophical Transactions of the Royal Society of London'', '''148''' : 17–37.  The transpose (or "transposition") is defined on page 31.</ref> 

== Transpose of a matrix ==

{{hatnote|This article assumes that matrices are taken over a commutative ring. These results may not hold in the non-commutative case.}}

=== Definition ===

The transpose of a matrix {{math|'''A'''}}, denoted by {{math|'''A'''<sup>T</sup>}},<ref name="Whitelaw1991">{{cite book|author=T.A. Whitelaw|title=Introduction to Linear Algebra, 2nd edition|url=https://books.google.com/books?id=6M_kDzA7-qIC&q=transpose|date=1 April 1991|publisher=CRC Press|isbn=978-0-7514-0159-2}}</ref> {{math|{{sup|⊤}}'''A'''}}, {{math|'''A'''{{sup|⊤}}}}, <math>A^{\intercal}</math>,<ref>{{Cite web|last=|first=|date=|title=Transpose of a Matrix Product (ProofWiki)|url=https://proofwiki.org/wiki/Transpose_of_Matrix_Product|archive-url=|archive-date=|access-date=4 Feb 2021|website=ProofWiki}}</ref><ref>{{Cite web|date=|title=What is the best symbol for vector/matrix transpose?|url=https://tex.stackexchange.com/questions/30619/what-is-the-best-symbol-for-vector-matrix-transpose|archive-url=|archive-date=|access-date=4 Feb 2021|website=[[Stack Exchange]]}}</ref> {{math|'''A′'''}},<ref>{{Cite web|last=Weisstein|first=Eric W.|title=Transpose|url=https://mathworld.wolfram.com/Transpose.html|access-date=2020-09-08|website=mathworld.wolfram.com|language=en}}</ref> {{math|'''A'''<sup>tr</sup>}}, {{math|<sup>t</sup>'''A'''}} or {{math|'''A'''<sup>t</sup>}}, may be constructed by any one of the following methods:
#[[Reflection (mathematics)|Reflect]] {{math|'''A'''}} over its [[main diagonal]] (which runs from top-left to bottom-right) to obtain {{math|'''A'''<sup>T</sup>}}
#Write the rows of {{math|'''A'''}} as the columns of {{math|'''A'''<sup>T</sup>}}
#Write the columns of {{math|'''A'''}} as the rows of {{math|'''A'''<sup>T</sup>}}

Formally, the {{mvar|i}}-th row, {{mvar|j}}-th column element of {{math|'''A'''<sup>T</sup>}} is the {{mvar|j}}-th row, {{mvar|i}}-th column element of {{math|'''A'''}}:

:<math>\left[\mathbf{A}^\operatorname{T}\right]_{ij} = \left[\mathbf{A}\right]_{ji}.</math>

If {{math|'''A'''}} is an {{math|{{nowrap|''m'' × ''n''}}}} matrix, then {{math|'''A'''<sup>T</sup>}} is an {{math|{{nowrap|''n'' × ''m''}}}} matrix. 

In the case of square matrices, {{math|'''A'''<sup>T</sup>}} may also denote the {{math|T}}th power of the matrix {{math|'''A'''}}. For avoiding a possible confusion, many authors use left upperscripts, that is, they denote the transpose as {{math|<sup>T</sup>'''A'''}}. An advantage of this notation is that no parentheses are needed when exponents are involved: as  {{math|1=({{sup|T}}'''A'''){{sup|''n''}} = {{sup|T}}('''A'''{{sup|''n''}})}}, notation {{math|{{sup|T}}'''A'''{{sup|''n''}}}} is not ambiguous.

In this article, this confusion is avoided by never using the symbol {{math|T}} as a [[variable (mathematics)|variable]] name.

==== Matrix definitions involving transposition ====

A square matrix whose transpose is equal to itself is called a ''[[symmetric matrix]]''; that is, {{math|'''A'''}} is symmetric if
:<math>\mathbf{A}^{\operatorname{T}} = \mathbf{A}.</math>

A square matrix whose transpose is equal to its negative is called a ''[[skew-symmetric matrix]]''; that is, {{math|'''A'''}} is skew-symmetric if
:<math>\mathbf{A}^{\operatorname{T}} = -\mathbf{A}.</math>

A square [[complex number|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, {{math|'''A'''}} is Hermitian if
:<math>\mathbf{A}^{\operatorname{T}} = \overline{\mathbf{A}}.</math>

A square [[complex number|complex]] matrix whose transpose is equal to the negation of its complex conjugate is called a ''[[skew-Hermitian matrix]]''; that is, {{math|'''A'''}} is skew-Hermitian if
:<math>\mathbf{A}^{\operatorname{T}} = -\overline{\mathbf{A}}.</math>

A square matrix whose transpose is equal to its [[Inverse matrix|inverse]] is called an ''[[orthogonal matrix]]''; that is, {{math|'''A'''}} is orthogonal if
:<math>\mathbf{A}^{\operatorname{T}} = \mathbf{A}^{-1}.</math>

A square complex matrix whose transpose is equal to its conjugate inverse is called a ''[[unitary matrix]]''; that is, {{math|'''A'''}} is unitary if
:<math>\mathbf{A}^{\operatorname{T}} = \overline{\mathbf{A}^{-1}}.</math>

=== Examples ===
*<math>\begin{bmatrix}
    1 & 2
  \end{bmatrix}^{\operatorname{T}}
  = \,
  \begin{bmatrix}
    1   \\
    2
  \end{bmatrix}
</math>

*<math>
  \begin{bmatrix}
    1 & 2  \\
    3 & 4
  \end{bmatrix}^{\operatorname{T}}
  =
  \begin{bmatrix}
    1 & 3  \\
    2 & 4
  \end{bmatrix}
</math>

* <math>
  \begin{bmatrix}
    1 & 2 \\
    3 & 4 \\
    5 & 6
  \end{bmatrix}^{\operatorname{T}}
  =
  \begin{bmatrix}
     1 & 3 & 5\\
     2 & 4 & 6
  \end{bmatrix}
</math>

=== Properties ===

Let {{math|'''A'''}} and {{math|'''B'''}} be matrices and {{mvar|c}} be a [[Scalar (mathematics)|scalar]]. 

* <math>\left(\mathbf{A}^\operatorname{T} \right)^\operatorname{T} = \mathbf{A}.</math>
*:The operation of taking the transpose is an [[Involution (mathematics)|involution]] (self-[[Inverse matrix|inverse]]).
*<math>\left(\mathbf{A} + \mathbf{B}\right)^\operatorname{T} = \mathbf{A}^\operatorname{T} + \mathbf{B}^\operatorname{T}.</math>
*:The transpose respects [[Matrix addition|addition]].
*<math>\left(c \mathbf{A}\right)^\operatorname{T} = c (\mathbf{A}^\operatorname{T}).</math>
*:The transpose of a scalar is the same scalar. Together with the preceding property, this implies that the transpose is a [[linear map]] from the [[Vector space|space]] of {{math|{{nowrap|''m'' × ''n''}}}} matrices to the space of the {{math|{{nowrap|''n'' × ''m''}}}} matrices.
*<math>\left(\mathbf{A B}\right)^\operatorname{T} = \mathbf{B}^\operatorname{T} \mathbf{A}^\operatorname{T}.</math>
*:The order of the factors reverses. By induction, this result extends to the general case of multiple matrices, so 
*::{{math|('''A'''<sub>1</sub>'''A'''<sub>2</sub>...'''A'''<sub>''k''−1</sub>'''A'''<sub>''k''</sub>)<sup>T</sup>&nbsp;{{=}}&nbsp;'''A'''<sub>''k''</sub><sup>T</sup>'''A'''<sub>''k''−1</sub><sup>T</sup>…'''A'''<sub>2</sub><sup>T</sup>'''A'''<sub>1</sub><sup>T</sup>}}.
*<math>\det \left(\mathbf{A}^\operatorname{T}\right) = \det(\mathbf{A}).</math>
*:The [[determinant]] of a square matrix is the same as the determinant of its transpose.
*The [[dot product]] of two column vectors {{math|'''a'''}} and {{math|'''b'''}} can be computed as the single entry of the matrix product<math display=block>\mathbf{a} \cdot \mathbf{b} = \mathbf{a}^{\operatorname{T}} \mathbf{b}.</math>
*If {{math|'''A'''}} has only real entries, then {{math|'''A'''<sup>T</sup>'''A'''}} is a [[positive-semidefinite matrix]].
*<math> \left(\mathbf{A}^\operatorname{T} \right)^{-1} = \left(\mathbf{A}^{-1} \right)^\operatorname{T}.</math>
*: The transpose of an invertible matrix is also invertible, and its inverse is the transpose of the inverse of the original matrix.<br>The notation {{math|'''A'''<sup>−T</sup>}} is sometimes used to represent either of these equivalent expressions.
*If {{math|'''A'''}} is a square matrix, then its [[Eigenvalue, eigenvector and eigenspace|eigenvalues]] are equal to the eigenvalues of its transpose, since they share the same [[characteristic polynomial]].
*<math> \left(\mathbf A\mathbf a\right) \cdot \mathbf b =\mathbf a \cdot \mathbf \left(A^T\mathbf b\right)</math> for two column vectors <math> \mathbf a, \mathbf b </math> and the standard [[dot product]].
*Over any field <math>k</math>, a square matrix <math>\mathbf{A}</math> is [[matrix similarity|similar]] to <math>\mathbf{A}^\operatorname{T}</math>.
*:This implies that <math>\mathbf{A}</math> and <math>\mathbf{A}^\operatorname{T}</math> have the same [[invariant factors]], which implies they share the same minimal polynomial, characteristic polynomial, and eigenvalues, among other properties.
*:A proof of this property uses the following two observations.
*:* Let <math>\mathbf{A}</math> and <math>\mathbf{B}</math> be <math>n\times n</math> matrices over some base field <math>k</math> and let <math>L</math> be a [[field extension]] of <math>k</math>. If <math>\mathbf{A}</math> and <math>\mathbf{B}</math> are similar as matrices over <math>L</math>, then they are similar over <math>k</math>. In particular this applies when <math>L</math> is the [[algebraic closure]] of <math>k</math>.
*:*If <math>\mathbf{A}</math> is a matrix over an algebraically closed field in [[Jordan normal form]] with respect to some basis, then <math>\mathbf{A}</math> is similar to <math>\mathbf{A}^\operatorname{T}</math>. This further reduces to proving the same fact when <math>\mathbf{A}</math> is a single Jordan block, which is a straightforward exercise.

=== Products ===
If {{math|'''A'''}} is an {{math|{{nowrap|''m'' × ''n''}}}} matrix and {{math|'''A'''<sup>T</sup>}} is its transpose, then the result of [[matrix multiplication]] with these two matrices gives two square matrices: {{math|'''A A'''<sup>T</sup>}} is {{math|{{nowrap|''m'' × ''m''}}}} and {{math|'''A'''<sup>T</sup> '''A'''}} is {{math|{{nowrap|''n'' × ''n''}}}}. Furthermore, these products are [[symmetric matrices]]. Indeed, the matrix product {{math|'''A A'''<sup>T</sup>}} has entries that are the [[inner product]] of a row of {{math|'''A'''}} with a column of {{math|'''A'''<sup>T</sup>}}. But the columns of {{math|'''A'''<sup>T</sup>}} are the rows of {{math|'''A'''}}, so the entry corresponds to the inner product of two rows of {{math|'''A'''}}. If {{mvar|p<sub>i j</sub>}} is the entry of the product, it is obtained from rows {{mvar|i}} and {{mvar|j}} in {{math|'''A'''}}. The entry {{mvar|p<sub>j i</sub>}} is also obtained from these rows, thus {{math|''p''<sub>i j</sub> {{=}} ''p''<sub>j i</sub>}}, and the product matrix ({{mvar|p<sub>i j</sub>}}) is symmetric. Similarly, the product {{math|'''A'''<sup>T</sup> '''A'''}} is a symmetric matrix.

A quick proof of the symmetry of {{math|'''A A'''<sup>T</sup>}} results from the fact that it is its own transpose:
:<math>\left(\mathbf{A} \mathbf{A}^\operatorname{T}\right)^\operatorname{T} = \left(\mathbf{A}^\operatorname{T}\right)^\operatorname{T} \mathbf{A}^\operatorname{T}= \mathbf{A} \mathbf{A}^\operatorname{T} .</math><ref>[[Gilbert Strang]] (2006) ''Linear Algebra and its Applications'' 4th edition, page 51, Thomson [[Brooks/Cole]] {{ISBN|0-03-010567-6}}</ref>

=== Implementation of matrix transposition on computers ===
{{See also|In-place matrix transposition}}
[[File:Row_and_column_major_order.svg|thumb|upright|Illustration of [[row- and column-major order]] ]]
On a [[computer]], one can often avoid explicitly transposing a matrix in [[Random access memory|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- and column-major order|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''&nbsp;×&nbsp;''m'' matrix [[in-place]], with [[Big O notation|O(1)]] additional storage or at most storage much less than ''mn''. For ''n''&nbsp;≠&nbsp;''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.

== Transposes of linear maps and bilinear forms ==
{{See also|Transpose of a linear map}}

As the main use of matrices is to represent linear maps between [[finite-dimensional vector space]]s, the transpose is an operation on matrices that may be seen as the representation of some operation on linear maps.

This leads to a much more general definition of the transpose that works on every linear map, even when linear maps cannot be represented by matrices (such as in the case of infinite dimensional vector spaces). In the finite dimensional case, the matrix representing the transpose of a linear map is the transpose of the matrix representing the linear map, independently of the [[basis (linear algebra)|basis]] choice.

=== Transpose of a linear map ===
{{Main|Transpose of a linear map}}

Let {{math|''X''<sup>#</sup>}} denote the [[algebraic dual space]] of an {{mvar|R}}-[[Module (mathematics)|module]] {{mvar|X}}. 
Let {{mvar|X}} and {{mvar|Y}} be {{mvar|R}}-modules. 
If {{math|''u'' : ''X'' → ''Y''}} is a [[linear map]], then its '''algebraic adjoint''' or '''dual''',{{sfn | Schaefer | Wolff | 1999 | p=128}} is the map {{math|''u''<sup>#</sup> : ''Y''<sup>#</sup> &rarr; ''X''<sup>#</sup>}} defined by {{math|''f'' {{mapsto}} ''f'' ∘ ''u''}}. 
The resulting functional {{math|''u''<sup>#</sup>(''f'')}} is called the '''[[pullback (differential geometry)|pullback]]''' of {{mvar|f}} by {{mvar|u}}. 
The following [[Relation (math)|relation]] characterizes the algebraic adjoint of {{mvar|u}}<ref>{{harvnb|Halmos|1974|loc=§44}}</ref> 
:{{math|{{angbr|''u''<sup>#</sup>(''f''), ''x''}} {{=}} {{angbr|''f'', ''u''(''x'')}}}} for all {{math|''f'' ∈ ''Y''<sup>#</sup>}} and {{math|''x'' ∈ ''X''}}
where {{math|{{angbr|&bull;, &bull;}}}} is the [[natural pairing]] (i.e. defined by {{math|{{angbr|''h'', ''z''}} :{{=}} ''h''(''z'')}}). 
This definition also applies unchanged to left modules and to vector spaces.<ref>{{harvnb|Bourbaki|1989|loc=II §2.5 }}</ref>

The definition of the transpose may be seen to be independent of any bilinear form on the modules, unlike the adjoint ([[#Adjoint|below]]).

The [[continuous dual space]] of a [[topological vector space]] (TVS) {{mvar|X}} is denoted by {{math|''X''{{big|{{'}}}}}}. 
If {{mvar|X}} and {{mvar|Y}} are TVSs then a linear map {{math|''u'' : ''X'' → ''Y''}} is '''weakly continuous''' if and only if {{math|''u''<sup>#</sup>(''Y''{{big|{{'}}}}) &sube; ''X''{{big|{{'}}}}}}, in which case we let {{math|<sup>t</sup>''u'' : ''Y''{{big|{{'}}}} &rarr; ''X''{{big|{{'}}}}}} denote the restriction of {{math|''u''<sup>#</sup>}} to {{math|''Y''{{big|{{'}}}}}}. 
The map {{math|<sup>t</sup>''u''}} is called the '''transpose'''{{sfn | Trèves | 2006 | p=240}} of {{mvar|u}}. 

If the matrix {{math|'''A'''}} describes a linear map with respect to [[basis (linear algebra)|bases]] of {{mvar|V}} and {{mvar|W}}, then the matrix {{math|'''A'''<sup>T</sup>}} describes the transpose of that linear map with respect to the [[Dual basis|dual bases]].

=== Transpose of a bilinear form ===
{{main|Bilinear form}}

Every linear map to the dual space {{math|''u'' : ''X'' → ''X''<sup>#</sup>}} defines a bilinear form {{math|''B'' : ''X'' × ''X'' → ''F''}}, with the relation {{math|''B''(''x'', ''y'') {{=}} ''u''(''x'')(''y'')}}. 
By defining the transpose of this bilinear form as the bilinear form {{mvar|<sup>t</sup>''B''}} defined by the transpose {{math|<sup>t</sup>''u'' : ''X''<sup>##</sup> → ''X''<sup>#</sup>}} i.e. {{math|<sup>t</sup>''B''(''y'', ''x'') {{=}} <sup>t</sup>''u''(Ψ(''y''))(''x'')}}, we find that {{math|''B''(''x'', ''y'') {{=}} <sup>t</sup>''B''(''y'', ''x'')}}. 
Here, {{mvar|Ψ}} is the natural [[homomorphism]] {{math|''X'' → ''X''<sup>##</sup>}} into the [[double dual]].

=== Adjoint ===
{{distinguish|Hermitian adjoint}}

If the vector spaces {{mvar|X}} and {{mvar|Y}} have respectively [[nondegenerate form|nondegenerate]] [[bilinear form]]s {{math|''B''<sub>''X''</sub>}} and {{math|''B''<sub>''Y''</sub>}}, a concept known as the '''adjoint''', which is closely related to the transpose, may be defined:

If {{nowrap|{{math|''u'' : ''X'' → ''Y''}}}} is a [[linear map]] between [[vector space]]s {{mvar|X}} and {{mvar|Y}}, we define {{mvar|g}} as the '''adjoint''' of {{mvar|u}} if {{nowrap|{{math|''g'' : ''Y'' → ''X''}}}} satisfies
:<math>B_X\big(x, g(y)\big) = B_Y\big(u(x), y\big)</math> for all {{math|''x'' &isin; ''X''}} and {{math|''y'' &isin; ''Y''}}.

These bilinear forms define an [[isomorphism]] between {{mvar|X}} and {{math|''X''<sup>#</sup>}}, and between {{mvar|''Y''}} and {{math|''Y''<sup>#</sup>}}, resulting in an isomorphism between the transpose and adjoint of {{mvar|u}}. 
The matrix of the adjoint of a map is the transposed matrix only if the [[basis (linear algebra)|bases]] are [[Orthonormality|orthonormal]] with respect to their bilinear forms. 
In this context, many authors however, use the term transpose to refer to the adjoint as defined here.

The adjoint allows us to consider whether {{nowrap|{{math|''g'' : ''Y'' → ''X''}}}} is equal to {{nowrap|{{math|''u''<sup> −1</sup> : ''Y'' → ''X''}}}}. 
In particular, this allows the [[orthogonal group]] over a vector space {{mvar|X}} with a quadratic form to be defined without reference to matrices (nor the components thereof) as the set of all linear maps {{nowrap|{{math|''X'' → ''X''}}}} for which the adjoint equals the inverse.

Over a complex vector space, one often works with [[sesquilinear form]]s (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.

== See also ==

* [[Adjugate matrix]], the transpose of the [[cofactor matrix]]
* [[Conjugate transpose]]
* [[Converse relation]]
* [[Moore–Penrose pseudoinverse]]
* [[Projection (linear algebra)]]

== References ==
{{reflist}}

== Further reading ==
* {{Bourbaki Algebra I Chapters 1-3 Springer}}

* {{citation|first=Paul|last=Halmos|author-link=Paul Halmos|title=Finite dimensional vector spaces|publisher=Springer|year=1974|isbn=978-0-387-90093-3}}.
* {{cite book |first=Jared M. |last=Maruskin |title=Essential Linear Algebra |location=San José |publisher=Solar Crest |year=2012 |isbn=978-0-9850627-3-6 |url={{Google books |plainurl=yes |id=aOF3-hx3u1kC |page=122 }} |pages=122–132 }}
* {{Schaefer Wolff Topological Vector Spaces|edition=2}} <!-- {{sfn | Schaefer | Wolff | 1999 | p=}} -->
* {{Trèves François Topological vector spaces, distributions and kernels}} <!-- {{sfn | Trèves | 2006 | p=}} -->
* {{cite book |first=Jacob T. |last=Schwartz |title=Introduction to Matrices and Vectors |location=Mineola |publisher=Dover |year=2001 |isbn=0-486-42000-0 |url={{Google books |plainurl=yes |id=fMG3y1z9Jw0C |page=126}} |pages=126–132 }}

== External links ==

* Gilbert Strang (Spring 2010) [https://ocw.mit.edu/courses/mathematics/18-06-linear-algebra-spring-2010/ Linear Algebra] from MIT Open Courseware

{{linear algebra}}
{{Tensors}}

[[Category:Matrices (mathematics)]]
[[Category:Abstract algebra]]
[[Category:Linear algebra]]