markdown
対角化の基本md 007f9d1
lecture/math/linear-algebra/diagonalization-basics.lecture.n.md
Download PDF

対角化たいかくかdiagonalization基本きほん

Basics of diagonalization対角化たいかくか

1導入どうにゅう

この講義こうぎ中心ちゅうしん発想はっそうは、対角化たいかくかdiagonalization行列ぎょうれつmatrixをただ変形へんけいする技術ぎじゅつではなく、固有ベクトルeigenvector基底きていbasis選択せんたくなおして線型変換せんけいへんかんlinear transformation本質ほんしつ明示めいじすることである。

対角行列たいかくぎょうれつdiagonal matrixは、各座標方向かくざひょうほうこう倍率ばいりつけるだけの単純たんじゅん変換へんかんである。したがって複雑ふくざつ行列ぎょうれつmatrixであっても、適切てきせつ基底きていbasis採用さいようすると対角行列たいかくぎょうれつdiagonal matrixになるなら、その変換へんかん構造こうぞうstructure理解りかいしやすくなる。

1Introduction

The key point of this lecture is that diagonalization対角化たいかくか is not merely a technique for rewriting a matrix行列ぎょうれつ. It is the process of choosing an eigenbasis固有基底こゆうきてい so that the essential action of a linear transformation線型変換せんけいへんかん becomes visible.

A diagonal matrix対角行列たいかくぎょうれつ only multiplies each coordinate direction by a scalar. Therefore, if a complicated matrix becomes diagonal after choosing a better basis基底きてい, the structure of the transformation becomes much easier to understand.

2用語ようご定義ていぎ

対角化可能たいかくかかのうDiagonalizable とは、ある正則行列せいそくぎょうれつ Pもちいて

P-1AP=D

表示ひょうじでき、D対角行列たいかくぎょうれつdiagonal matrixになることである。

このしき保存ほぞんされるのは、線型写像せんけいしゃぞうlinear mapそのものの作用さようである。わるのは、その作用さようむための座標表示ざひょうひょうじである。A標準基底ひょうじゅんきていstandard basisでの表示ひょうじD固有基底こゆうきていでの表示ひょうじであり、P固有基底こゆうきてい座標ざひょうから標準座標ひょうじゅんざひょうもど行列ぎょうれつmatrixである。

固有基底こゆうきていEigenbasis とは、固有ベクトルeigenvectorだけからなる基底きていbasisである。

2Terms and definitions

A matrix A is diagonalizable対角化可能たいかくかかのう if there is an invertible matrix P such that

P-1AP=D

and D is diagonal.

This equation preserves the underlying linear map線型写像せんけいしゃぞう. What changes is the coordinate representation used to read that map. The matrix A is the representation in the standard basis, D is the representation in an eigenbasis, and P converts coordinates in the eigenbasis back to standard coordinates.

An eigenbasis固有基底こゆうきてい is a basis基底きてい consisting entirely of eigenvectors固有こゆうベクトル.

3方針ほうしん

まず、固有ベクトルeigenvector基底きていbasis構成こうせいできると行列ぎょうれつmatrix対角行列たいかくぎょうれつdiagonal matrixになることを確認かくにんする。対角化たいかくかdiagonalization基底変更きていへんこう応用おうようであり、おな線型写像せんけいしゃぞうlinear map固有基底こゆうきてい表示ひょうじなお操作そうさoperationである。そのあと、対角化たいかくかdiagonalizationできるための条件じょうけん幾何的重複度きかてきちょうふくど代数的重複度だいすうてきちょうふくど整理せいりし、べき漸化式ぜんかしき微分方程式びぶんほうていしきへの応用おうよう接続せつぞくする。

data/lecture/math/linear-algebra/eigenvalues-and-eigenvectors.lecture.n.md data/lecture/math/linear-algebra/eigenvalue-problem-basics.lecture.n.md data/lecture/math/linear-algebra/linear-maps-and-matrices.lecture.n.md

3Plan

First we show that if eigenvectors form a basis, then the matrix representation becomes diagonal. Diagonalization is a change of basis applied to a linear map: the same transformation is rewritten in an eigenbasis. Then we express diagonalizability using geometric and algebraic multiplicities, and finally connect diagonalization to powers, recurrence relations, and differential equations.

data/lecture/math/linear-algebra/eigenvalues-and-eigenvectors.lecture.n.md data/lecture/math/linear-algebra/linear-maps-and-matrices.lecture.n.md

4直感的ちょっかんてき説明せつめい

標準的ひょうじゅんてき座標系ざひょうけいでは変換へんかん構造こうぞうstructure複雑ふくざつであっても、その変換へんかん自然しぜん伸縮しんしゅくさせる方向ほうこう座標軸ざひょうじく調整ちょうせいすれば、変換へんかん単純たんじゅん記述きじゅつできる。この「座標軸ざひょうじく固有方向こゆうほうこうわせる」ことが対角化たいかくかdiagonalizationである。

4Intuitive explanation

In standard coordinates, a transformation may mix coordinate directions in a complicated way. If we rotate or change the coordinate axes so that they align with the natural directions of stretching, the transformation becomes simple. Aligning the coordinate axes with eigendirections固有方向こゆうほうこう is the idea of diagonalization対角化たいかくか.

5厳密げんみつ説明せつめい

5.11. 固有ベクトルeigenvectorならべる

一次独立いちじどくりつlinear independence固有ベクトルeigenvector v1,[PARSE ERROR: Undefined("Command(\"dots\")")],vn があり、それぞれの固有値こゆうちeigenvalueλ1,[PARSE ERROR: Undefined("Command(\"dots\")")],λn とする。

このとき

P=(v1vn),D=diag(λ1,[PARSE ERROR: Undefined("Command(\"dots\")")],λn)

とおけば

AP=PD

である。なぜなら、Pだい j れつcolumnvj で、APだい j れつcolumnAvj=λjvj、また PDだい j れつcolumnλjvj となるためである。したがって P正則せいそくなら

P-1AP=D

となる。

たとえば

A=(3102)

では、λ=3固有ベクトルeigenvectorとして v1=(10)λ=2固有ベクトルeigenvectorとして v2=(-11)れる。したがって

P=(1-101),D=(3002)

くと、

P-1AP=D

である。この具体例ぐたいれいわっているのは座標軸ざひょうじくであり、線型変換せんけいへんかんlinear transformationそのものではない。固有方向こゆうほうこう座標軸ざひょうじくえらぶと、変換へんかんは「だい 1 じくを 3 ばいだい 2 じくを 2 ばい」という対角行列たいかくぎょうれつdiagonal matrixとしてめる。

5.22. 対角化たいかくかdiagonalization条件じょうけん

行列ぎょうれつmatrix A対角化可能たいかくかかのうであるためには、空間くうかん次元じげんdimensionだけ一次独立いちじどくりつlinear independence固有ベクトルeigenvector確保かくほできることが必要ひつようである。

固有値こゆうちeigenvalueがすべてことなれば、その固有ベクトルeigenvector自動的じどうてき一次独立いちじどくりつlinear independenceなので、対角化たいかくかdiagonalizationできる。

より本質的ほんしつてきには、

Aが対角化可能Vが固有基底をもつ

である。特性多項式とくせいたこうしきcharacteristic polynomial対象たいしょうたいうえ一次式いちじしき分解ぶんかいするとき、かく固有値こゆうちeigenvalue λ について

GM(λ)=AM(λ)

すべ成立せいりつすることと、A対角化可能たいかくかかのうであることは同値どうちequivalentである。固有値こゆうちeigenvalueすべことなることは十分条件じゅうぶんじょうけんであり、必要条件ひつようじょうけんではない。

5.33. 対角化たいかくかdiagonalization利点りてん

対角化たいかくかdiagonalizationできると

An=PDnP-1

となり、行列ぎょうれつmatrixべき反復はんぷくあつかいやすくなる。Dn対角成分たいかくせいぶん各自かくじ n じょうするだけでむためである。

さらに、連立れんりつ微分方程式びぶんほうていしき

x(t)=Ax(t)

では

x(t)=etAx(0)

考察こうさつする。A=PDP-1 なら

etA=PetDP-1

となり、etD対角成分たいかくせいぶん etλiならべるだけで計算けいさんできる。したがって対角化たいかくかdiagonalizationは、たかべきだけでなく連立微分方程式れんりつびぶんほうていしき解析かいせきにも有効ゆうこうである。

5Precise explanation

5.11. Put eigenvectors into a matrix

Suppose v1,,vn are linearly independent eigenvectors of A, with corresponding eigenvalues λ1,,λn. Define

P=(v1vn),D=diag(λ1,,λn).

Then

AP=PD.

Indeed, the j-th column of AP is Avj=λjvj, and the j-th column of PD is also λjvj. Since the vj are linearly independent, P is invertible, so

P-1AP=D.

For example, let

A=(3102).

We may take

v1=(10)(λ=3),v2=(-11)(λ=2).

Then

P=(1-101),D=(3002),

and P-1AP=D. The linear transformation itself has not changed; only the axes used to describe it have changed. In the eigenbasis, the first axis is scaled by 3 and the second by 2.

5.22. Conditions for diagonalization対角化たいかくか

For an n-dimensional space, A is diagonalizable exactly when there are n linearly independent eigenvectors.

If all eigenvalues are distinct, their eigenvectors are automatically linearly independent, so A is diagonalizable. This is a sufficient condition, not a necessary one.

More fundamentally,

AisdiagonalizableVhasaneigenbasisforA.

When the characteristic polynomial splits over the field, A is diagonalizable exactly when every eigenvalue λ satisfies

GM(λ)=AM(λ).

Here GM is geometric multiplicity and AM is algebraic multiplicity.

5.33. Why diagonalization is useful

If A=PDP-1, then

An=PDnP-1.

This makes high powers and repeated applications much easier to compute, because Dn is obtained by raising each diagonal entry to the n-th power.

For a system of differential equations

x(t)=Ax(t),

one studies

x(t)=etAx(0).

If A=PDP-1, then

etA=PetDP-1,

and etD is the diagonal matrix whose entries are etλi. Thus diagonalization is useful not only for powers of matrices but also for differential equations.

6判定基準はんていきじゅん

  • 固有値こゆうちeigenvalue固有ベクトルeigenvectorもとめたあと、「対角化たいかくかdiagonalizationできるか」とわれたら、一次独立いちじどくりつlinear independence固有ベクトルeigenvector十分じゅうぶん存在そんざいするかを確認かくにんする。
  • 行列ぎょうれつmatrixたかべき漸化式ぜんかしきあらわれたら、対角化たいかくかdiagonalization適用てきよう検討けんとうする。
  • 固有値こゆうちeigenvalueがすべてことなるなら、対角化可能たいかくかかのうである。ただし重複ちょうふくがある場合ばあいにおいても、GM = AM が成立せいりつすれば対角化可能たいかくかかのうである。

6Criteria

  • After finding eigenvalues固有値こゆうち and eigenvectors固有こゆうベクトル, ask whether enough linearly independent eigenvectors exist.
  • When large powers of a matrix or recurrence relations appear, consider diagonalization.
  • Distinct eigenvalues guarantee diagonalizability. Repeated eigenvalues require checking whether GM equals AM.

7どこまで成立せいりつするか

固有値こゆうちeigenvalueもとまっても、固有ベクトルeigenvector十分じゅうぶん確保かくほできなければ対角化たいかくかdiagonalizationはできない。たとえば

(1101)

固有値こゆうちeigenvalue 1 をつが、一次独立いちじどくりつlinear independence固有ベクトルeigenvectorが 1 ほんしか確保かくほできないので対角化たいかくかdiagonalizationできない。つまり「固有値こゆうちeigenvalueがある」ことと「対角化たいかくかdiagonalizationできる」ことはべつである。

7Scope and limitations

Having eigenvalues is not the same as being diagonalizable. For example,

(1101)

has the eigenvalue 1, but only one linearly independent eigenvector. It cannot be diagonalized.

8最終形さいしゅうけい

[PARSE ERROR: Undefined("Command(\"boxed\")")]P-1AP=D
[PARSE ERROR: Undefined("Command(\"boxed\")")]Aが対角化可能Aは固有基底をもつ
[PARSE ERROR: Undefined("Command(\"boxed\")")]GM(λ)=AM(λ)forallλ
[PARSE ERROR: Undefined("Command(\"boxed\")")]An=PDnP-1
[PARSE ERROR: Undefined("Command(\"boxed\")")]etA=PetDP-1

8Final forms

[PARSE ERROR: Undefined("Command(\"boxed\")")]P-1AP=D
[PARSE ERROR: Undefined("Command(\"boxed\")")]AisdiagonalizableAhasaneigenbasis
[PARSE ERROR: Undefined("Command(\"boxed\")")]GM(λ)=AM(λ)forallλ
[PARSE ERROR: Undefined("Command(\"boxed\")")]An=PDnP-1
[PARSE ERROR: Undefined("Command(\"boxed\")")]etA=PetDP-1

9一言ひとことでいうと

  • 対角化たいかくかdiagonalizationは、固有ベクトルeigenvector基底きていbasis選択せんたくなおして、線型変換せんけいへんかんlinear transformationを「方向ほうこうごとの倍率ばいりつ」として再記述さいきじゅつすることである。

9In one sentence

Diagonalization対角化たいかくか means choosing eigenvectors固有こゆうベクトル as a basis基底きてい so that a linear transformation線型変換せんけいへんかん is rewritten as one scale factor per direction.

10定理ていり証明しょうめい対角化たいかくかできることと固有ベクトルeigenvector基底きてい

n×n 行列ぎょうれつ A対角化たいかくかできることと、FnA固有ベクトルeigenvectorからなる基底きていつことは同値どうちである。

まず A=PDP-1 とする。Pれつp1,,pnD対角成分たいかくせいぶんλ1,,λn とする。AP=PD なので、れつくらべると

Api=λipi

である。P可逆かぎゃくなので、そのれつ基底きていである。よって固有ベクトルeigenvector基底きていがある。

ぎゃくに、v1,,vn固有ベクトルeigenvector基底きていで、Avi=λivi とする。P=[v1vn]D=diag(λ1,,λn) とおくと、れつごとに

AP=PD

である。P基底きていれつつので可逆かぎゃくであり、A=PDP-1 である。

この定理ていりは、対角化たいかくかが「座標軸ざひょうじく固有方向こゆうほうこうえる操作そうさ」であることをしめしている。

10Theorem and proof: diagonalizability and eigenvector bases

For an n×n matrix A, A is diagonalizable if and only if Fn has a basis consisting of eigenvectors of A.

First suppose A=PDP-1. Let the columns of P be p1,,pn, and let the diagonal entries of D be λ1,,λn. Since AP=PD, comparing columns gives

Api=λipi.

Because P is invertible, its columns form a basis. Hence there is an eigenvector basis.

Conversely, suppose v1,,vn is an eigenvector basis and Avi=λivi. Let

P=[v1vn],D=diag(λ1,,λn).

Then AP=PD column by column. Since P is invertible, A=PDP-1.

This theorem shows that diagonalization is exactly the operation of replacing coordinate axes by eigendirections.

raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
copy encoded share link
path をコピー
copy share link
copy encoded share link
copy share link
copy encoded share link
タブを全て閉じる