The Transpose

Definition and the four laws

Definition. The transpose A′A' (also written ATA^T) of A=[aij]m×nA = [a_{ij}]_{m \times n} is the n×mn \times m matrix obtained by interchanging rows and columns:  (A′)ij=aji\ (A')_{ij} = a_{ji}.

Row 1 of AA becomes column 1 of A′A', and the order flips from m×nm \times n to n×mn \times m.

The four laws (memorise):

(1) (A′)′=A(2) (A+B)′=A′+B′(3) (kA)′=kA′(4) (AB)′=B′A′\textbf{(1)}\ (A')' = A \qquad \textbf{(2)}\ (A + B)' = A' + B' \qquad \textbf{(3)}\ (kA)' = kA' \qquad \textbf{(4)}\ (AB)' = B'A'

The fourth is the reversal law — the transpose of a product reverses the order (like the inverse's socks-shoes rule). Orders force it: if AA is m×nm \times n and BB is n×pn \times p, then (AB)′(AB)' is p×mp \times m, and only B′A′=(p×n)(n×m)B'A' = (p \times n)(n \times m) has that shape — A′B′A'B' generally is not even defined.

Numerical check of the reversal law. For A=(1203)A = \begin{pmatrix} 1 & 2 \\ 0 & 3 \end{pmatrix}, C=(2114)C = \begin{pmatrix} 2 & 1 \\ 1 & 4 \end{pmatrix}: AC=(49312)  ⟹  (AC)′=(43912),C′A′=(2114)(1023)=(43912)AC = \begin{pmatrix} 4 & 9 \\ 3 & 12 \end{pmatrix} \implies (AC)' = \begin{pmatrix} 4 & 3 \\ 9 & 12 \end{pmatrix}, \qquad C'A' = \begin{pmatrix} 2 & 1 \\ 1 & 4 \end{pmatrix}\begin{pmatrix} 1 & 0 \\ 2 & 3 \end{pmatrix} = \begin{pmatrix} 4 & 3 \\ 9 & 12 \end{pmatrix} both agree ✓.

Common mistakes to avoid

Mistake 1 — (AB)′=A′B′(AB)' = A'B'. The order must reverse; the wrong version usually is not even conformable.

Mistake 2 — forgetting the order flip. The transpose of a 2×32 \times 3 matrix is 3×23 \times 2; entries do not just "reflect in place" unless the matrix is square.

Mistake 3 — transposing only part of an expression: (2A+3B)′=2A′+3B′(2A + 3B)' = 2A' + 3B' — the transpose distributes over the whole linear combination.

Symmetric and Skew-Symmetric Matrices

The two families

Definitions (square matrices only). AA is symmetric if A′=AA' = A (mirror symmetry across the diagonal: aij=ajia_{ij} = a_{ji}).  A\ A is skew-symmetric if A′=−AA' = -A (i.e. aij=−ajia_{ij} = -a_{ji}).

Diagonal entries of a skew-symmetric matrix vanish: putting j=ij = i in aij=−ajia_{ij} = -a_{ji} gives aii=−aiia_{ii} = -a_{ii}, so aii=0a_{ii} = 0 — every skew-symmetric matrix has a zero diagonal.

Two building lemmas

For any square matrix AA:

A+A′ is always symmetric,A−A′ is always skew-symmetricA + A' \text{ is always symmetric}, \qquad A - A' \text{ is always skew-symmetric}

Proof of the first: (A+A′)′=A′+(A′)′=A′+A=A+A′(A + A')' = A' + (A')' = A' + A = A + A' ✓ — it equals its own transpose. The second is identical with a sign: (A−A′)′=A′−A=−(A−A′)(A - A')' = A' - A = -(A - A').

The decomposition theorem

Theorem. Every square matrix is expressible, uniquely, as the sum of a symmetric and a skew-symmetric matrix: A=12(A+A′)⏟P symmetric+12(A−A′)⏟Q skew-symmetricA = \underbrace{\frac{1}{2}(A + A')}_{P \ \text{symmetric}} + \underbrace{\frac{1}{2}(A - A')}_{Q \ \text{skew-symmetric}}

Worked decomposition. B=(2−2−4−1341−2−3)B = \begin{pmatrix} 2 & -2 & -4 \\ -1 & 3 & 4 \\ 1 & -2 & -3 \end{pmatrix}:

Step 1 — compute B+B′B + B' and halve: P=12(4−3−3−362−32−6)=(2−32−32−3231−321−3) (symmetric)P = \frac{1}{2}\begin{pmatrix} 4 & -3 & -3 \\ -3 & 6 & 2 \\ -3 & 2 & -6 \end{pmatrix} = \begin{pmatrix} 2 & -\frac{3}{2} & -\frac{3}{2} \\ -\frac{3}{2} & 3 & 1 \\ -\frac{3}{2} & 1 & -3 \end{pmatrix} \ (\text{symmetric})

Step 2 — compute B−B′B - B' and halve: Q=12(0−1−51065−60)=(0−12−52120352−30) (skew, zero diagonal)Q = \frac{1}{2}\begin{pmatrix} 0 & -1 & -5 \\ 1 & 0 & 6 \\ 5 & -6 & 0 \end{pmatrix} = \begin{pmatrix} 0 & -\frac{1}{2} & -\frac{5}{2} \\ \frac{1}{2} & 0 & 3 \\ \frac{5}{2} & -3 & 0 \end{pmatrix} \ (\text{skew, zero diagonal})

Step 3 — check: P+Q=BP + Q = B ✓.

Products of symmetric matrices (the subtle facts)

For symmetric AA and BB (same order):

AB is symmetric  ⟺  AB=BAAB \text{ is symmetric} \iff AB = BA AB+BA is always symmetric,AB−BA is always skew-symmetricAB + BA \text{ is always symmetric}, \qquad AB - BA \text{ is always skew-symmetric}

Why the first: (AB)′=B′A′=BA(AB)' = B'A' = BA, so (AB)′=AB(AB)' = AB exactly when BA=ABBA = AB. The other two follow the same one-line transpose computation. These three statements are the section's favourite MCQs.

Common mistakes to avoid

Mistake 1 — applying 'symmetric' to non-square matrices. A′=AA' = A forces the order to be square before anything else.

Mistake 2 — forgetting the 12\frac{1}{2}'s in the decomposition — A+A′A + A' alone is symmetric but does not sum with A−A′A - A' to AA.

Mistake 3 — assuming a product of symmetric matrices is symmetric. Only when they commute.

Mistake 4 — nonzero diagonal in a claimed skew-symmetric matrix — instant contradiction.

Solved Examples

Example 1 — Transposing and combining

For A=(34−1201)A = \begin{pmatrix} 3 & 4 \\ -1 & 2 \\ 0 & 1 \end{pmatrix} (order 3×23 \times 2), write A′A' and state its order.

Step 1 — rows become columns: A′=(3−10421)A' = \begin{pmatrix} 3 & -1 & 0 \\ 4 & 2 & 1 \end{pmatrix}

Answer: A′A' has order 2×32 \times 3 — the order always flips.

Example 2 — Verifying the reversal law

For A=(1203)A = \begin{pmatrix} 1 & 2 \\ 0 & 3 \end{pmatrix} and C=(2114)C = \begin{pmatrix} 2 & 1 \\ 1 & 4 \end{pmatrix}, verify that (AC)′=C′A′(AC)' = C'A'.

Step 1 — the product: AC=(49312)AC = \begin{pmatrix} 4 & 9 \\ 3 & 12 \end{pmatrix}, so (AC)′=(43912)(AC)' = \begin{pmatrix} 4 & 3 \\ 9 & 12 \end{pmatrix}.

Step 2 — the reversed product of transposes: C′A′=(2114)(1023)=(43912)C'A' = \begin{pmatrix} 2 & 1 \\ 1 & 4 \end{pmatrix}\begin{pmatrix} 1 & 0 \\ 2 & 3 \end{pmatrix} = \begin{pmatrix} 4 & 3 \\ 9 & 12 \end{pmatrix}

Answer: the two agree ✓ — and note A′C′A'C' would give a different matrix: the reversal is essential.

Example 3 — Why skew diagonals vanish

Show that every diagonal entry of a skew-symmetric matrix is zero.

Step 1 — apply the definition at a diagonal address: aij=−ajia_{ij} = -a_{ji} with j=ij = i reads aii=−aiia_{ii} = -a_{ii}.

Step 2 — solve: 2aii=02a_{ii} = 0, so aii=0a_{ii} = 0.

Answer: all diagonal entries vanish — the fastest way to disqualify a matrix from being skew-symmetric is one nonzero diagonal entry.

Example 4 — A+A′A + A' and A−A′A - A'

For any square matrix AA, prove that A+A′A + A' is symmetric and A−A′A - A' is skew-symmetric.

Step 1 — transpose the sum: (A+A′)′=A′+(A′)′=A′+A=A+A′  ⟹  symmetric(A + A')' = A' + (A')' = A' + A = A + A' \implies \text{symmetric}

Step 2 — transpose the difference: (A−A′)′=A′−A=−(A−A′)  ⟹  skew-symmetric(A - A')' = A' - A = -(A - A') \implies \text{skew-symmetric}

Answer: proved in two lines each — the building blocks of the decomposition theorem.

Example 5 — The full decomposition

Express B=(2−2−4−1341−2−3)B = \begin{pmatrix} 2 & -2 & -4 \\ -1 & 3 & 4 \\ 1 & -2 & -3 \end{pmatrix} as the sum of a symmetric and a skew-symmetric matrix.

Step 1 — symmetric part: P=12(B+B′)=(2−32−32−3231−321−3)P = \frac{1}{2}(B + B') = \begin{pmatrix} 2 & -\frac{3}{2} & -\frac{3}{2} \\ -\frac{3}{2} & 3 & 1 \\ -\frac{3}{2} & 1 & -3 \end{pmatrix}

Step 2 — skew part: Q=12(B−B′)=(0−12−52120352−30)Q = \frac{1}{2}(B - B') = \begin{pmatrix} 0 & -\frac{1}{2} & -\frac{5}{2} \\ \frac{1}{2} & 0 & 3 \\ \frac{5}{2} & -3 & 0 \end{pmatrix}

Step 3 — verify: P′=PP' = P ✓,  Q′=−Q\ Q' = -Q with zero diagonal ✓,  P+Q=B\ P + Q = B ✓.

Answer: B=P+QB = P + Q as above — the standard 5-mark presentation, checks included.

Example 6 — Products of symmetric matrices

If AA and BB are symmetric matrices of the same order, show that ABAB is symmetric if and only if AA and BB commute.

Step 1 — transpose the product with the reversal law: (AB)′=B′A′=BA(using A′=A, B′=B)(AB)' = B'A' = BA \quad (\text{using } A' = A, \ B' = B)

Step 2 — read off both directions: (AB)′=AB  ⟺  BA=AB(AB)' = AB \iff BA = AB.

Answer: symmetric times symmetric is symmetric exactly when the factors commute — and since matrices usually do not commute, ABAB is usually not symmetric.

Example 7 — Always-symmetric and always-skew combinations

For symmetric AA and BB, classify AB+BAAB + BA and AB−BAAB - BA.

Step 1 — transpose the first: (AB+BA)′=(AB)′+(BA)′=BA+AB=AB+BA  ⟹  symmetric(AB + BA)' = (AB)' + (BA)' = BA + AB = AB + BA \implies \text{symmetric}

Step 2 — transpose the second: (AB−BA)′=BA−AB=−(AB−BA)  ⟹  skew-symmetric(AB - BA)' = BA - AB = -(AB - BA) \implies \text{skew-symmetric}

Answer: AB+BAAB + BA is always symmetric; AB−BAAB - BA is always skew-symmetric — the symmetrised and antisymmetrised products, a favourite one-line MCQ pair.