FC2ブログ

CHALLENGE from the VOID

大学入試問題を考える - 数学・物理 -

CFV21 ご入会のおすすめ
理工系受験生の方は
こちらをご覧ください
当会の活動にご支援頂ける方は
こちらをご覧ください

センター試験「数学」の必勝法はこちら
センター試験「物理」の必勝法はこちら

理工系受験生必見!! 2010-2007入試問題検討ページ(東大・東工大・京大・早慶) 
CFV21での学習の進め方

スポンサーサイト

上記の広告は1ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
  1. --/--/--(--) --:--:--|
  2. スポンサー広告

ハミルトン・ケーリーの定理

ハミルトン・ケーリーの定理

この項目は、有値・固有ベクトを参照してください。
ハミルトン・ケーリーの定理n次正方行列Aの固有方程式:xAに変えた行列の多項式について、 (零行列)
2次の正方行列については、xAに変えた行列の多項式について、 (零行列)

[証明] 大学入試では、2次の正方行列に関するものしか出題されないので、以下が記憶されていればOKです。
2次の正方行列について、

 
 


n次正方行列Aについて、Aの固有値kは、固有方程式:の解です。
を展開して、と書けたとします。
固有値kについて、となるベクトル(固有ベクトル)が存在し、 ()です。
行列Aが異なる固有値,・・・, (の解)をもつとき、これらの固有値に対する固有ベクトル,・・・,1次独立で、n次元ベクトル空間内の任意のベクトルは、,・・・,1次結合の形に表すことができます。


 
 
 
 
 
は固有方程式の解なので、です。つまり、
 ・・・①
これが、n次元空間内の任意のベクトルについて成り立つので、

(証明終)

1.上記①の部分をもう少し詳しく書くと、という行列を任意のベクトルにかけてになるのなら、は零行列になると言っています。つまり、成分をの第行成分をとして、①は、に対して、 ・・・② が成り立つということです。任意のについて成り立つので、②の,・・・,も任意の実数です。任意の実数,・・・,に対して②が恒等的に成立する条件は、 ()です。即ち、ということになります。
2.上記では、行列Aが異なるn個の固有値,・・・,をもつ、つまり、固有方程式が異なるn個の解をもつ場合のみで書いてありますが、固有方程式がl重解をもつ場合(l重に縮退している」と言います)でも、固有値に対するl個の1次独立な固有ベクトルをとることができて、を示すことができます。

行列A1次式:の形について、

が、言えます(展開してみればOK)。行列の積は一般には左右を入れ替えると異なる行列になってしまいます(列のを参照)が、という形の行列の積では左右を入れ替えても同じ結果(これを、交換可能、とか、可換と言います)となります。
従って、という形で行列の積を扱う範囲においては、行列Aに関する和・差・積の計算を数の計算と同様に行うことができます。
今、固有方程式が、
 ・・・③
のように因数分解されていたとします。という形で行列の積を扱う範囲においては、数と同じように計算できるので、固有方程式のxを行列Aに置き換えた式も同じように因数分解した形で成立します。
 ・・・④
つまり、ハミルトン・ケーリーの定理によって書かれた行列の多項式に関する等式では、文字式と同じ感覚で因数分解(数の分解ではありませんが)して良い、ということになります。
但し、注意すべきことがあります。③より、は言えますが、④より、とすることはできません。
例えば、とすると、ですが、となります。

ハミルトン・ケーリーの定理は、以下の例のように、行列の多項式の次数を下げることに利用されます。

1のとき、を求める。
[解答] 行列の成分をそのまま使ってを計算するのでは損をします。
ハミルトン・ケーリーの定理より、


  ......[]

2のとき、 ・・・① が成り立つ。 () ()の値を求める。
[解答] ハミルトン・ケーリーの定理より、 ・・・②
①,②を係数比較して、とやってしまうと、不十分解になってしまいます。
1.と同じように、を消去する、という方針で臨みます。
②より、
①に代入して、
 ・・・③
ここで、であれば、

であれば、③式をで割って、

とおくと、
これを①に代入すると、

のとき、

のとき、

以上より、 ......[]

3のとき、 ()を求める。
[解答] ハミルトン・ケーリーの定理より、
行列で割り算ができれば、で割ればよいのですが、残念ながら数と同じような感覚で割り算を実行することはできません。
そこで、行列Axに置き換えてできる多項式で割り算を行います。
で割った余りを,商をとして、
 ・・・① (項式の除を参照)
①で、とすると、 ・・・②
①で、とすると、 ・・・③
③-②より、
②×3-③×2より、
①のxAに戻すと、

 
 
  ......[]


TOPに戻る   CFV21 メイン・ページ   考察のぺージ   作者のページ

(C)2005, 2006 (有)りるらるNewton e-Learning
スポンサーサイト

テーマ:大学受験 - ジャンル:学校・教育

  1. 2006/10/16(月) 09:18:00|
  2. 未分類
  3. | トラックバック:0
  4. | コメント:0
<<1次変換 | ホーム | 固有値・固有ベクトル>>

コメント

コメントの投稿


管理者にだけ表示を許可する

トラックバック

トラックバックURLはこちら
http://cfv21.blog49.fc2.com/tb.php/191-0451617e
この記事にトラックバックする(FC2ブログユーザー)
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。