# 線性代數：從方程組走向子空間，教材如何選 — 學習任務單

[學習指南](https://unireadinglist.com/zh-tw/guides/linear-algebra/)

[課程主題: 線性代數](https://unireadinglist.com/zh-tw/subjects/mathematics/#course-linear-algebra)

來源核驗日期: 2026-11-04

學習路線與例題編輯責任：University Reading List 編輯專案。

本路線面向大學部方程組、子空間與線性映射。Hefferon指第四版，Strang指2023年第六版，Axler指版權年2024的第四版，線上修訂日期另計。不聲稱逐頁通讀或課堂驗證。例題是原創精確數值問題，並非實測資料擬合，也不保證數值軟體表現。

## 選擇你的起點

- [ ] 需要免費的第一本主教材
  從Hefferon開始，逐步連結消去與證明。完整解答用於嘗試後核對，不應代替先動手。

- [ ] 希望結合矩陣、幾何與應用
  課程指定第六版或重視欄空間觀點時選Strang。先用公開樣章判斷適配，影片不等於教材及課程評量。

- [ ] 會計算，準備學習抽象論證
  把Axler作為證明導向的第二遍。免費消除價格門檻，不能消除對定義、例子與線性算子的推理要求。

## 三本書如何取捨

### Linear Algebra（線性代數）

Jim Hefferon · 4 · 2020
免費的計算到證明橋梁

適合何時選擇: 希望把代數消去與結構理由一起學。
何時另選路線: 急需另一本指定書的作業，或已準備好以算子為中心的進階路線。
建議閱讀範圍: 第四版Chapter One方程組、Two向量空間、Three映射；投影是Three中的選讀部分。
限制與取捨: 作者對完整課程讀者預期一學期微積分，本頁起步題只用代數。官方全題解也應在獨立嘗試並說明理由後使用。

#### 選書前試做

對本頁矩陣消去，寫出全部解，解釋列運算為何不改變解集合。
檢查標準: 明示自由參數，不能默默設零。把整族解代回原式，並用秩論證沒有漏解。

你的筆記:

________________________________

ISBN: 9781944325114

[官方免費閱讀](https://hefferon.net/linearalgebra/)

[書目資訊與取得方式](https://unireadinglist.com/zh-tw/subjects/mathematics/linear-algebra-hefferon/)

### Introduction to Linear Algebra（線性代數導論）

Gilbert Strang · 6 · 2023
連結矩陣與子空間的觀點

適合何時選擇: 希望在方程、欄向量與幾何近似之間轉換。
何時另選路線: 需要完整免費書，或以抽象算子的證明為首要目標。
建議閱讀範圍: 第六版1–3章學向量、方程與基本子空間，4章學正交與最小平方。
限制與取捨: 官網提供目次、樣章與部分解答，不代表第六版全文免費；同站舊第五版連結須另行辨認。

#### 選書前試做

求反矩陣或擬合之前，用A的欄說明哪些右端向量可以到達。
檢查標準: 指出c=a+b，找出與三欄都正交的非零向量。不能因有殘差就暗改觀測值。

你的筆記:

________________________________

ISBN: 9781733146678

[書目資訊與取得方式](https://unireadinglist.com/zh-tw/subjects/mathematics/introduction-to-linear-algebra/)

### Linear Algebra Done Right（線性代數應該這樣學）

Sheldon Axler · 4 · 2024
免費的證明導向進階

適合何時選擇: 準備解釋核、像、基底與維度命題為何成立。
何時另選路線: 還不能解小型方程組，或只想找演算法練習庫。
建議閱讀範圍: 第四版1–3章講空間與映射，6章講內積及正交投影。
限制與取捨: 作者定位為第二門線代課。免費閱讀與BY-NC再利用許可不同，線上更新日也不構成新編號版次。

#### 選書前試做

將A視為T:R³→R³，以明示基底證明本例核與像的維度關係。
檢查標準: 給出像的兩個獨立向量及核的一個向量，說明它們能生成對應空間，再核對秩2+零度1=定義域維度3。

你的筆記:

________________________________

ISBN: 9783031410253

[官方免費閱讀](https://linear.axler.net/)

[書目資訊與取得方式](https://unireadinglist.com/zh-tw/subjects/mathematics/linear-algebra-done-right-axler/)

## 檢查先修準備

### 第一題需要微積分嗎？

你的筆記:

________________________________

### 奇異到底說明什麼？

你的筆記:

________________________________

### 軟體能代替證明嗎？

你的筆記:

________________________________

## 六步學習與具體成果

- [ ] 保留兩種表示

建議閱讀範圍: 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才是目標向量。沒有雜訊模型或外部資料，正交性採用歐幾里得內積。

你的筆記:

________________________________

## 改變假設，再做一題: 只改一個目標分量，精確擬合便消失

保留A及精確歐幾里得設定，將目標改為e=(4,8,3)。求最小平方投影、殘差及全部最小化係數，不引入測量不確定性。

你的筆記:

________________________________

## 進入下一階段之前

- 把整族解代入原方程檢驗。
- 說明基底、維度及正交性，而非只列結果。
- 解釋投影唯一為何不表示係數唯一。

## 答案與解釋

### 第一題需要微積分嗎？

不需要，但要會方程組、分數、內積與參數。Hefferon整門課預期微積分背景，其他路線也各有數學成熟度要求。

### 奇異到底說明什麼？

方形奇異矩陣不可逆，不表示每個右端都無解；仍須核對右端與欄空間。

### 軟體能代替證明嗎？

可用來查算術，但必須說明數域、維度、精確或捨入輸入，以及為何解族涵蓋全部解。

### 原創例題：一欄相依，仍有無窮多精確解

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)生成，零度1。
3. 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。加核向量會改係數，卻不改輸出。

### 改變假設，再做一題: 只改一個目標分量，精確擬合便消失

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=(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](https://jheffero.w3.uvm.edu/linearalgebra/book.pdf)
  核對官方第四版前言與目次建立路線，不聲稱新作全書通讀。

- [Hefferon: independent study and worked answers](https://hefferon.net/linearalgebra/independent-study.html)
  作者提供完整解答，並強調先獨立嘗試。

- [Strang: sixth-edition identity, contents and samples](https://math.mit.edu/~gs/linearalgebra/ila6/indexila6.html)
  官網第六版資源與同站第五版舊連結分別處理。

- [Axler: fourth edition, access and intended level](https://linear.axler.net/)
  核對作者的第二門課定位、免費版本，以及2024版權年與修訂日期的差別。

這些是本站建議的學習活動，並非大學官方作業，也不代表對每本書逐頁通讀。

[編輯與選書方法](https://unireadinglist.com/zh-tw/editorial/)
