Uni Reading List
学習ガイド /

線形代数：連立方程式から部分空間へ進む教材選び

行列を計算できるだけでなく、解集合が何を意味するかを説明します。計算から証明へ進む初回の教材か、抽象的な二巡目かを選び、三冊を同時に通読せずに消去法・線形写像・幾何学的検算をつなぎます。

科目・テーマ: 線形代数

学習順路・例題の編集責任：University Reading List編集プロジェクト。 編集と選定の方法 · 出典確認日:

記入用ワークシートを保存（Markdown） ↓

対象と編集責任

学部段階の連立方程式、部分空間、線形写像の順路です。Hefferonは第4版、Strangは2023年第6版、Axlerは著作権年2024の第4版を指し、オンライン更新日は別に扱います。全巻通読や授業での検証を主張しません。例題は創作した厳密な数値の問題で、実測データへの適合やソフトウェア性能の保証ではありません。

出発点を選ぶ

無料の初回教材が必要

Hefferonで消去法から証明へ段階的に進みます。解答集は自分で試した後の確認に使います。

行列・幾何・応用を結びたい

第6版が指定されている場合や列空間の見方が目的に合う場合はStrangを選びます。公開サンプルで相性を確かめ、動画を指定課題の代わりとはしません。

計算の次に抽象的な議論を学ぶ

Axlerを証明中心の二巡目に使います。無料でも、定義・例・線形作用素を自分で考える準備は必要です。

三冊を比較する

Linear Algebra（線形代数）

Jim Hefferon · 版: 4 · 2020

無料の計算・証明の橋渡し

選ぶ場面
代数計算を使いながら消去法と構造の理由を一緒に学びたい。
別の教材が適する場面
別の指定教材の課題が必要、または作用素を中心にした二巡目が目的。
読む範囲
第4版のOne（方程式）、Two（ベクトル空間）、Three（写像）。射影はThreeの選択部分。
限界と注意点
著者は読者に一学期の微積分を想定します。ただし本例の入口は代数で解けます。全問の公式解答があっても、先に自分で解き根拠を示します。

選ぶ前に試す

本ガイドの行列を消去し、一つだけでなく全解を書き、行操作が解集合を保つ理由を説明します。

確認すること: 自由パラメータを勝手にゼロにせず、解族全体を代入し、階数の議論と合わせて完全性を確かめます。

公式の無料教材 ↗

書誌情報と入手方法 →

Introduction to Linear Algebra（線形代数イントロダクション）

Gilbert Strang · 版: 6 · 2023

行列と部分空間を結ぶ見方

選ぶ場面
方程式、列、幾何学的近似を応用とともに往復したい。
別の教材が適する場面
完全な無料教材が必要、または抽象的作用素を証明から学びたい。
読む範囲
第6版1–3章でベクトル・方程式・基本部分空間、4章で直交性と最小二乗。
限界と注意点
公式サイトは目次、サンプル、選択解答を提供しますが第6版全文の無料公開ではありません。同居する第5版資料の番号は区別します。

選ぶ前に試す

逆行列や近似解を求める前に、Aの列で到達できる右辺を説明します。

確認すること: c=a+bと列すべてに直交する非零ベクトルを示します。列空間外の残差を理由に観測値を黙って変更してはいけません。

書誌情報と入手方法 →

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

Sheldon Axler · 版: 4 · 2024

無料の証明中心の続編

選ぶ場面
核・像・基底・次元の命題を理由まで説明する準備がある。
別の教材が適する場面
小さな連立方程式がまだ解けない、または手順練習だけが必要。
読む範囲
第4版1–3章で空間と写像、6章で内積と直交射影。
限界と注意点
著者は二回目の科目向けと位置づけます。無料閲覧とBY-NCの再利用条件は別で、更新日は新たな番号付き版ではありません。

選ぶ前に試す

AをT:R³→R³とみなし、明示的な基底からこの例の核と像の次元関係を証明します。

確認すること: 像の独立な二ベクトルと核の一ベクトルについて張ることを示し、階数2+退化次数1=定義域次元3を確認します。

公式の無料教材 ↗

書誌情報と入手方法 →

準備を確認する

最初の例に微積分は必要か

不要です。連立方程式、分数、内積、パラメータが必要です。Hefferonの科目全体は微積分経験を想定し、他の順路にも数学的な準備が要ります。

特異とは何を意味するか

正方特異行列には逆行列がありません。しかしすべての右辺が不整合になるわけではなく、列空間との関係を調べます。

ソフトウェアで証明できるか

計算確認には役立ちますが、体・次元・厳密値か丸め値か、全解を網羅する理由は説明が必要です。

成果物を作る六つの段階

自己記録用のチェックであり、評価ではありません。チェック情報は当サイトに送信されません。

  1. 二つの表現を保つ

    読む範囲: Hefferon One.IまたはStrang1–2章。

    作るもの: 三本の方程式と列の線形結合を書き、次元を付けます。

    確認すること: Aは3×3でx,dは三成分。未知数は列の係数です。

  2. 全解を求める

    読む範囲: Hefferon One.I.2–3などの連立方程式の部分。

    作るもの: ピボットと自由変数を示し、一つのパラメータで全解を書きます。

    確認すること: 特解と核ベクトルを分け、別々に代入します。

  3. 像を説明する

    読む範囲: Hefferon Two–Three、Strang3章、Axler3章。

    作るもの: 像と核の基底を作り、独立性と張ることを説明します。

    確認すること: ベクトルを並べただけでは基底になりません。定義域に基づいて次元を数えます。

  4. 整合性を幾何で検査する

    読む範囲: Strang3章または写像の順路。

    作るもの: 左零空間の非零ベクトルで二つの右辺を検査します。

    確認すること: 内積が非零なら不整合。ゼロで十分と言うには、ここで直交補空間全体が一次元であることも示します。

  5. 近似へ条件を変える

    読む範囲: Strang4章、Hefferonの射影部分、Axler6章。

    作るもの: 追加問題を解き、射影先・残差・最小化する係数全体を示します。

    確認すること: Aᵀr=0と残差ノルムを検算し、射影先を元の観測値と呼びません。

  6. 再現できる説明を作る

    読む範囲: 選んだ本の連立方程式・部分空間を再読。

    作るもの: 存在、一意性、近似を厳密入力の前提とともに一枚にまとめます。

    確認すること: 別の読者が解族と射影を再計算でき、測定誤差の主張を混ぜないこと。

解答付きの例題

独自例題：従属な列と無限個の厳密解

実数の厳密行列Aの列をa=(1,1,0), b=(0,1,1), c=(1,2,1)、目標をd=(4,7,3)とします。Ax=dの全解、階数と退化次数、構造を使う整合性検査を求めます。

前提

数値は創作した厳密実数です。bは第二列、dは右辺。雑音モデルや外部データはなく、直交性にはユークリッド内積を使います。

  1. c=a+bよりAx=(x₁+x₃)a+(x₂+x₃)b。a,bは独立なので階数2。d=4a+3bで整合します。
  2. x₃=tと置けばx₁=4−t,x₂=3−t。全解は(4,3,0)+t(−1,−1,1)、t∈R。核は(−1,−1,1)が張る一次元空間です。
  3. n=(1,−1,1)は三列すべてと直交し、n·d=4−7+3=0。列空間はR³内の二次元なので、その直交補空間はspan(n)です。

解答と解釈

解は存在せず、ではなく無限個あり、x=(4−t,3−t,t)。階数2と退化次数1の和は定義域次元3です。行列式ゼロだけでは特定の右辺の整合性は決まりません。

結果を検証する

各行に代入して4,7,3を得ます。核ベクトルを加えると係数は変わっても出力は変わらないことを確認します。

前提を変えて考える

右辺を一成分変えると厳密解が消える

Aと厳密なユークリッド設定を保ち、目標をe=(4,8,3)に変えます。最小二乗の射影先、残差、最小化する全係数を求めます。測定の不確かさは追加しません。

  1. n·e=4−8+3=−1よりeは列空間外で、Ax=eは解を持ちません。
  2. p=e−[(n·e)/(n·n)]n=e+n/3=(13/3,23/3,10/3)。r=e−p=(−1/3,1/3,−1/3)、そのノルムの二乗は1/3です。
  3. p=(13/3)a+(10/3)bより全最小化係数はx=(13/3−t,10/3−t,t)。出力pは一意でも係数は一意ではありません。

解答と解釈

最も近い出力はp=(13/3,23/3,10/3)、残差ノルムは1/√3です。t=0の選択や小さい残差から係数の一意性や実測モデルの正しさは言えません。

結果を検証する

Aᵀr=0とp+r=eを確認します。直交性からピタゴラスの関係で最小性が示せます。有限個の候補を試すだけでは全体の最小性は証明できません。

よくある誤り

一つの解と全解

自由変数をゼロにすると特解を得ますが、一意性は示せません。

逆行列だけに頼る

特異行列でも列空間内の右辺には多くの解があり得ます。

適合と観測値を分ける

e,p,rを別々に記し、雑音仮定には別の根拠を用意します。

次に進む前に

  • 全解を元の式で検算する。
  • 基底・次元・直交性を理由とともに示す。
  • 射影の一意性と係数の非一意性を区別する。

出典と版の確認

出典確認日:

提案する学習活動であり、公式の課題や全巻通読の主張ではありません。

編集と選定の方法 →