Math 2.0

statement proposition

Trace is a coefficient of the characteristic polynomial

Statement

Let KK be a commutative ring, let n≥1n \ge 1, and let AA be an n×nn \times n matrix over KK. Then the coefficient of tn−1t^{n-1} in the characteristic polynomial pA(t)=det⁡(tIn−A)p_A(t) = \det(t I_n - A) is −tr⁡A-\tr A, where tr⁡\tr is the trace. So pA(t)=tn−(tr⁡A) tn−1+⋯p_A(t) = t^n - (\tr A)\, t^{n-1} + \cdots.

Remarks

In the Leibniz expansion of det⁡(tIn−A)\det(t I_n - A), only the product of the diagonal entries (t−a11)⋯(t−ann)(t - a_{11}) \cdots (t - a_{nn}) contributes to tn−1t^{n-1}. For n=2n = 2, pA(t)=t2−(tr⁡A)t+det⁡Ap_A(t) = t^2 - (\tr A) t + \det A. Together with the constant coefficient, it shows that tr⁡\tr and det⁡\det are invariants of similarity.

Explanations

L1 human

The characteristic polynomial contains the trace as its second coefficient, with a minus sign. For a 2×22 \times 2 matrix, the full polynomial is t2−(trace) t+determinantt^2 - (\text{trace})\,t + \text{determinant}. So the trace and the determinant are part of the information of the characteristic polynomial.

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 11 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. Square matrix definition
  5. Linear map definition
  6. Trace of a matrix definition
  7. Multilinear map definition
  8. Alternating multilinear map definition
  9. Determinant definition
  10. Characteristic polynomial definition
  11. Trace is a coefficient of the characteristic polynomial statement

What depends on this

1 node uses this node, directly or through other nodes.

Sources

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