線性代數：從方程組走向子空間，教材如何選
矩陣計算之後，還要說明解集合為何如此。選擇從計算走向證明的第一本教材，或面向抽象推理的第二遍讀物，把消去、線性映射與幾何檢查接起來，而非三本同時通讀。
學習路線與例題編輯責任：University Reading List 編輯專案。 編輯與選書方法 · 來源核驗日期:
適用範圍與編輯責任
本路線面向大學部方程組、子空間與線性映射。Hefferon指第四版，Strang指2023年第六版，Axler指版權年2024的第四版，線上修訂日期另計。不聲稱逐頁通讀或課堂驗證。例題是原創精確數值問題，並非實測資料擬合，也不保證數值軟體表現。
選擇你的起點
希望結合矩陣、幾何與應用
課程指定第六版或重視欄空間觀點時選Strang。先用公開樣章判斷適配，影片不等於教材及課程評量。
三本書如何取捨
Linear Algebra（線性代數）
Jim Hefferon · 版次: 4 · 2020
免費的計算到證明橋梁
- 適合何時選擇
- 希望把代數消去與結構理由一起學。
- 何時另選路線
- 急需另一本指定書的作業，或已準備好以算子為中心的進階路線。
- 建議閱讀範圍
- 第四版Chapter One方程組、Two向量空間、Three映射；投影是Three中的選讀部分。
- 限制與取捨
- 作者對完整課程讀者預期一學期微積分，本頁起步題只用代數。官方全題解也應在獨立嘗試並說明理由後使用。
選書前試做
對本頁矩陣消去，寫出全部解，解釋列運算為何不改變解集合。
檢查標準: 明示自由參數，不能默默設零。把整族解代回原式，並用秩論證沒有漏解。
Introduction to Linear Algebra（線性代數導論）
Gilbert Strang · 版次: 6 · 2023
連結矩陣與子空間的觀點
- 適合何時選擇
- 希望在方程、欄向量與幾何近似之間轉換。
- 何時另選路線
- 需要完整免費書，或以抽象算子的證明為首要目標。
- 建議閱讀範圍
- 第六版1–3章學向量、方程與基本子空間，4章學正交與最小平方。
- 限制與取捨
- 官網提供目次、樣章與部分解答，不代表第六版全文免費；同站舊第五版連結須另行辨認。
選書前試做
求反矩陣或擬合之前，用A的欄說明哪些右端向量可以到達。
檢查標準: 指出c=a+b，找出與三欄都正交的非零向量。不能因有殘差就暗改觀測值。
Linear Algebra Done Right（線性代數應該這樣學）
Sheldon Axler · 版次: 4 · 2024
免費的證明導向進階
- 適合何時選擇
- 準備解釋核、像、基底與維度命題為何成立。
- 何時另選路線
- 還不能解小型方程組，或只想找演算法練習庫。
- 建議閱讀範圍
- 第四版1–3章講空間與映射，6章講內積及正交投影。
- 限制與取捨
- 作者定位為第二門線代課。免費閱讀與BY-NC再利用許可不同，線上更新日也不構成新編號版次。
選書前試做
將A視為T:R³→R³，以明示基底證明本例核與像的維度關係。
檢查標準: 給出像的兩個獨立向量及核的一個向量，說明它們能生成對應空間，再核對秩2+零度1=定義域維度3。
檢查先修準備
第一題需要微積分嗎？
不需要，但要會方程組、分數、內積與參數。Hefferon整門課預期微積分背景，其他路線也各有數學成熟度要求。
奇異到底說明什麼？
方形奇異矩陣不可逆，不表示每個右端都無解；仍須核對右端與欄空間。
軟體能代替證明嗎？
可用來查算術，但必須說明數域、維度、精確或捨入輸入，以及為何解族涵蓋全部解。
六步學習與具體成果
已標記完成的成果: 0 / 6
勾選用於自我記錄，並非成績評定；標記不會傳送給本站。
-
保留兩種表示
建議閱讀範圍: Hefferon One.I或Strang第1–2章。
動手產出: 寫出三個方程及欄的線性組合，標明各自維度。
檢查標準: A為3×3，x與d各有三分量，未知數是欄的係數。
-
找出全部解
建議閱讀範圍: Hefferon One.I.2–3或所選書的方程組路線。
動手產出: 消去、標出樞紐，以一個自由參數表達全解。
檢查標準: 區分特解與核向量，分別代入檢驗。
-
解釋像空間
建議閱讀範圍: Hefferon Two–Three、Strang第3章或Axler第3章。
動手產出: 構造像與核的基底，說明獨立與生成。
檢查標準: 列幾個向量不自動構成基底；維度依定義域判斷。
-
以幾何檢驗相容性
建議閱讀範圍: Strang第3章或映射章節。
動手產出: 找左零空間的非零向量，檢查兩個右端。
檢查標準: 內積非零即可否定精確相容；本例內積為零足夠，還依賴正交補恰為一維的證明。
-
改為近似問題
建議閱讀範圍: Strang第4章、Hefferon投影部分或Axler第6章。
動手產出: 解變式，給出投影目標、殘差及全部最小平方係數。
檢查標準: 核對Aᵀr=0與殘差範數，不能把投影稱為原始觀測。
-
寫出可複核說明
建議閱讀範圍: 回看主教材的方程組及子空間部分。
動手產出: 用一頁說明存在性、唯一性、近似及精確輸入前提。
檢查標準: 他人能重算解族與投影，測量誤差主張與題設算術分開。
原創例題與解析
原創例題：一欄相依，仍有無窮多精確解
實矩陣A的三欄為a=(1,1,0)、b=(0,1,1)、c=(1,2,1)，目標d=(4,7,3)。求Ax=d的全部解、秩及零度，並給出結構性相容檢驗。
前提假設
所有元素皆為原創的精確實數。b是第二欄，d才是目標向量。沒有雜訊模型或外部資料，正交性採用歐幾里得內積。
- c=a+b，所以Ax=(x₁+x₃)a+(x₂+x₃)b。a、b獨立，故秩2；d=4a+3b，所以有解。
- 令x₃=t，得x₁=4−t、x₂=3−t。全解為(4,3,0)+t(−1,−1,1)，t∈R。核由(−1,−1,1)生成，零度1。
- n=(1,−1,1)與三欄均正交，n·d=4−7+3=0。欄空間在R³中為二維，故正交補恰為span(n)。
答案與解釋
解並非不存在，而是無窮多個：x=(4−t,3−t,t)。秩2與零度1之和是定義域維度3；行列式為零不能單獨判斷特定右端是否相容。
檢驗結果
逐列代回得x₁+x₃=4、x₁+x₂+2x₃=7、x₂+x₃=3。加核向量會改係數，卻不改輸出。
改變假設，再做一題
只改一個目標分量，精確擬合便消失
保留A及精確歐幾里得設定，將目標改為e=(4,8,3)。求最小平方投影、殘差及全部最小化係數，不引入測量不確定性。
- n·e=4−8+3=−1，所以e在欄空間外，Ax=e無解。
- 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。
- p=(13/3)a+(10/3)b，故全部最小化係數為x=(13/3−t,10/3−t,t)。投影輸出唯一，係數卻不唯一。
答案與解釋
最近輸出p=(13/3,23/3,10/3)，殘差範數1/√3。設t=0或殘差小，都不能證明係數唯一或實測模型正確。
檢驗結果
核對Aᵀr=0及p+r=e。正交殘差藉勾股關係保證全域最小；只試若干係數並不構成最小性證明。
常見誤區
一個解不是全解
將自由變數設零只得特解，不能證明唯一。
反矩陣不是唯一路線
奇異矩陣仍可把多個係數向量映到相容右端。
擬合不是改正觀測
分別標明e、p、r，雜訊假設需要額外證據。
進入下一階段之前
- 把整族解代入原方程檢驗。
- 說明基底、維度及正交性，而非只列結果。
- 解釋投影唯一為何不表示係數唯一。
來源與版次核驗
來源核驗日期:
- Hefferon: official fourth-edition text and contents
核對官方第四版前言與目次建立路線，不聲稱新作全書通讀。
- Hefferon: independent study and worked answers
作者提供完整解答，並強調先獨立嘗試。
- Strang: sixth-edition identity, contents and samples
官網第六版資源與同站第五版舊連結分別處理。
- Axler: fourth edition, access and intended level
核對作者的第二門課定位、免費版本，以及2024版權年與修訂日期的差別。
這些是本站建議的學習活動，並非大學官方作業，也不代表對每本書逐頁通讀。