演習詳解線型代数

概要

線型代数の演習書。

感想

大学に入って、本当に困った。授業がわからないのだ。 １年生の数学では解析と代数を学ぶが、代数の先生は前期はほとんど代数的構造、 即ち体とか群とか環に費やし（なんとイデアルまで出てきた、かんべんしてくれよ）、 前期の線型代数はほんの少ししかできなかった。

他のクラスでは、 齋藤正彦の線型代数入門か佐竹一郎の線型代数学かが教科書として指定または推薦されていたが、 代数の先生は教科書を指定しなかった。 なお、のちほどわかったことがある。この先生は線型空間という本を執筆していたが、 基礎数学シリーズのうちの一つだったので、 推薦しようにもできなかったのだろう。

これでは試験で困る、と考え演習書を買った。当時は、 演習書といえばこの本かサイエンス社の本しかなかったのではないか。

買ってみると字が細かいことに多少の使いづらさを感じた。 しかし何といっても例があるのがありがたい。 なんとかテストでは不可をとらずにすんだのはこの本のおかげである。

浅枝先生

私は著者のお二人との面識はないが、浅枝先生の話は聞いたことがある。 昔、浅枝先生の教え子と話をしていたら、「あの、線型代数の演習書を書いた浅枝先生だけれど、 実は……」という話が出ておかしかったことを覚えている。ごめんなさい。

この教え子は若くして亡くなり、しばらくして偲ぶ会が催された。そのときに浅枝先生が招かれていて、 スピーチをされた。「なかなか面白いスピーチだったよ」ということだったが、 あたりが騒がしかったので聴けなかった。残念だった。

ファイバー

数学は日本ではこなれた学問なのでかなりの用語が日本語になっているが、 ときどき西洋のことばがそのまま使われることもある。ファイバー、という用語はこの本で初めて知った。 掃き出し法の説明でファイバーとあり、自分で？マークをつけている。

第１章第４節は線型写像という題であり、次の説明で始まる。

定義　写像 `F : S -> T` と， `T` の元 `t` とに対し， `F` による `t` の逆像 `F^(-1) (t) = { s in S | F(s) = t}` を， `t` の上の `F` のファイバー，`F(x) = t` の一般解などとも言う。

むずかしいですね。

しかし、このような問題ならばできるだろう。

次の関数 `f, g, h` の、点 `1 in RR` の上のファイバーを求めよ。
` f : RR -> RR , x |-> 2^x + 1`
` g : RR -> RR , x |-> cos x`
` h : RR -> RR , x |-> -1 / 4 x^4 + 5/4 x^2`

これらは、たとえば関数 `f(x)` について `f(x) = 1` となる `x` を求めよ、というのと同じことだから、 意図はわかる。

ジョルダン標準形の問題もある。

行列 ` B = ((3, 5, 5, 2), (-5, -7, -7, -3), (5, 8, 10, 5), (-5, -9, -12, 6))` に対し正則行列 `Q` を求めて `B' = Q^-1BQ` をジョルダン行列にせよ。

解　`gamma_B(t) = (t^2 + 1)^2 = (t - i)^2(t + i)^2．rank (B - iE) = 3` （したがって `rank (B + iE) = 3`）．`:. Q^-1BQ = J(i, 2) o+ J(-i, 2).i ` に属する固有ベクトルを `bbq_i`，`(B-iE)bbx = bbq_1` の解を `bbq_2` とし， `bbq_1, bbq_2` の成分をそれぞれ共役複素数に変えたものを `bbq_3, bbq_4` とする． `bbq_3` は `-i` に属する固有ベクトルで，`(B + iE)bbq_3 = bbq_4` であるから `Q = (bbq_1, bbq_2, bbq_3, bbq_4)` が求めるものである。たとえば、

`Q = ((-2, 3+i, -2, 3-1), (3-i, -4+i, 3+i, -4-i), (-3+i, 2-i, -3-i, 2+i), (3-i, -1, 3+i, -1))`

数式の記述

数式はMathJax を用いている。

まりんきょ学問所 ＞ 数学の本 ＞ 演習詳解線型代数