Linear Algebra Done Right (4e) Progress

LADR (4e) 進捗トラッカー

状態凡例:

• ⬜ 未着手 / 🟡 進行中 / ✅ 完了 — 各列を独立に更新する。優先度はガイドのロードマップ参照。
• ✅ = 成果物完成。記憶の維持は Anki デッキが正。

章	優先	読了	カード化	演習	Lean	カード数	最終レビュー
1 Vector Spaces	必須	✅	✅	✅	⬜	23	2026-07
2 Finite-Dimensional Vector Spaces	必須	✅	✅	⬜	⬜	21	2026-07
3 Linear Maps	必須	⬜	⬜	⬜	⬜	0	-
4 Polynomials	補助	⬜	⬜	⬜	⬜	0	-
5 Eigenvalues & Eigenvectors	重要	⬜	⬜	⬜	⬜	0	-
6 Inner Product Spaces	🎯本命	⬜	⬜	⬜	⬜	0	-
7 Operators on Inner Product Spaces	🎯本命	⬜	⬜	⬜	⬜	0	-
8 Operators on Complex Vector Spaces	任意	⬜	⬜	⬜	⬜	0	-
9 Multilinear Algebra & Determinants	辞書	⬜	⬜	⬜	⬜	0	-

次のアクション

• 第1章カード化（定義・命題 20枚、索引 linear-algebra-done-right-Flashcards）
• 第1章 演習（20_Literature/linear_algebra_done_right/exercises/chapter1）の選別 7 問を解決（technique カード 3 枚: complexification, kernel-of-linear-functional, intersection-of-subspaces）
• 第2章 章ノート（20_Literature/linear_algebra_done_right/chapter2）＋カード 21 枚（定義 8・命題 📐 13）
• 第2章 演習（20_Literature/linear_algebra_done_right/exercises/chapter2）の ⭐ 問題を解く（2A.13 / 2B.4 / 2B.10 / 2C.7 / 2C.13）
• 第3章 (Linear Maps) を読み始める
• 任意: 第1章カードの ## Lean ブロックを Notes/Chapter1.lean で形式化・検証

メモ

• ゴール直結は 6→7 章。1〜3 章は言語固めとして速習し、4・8・9 章は辞書参照中心。
• 第1章カード内訳: 定義/記法 8（complex-numbers, scalar-field-f, list, coordinate-space-fn, operations-in-fn, vector-space, function-space-fs, sequence-space-f-infinity, subspace, sum-of-subspaces, direct-sum）＋命題 📐 9（prop-1-26/27/30/31/32/34/40/45/46）＋演習手筋 3（complexification, kernel-of-linear-functional, intersection-of-subspaces 📐）。
• 第2章カード内訳: 定義/記法 8（linear-combination, span, finite-dimensional-vector-space, polynomial-space-pf, linearly-independent, linearly-dependent, basis, dimension）＋命題 📐 13（prop-2-6/19/22/25/28/30/32/33/37/38/39/42/43）。背骨は線形従属補題 2.19。