矩陣與向量空間

Prof. Strang 的線性代數從矩陣的消去法（elimination）開始，轉入向量空間，今天開始融合兩者。顯然學習線性代數的一個中心議題，就是把「矩陣運算及其語意」和「向量空間的操作與性質」相互對應，前者用以實踐運算細節，後者提供大局觀點。

--
該開始輔以嚴謹的定義定理證明了。