TheoremBase

Elementary Properties of the Transpose of a Real Matrix

Statement

Let mm, nn and pp be natural numbers with 1≤m1\le m, 1≤n1\le n and 1≤p1\le p, let R\mathbb{R} be the real numbers, and for a natural number qq let [q][q] be the initial segment determined by qq. Let AA and BB be real m×nm\times n matrices, let CC be a real n×pn\times p matrix, and let μ∈R\mu\in\mathbb{R}.

Write A⊤A^{\top} for the transpose, A+BA+B for the sum and μA\mu A for the scalar multiple of matrices, ACAC for the matrix product, InI_{n} for the identity matrix of size nn, and AvAv for the matrix-vector product. On Euclidean space write w⋅zw\cdot z for the dot product.

Then the following hold.

1. (Involution) (A⊤)⊤=A(A^{\top})^{\top}=A.

2. (Linearity) (A+B)⊤=A⊤+B⊤(A+B)^{\top}=A^{\top}+B^{\top} and (μA)⊤=μ A⊤(\mu A)^{\top}=\mu\,A^{\top}.

3. (Identity matrix) In⊤=InI_{n}^{\top}=I_{n}.

4. (Products) (AC)⊤=C⊤A⊤(AC)^{\top}=C^{\top}A^{\top}.

5. (Adjoint relation) For all v∈Rnv\in\mathbb{R}^{n} and w∈Rmw\in\mathbb{R}^{m},

w⋅(Av)=(A⊤w)⋅v.w\cdot(Av)=(A^{\top}w)\cdot v .

6. (Inverses) Suppose m=nm=n and AA is invertible, with inverse A−1A^{-1}. Then A⊤A^{\top} is invertible and (A⊤)−1=(A−1)⊤(A^{\top})^{-1}=(A^{-1})^{\top}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…