抽象化・一般化とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 抽象化・一般化の意味・解説 

抽象化・一般化

出典: フリー百科事典『ウィキペディア(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)) × VnVn の形に書いて 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 = 0V 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 ajiej を、何らかの元の列 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 が満足されることが正当化できるこのように一般化され状況におけるこの定理可換環論および代数幾何学において重要な中山の補題源流である。

※この「抽象化・一般化」の解説は、「ケイリー・ハミルトンの定理」の解説の一部です。
「抽象化・一般化」を含む「ケイリー・ハミルトンの定理」の記事については、「ケイリー・ハミルトンの定理」の概要を参照ください。

ウィキペディア小見出し辞書の「抽象化・一般化」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「抽象化・一般化」の関連用語

抽象化・一般化のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



抽象化・一般化のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのケイリー・ハミルトンの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS