抽象化・一般化
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/04/19 10:23 UTC 版)
「ケイリー・ハミルトンの定理」の記事における「抽象化・一般化」の解説
上で述べた通り、定理の主張における行列 p(A) は、先に行列式を評価してからその後で行列 A を変数 t に代入して得るものであり、行列式を計算する前に行列 tIn − A に代入を行うことは意味をなさない。にも拘らず、p(A) をある特定の行列式の値として直截に得ることのできる解釈を与えることは可能である。 ただしこれには、環上の行列 A とはその成分 aij のことともそれらの全体としての A そのものとも解釈できるというような、やや面倒な状況を設定する必要がある。すなわち、環 R 上の n次正方行列全体の成す環 M(n, R) の中で、成分 aij はスカラー行列 aijIn として実現されるし、A それ自体も入っている。しかし行列を成分とする行列は、ここでの意図でない区分行列との混同を引き起こしかねない(区分行列と考えると行列式の概念が正しく与えられない)。状況をよりはっきりさせるため、基底 e1, …, en を持つ n次元ベクトル空間(係数環 R が体でないときは n階 R-自由加群)V 上の自己準同型 φ を行列 A と区別をつけて、全自己準同型環 V 上の行列を考えることにする。そうすると、各 φ ∈ End(V) は行列の成分になれるし、その一方で行列 A とは各 (i, j)成分がスカラー aij倍するという自己準同型になっているような M(n, End(V)) の元を指すものとできる(同様に単位行列 In も M(n, End(V)) の元と解釈される)。 ただし、End(V) は可換環ではないから、M(n, End(V)) の全体で定義される行列式は存在せず、End(V) の可換部分環上の行列に限った場合にだけ行列式が定義できることには注意しなければならない。今、問題の行列 φIn − A の成分はすべて、φ と恒等変換で R 上生成される可換部分環 R[φ] に属しているから、行列式をとる写像 det: M(n, R[φ]) → R[φ] は定義されて、det(φIn − A) を A の固有多項式を φ において評価した値とすることができる(このことは A と φ との間に成り立つ関係とは無関係に成り立つ)。 この設定で、ケイリー・ハミルトンの定理の主張は p(φ) が零写像となることである。この設定での定理の証明を以下に示す(これは(中山の補題と関連した)より一般の形で (Atiyah & MacDonald 1969, Prop. 2.4) にあるものである): 自己準同型環上の行列に基づく証明 行列 A = (aij) が基底 e1, …, en に関する φ の表現行列であるとは φ ( e i ) = ∑ j = 1 n a j , i e j ( i = 1 , ⋯ , n ) {\displaystyle \varphi (e_{i})=\sum _{j=1}^{n}a_{j,i}e_{j}\quad (i=1,\cdots ,n)} と書けることであった。これらを行列のベクトルへの左乗 M(n, End(V)) × Vn → Vn の形に書いて Vn における一つの等式の n 個の成分と解釈することができる(行列のベクトルへの積は、個々の成分が ψ ∈ End(V) および v ∈ V の間では ψ(v) という形で「掛け合わされる」ということを除けば通常通りに定義できる)。そうして、上記は一つの等式 φ I n ⋅ E = A tr ⋅ E {\displaystyle \varphi I_{n}\cdot E=A^{\operatorname {tr} }\cdot E} の形にまとめられる。ここに、E ∈ Vn は第i成分が ei となる元(というより、V の基底ベクトル e1, …, en をこの順で列ベクトルにもつ行列)で、右肩の tr は行列の転置。整理すれば ( φ I n − A tr ) ⋅ E = 0 ∈ V n {\displaystyle (\varphi I_{n}-A^{\operatorname {tr} })\cdot E=0\in V^{n}} の形に書ける。左辺に現れた行列は φIn − A の転置と理解すれば、この行列の(M(n, R[φ]) の元としての)行列式もまた p(φ) に等しい。さてこの等式から p(φ) = 0 ∈ End(V) を導くためには、φIn − Atr の(行列環 M(n, R[φ]) における)余因子行列の転置 (adjugate matrix) を左から掛ければよい。これは 0 = adj ( φ I n − A tr ) ⋅ ( ( φ I n − A tr ) ⋅ E ) = ( adj ( φ I n − A tr ) ⋅ ( φ I n − A tr ) ) ⋅ E = ( det ( φ I n − A tr ) I n ) ⋅ E = ( p ( φ ) I n ) ⋅ E {\displaystyle {\begin{aligned}0&=\operatorname {adj} (\varphi I_{n}-A^{\operatorname {tr} })\cdot ((\varphi I_{n}-A^{\operatorname {tr} })\cdot E)\\&=(\operatorname {adj} (\varphi I_{n}-A^{\operatorname {tr} })\cdot (\varphi I_{n}-A^{\operatorname {tr} }))\cdot E\\&=(\det(\varphi I_{n}-A^{\operatorname {tr} })I_{n})\cdot E\\&=(p(\varphi )I_{n})\cdot E\end{aligned}}} と計算できる。最初の等号は行列同士および行列とベクトルとの積の結合性によるが、この性質は行列やベクトルの成分がどのようなものであるかとは無関係に、これら積が持つ純形式的な性質である。さて、この等式の第 i成分をみれば、p(φ)(ei) = 0 ∈ V が成り立つことが分かるから、p(φ) は全ての ei で—したがってそれらの生成する V 全体で—消えていることになる。それはすなわち p(φ) = 0 ∈ End(V) であることに他ならないから、これで証明は完成する。 この証明を検討すれば、固有多項式をとる行列 A は、多項式に代入する値としての φ と同一である必要がないことが分かる。すなわち V 上の自己準同型 φ は、最初に与えた等式 φ(ei) = ∑j aji⋅ej を、何らかの元の列 e1, …, en に対して満足すればよい(これらの元の生成する空間を改めて V と書けば上記の証明を追うことができる)。この元の列には基底のような独立性は仮定しないでよいから、生成される空間の次元は n よりも小さくなり得るし、係数環が体でないときは自由加群でない場合も出てくる。 そうして R を生成系 {e1, …, en} を持つ任意の可換環とし、R の自己準同型 φ の上記生成系に関する表現行列が A = (aij), すなわち φ ( e j ) = ∑ a i j e i ( j = 1 , ⋯ , n ) {\displaystyle \varphi (e_{j})=\sum a_{ij}e_{i}\qquad (j=1,\cdots ,n)} を満たすものとする設定の下でのケイリー・ハミルトンの定理:pφ(φ) = 0 が満足されることが正当化できる。 このように一般化された状況におけるこの定理は可換環論および代数幾何学において重要な中山の補題の源流である。
※この「抽象化・一般化」の解説は、「ケイリー・ハミルトンの定理」の解説の一部です。
「抽象化・一般化」を含む「ケイリー・ハミルトンの定理」の記事については、「ケイリー・ハミルトンの定理」の概要を参照ください。
- 抽象化・一般化のページへのリンク