月別アーカイブ: 2018年5月

書評:草場公邦『線型代数』(朝倉書店)

Pocket
LINEで送る

書誌情報

タイトル:線型代数
著者:草場公邦
出版社:朝倉書店
朝倉書店| 線型代数 (増補版)

本の内容

線型代数の入門書です. 全170ページ程度と他の入門書と比べて薄めですが内容はしっかり詰まってます. 章立ては以下のようになっています.

1. 行列式の話
2. 線型空間の話
3. 線型写像と行列
4. 線型写像とその行列の標準形
5. 計量空間とユニタリー行列
6. 付 録
7. 文献案内
8. 編集者短評
9. 問題解答
10. 索 引

目次の項目は10項目ありますが本編は5章までです.


1章は「行列式の話」です. 天下り的に行列, 行列の和, 積, スカラー倍を定義するところから始まります. 続いて行列式の導入に進むのですが, ここからは打って変わって定義の動機付けの説明が非常に詳しくなります. 具体的には, 2元1次の連立方程式の一般的な解法を考察することから2×2行列に対する行列式へと到達し, その後2×2の場合の性質を詳しく調べ, そこからの類推で一般の場合の行列式を定義しするといった感じです. 続いてクラメルの定理, 余因子行列へと話は進みます.
また補足的に余因子行列を用いない逆行列の求め方として基本変形を用いた方法も解説されます.
このように1章では行列そのものよりも行列式を中心に話が進みます. またこれはこの本全体を通しての特徴ですが, よくある数学書のスタイルである定義・命題・証明の連続ではなく, 地の文での説明が主で,  必要に応じて説明した内容を定義・命題などの形でまとめるというスタイルになっています.

2章は「線型空間の話」です. この章では抽象的なベクトル空間が導入されるのですが, いきなり定義が述べられるのではなく, 予備的な説明が非常に丁寧に行われます. 高校以来の矢印としてのベクトルから出発点し, 何故ベクトルを足したりスカラー倍ができるものとして考えるのが有益なのかが4,5ページかけて説明されます.
続いて部分空間, 次元, 基底, 行列のランクなどと話が進んでいくのですが, いずれの場合も前後で感覚的な説明が付されていたり, 2次元, 3次元の簡単な場合を詳しく説明したりと概念に対する直観が得られるように工夫が凝らされています.

3章は「線型写像と行列」です. この章で線形変換が導入され, その行列表示について詳しく説明がなされます, 線形変換とその表現行列の区別は線型代数の大きな山の一つですが, この本では図式を用いて, 基底をとったときのベクトル空間とn次元ユークリッド空間の同型を表すことでこの区別を明確にし, また基底を変えた時の表現行列の変化なども非常に捉えやすくなっています.

4章は「線型写像とその行列の標準形」です. 対角化やジョルダン標準形について述べられます. ジョルダン標準形の導出はこの本では不変部分空間の概念を導入し, ベクトル空間を広義固有空間の直和へと分解し, 冪零変換の標準形を求める問題へと帰着するというアプローチです. 各ステップが明確に書いてあるので何をしているのかわからなくなることはないでしょう. 一般論を一通り整理した後, 2,3の具体例についてジョルダン標準形の求め方が詳説されます.

最後の5章は「計量空間とユニタリー行列」です. この章で初めて内積が導入され, ユニタリ行列, 直交行列, エルミート行列, 対称行列が定義されます. 扱われるのは正規変換のスペクトル分解や正値エルミート行列の平方根, 行列の極分解などです. 2次形式やシルベスターの慣性法則は扱っていません.

総評

この本の大きな特徴は補助的な説明が豊富である点と, 内容がコンパクトにまとまっている点です. 新しい概念の導入の際には何故そのような概念が必要になるのかの説明や, 既に見知った概念の延長上にあることの説明がほぼ必ず添えられています. このような配慮がしてある本自体は少なくありませんが, この本の説明の量は類書と比べて頭抜けています. これは大きな長所です. また証明も奇抜なものや迂遠なものは無く, スタンダードな議論ばかりです.

ただ1点気になる点は, 扱っている内容の少なさです. 行列の基本変形, 対角化, ジョルダン標準形, スペクトル分解といった必須事項は網羅されているのですが, 2次形式や行列の指数関数といった他の入門書では扱われることも少なくない内容が扱われていません. これはミニマムな内容のみがまとまっているという見方もできるため必ずしも短所とはいえませんが, 欲を言えば付録などで記述があると嬉しい所です.

この本は線型代数を初めて学ぶ人や, 他の入門書を読んだけれどもあまり理解できた感じがしない人にはうってつけの本だと思います. この分量で線型代数の基礎を網羅し, かつこのレベルの丁寧な説明を実現している本は滅多にありません. お勧めの一冊です. ただ上で記したように基礎として最小限の内容しか書かれていないので, 必要に応じて斎藤正彦『線型代数入門』(東京大学出版会)や佐竹一郎『線型代数学』(裳華房)などを部分的に読んで進んだ内容を補充すると良いと思います. この本の内容が理解できていれば他の入門書を部分的に読むのは容易なはずです.

書評:斎藤正彦『線型代数入門』(東京大学出版会)

Pocket
LINEで送る

書誌情報

タイトル:線型代数入門
著者:斎藤正彦
出版社:東京大学出版会
線型代数入門 – 東京大学出版会

本の内容と初読の際のアドバイス

以下では主にこの本で取り扱っている内容の紹介をしていきますが, 初めての数学書としてこの本を手に取る人も多いだろうと予想してアドバイスを添えつつ紹介していくことにします.
タイトルの通り線形代数の入門書です. 結構古い本で初版は1985年ですが, 時代の流れで不要になった内容はほぼありません. 以下に目次を引用しておきます.

はじめに
まえがき
第1章 平面および空間のベクトル
第2章 行列
第3章 行列式
第4章 線型空間
第5章 固有値と固有ベクトル
第6章 単因子およびジョルダンの標準形
第7章 ベクトルおよび行列の解析的取扱い
附録I 多項式
附録II ユークリッド幾何学の公理
附録III 群および体の公理
あとがき
問題略解



1章は高校以来の平面ベクトル, 空間ベクトルの復習といった感じです. 高校でしっかり勉強してきた人なら概ね知っている内容ばかりです. この章の役割は平面や空間上の回転, 折り返し, 拡大・縮小といった自然な変換が行列を使って表せることを説明することで2章以降への橋渡しをするといったところでしょう.

2章から大学数学が始まります. 行列の定義, 行列同士の足し算・掛け算, 行列のスカラー倍などの基本的な概念を定義した後, 行列の基本変形へと進みます.  基本変形はランクの概念につながる(もちろん基本変形無しでも定義できますが)という意味で理論的にも重要であり, また1次方程式を解いたり, 逆行列を具体的に求めたりすることを可能にするという意味で応用的にも重要です. この本では基本変形は非常に丁寧に扱われているので難なく理解できると思います.  基本変形の後は内積空間やユニタリ行列などといった計量に関わる話を行列の場合に導入します. この本ではこのように計量つきのベクトル空間の話と計量無しの場合を並行して進めていきます. これは多少特徴的といえるかもしれません.

3章は「行列式」となっています. 最初は置換の話から始まるのですが, ここは恐らく最初に読んだときに誰もが「何が始まったんだ?」と感じるところでしょう. 唐突に群まで現れ, 面食らうかもしれませんが, それでも読み進めると行列式の話に入り, やっと置換が必要な理由が分かります. 多少不親切な感じは否めません. 行列式について扱っている内容は標準的です.

4章になると遂に一般のベクトル空間の定義が現れます.  1節では準備段階として集合の包含関係や同値関係などの説明が入りますが, 僕の印象としては何も知らない人が1節を読んでも何をやってるか捉えにくいような気がします. このあたりは特段難しいことではないのですが集合の抽象的な扱いに慣れていないと中々腑に落ちないものです. 「集合と位相」というようなタイトルの本の集合の部分などを読むと良いと思います. (この手の説明は「同値関係」で検索すればわかりやすい説明がすぐに見つかるかと思ったのですが意外とありませんでした. 近いうちに書きます.)扱われている内容は標準的ですが, これまでの章と比べて抽象度がぐっとあがります. これまではベクトルといえば「n次元ユークリッド空間の点」だったのが, ここからは単に「足したりスカラー倍できるもの」は何でもベクトルだということになります. 例えば実係数の多項式全体や実数上の連続関数全体などもベクトル空間です(これらは無限次元のベクトル空間です). しかし読み進めれば分かるように, 実はn次元ベクトル空間は(基底をとるごとに)n次元ユークリッド空間と同じだと思えるので, 抽象的な議論で何をしているか分からなくなったらn次元ユークリッド空間の場合で考えてみると分かりやすくなると思います.
後半では計量の入ったベクトル空間を扱っています. この本には実計量線型空間をユークリッド空間、複素計量線型空間をユニタリ空間ともいうと書いてありますが, 後者はまれに使われることがありますが前者は聞いたことがありません. 内積空間や(プレ)ヒルベルト空間と呼ぶのが普通だと思います.

5章は「固有値と固有ベクトル」です. 固有値・固有ベクトルの概念はこの章で扱う行列の対角化や6章で扱うジョルダン標準形へとつながる重要な概念です. 5章での対角化の扱いはかなりあっさりとしています. ジョルダン標準形の理論が対角化の場合を含むより一般性のある理論なので重複を避けているという印象です. 対角化をさっさと終え, 5章は主にエルミート行列のスペクトル分解や2次形式を詳しく扱っています.

6章はジョルダン標準形の理論を扱っています. ジョルダン標準形の扱いには大きく分けて2つの方法があり, 1つは不変部分空間の概念を導入し, ベクトル空間を広義固有空間の直和に分解し, それぞれの広義固有空間の上で冪零変換の標準形を求める問題へと帰着させる方法, もう1つは単因子論と呼ばれる方法です. 単因子論は可換環や環上の加群の理論などの代数系の知識が必要になるため, 多くのテキストでは不変部分空間の方法を扱っていますが, このテキストは単因子論を採用しています. ただし可換環や環上の加群の理論を陽に用いるのではなく証明に必要な分だけ現地調達するという感じです. 1つ1つのステップ自体はそれほど難解ではないので読めないことはないと思いますが, 大局観はつかみにくいです.

7章はユニークな内容です. 関数解析のさわりの部分といえるでしょう. 必須の内容ではありませんが, 線型代数の射程の長さを示す良い例なので読む価値はあります. 扱われているのは行列の指数関数やペロン・フロベニウスの定理などです.

総評

まずこの本の長所についてです. この本は始めて数学書を読む人でも困らないように色々と配慮されています. 例えば1章で平面・空間ベクトルを復習する点, 随所に集合や写像の基本事項の定義が書かれている点, 付録が充実している点などがあります. これらは本来予備知識として想定しても良いはずのものですが, 初学者にとっては複数の本を参照しつつ読むのは少し大変かもしれません. その意味でこの点は有益だと思います.
他の長所としては上にも書きましたが基本変形の説明が非常に丁寧な点が挙げられます. 基本変形は入門段階の線形代数において最重要事項の1つですからこれは大きな長所です.
また網羅性も入門書としては十分で, 最低限必要な内容は全て抑えてあります.

以上のように長所はいくつもあるのですが, 実のところ短所の方が目立ちます.
この本は長所で述べたように予備知識が無くても読めるようにかなりself-containedに書かれていますが, 質的な面での配慮はほぼありません. 概ね定義・命題・証明が淡々と続くばかりで初めて学ぶ人は, どこに行きつくか見えないままひたすら議論を追っていくことになります. 例えばそれが顕著に現れているのは3章で, 冒頭でいきなり置換が導入され, 行列式の定義へと進むのですが, この間これらの概念がなぜ必要なのかの説明は全くありません. 後半の余因子行列のところまで読んでやっと行列式の定義の根拠が分かるといった調子です. もう少し配慮があってよいと思います. 例えば章の最初にクラメルの公式を用いた連立1次方程式の解法をダイジェスト的に説明すれば行列式の必要性や行列式と正則性の結びつきが自ずとわかり, 見通しをもって先を読んでいけると思うのですが.

また内積空間と通常のベクトル空間を並行して扱うのは多少分かりにくいです. 例えば「5章固有値と固有ベクトル」では序盤に通常のベクトル空間における対角化を扱い, 後半では正規変換のスペクトル分解を扱っています. これらは確かに共に固有値・固有ベクトルが重要な役割を果たす内容であり, いずれも線形変換を互いに直交する固有空間への射影の線形結合へと分解するという意味でかなり似通ってはいるのですが, それぞれの場合で射影の定義は僅かに異なり, これによって議論も大きく違ってきます. また内積空間と通常のベクトル空間は現れる場面が大きく異なるので「固有値・固有ベクトル」というような緩やかなつながりで括ることにあまり意味はなく, 明確に切り分ける方が分かりやすいです. 具体的には最初に内積無しのベクトル空間の理論を一通り展開し, その後に内積無しの場合の一般論を援用しながら内積空間の議論をするのが良いと思います.

この本の一番の欠点はジョルダン標準形の扱いです. 単因子論を用いること自体は全く問題はありません. むしろ最も簡潔にジョルダン標準形へと至る道だと思います. ただし単因子論を用いるならば環上の加群の言葉で整理するべきです. より具体的にはPID上の有限生成加群の構造定理を用いるべきです. この本ではこれらの一般論を全く扱わず, 一歩ずつ手探りで進むような議論になっています. このため証明を追うことはできても, その背後にある構造が全く見えません. ジョルダン標準形については単因子論を適切に用いれば非常に明瞭な理解が得られるものなのでこれは大きな欠点です. 実はこの本の筆者も単因子論を用いたことに関してあとがきで「本書の大きな弱点」と述べています.

総合的に見て, 今この本を敢えて選ぶ理由はないと思います. やはりジョルダン標準形の扱いがかなり痛いです. 他の点については際立って悪い点はありませんが, 際立った長所もありません.  ただ値段が安いのは特筆すべき点かもしれません(1900円+税). お金に余裕のある人は他の入門書を選ぶことをお勧めします.
最後に補足としてジョルダン標準形についてわかりやすく解説してある本を2冊紹介しておきます.
不変部分空間の方法を用いた解説は草場公邦『線型代数 (増補版)』(朝倉書店)の解説が非常にわかりやすいです.
単因子論を用いた解説は環上の加群を扱う本なら大抵は載っていますが, 堀田良之『加群十話』(朝倉書店)は異様に手際の良い説明が乗っています. この本は後半で表現論の基礎的な内容まで書いてありお得な本です.