跳到主要内容

総合研究大学院大学 複合科学研究科 統計科学専攻 2018年01月実施 数理 第2問

Author​

祭音Myyura (Based on miyake's answer refined with GPT 6 Astra)

Description​

正方行列 AA に対し、fA(x)=∣xE−A∣f_A(x)=|xE-A| を固有多項式という。EE は単位行列であり、Hamilton–Cayley の定理により fA(A)=0f_A(A)=0 が成り立つ。f(A)=0f(A)=0 となるスカラー係数の多項式 f(x)f(x) のうち、次数が最小で最高次係数が 11 であるものを、AA の最小多項式 φA(x)\varphi_A(x) という。

  1. f(A)=0f(A)=0 となる多項式はすべて φA(x)\varphi_A(x) で割り切れることを示し、最小多項式が一意に定まることを示せ。
  2. 正則行列 PP に対し、φP−1AP(x)=φA(x)\varphi_{P^{-1}AP}(x)=\varphi_A(x) を示せ。
  3. 正方行列 AA がある正則行列 PP によって次のように表されるとき、AA は対角化可能であるという。diag⁡(⋯ )\operatorname{diag}(\cdots) は括弧内を対角成分とする対角行列を表す。AA が対角化可能ならば φA(x)\varphi_A(x) は重根をもたないことを示せ。
P−1AP=diag⁡(α1,…,α1,α2,…,α2,…,αs,…,αs).P^{-1}AP=\operatorname{diag}(\alpha_1,\ldots,\alpha_1,\alpha_2,\ldots,\alpha_2,\ldots,\alpha_s,\ldots,\alpha_s).
  1. 次の行列が対角化可能か否かを判定せよ。
A=(0100111−12).A=\begin{pmatrix}0&1&0\\0&1&1\\1&-1&2\end{pmatrix}.

题目描述​

对于方阵 AA,特征多项式为 fA(x)=det⁡(xE−A)f_A(x)=\det(xE-A),Cayley–Hamilton 定理给出 fA(A)=0f_A(A)=0。使 f(A)=0f(A)=0 的首一多项式中,次数最低者称为最小多项式 φA\varphi_A。

  1. 证明所有满足 f(A)=0f(A)=0 的多项式都能被 φA\varphi_A 整除,并证明最小多项式唯一。
  2. 对任意可逆矩阵 PP,证明相似矩阵 P−1APP^{-1}AP 与 AA 有相同的最小多项式。
  3. 证明若 AA 可对角化,则 φA\varphi_A 无重根。可对角化指存在可逆 PP,使 P−1APP^{-1}AP 为对角矩阵。
  4. 判断上述三阶矩阵 AA 是否可对角化。

Kai​

問1​

多項式の除法によって

f(x)=q(x)φA(x)+r(x),deg⁡r<deg⁡φAf(x)=q(x)\varphi_A(x)+r(x),\qquad \deg r<\deg\varphi_A

と書く。AA を代入すると r(A)=0r(A)=0 となる。rr が零多項式でなければ、その最高次係数で割ることで、φA\varphi_A より低次数の首一消去多項式が得られ、最小性に反する。したがって r=0r=0 であり、φA∣f\varphi_A\mid f が成り立つ。

別の最小多項式 ψ\psi があれば φA∣ψ\varphi_A\mid\psi である。両者の次数は等しく、最高次係数も 11 なので ψ=φA\psi=\varphi_A となり、一意性が従う。

問2​

任意の多項式 ff に対して

f(P−1AP)=P−1f(A)Pf(P^{-1}AP)=P^{-1}f(A)P

である。したがって、f(P−1AP)=0f(P^{-1}AP)=0 と f(A)=0f(A)=0 は同値であり、両行列の消去多項式の集合が一致する。問1の一意性から

φP−1AP(x)=φA(x).\boxed{\varphi_{P^{-1}AP}(x)=\varphi_A(x)}.

問3​

対角行列 D=P−1APD=P^{-1}AP の相異なる対角成分を α1,…,αs\alpha_1,\ldots,\alpha_s とする。

g(x)=∏j=1s(x−αj)g(x)=\prod_{j=1}^s(x-\alpha_j)

とおけば g(D)=0g(D)=0 である。問1より φD∣g\varphi_D\mid g、問2より φA=φD\varphi_A=\varphi_D となる。gg は重根をもたないので、その因子 φA\varphi_A も重根をもたない。

問4​

固有多項式は

fA(x)=∣x−100x−1−1−11x−2∣=x(x−1)(x−2)+x−1=(x−1)3.\begin{aligned} f_A(x)&=\begin{vmatrix}x&-1&0\\0&x-1&-1\\-1&1&x-2\end{vmatrix}\\ &=x(x-1)(x-2)+x-1=(x-1)^3. \end{aligned}

また、

(A−E)2=(1−111−11000)≠0,(A−E)3=0.(A-E)^2=\begin{pmatrix}1&-1&1\\1&-1&1\\0&0&0\end{pmatrix}\ne0, \qquad (A-E)^3=0.

したがって φA(x)=(x−1)3\varphi_A(x)=(x-1)^3 であり、重根をもつ。問3の対偶から、A は対角化不可能\boxed{A\text{ は対角化不可能}} である。

Reference​