Transpose of product

Dependencies:

  1. Matrix

Let $R$ be a commutative semiring. Let $A$ and $B$ be matrices on $R$. Then $(AB)^T = B^TA^T$.

Proof

\begin{align} & (AB)^T[i, j] \\ &= (AB)[j, i] \\ &= \sum_k A[j, k] B[k, i] \\ &= \sum_k A^T[k, j] B^T[i, k] \\ &= \sum_k B^T[i, k] A^T[k, j] \tag{$R$ is commutative semiring} \\ &= (B^TA^T)[i, j] \end{align}

Therefore, $(AB)^T = B^TA^T$.

Dependency for:

  1. Matrices form an inner-product space
  2. Bounding matrix quadratic form using eigenvalues
  3. Symmetric operator iff hermitian
  4. Matrix of orthonormal basis change
  5. A is diagonalizable iff there are n linearly independent eigenvectors
  6. Orthogonally diagonalizable iff hermitian
  7. All eigenvalues of a hermitian matrix are real

Info:

Transitive dependencies:

  1. Group
  2. Ring
  3. Semiring
  4. Matrix