Math 2.0

statement proposition

Characteristic polynomial does not depend on the basis

Statement

Let KK be a commutative ring, let AA be an n×nn \times n matrix over KK, and let PP be an invertible n×nn \times n matrix over KK. Then the characteristic polynomials of AA and P−1APP^{-1} A P are equal: pP−1AP(t)=pA(t).p_{P^{-1} A P}(t) = p_A(t). So similar matrices have the same characteristic polynomial.

Remarks

The proof is det⁡(tI−P−1AP)=det⁡(P−1(tI−A)P)=det⁡(tI−A)\det(t I - P^{-1} A P) = \det(P^{-1} (t I - A) P) = \det(t I - A). Hence the characteristic polynomial of a linear map does not depend on the basis. The converse fails: I2I_2 and (1101)\begin{pmatrix} 1 & 1 \\ 0 & 1 \end{pmatrix} both have p(t)=(t−1)2p(t) = (t - 1)^2, but they are not similar.

Explanations

L1 human

A change of basis does not change the characteristic polynomial. So the eigenvalues, the trace and the determinant, which we can read from it, are the same in every basis. They are properties of the linear map, not of one matrix.

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 13 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. Identity matrix object
  2. Matrix definition
  3. Vector space definition
  4. Matrix multiplication definition
  5. Square matrix definition
  6. Linear map definition
  7. Invertible matrix definition
  8. Multilinear map definition
  9. Similar matrices definition
  10. Alternating multilinear map definition
  11. Determinant definition
  12. Characteristic polynomial definition
  13. Characteristic polynomial does not depend on the basis statement

Sources

  1. Web https://en.wikipedia.org/wiki/Characteristic_polynomial, Properties