
前回まで、「対角化」などを「それなりに手順」を踏んで行ってきました。今回のジョルダン標準形への変換はどうしようか迷いました。そのものズバリのJordan行列を扱うパッケージ diag をloadすれば、ほぼ1撃で変換できてしまう。まあ、出来ることをわざわざ刻むことも無し、お楽が一番。手順のみ確認させていただきます。 “忘却の微分方程式(57) 反復練習20、ジョルダン標準形への変換その1” の続きを読む
デバイス作る人>>デバイス使う人>>デバイスおたく
前回まで、「対角化」などを「それなりに手順」を踏んで行ってきました。今回のジョルダン標準形への変換はどうしようか迷いました。そのものズバリのJordan行列を扱うパッケージ diag をloadすれば、ほぼ1撃で変換できてしまう。まあ、出来ることをわざわざ刻むことも無し、お楽が一番。手順のみ確認させていただきます。 “忘却の微分方程式(57) 反復練習20、ジョルダン標準形への変換その1” の続きを読む
前回、「エルミート行列をユニタリ行列を用いて対角化」をやってみました。実数の対称行列について過去やったのと手順はほぼ同じですが、エルミートと聞いただけで記憶が忘却の彼方に飛ぶ感じがします。今回はもう一度同じ手順を練習。行列は3x3にサイズアップ?大して変わらんけど。気持ちの問題。
前回は「数学風?」列ベクトル表記にこだわって処理してみましたが、今回、早くも列ベクトル断念。やりたいことにピッタシの関数があったのですが、処理は行単位デス。行ベクトルというかリスト表現のままの方が処理は簡潔に書けますものね。それでグラム・シュミットの直交化法じゃ、と。 “忘却の微分方程式(51) 反復練習15、グラム・シュミットの直交化法、Maxima” の続きを読む
前回、みんな大好き P-1AP ってやつまでたどり着いていたので、今回は単純な計算練習のつもり。練習っていって計算するのはMaxima様ですが。けれど単純に以下同文できないところが用意されとりました。「固有値が重解を持つ場合でも、対角化可能なものもある」と。勿論、対角化可能でないものもあるっと。恐れ入ります。
このシリーズ、1か月ほど間が空いてしまいました。老人の忘却力とて、1か月もお休みするとMaximaの使い方も危ないです。か細い記憶をたどりつつ、前回の流れで今回は固有値と固有ベクトルの計算、そして対角化へと入っていきとうございます。みんな大好き P-1AP ってやつ?
今回は、前回と「違う問題」なのだけれどMaxima上で行っている処理はといえばほぼほぼ同じ。でもま、やらないことには先に進まないのでほぼほぼ同じようなことをダラダラ実施。そんなんで良いのか?良いわけないですが。
前回、係数行列とかrankとかを勉強した後で、今回は線形従属であることを示せとか、線形結合で表せとかいうお題。お楽しみ?の線形空間、部分空間というものに深入り?していくための練習みたいです。Maximaで1問「解ける」ことが分かりさえすれば、何題も練習問題解かなくてもよいじゃん、と。それで反復練習になるのかもし?