2.5: The Transpose
- Page ID
- 117912
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)
( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\id}{\mathrm{id}}\)
\( \newcommand{\Span}{\mathrm{span}}\)
\( \newcommand{\kernel}{\mathrm{null}\,}\)
\( \newcommand{\range}{\mathrm{range}\,}\)
\( \newcommand{\RealPart}{\mathrm{Re}}\)
\( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)
\( \newcommand{\Argument}{\mathrm{Arg}}\)
\( \newcommand{\norm}[1]{\| #1 \|}\)
\( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)
\( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)
\( \newcommand{\vectorA}[1]{\vec{#1}} % arrow\)
\( \newcommand{\vectorAt}[1]{\vec{\text{#1}}} % arrow\)
\( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vectorC}[1]{\textbf{#1}} \)
\( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)
\( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)
\( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)
\( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)
\( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)
\(\newcommand{\avec}{\mathbf a}\) \(\newcommand{\bvec}{\mathbf b}\) \(\newcommand{\cvec}{\mathbf c}\) \(\newcommand{\dvec}{\mathbf d}\) \(\newcommand{\dtil}{\widetilde{\mathbf d}}\) \(\newcommand{\evec}{\mathbf e}\) \(\newcommand{\fvec}{\mathbf f}\) \(\newcommand{\nvec}{\mathbf n}\) \(\newcommand{\pvec}{\mathbf p}\) \(\newcommand{\qvec}{\mathbf q}\) \(\newcommand{\svec}{\mathbf s}\) \(\newcommand{\tvec}{\mathbf t}\) \(\newcommand{\uvec}{\mathbf u}\) \(\newcommand{\vvec}{\mathbf v}\) \(\newcommand{\wvec}{\mathbf w}\) \(\newcommand{\xvec}{\mathbf x}\) \(\newcommand{\yvec}{\mathbf y}\) \(\newcommand{\zvec}{\mathbf z}\) \(\newcommand{\rvec}{\mathbf r}\) \(\newcommand{\mvec}{\mathbf m}\) \(\newcommand{\zerovec}{\mathbf 0}\) \(\newcommand{\onevec}{\mathbf 1}\) \(\newcommand{\real}{\mathbb R}\) \(\newcommand{\twovec}[2]{\left[\begin{array}{r}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\ctwovec}[2]{\left[\begin{array}{c}#1 \\ #2 \end{array}\right]}\) \(\newcommand{\threevec}[3]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\cthreevec}[3]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \end{array}\right]}\) \(\newcommand{\fourvec}[4]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\cfourvec}[4]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \end{array}\right]}\) \(\newcommand{\fivevec}[5]{\left[\begin{array}{r}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\cfivevec}[5]{\left[\begin{array}{c}#1 \\ #2 \\ #3 \\ #4 \\ #5 \\ \end{array}\right]}\) \(\newcommand{\mattwo}[4]{\left[\begin{array}{rr}#1 \amp #2 \\ #3 \amp #4 \\ \end{array}\right]}\) \(\newcommand{\laspan}[1]{\text{Span}\{#1\}}\) \(\newcommand{\bcal}{\cal B}\) \(\newcommand{\ccal}{\cal C}\) \(\newcommand{\scal}{\cal S}\) \(\newcommand{\wcal}{\cal W}\) \(\newcommand{\ecal}{\cal E}\) \(\newcommand{\coords}[2]{\left\{#1\right\}_{#2}}\) \(\newcommand{\gray}[1]{\color{gray}{#1}}\) \(\newcommand{\lgray}[1]{\color{lightgray}{#1}}\) \(\newcommand{\rank}{\operatorname{rank}}\) \(\newcommand{\row}{\text{Row}}\) \(\newcommand{\col}{\text{Col}}\) \(\renewcommand{\row}{\text{Row}}\) \(\newcommand{\nul}{\text{Nul}}\) \(\newcommand{\var}{\text{Var}}\) \(\newcommand{\corr}{\text{corr}}\) \(\newcommand{\len}[1]{\left|#1\right|}\) \(\newcommand{\bbar}{\overline{\bvec}}\) \(\newcommand{\bhat}{\widehat{\bvec}}\) \(\newcommand{\bperp}{\bvec^\perp}\) \(\newcommand{\xhat}{\widehat{\xvec}}\) \(\newcommand{\vhat}{\widehat{\vvec}}\) \(\newcommand{\uhat}{\widehat{\uvec}}\) \(\newcommand{\what}{\widehat{\wvec}}\) \(\newcommand{\Sighat}{\widehat{\Sigma}}\) \(\newcommand{\lt}{<}\) \(\newcommand{\gt}{>}\) \(\newcommand{\amp}{&}\) \(\definecolor{fillinmathshade}{gray}{0.9}\)Another important operation on matrices is that of taking the transpose. For a matrix \(A\), we denote the transpose of \(A\) by \(A^T\). Before formally defining the transpose, we explore this operation on the following matrix.
\[\left[ \begin{array}{cc} 1 & 4 \\ 3 & 1 \\ 2 & 6 \end{array} \right] ^{T}= \ \ \left[ \begin{array}{ccc} 1 & 3 & 2 \\ 4 & 1 & 6 \end{array} \right] \nonumber\]
What happened? The first column became the first row and the second column became the second row. Thus the \(3\times 2\) matrix became a \(2\times 3\) matrix. The number \(4\) was in the first row and the second column and it ended up in the second row and first column.
The definition of the transpose is as follows.
Let \(A\) be an \(m\times n\) matrix. Then \(A^{T}\), the transpose of \(A\), denotes the \(n\times m\) matrix given by
\[A^{T} = \left[ a _{ij}\right] ^{T}= \left[ a_{ji} \right]\nonumber \]
The \(\left( i, j \right)\)-entry of \(A\) becomes the \(\left( j,i \right)\)-entry of \(A^T\).
Consider the following example.
Calculate \(A^T\) for the following matrix
\[A = \left[ \begin{array}{rrr} 1 & 2 & -6 \\ 3 & 5 & 4 \end{array} \right] \nonumber\]
Solution
By Definition \(\PageIndex{1}\), we know that for \(A = \left[ a_{ij} \right]\), \(A^T = \left[ a_{ji} \right]\). In other words, we switch the row and column location of each entry. The \(\left( 1, 2 \right)\)-entry becomes the \(\left( 2,1 \right)\)-entry.
Thus, \[A^T = \left[ \begin{array}{rr} 1 & 3 \\ 2 & 5 \\ -6 & 4 \end{array} \right] \nonumber\]
Notice that \(A\) is a \(2 \times 3\) matrix, while \(A^T\) is a \(3 \times 2\) matrix.
The transpose of a matrix has the following important properties.
Let \(A\) be an \(m\times n\) matrix, \(B\) an \(n\times p\) matrix, and \(r\) and \(s\) scalars. Then
- \[\left(A^{T}\right)^{T} = A\nonumber \]
- \[\left( AB\right) ^{T}=B^{T}A^{T} \nonumber\]
- \[\left( rA+ sB\right) ^{T}=rA^{T}+ sB^{T} \nonumber\]
- Proof
-
First we prove 2. From Definition \(\PageIndex{1}\),
\[ \begin{aligned} \left(AB\right)^{T} &= \left[ (AB) _{ij} \right] ^{T}=\left[ (AB)_{ji} \right]=\sum_{k}a_{jk}b_{ki}= \sum_{k}b_{ki}a_{jk} \\[4pt] &= \sum_{k}\left[ b_{ik}\right]^{T}\left[ a_{kj}\right]^{T}=\left[ b_{ij}\right] ^{T} \left[ a_{ij}\right]^{T} = B^{T}A^{T} \end{aligned}\]
The proof of Formula 3 is left as an exercise.
The transpose of a matrix is related to other important topics. Consider the following definition.
An \(n\times n\) matrix \(A\) is said to be symmetric if \(A=A^{T}.\) It is said to be skew symmetric if \(A=-A^{T}.\)
We will explore these definitions in the following examples.
Let
\[A=\left[ \begin{array}{rrr} 2 & 1 & 3 \\ 1 & 5 & -3 \\ 3 & -3 & 7 \end{array} \right] \nonumber\]
Use Definition \(\PageIndex{2}\) to show that \(A\) is symmetric.
Solution
By Definition \(\PageIndex{2}\), we need to show that \(A = A^T\). Now, using Definition \(\PageIndex{1}\),
\[A^{T} = \left[ \begin{array}{rrr} 2 & 1 & 3 \\ 1 & 5 & -3 \\ 3 & -3 & 7 \end{array} \right]\nonumber\]
Hence, \(A = A^{T}\), so \(A\) is symmetric.
Let
\[A=\left[ \begin{array}{rrr} 0 & 1 & 3 \\ -1 & 0 & 2 \\ -3 & -2 & 0 \end{array} \right] \nonumber \]
Show that \(A\) is skew symmetric.
Solution
By Definition \(\PageIndex{2}\),
\[A^{T} = \left[ \begin{array}{rrr} 0 & -1 & -3\\ 1 & 0 & -2\\ 3 & 2 & 0 \end{array} \right] \nonumber\]
You can see that each entry of \(A^T\) is equal to \(-1\) times the same entry of \(A\). Hence, \(A^{T} = - A\) and so by Definition \(\PageIndex{2}\), \(A\) is skew symmetric.