Choose an ordered basis of a finite-dimensional vector space. The matrix of a bilinear form records all pairings of basis vectors, with . Writing and , separate linearity gives
where the last expression uses the coordinate vectors of . Conversely, every matrix defines a bilinear form by this formula.[ref]
For a concrete bilinear form on , take
Then but : a bilinear form need not be a symmetric bilinear form. For and , first compute , then . Reversing the inputs gives and .
Figure 1.
Basis coefficients determine each pairing, but self-pairings lose the alternating part
. Details.
Under change of basis, let the columns of an invertible matrix be the new basis vectors in old coordinates. Thus and , so
This is matrix congruence, rather than the matrix similarity for an endomorphism. Both inputs have changed coordinates, which explains the two factors of . For the displayed and , direct multiplication gives ; its entry is .[ref]

Articles by others on the same topic (0)

There are currently no matching articles.