Math 2.0

statement proposition

Change of basis for a bilinear form

Statement

Let FF be a field and let VV be a finite-dimensional vector space over FF, with two bases B\mathcal{B} and B′\mathcal{B}'. Let PP be the change of basis matrix whose columns are the coordinate vectors of the vectors of B′\mathcal{B}' in B\mathcal{B}. Let BB be a bilinear form on VV, with matrix MM in B\mathcal{B} and M′M' in B′\mathcal{B}'. Then M′=PTMP.M' = P^T M P.

Remarks

Two square matrices MM and M′M' are congruent when M′=PTMPM' = P^T M P for an invertible matrix PP. So two matrices represent the same bilinear form in two bases if and only if they are congruent. Congruence keeps the rank and the symmetry of a matrix, but in general not its eigenvalues. Compare this with the rule P−1APP^{-1} A P for the matrix of a linear map.

Explanations

L1 human

When we change the basis, the matrix of a bilinear form changes by PTMPP^T M P. Both vectors change coordinates, so PP appears twice. For a linear map, the rule is P−1APP^{-1} A P instead.

What this node needs for W1
  • an inventory row: the row of the inventory that the node accounts for (0 of 1)

The writing levels say how complete the text of a node is. They do not measure its truth.

What this needs

To read this node, read these 12 nodes in this order. The foundations come first, and the list ends with this node.

Each node uses the nodes above it. The colour of the bar on a box shows the evidence level, and the box also gives it as text. The list below has the same nodes.
  • no evidence level
  1. Vector space definition
  2. Bilinear form definition
  3. Linear combination definition
  4. Linear subspace definition
  5. Linear independence definition
  6. Linear span definition
  7. Spanning set definition
  8. Basis definition
  9. Coordinate vector definition
  10. Matrix of a bilinear form definition
  11. Change of basis matrix definition
  12. Change of basis for a bilinear form statement

What depends on this

2 nodes use this node, directly or through other nodes.

Sources

  1. Web https://en.wikipedia.org/wiki/Matrix_congruence, lead section