1
大学数学基礎解説
文献あり

要素がa_i b_jの行列の固有多項式

79
0
$$$$

以前の私の記事 [1]では,要素が全部$a$の行列の固有多項式を,対合を作ることで計算しました (下記定理1).

行列$A_n$を,要素が全部$a$$n\times n$行列とする ($a$は定数).すると,以下が成り立つ.
\begin{align} \det(A_n-xI_n)=(-1)^n(x^n-nax^{n-1}). \end{align}

以前の記事 [1]で使った対合には追加で重みを入れることができ,同じ対合を使って以下も示せます.本稿では以下の定理2を示します.

$n\times n$行列$B_n$
\begin{align} B_n=\left(a_ib_j\right)_{i,j=1}^n \end{align}
と定める.すると,以下が成り立つ.
\begin{align} \det(B_n-xI_n)=(-1)^n\left(x^n-x^{n-1} \sum_{i=1}^na_ib_i\right). \end{align}

$B_{i,j}$で行列$B_n$の第$(i,j)$成分を表す.
任意の$i,j$と任意の$x,y$に対して,
(式番号☆) $B_{x,i}B_{y,j}=B_{x,j}B_{y,i}$
が成り立てば,以前の記事 [1]で作った対合を使って定理が示せる.
行列$B_n$は式☆が成り立つように作ってある.
(証明終わり)

代数的には,$B_n$のランクが1だから固有値$0$$n-1$個あって,残り$1$個の固有値がトレースに等しくなるので示せます.

参考文献

投稿日:2023820
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Do everything bijectively.

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中