All books

Professional

Apps About Coach Log in Start reading

Mathematics · Glossary

What is Transpose map?

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

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

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

It satisfies (v∘u)T=uT∘vT(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 ⁣:R2→R3u \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) e2∗u^{\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 rk⁡A≤2\operatorname{rk} A \leq 2; columns 11 and 22 are free: rk⁡A=2\operatorname{rk} A = 2. The transpose’s kernel: solving ATy=0A^{\mathsf T}y = 0 gives y∈R (1,1,−1)y \in \R\,(1, 1, -1), so ker⁡AT\ker A^{\mathsf T} has dimension 1=3−21 = 3 - 2: exactly (im⁡A)∘(\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_2” is the annihilator of the column space. Row rank (22 free rows) and column rank agree not by accident but because both equal rk⁡A=rk⁡AT\operatorname{rk} A = \operatorname{rk} A^{\mathsf T}.

Read in context →