[Proof of
Item 2:] Note that
\(A\) and
\(B\) have compatible dimensions, so that
\(AB\) is defined and has dimensions
\(m\times p\text{.}\) Thus,
\((AB)^T\) has dimensions
\(p\times m\text{.}\) On the right side of the equality,
\(A^T\) has dimensions
\(n\times m\text{,}\) and
\(B^T\) has dimensions
\(p\times n\text{.}\) Therefore
\(B^TA^T\) is defined and has dimensions
\(p\times m\text{.}\)
Now we know that
\((AB)^T\) and
\(B^TA^T\) have the same dimensions.
To show that
\((AB)^T=B^TA^T\) we need to show that their corresponding entries are equal. Recall that the
\((i,j)\)-entry of
\(AB\) is given by the dot product of the
\(i^{th}\) row of
\(A\) and the
\(j^{th}\) column of
\(B\text{.}\) The same dot product is also the
\((j,i)\)-entry of
\((AB)^T\text{.}\)
The
\((j,i)\)-entry of
\(B^TA^T\) is given by the dot product of the
\(j^{th}\) row of
\(B^T\) and the
\(i^{th}\) column of
\(A^T\text{.}\) But the
\(j^{th}\) row of
\(B^T\) is has the same entries as the
\(j^{th}\) column of
\(B\text{,}\) and the
\(i^{th}\) column of
\(A^T\) has the same entries as the
\(i^{th}\) row of
\(A\text{.}\) Therefore the
\((j,i)\)-entry of
\(B^TA^T\) is also equal to the
\((i,j)\)-entry of
\(AB\text{.}\)
Thus, the corresponding components of
\((AB)^T\) are equal and we conclude that
\((AB)^T=B^TA^T\text{.}\)