Linear Algebra Done Right（正しい線形代数）

引用

Axler, S. (2024). Linear Algebra Done Right (4th ed.). Springer. Free official edition: https://linear.axler.net/

章の要約

第1章：ベクトル空間

本書はまず複素数と空間 𝐑ⁿ、𝐂ⁿ を導入し、続いて抽象的なベクトル空間の公理を述べ、集合から 𝐅 への関数全体の空間などの例を検討し、小さいながら欠かせない事実（加法の単位元の一意性、0 や −1 を掛けたときに何が起こるか）を証明する。章の最後では部分空間、部分空間の和、直和を扱い、和が直和になるための明快な判定条件も示す。

第2章：有限次元ベクトル空間

この章では、本書全体で使う語彙——一次結合、張る空間（スパン）、一次独立、基底、次元——を整える。中心となる道具は一次従属の補題で、これにより「一次独立なリストの長さは、空間を張るリストの長さを決して超えない」という重要な不等式が導かれる。この不等式を使って、空間のどの基底も同じ長さをもつこと、したがって次元がきちんと定義できることが示される。章末では二つの部分空間の和の次元公式が与えられる。

第3章：線形写像

アクスラーはここで、本人が線形代数の「興味深い部分」と呼ぶ、ベクトル空間の間の線形写像に進む。中心的な結果は線形写像の基本定理（定義域の次元は零空間の次元と値域の次元の和に等しい）で、ただちに連立一次方程式に応用される。行列は線形写像の後に、基底を選んだときに写像を表す手段として登場する。章では行列の積、列ランクと行ランクが等しいことを短く証明する列–行分解、可逆性、同型、基底変換を扱う。最後の二節（ベクトル空間の積と商、そして双対空間・双対写像・零化域を扱う双対性）はより抽象的で、序文では省略可能とされている。

第4章：多項式

この短い章は、明言されているとおり線形代数の章ではない。作用素の研究に必要となる多項式の事実——m 次多項式の零点は高々 m 個であること、（ここでは線形代数を使って証明される）除法の原理、代数学の基本定理、実係数多項式の一次因子と二次因子への分解——をまとめている。

第5章：固有値と固有ベクトル

作用素（空間からそれ自身への線形写像）の研究は不変部分空間から始まり、そこから自然に固有値と固有ベクトルが導かれる。この章の山場は、有限次元で零でない複素ベクトル空間上のすべての作用素が固有値をもつことの、行列式を使わない証明である。一つのベクトルに作用素を繰り返し施し、一次従属性から多項式を得て、それを因数分解する。続いて最小多項式が導入され、以後一貫して用いられる。最小多項式の零点はちょうど固有値であり、作用素が上三角行列をもつ条件や対角化可能である条件も最小多項式で特徴づけられる。章ではさらに、奇数次元の実空間上の作用素、ゲルシュゴリンの円板定理、可換な作用素（同時対角化と同時三角化）を扱う節も含む。

第6章：内積空間

ここで本書は、これまで築いた純粋に代数的な構造に、長さと角度という幾何を加える。内積とノルムを定義し、ピタゴラスの定理、コーシー–シュワルツの不等式と三角不等式、中線定理（平行四辺形の等式）を証明する。続いて正規直交基底とグラム–シュミットの直交化法が登場し、シューアの定理（𝐂 上では正規直交基底に関して上三角行列をもつ）とリースの表現定理へとつながる。最後の節では直交補空間と直交射影を用いて最小化問題を解き、逆写像が存在しないときの代用として擬似逆写像を導入する。

第7章：内積空間上の作用素

随伴を土台に、この章は自己随伴作用素と正規作用素を定義し、最小多項式とシューアの定理を使って短い証明で実スペクトル定理と複素スペクトル定理を示す。次に正作用素とその一意な正の平方根、等長写像とユニタリ作用素を調べ、QR 分解とコレスキー分解を導く。特異値分解は、互いに異なりうる二つの内積空間の間の写像について証明され、最後の節ではその帰結として、線形写像のノルム、より低いランクによる最良近似、極分解、そして作用素が楕円体・直方体・体積をどう変えるかが扱われる。

第8章：複素ベクトル空間上の作用素

作用素は基底をなすほど十分な固有ベクトルをもつとは限らないため、この章では一般化固有ベクトルと冪零作用素を導入する。𝐂 上では一般化固有ベクトルからなる基底が常に存在することを（この版で新たに与えられた初等的な証明で）示し、そこから一般化固有空間分解、重複度の定義、特性多項式、ケーリー–ハミルトンの定理が得られる。これらの道具により、可逆作用素の平方根とジョルダン標準形が導かれる。章の最後ではトレースを扱い、それが基底によらず、𝐂 上では固有値の和に等しいことを証明する。

第9章：多重線形代数と行列式

最終章は双線形形式と二次形式を扱い、双線形形式が対称部分と交代部分に分かれること、対称形式と二次形式が対角化できることを示す。多重線形形式と置換に進み、n 次元空間上の交代 n 重線形形式全体が一次元の空間をなすことを証明する。これにより、作用素の行列式を基底によらずに定義できる。乗法性から「𝐂 上では行列式は固有値の積」という事実まで、標準的な性質はそこから素早く導かれ、アダマールの不等式やヴァンデルモンドの行列式も扱われる。本書はベクトル空間および内積空間のテンソル積への入門で締めくくられる。

主要概念

第1章：ベクトル空間

• 𝐅 上のベクトル空間：加法とスカラー倍をもち、短い代数的規則の一覧を満たす集合。本書を通じて 𝐅 は 𝐑 または 𝐂 を表す。
• 直和：各ベクトルの表し方がちょうど一通りである部分空間の和。二つの部分空間の場合、共通部分が {0} であるときに限りそうなる。

第2章：有限次元ベクトル空間

• 一次従属の補題：一次従属なリストでは、あるベクトルがそれより前のベクトルたちの張る空間に属し、張る空間を変えずに取り除ける。
• 基底：一次独立で、かつ空間を張るリスト。各ベクトルはその一次結合としてただ一通りに表される。
• 次元：すべての基底に共通する長さ。一次独立なリストが空間を張るリストより長くならないため、きちんと定義される。

第3章：線形写像

• 線形写像の基本定理：有限次元空間上の線形写像について dim V = dim null T + dim range T が成り立つ。
• 線形写像の行列：定義域と終域の基底を固定したときに写像を記録する係数の配列。行列の積は写像の合成に対応する。
• ランク：行列の列ランクであり、行ランクと等しい（本書では列–行分解によって証明される）。

第4章：多項式

• 除法の原理：どの多項式も零でない多項式で割ることができ、商と、次数のより小さい余りが得られる。
• 代数学の基本定理：定数でない複素係数多項式は必ず零点をもち、したがって 𝐂 上では一次因子に完全に分解される。

第5章：固有値と固有ベクトル

• 𝐂 上での固有値の存在：有限次元で零でない複素空間上のすべての作用素は固有値をもち、行列式を使わずに証明される。
• 最小多項式：作用素を 0 に写す最小次数のモニック多項式。その零点が固有値であり、その形が三角化可能性と対角化可能性を決める。
• 対角化可能な作用素：固有ベクトルからなる基底をもつ作用素。言い換えれば、固有空間の（直）和が空間全体になる作用素。

第6章：内積空間

• コーシー–シュワルツの不等式：内積の絶対値はノルムの積以下であり、三角不等式の土台となる基本的な評価。
• グラム–シュミットの直交化法：一次独立なリストを、各段階で同じ空間を張る正規直交リストに作り変える手順。
• 直交射影：各ベクトルを部分空間内の最も近い点に送る写像。最小二乗型の最小化問題を解くのに使われる。

第7章：内積空間上の作用素

• 随伴：T を内積の反対側に移すことで定義される写像 T*。正規直交基底に関する行列は共役転置になる。
• スペクトル定理：作用素が固有ベクトルからなる正規直交基底をもつのは、実の場合は自己随伴であるとき、複素の場合は正規であるときに限る。
• 特異値分解：内積空間の間のすべての線形写像は、二つの正規直交基底の間で非負の特異値による伸縮として働く。

第8章：複素ベクトル空間上の作用素

• 一般化固有ベクトル：T − λI のある冪で 0 に写される零でないベクトル。𝐂 上ではこれらが常に空間を張る。
• 一般化固有空間分解：𝐂 上では空間は一般化固有空間の直和であり、それぞれが作用素で不変である。
• ジョルダン標準形：複素空間上のすべての作用素は、行列がジョルダン細胞からなるブロック対角行列になる基底をもつ。冪零作用素の構造から構成される。

第9章：多重線形代数と行列式

• 二次形式：双線形形式から得られる関数 v ↦ β(v, v)。適切な基底によって対角化できる。
• 交代多重線形形式：二つの入力が等しいときに必ず 0 になる多重線形形式。n 次元空間上の交代 n 重線形形式全体は一次元の空間をなす。
• 作用素の行列式：入力をまず作用素で変換したとき、すべての交代 n 重線形形式に掛かるスカラー。基底によらない定義である。

批判的分析

長所

• 明確な構成原理。 序文は目標——有限次元空間上の作用素の構造を理解すること——を述べ、本書の構成はそこから導かれている。行列式を最終章に回すことで、固有値には一次従属と多項式を通じて到達でき（5.19 の証明は一段落に収まる）、学生は特性多項式の計算を受け入れるのではなく、なぜ固有値が存在するのかを理解できる。
• 統一的な道具としての最小多項式。 この版では最小多項式が、上三角行列や対角行列の特徴づけ、実スペクトル定理の証明に使われる。同じ少数の事実が第5章・第7章・第8章で繰り返し使われるため、後半の証明が短くなり、前の内容とのつながりも見えやすい。
• 独習に配慮した紙面。 定義と結果には番号が振られて枠で囲まれ、どの定理にも平易な名前が付き、各章は前提条件（standing assumptions）の明示から始まり、余白の注が歴史や小さな補足を加える。学生向け序文は、ゆっくり読み「確かめてみよ」と書かれた箇所を実際に検証するよう、現実的な心構えを示している。
• 豊富な演習と具体的な計算。 各節の末尾に独自の演習問題があり（大まかに数えて合計 700 問をかなり上回る）、型どおりの確認から、標準的な二度目の講義の範囲を超える話題へ導く問題までそろう。具体的な計算（後述の応用を参照）が抽象論を支えている。

短所

• 計算を学ぶ最初の科目には向かない。 ガウスの消去法は言及されるだけで教えられず、行基本変形や階段行列も軽く触れられる程度である。連立方程式の解法、手計算による逆行列、数値計算法に習熟する必要がある学生は、別の教科書で身につける必要がある。
• 最初から証明の成熟度が前提。 線形代数の予備知識は不要だが、演習の大半は証明を要求し、第3章と第5章のペースは、まだ証明を書いたことのない学生にはきつく感じられうる。
• 𝐑 と 𝐂 に限定。 著者は意図的に一般の体を避けている。1A 節の脱線で多くの結果の一般化の仕方は説明されるが、代数学や整数論に進む読者は有限体を別の場所で学ぶことになる。幾何的な内容の一部も意図的に厳密さを省いており、7F 節の体積は直方体による近似によって直観的に定義されるにとどまる。
• 一学期には収まらない分量。 序文自身が、第1–8章をすべて一学期で扱うには速いペースが必要だと述べ、第9章まで進む場合に省ける節を挙げている。演習の解答は収録されていないため、独学者は自分の証明を自分で確かめる必要がある。

本書で扱う応用

応用は独立した章ではなく、例と演習の中に織り込まれている。3B 節では線形写像の基本定理を連立一次方程式に応用し、対角化によって T¹⁰⁰ を計算し、5D 節の演習21ではフィボナッチ数の一般項の公式を導く。例 6.63 では sin x を5次以下の多項式の空間に射影し、[−π, π] 上で、0 から離れたところではテイラー多項式よりはるかに精度の高い近似を得る。第6章は最良近似解を与える道具として擬似逆写像を展開し、第7章は QR 分解とコレスキー分解、最良の低ランク近似を伴う特異値分解、線形写像が楕円体や直方体の形と体積をどう変えるかを扱う。5D 節のゲルシュゴリンの円板定理は、行列の成分から固有値の位置を見積もる。

コースにおける位置づけ

このコースの書籍リストの中で、アクスラーは線形代数を証明中心に学び直す二度目の科目のための本である。ギルバート・ストラングの Introduction to Linear Algebra とジム・ヘファロンの Linear Algebra、およびアントンらの Elementary Linear Algebra は、一般に、連立方程式と行列計算を土台とする最初の科目向けの教科書とされ、先にどれかを読むことで、アクスラーが省いた計算技能を補える。マーティン・アンソニーらの Linear Algebra: Concepts and Methods も手法と理論を組み合わせており、計算練習を増やしたい学生の併読書になりうる。

アクスラーの後は、より深い行列理論を学びたい学生にとって、ホーンとジョンソンの Matrix Analysis が自然な次の一歩となる。アクスラーの第7章と第8章（スペクトル定理、特異値分解、ジョルダン標準形、トレース）がその概念的な背景を与える。証明中心の線形代数の科目を一つだけ履修する学生はアクスラーを主教科書にしてよいが、行列計算をまったく経験していない学生は、最初の科目向けの本の代わりにこれを使うべきではない。

本書の使い方

本書は線形代数を二度目に学ぶ学生、典型的には行列中心の最初の科目を終えた数学専攻の学生を対象としている。形式上、数学的成熟度以外の前提はない。いくつかの例と演習は連続性・微分・積分を用いるが、微積分を学んでいない学生は飛ばしてよい。

一学期の科目としての実際的な計画は、第1–3章（3E 節と 3F 節は任意）、第4章を手早く、第5章（5E 節は任意）、第6章（擬似逆写像は任意）、そして第7章である。第8章は長めの科目や独学での自然な続きであり、第9章でようやく行列式が登場する。テンソル積を扱う 9D 節には 3F 節の双対性が必要である。教員向け序文にある著者の「トップテン」の一覧——「基底の長さはすべて等しい」から交代 n 重線形形式の空間が一次元であることまで——は復習用のチェックリストとして役立つ。

紙とペンを手にゆっくり読み、本文が読者に任せている検証を実際に行うこと。各定理について、それぞれの仮定がなぜ必要かを示す例を探してみること。各節から演習をいくつか解くこと。解答は印刷されていないので、級友と取り組んだり、教員と証明を突き合わせたりするとよい。本書のウェブサイトには、本文に沿った無料の動画と正誤表へのリンクがある。

版と出典

本ガイドは Linear Algebra Done Right 第4版に基づき、著者の公式サイト https://linear.axler.net/ からダウンロードした無料のオープンアクセス PDF（2026年8月16日付の版、© 2024 Sheldon Axler、CC BY-NC 4.0 ライセンス）で読んだ。印刷版は Springer から刊行されている。学生向け序文、教員向け序文（章ごとの要約、トップテンの一覧、第4版での変更点を含む）、目次全体、そして全9章について各章の導入、すべての節見出し、番号付きのすべての定義・結果・例の見出しを読み、主要な証明と例（5.19、5.22、3.56–3.57、6.63、7.26–7.29、8.9、7.108–7.111、9.40–9.41）といくつかの演習問題は全文を読んだ。