Mathematics · Glossary

What is Transpose map?

Definition 2.8 University Mathematics — Year 2 · Chapter 2 — Linear Algebra

For uL(E,F)u \in \mathcal{L}(E, F), the transpose uTL(F,E)u^{\mathsf T} \in \mathcal{L}(F^*, E^*) is

uT(ψ)=ψu.u^{\mathsf T}(\psi) = \psi \circ u .

It satisfies (vu)T=uTvT(v \circ u)^{\mathsf T} = u^{\mathsf T} \circ v^{\mathsf T}, and in dual bases, the matrix of uTu^{\mathsf T} is the transposed matrix of uu — which finally explains the transpose of Year 1.

Examples

Example 2.9 (The transpose, entry by entry)

Let u ⁣:R2R3u \colon \R^2 \to \R^3 have matrix A=(120130)A = \left(\begin{smallmatrix} 1 & 2\\ 0 & 1\\ 3 & 0\end{smallmatrix}\right) in the canonical bases. For ψ=b1f1+b2f2+b3f3(R3)\psi = b_1f_1^* + b_2f_2^* + b_3f_3^* \in (\R^3)^*, compute uT(ψ)=ψuu^{\mathsf T}(\psi) = \psi \circ u on the basis of R2\R^2:

(ψu)(e1)=ψ(1,0,3)=b1+3b3,(ψu)(e2)=ψ(2,1,0)=2b1+b2.(\psi \circ u)(e_1) = \psi(1, 0, 3) = b_1 + 3b_3, \qquad (\psi \circ u)(e_2) = \psi(2, 1, 0) = 2b_1 + b_2 .

So uT(ψ)=(b1+3b3)e1+(2b1+b2)e2u^{\mathsf T}(\psi) = (b_1 + 3b_3)\,e_1^* + (2b_1 + b_2)\,e_2^*, and in the dual bases the matrix of uTu^{\mathsf T} is

(103210)=AT:\begin{pmatrix} 1 & 0 & 3\\ 2 & 1 & 0\end{pmatrix} = A^{\mathsf T} :

the abstract transpose is the flipped matrix, with no computation left to believe on faith. Note the mechanism: the jj-th column of AA became the jj-th row of the new matrix because ψu\psi \circ u reads uu’s outputs through ψ\psi’s coefficients.

Example 2.11 (Rank read on both sides)

Let

A=(120101111312).A = \begin{pmatrix} 1 & 2 & 0 & 1\\ 0 & 1 & 1 & 1\\ 1 & 3 & 1 & 2 \end{pmatrix} .

Column rank: the third row is the sum of the first two, so rkA2\operatorname{rk} A \leq 2; columns 11 and 22 are free: rkA=2\operatorname{rk} A = 2. The transpose’s kernel: solving ATy=0A^{\mathsf T}y = 0 gives yR(1,1,1)y \in \R\,(1, 1, -1), so kerAT\ker A^{\mathsf T} has dimension 1=321 = 3 - 2: exactly (imA)(\operatorname{im} A)^\circ under the identification of (R3)(\R^3)^* with row vectors, as Proposition 2.10 asserts — the single relation “row3_3 = row1_1 + row2_2is the annihilator of the column space. Row rank (22 free rows) and column rank agree not by accident but because both equal rkA=rkAT\operatorname{rk} A = \operatorname{rk} A^{\mathsf T}.

Read in context →