向量空間公理

第一卷裡向量是箭頭或一列數字。成熟的視角徹底忘掉圖像，只保留箭頭恰好遵守的那些規則。向量空間是一個集合 V，配上兩種運算——把兩個元素相加，以及用所選域 F 中的一個數去縮放某個元素——它們滿足一小串公理。任何遵守這串公理的對象都是向量空間，無論其元素是箭頭、多項式、函數還是矩陣。

公理分兩組。加法使 V 成為一個阿貝爾群：它滿足結合律與交換律，存在零向量 0 使 v + 0 = v，且每個 v 都有負元 -v 使 v + (-v) = 0。純量乘法隨後以相容方式相互作用：1*v = v，(ab)*v = a*(b*v)，且兩條分配律 a*(u+v) = a*u + a*v 與 (a+b)*v = a*v + b*v 成立。總共八條公理，沒有一條提到 R^n。

回報在於槓桿效應：你僅憑這些公理證明的每個定理，會同時在它們的每一個模型中成立。當你日後遇到連續函數空間，或某個微分方程的解集時，你無需重新推導純量滿足分配律——你已為所有空間證明過了。這種抽象不是裝飾，它正是讓一段論證服務於無窮多個具體情形的關鍵。

一句值得內化的提醒：公理刻意稀疏。它們不給你長度、不給你角度、也不給你哪些向量彼此「接近」的概念。那些額外之物（範數、內積）是日後疊加上去的額外結構。一個赤裸的向量空間只知道如何相加與縮放——而出人意料的是，大量線性代數無需更多。