4
$\begingroup$

I see expressions like this all the time in technical literature. The only $A$ and $B$ can be any size matrices as long as the expression is legal. I believe that the transposition is usually conjugate for complex vector spaces.

  • 0
    Ah, [congr$u$ent matrices...](http://en.wikipedia.org/wiki/Matrix_congruence)2011-10-03

1 Answers 1

4

If $B$ describes a bilinear form $\langle v, Bw \rangle$, then $A^T B A$ describes the same bilinear form in a different set of coordinates $\langle Av, BAw \rangle = \langle v, A^T B A w \rangle$ (for $A$ invertible). This is completely analogous to the way in which, if $B$ describes a linear transformation $Bv = w$, then $A^{-1} BA$ describes the same linear transformation in a different set of coordinates $BAv = Aw \Leftrightarrow A^{-1} BAv = w$.

  • 1
    If $A$ is not a square matrix, then the interpretation of Qiaochu Yuan does not hold, but can be generalized, namely, $\langle v, B w \rangle$, but $w = A^T \omega$ and $A^T$ maps from $\mathbb{R}^n \mapsto \mathbb{R}^m$.2011-10-03