|
|
|
|
matrix representation of a bilinear form
|
(Definition)
|
|
|
Given a bilinear form, $B : U \times V \rightarrow K$ we show how we can represent it with a matrix, with respect to a particular pair of bases for $U$ and $V$ Suppose $U$ and $V$ are finite-dimensional and we have chosen bases, ${{\cal B}_1} = \{e_1, \ldots\}$ and ${{\cal B}_2}=\{f_1, \ldots\}$ Now we define the matrix
$C$ with entries $C_{ij} = B(e_i, f_j)$ This will be the matrix associated to $B$ with respect to this basis as follows; If we write $x,y \in V$ as column vectors in terms of the chosen bases, then check $B(x,y) = x^T C y$ Further if we choose the corresponding dual bases for $U^\ast$ and $V^\ast$ then $C$ and $C^T$ are the corresponding matrices for $B_R$ and $B_L$ respectively (in the sense of linear maps). Thus we see that a symmetric bilinear form is represented by a symmetric matrix, and similarly for skew-symmetric forms.
Let ${{\cal B}_1^\prime}$ and ${{\cal B}_2^\prime}$ be new bases, and $P$ and $Q$ the corresponding change of basis matrices. Then the new matrix is $C^\prime = P^{T}CQ$
|
"matrix representation of a bilinear form" is owned by vitriol.
|
|
(view preamble | get metadata)
Cross-references: changes of basis matrix, skew-symmetric, symmetric matrix, symmetric bilinear form, linear maps, terms, column vectors, basis, finite-dimensional, bases, matrix, represent, bilinear form
This is version 2 of matrix representation of a bilinear form, born on 2005-01-08, modified 2005-01-09.
Object id is 6630, canonical name is MatrixRepresentationOfABilinearForm.
Accessed 2355 times total.
Classification:
| AMS MSC: | 15A63 (Linear and multilinear algebra; matrix theory :: Quadratic and bilinear forms, inner products) | | | 11E39 (Number theory :: Forms and linear algebraic groups :: Bilinear and Hermitian forms) | | | 47A07 (Operator theory :: General theory of linear operators :: Forms ) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|