このページでは、対角化可能な行列とは何か、対角化できる場合とできない場合、行列を対角化する方法、これらの特定の行列のアプリケーションとプロパティなど、対角化可能な行列に関するすべてを説明します。さらに、段階的に解決するいくつかの演習も用意されているため、対角化がどのように行われるかを練習して完全に理解することができます。最後に、コンピューター プログラム MATLAB は非常に頻繁に使用されるため、行列の対角化を実行する方法も学びます。
対角化可能な行列とは何ですか?
以下で説明するように、行列の対角化は線形代数の分野で非常に役立ちます。これが、多くの人が疑問に思う理由です…行列の対角化とは何ですか?さて、対角化可能な行列の定義は次のとおりです。
対角化可能行列は、対角行列、つまり主対角を除いてゼロで満たされた行列に変換できる正方行列です。行列の対角化は次のように分類されます。
または同等の、
金
は対角化する行列です。
列が次の固有ベクトル (または固有ベクトル) である行列です。
、
その逆行列と
の固有値 (または固有値) によって形成される対角行列です。
。
マトリックス
は基数変更行列として機能するため、実際にはこの式を使用して基数を行列に変更します
, そのため、行列は対角行列になります (
) 新しい拠点に。
したがって、行列は
そしてマトリックス
これらは類似した行列です。そして明らかに、
これは、正規行列または非縮退行列です。
行列を対角化できるのはいつですか?
すべての行列を対角化できるわけではありません。特定の特性を満たす行列のみを対角化できます。行列が対角化可能かどうかは、さまざまな方法で確認できます。
- 次数nの正方行列は、 n 個の線形に独立した固有ベクトル (または固有ベクトル)を持つ場合、つまりこれらのベクトルが基底を形成する場合、対角化可能です。これは、マトリックスがあるためです。
行列を対角化するために使用される、行列の固有ベクトルによって形成されます。固有ベクトルが LI であるかどうかを知るには、行列の行列式が次であれば十分です。
は 0 とは異なります。これは、行列のランクが最大であることを意味します。
- 固有値と固有ベクトルの特性は、異なる固有値の固有ベクトルが線形独立であることです。したがって、行列のすべての固有値が一意であれば、行列は対角化可能です。
- 行列が対角行列に収まるかどうかを判断する別の方法は、代数的および幾何学的多重度を使用することです。代数的多重度は、固有値 (または固有値) が繰り返される回数であり、幾何学的多重度は、主対角上の固有値を減算した行列のカーネル (または カーネル) の次元です。したがって、各固有値の代数多重度が幾何多重度に等しい場合、行列は対角化可能です。
- 最後に、実数による対称行列の対角化を保証するスペクトル定理という定理があります。言い換えれば、実数の対称行列はすべて対角化可能です。
行列を対角化する方法
行列を対角化する手順は、行列の固有値 (または固有値) と固有ベクトル (または固有ベクトル) を見つけることに基づいています。このため、行列の固有値 (または固有値) と固有ベクトル (または固有ベクトル) の計算方法を習得することが重要です。リンクをクリックすると、その計算方法を思い出すことができます。ここでは、それらを見つける方法と、計算をはるかに簡単にするいくつかのトリックをステップバイステップで説明します。さらに、練習できる解決済みの演習も見つかります。
次の方法を使用すると、2×2、3×3、4×4 などの任意の次元の行列を対角化できます。行列を対角化するには次の手順に従います。
- 行列の固有値(または固有値)を取得します。
- 各固有値に関連付けられた固有ベクトルを計算します。
- マトリックスの構築
、その列は対角化される行列の固有ベクトルです。
- 行列が対角化できることを確認します (前のセクションで説明した条件のいずれかを満たしている必要があります)。
- 対角行列を構築する
、その要素は、ステップ 1 で見つかった固有値である主対角上の要素を除いてすべて 0 です。
警告:行列の固有ベクトル
任意の順序で配置できますが、対角行列の固有値は
これらは同じ順序で配置する必要があります。たとえば、対角行列の最初の固有値
行列の最初の列の固有ベクトルに対応するものでなければなりません
。
以下に、練習できる段階的な行列の対角化演習をいくつか示します。
行列の対角化演習を解決しました
演習 1
次の次元 2×2 の正方行列を対角化します。
まず行列 A の固有値を決定する必要があります。したがって、次の行列式を解くことによって特性方程式を計算します。
次に、特性多項式の根を計算しましょう。
固有値が取得されたら、それぞれに関連付けられた固有ベクトルを計算します。まず、固有値 1 に対応する固有ベクトル:
次に、固有値 4 に関連付けられた固有ベクトルを計算します。
マトリックスを構築します
、行列の固有ベクトルによって形成されます。
すべての固有値が異なるため、行列 A は対角化可能です。したがって、対応する対角行列は、主対角線上に固有値を持つものになります。
固有値は、固有ベクトルが行列に配置されるのと同じ順序で配置する必要があることに注意してください。
。
結論として、基底変化行列と対角化行列は次のようになります。
演習 2
次の次数 2 の正方行列を対角化します。
まず行列 A の固有値を決定する必要があります。したがって、次の行列式を解くことによって特性方程式を計算します。
次に、特性多項式の根を計算しましょう。
固有値が取得されたら、それぞれに関連付けられた固有ベクトルを計算します。まず、固有値 -1 に対応する固有ベクトル:
次に、固有値 2 に関連付けられた固有ベクトルを計算します。
マトリックスを構築します
、行列の固有ベクトルによって形成されます。
すべての固有値は互いに異なるため、行列 A は対角化可能です。したがって、対応する対角行列は、主対角上の固有値を含む行列になります。
固有値は、固有ベクトルが行列に配置されるのと同じ順序で配置する必要があることに注意してください。
。
結論として、基底変化行列と対角化行列は次のようになります。
演習 3
次の次元 3×3 の正方行列を対角化します。
最初のステップは、行列 A の固有値を見つけることで構成されます。したがって、次の行列の行列式を解くことで特性方程式を計算します。
次に、特性多項式の根を計算する必要があります。これは 3 次多項式であるため、ルフィニの法則を適用します。
そして、得られた多項式の根を求めます。
したがって、行列の固有値は次のようになります。
固有値が見つかったら、それぞれに関連付けられた固有ベクトルを計算します。まず、固有値 1 に対応する固有ベクトル:
次に、固有値 3 に関連付けられた固有ベクトルを計算します。
最後に、固有値 4 に関連付けられた固有ベクトルを計算します。
マトリックスを構築します
、行列の固有ベクトルによって形成されます。
すべての固有値は互いに異なるため、行列 A は対角化可能です。したがって、対応する対角行列は、主対角線上に固有値を持つものになります。
固有値は、固有ベクトルが行列に配置されるのと同じ順序で配置する必要があることに注意してください。
。
つまり、基底変化行列と対角化行列は次のようになります。
演習 4
可能であれば、次の 3 次の正方行列を対角化します。
最初のステップは、行列 A の固有値を見つけることで構成されます。したがって、次の行列の行列式を解くことで特性方程式を計算します。
次に、最小多項式の根を計算する必要があります。これは 3 次多項式であるため、ルフィニの規則を適用して因数分解します。
そして、得られた多項式の根を求めます。
したがって、行列の固有値は次のようになります。
-2 の固有値は単純な代数多重度ですが、2 の固有値は 2 倍の多重度です。
固有値が見つかったら、それぞれに関連付けられた固有ベクトルを計算します。まず、固有値 -2 に対応する固有ベクトル:
次に、固有値 2 に関連付けられた固有ベクトルを計算してみましょう。
固有値 2 は 2 回繰り返されるため、部分空間 (または固有空間) 方程式を満たす別の固有ベクトルを計算する必要があります。
マトリックスを構築します
、行列の 3 つの固有ベクトルによって形成されます。
ただし、固有値 2 を持つ 2 つの固有ベクトルは明らかに相互の線形結合であるため、3 つのベクトルは線形独立ではありません。これは、行列の行列式によっても証明できます。
は 0 に等しい (行がゼロでいっぱい):
したがって、固有ベクトルは線形従属であるため、行列 A は対角化できません。
演習 5
可能であれば、次のサイズ 3×3 の正方行列を対角化します。
最初のステップは、行列 A の固有値を見つけることで構成されます。したがって、次の行列の行列式を解くことで特性方程式を計算します。
最初の行は 3 を除いて完全にゼロで構成されているため、これを利用して余因子 (または随伴関数) によって行列の行列式を解きます。
次に、特性多項式の根を計算する必要があります。括弧を乗算すると 3 次多項式が得られるため、乗算しない方がよいでしょう。一方、2 つの因子を別々に解決すると、固有値を取得するのが簡単になります。
したがって、行列の固有値は次のようになります。
固有値が見つかったら、それぞれに関連付けられた固有ベクトルを計算します。まず、固有値 1 に対応する固有ベクトル:
次に、固有値 3 に関連付けられた固有ベクトルを計算します。
固有値 3 が 2 回繰り返されるため、固有空間方程式を満たす別の固有ベクトルを計算する必要があります。
マトリックスを構築します
、行列の固有ベクトルによって形成されます。
演習 4 とは異なり、この場合、固有値 3 の代数多重度は 2 倍ですが、3 つの線形独立ベクトルを形成することができました。これは、行列の行列式を見ることで検証できます。
0 とは異なる結果が得られます。
したがって、行列 A の対角分解を実行できます。そして、対応する対角行列は、主対角に固有値を持つものです。
固有値は、固有ベクトルが行列に配置されるのと同じ順序で配置する必要があることに注意してください。
。
つまり、行列を対角化するために必要な基底変化行列とその対角化形式は次のとおりです。
演習 6
可能であれば、次の 4×4 次元の行列の対角化を実行します。
最初のステップは、行列 A の固有値を見つけることで構成されます。したがって、次の行列の行列式を解くことで特性方程式を計算します。
この場合、行列式の最後の列は 1 つの要素を除いてゼロのみで構成されているため、これを利用して、この列を介して余因子によって行列式を計算します。
次に、特性多項式の根を計算する必要があります。括弧の積を計算すると 4 次の多項式が得られるため、計算しない方がよいでしょう。ただし、2 つの要素を別々に解決すると、固有値を計算する方が簡単になります。
したがって、行列の固有値は次のようになります。
すべての固有値が見つかったら、固有ベクトルに進みます。固有値 0 に関連付けられた固有ベクトルを計算します。
固有値 -3 に関連付けられた固有ベクトルを計算します。
固有値 2 に関連付けられた固有ベクトルを計算します。
固有値 5 に関連付けられた固有ベクトルを計算します。
マトリックスを作ります
、行列の固有ベクトルで構成されます。
すべての固有値は互いに異なるため、行列 A は対角化可能です。したがって、対応する対角行列は、主対角線上に固有値を持つものになります。
固有値は、行列内での固有ベクトルの配置と同じ順序で配置する必要があることに注意してください。
。
要約すると、行列 A と対角形式の行列を対角化するために必要な基本的な行列の変更は次のとおりです。
対角化可能な行列の応用
ここまで読んだ方は、おそらく「対角化可能な行列とは何ですか?」と疑問に思っているでしょう。
そうですね、対角化可能な行列は非常に便利で、数学で広く使用されています。その理由は、対角行列は実質的にゼロでいっぱいであるため、計算がはるかに簡単になるためです。
この明確な例は、対角化可能な行列の累乗です。その結果は次の式で簡略化されます。
この等価性は帰納法によって簡単に証明できます。したがって、マトリックスを上げるだけで十分です
出展者へ。これは対角行列であるため、演算は主対角の各項を指数化することになります。
対角化可能な行列の累乗の例
よりよく理解するために、例として対角化可能な行列の累乗を計算します。
基本的な変更マトリックス
、その固有ベクトルと対角化された行列によって形成されます。
は、独自の値で構成され、次のとおりです。
したがって、例を挙げると、行列 A を 7 に累乗すると、次と等価になります。
ここで行列を逆にしてみましょう
マトリックスのパワーを解きます
そして最後に、行列の乗算を実行します。
これまで見てきたように、同じ行列を連続して 7 回乗算するよりも、対角行列を使用してべき乗を計算する方が便利です。次に、さらに大きな指数値を想像してください。
対角化可能な行列のプロパティ
このタイプのマトリックスの特徴は次のとおりです。
- マトリックスの場合
は対角化可能です。
。
- ほとんどすべての行列は複雑な環境で対角化できます
。ただし、以下では決して対角化できない例外があります。
- マトリックスの場合
が直交行列である場合、行列と言います。
は直交対角化可能であるため、方程式は次のように書き換えることができます。
- 行列は、正規行列である場合に限り、ユニタリ行列によって対角化できます。
- 2 つの対角化可能な行列が与えられた場合、同時に対角化できる場合、つまり、固有ベクトル (または固有ベクトル) の同じ正規直交基底を共有する場合に限り、それらは可換です。
- 準同型性が対角化可能である場合、それは類似性 によって対角化可能であると言います。ただし、すべての準同型性が対角化可能であるわけではありません。つまり、準同型性の対角化が保証されているわけではありません。
同時対角化
行列のセットは、このセット内の任意の行列を対角化するための基礎として機能する可逆行列が存在する場合、同時に対角化可能であると言われます。言い換えれば、2 つの行列が同じ固有ベクトルに基づいて対角化される場合、これはそれらが同時に対角化可能であることを意味します。
さらに、行列の対角化のプロパティでコメントしたように、2 つの行列が同時に対角化できる場合、それらは互いに可換でなければなりません。
たとえば、次の 2 つの行列は可換であるため、同じ固有ベクトルに基づいて対角化されます。
たとえ同じ固有ベクトルを持っていたとしても、それは同じ固有値を持つことを意味するわけではありません。実際、上記の行列 A と B は類似した固有ベクトルを持っていますが、異なる固有値を持っています。
対角化不可能な行列
大部分の行列は複素数環境で対角化可能ですが、一部の行列は決して対角化できません。
この事実は、固有値 (または固有値) の代数的多重度が幾何学的多重度と一致しない場合に発生します。
たとえば、次の行列はいかなる方法でも対角化できず、「対角化可能」です。
さらに、実数環境では対角化できない行列もありますが、次の行列のように、複素数を扱う場合には対角化します。
最後に、純粋に対角化可能ではなく、もう少し複雑な行列ブロック対角化手順がいくつかあります。最もよく知られている方法は、 Jordan の標準形式を使用した対角化です。
MATLAB で行列を対角化する
コンピューター プログラムは、特に行列が非常に大きい場合に、行列を対角化する場合に非常に便利です。最もよく知られているソフトウェアは間違いなくMATLABです。次に、このプログラムを使用して行列を対角的に因数分解する方法を見ていきます。
MATLAB で行列を対角化するために使用される命令は次のとおりです。
金
は対角化される行列であり、
そして
はプログラムが返す行列です。
は固有ベクトルによって形成される行列であり、
は、主な対角項が固有値である対角形式の行列です。
したがって、このコードをプログラムに入力するだけで済みます。
一方、固有値のみを知りたい場合は、次のステートメントを使用できます。
金
MATLAB が行列の固有値とともに返す列ベクトルです。
。