3.3.13
系(3.3.10)より、次のコンパニオン行列が定義できる。
定義 3.3.13. 行列 (3.3.12) は、多項式 (3.3.11) のコンパニオン行列(companion matrix)である。
コンパニオン行列
コンパニオン行列は、(フロベニウスの)同伴行列とも呼ぶ。
(3.3.11)
p(t) = t^n + a_{n-1}t^{n-1} + a_{n-2}t^{n-2} + \cdots + a_1 t + a_0
(3.3.12)
A =
\begin{bmatrix}
0 & & & & -a_0 \\
1 & 0 & & & -a_1 \\
& 1 & \ddots & & \vdots \\
& & \ddots & 0 & -a_{n-2} \\
0 & & & 1 & -a_{n-1}
\end{bmatrix} \in M_n
行列解析の総本山
[行列解析]総本山
行列解析の総本山。行列解析の内容を網羅的かつ体系的に整理しています。線形代数の学習を一通り終えた方が、次のステップとして取り組むのに最適です。行列に関する不等式を研究するには、行列解析の知識が欠かせません。
am-gm.com
2025.08.05
コメント