charpoly_transpose — Mathlib

English

Reindexing preserves the characteristic polynomial: (reindex e e M).charpoly = M.charpoly.

Русский

Повторное индексирование сохраняет характеристический многочлен: χ_{reindex e e M} = χ_M.

LaTeX

$$$\bigl(\operatorname{reindex} e e M\bigr).\operatorname{charpoly} = M.\operatorname{charpoly}$$$

Lean4

@[simp]
theorem charpoly_transpose (M : Matrix n n R) : (Mᵀ).charpoly = M.charpoly := by simp [charpoly]

Похожие утверждения