学过线性代数的人，大多都见过矩阵，也做过大量矩阵计算，却未必真正理解矩阵到底代表什么。事实上，矩阵并不只是一个由数字排列成的表格，它更深层的意义是：描述一个向量空间到另一个向量空间之间的线性映射。本文将从向量空间出发，沿着“线性变换如何被表示”的主线，理解为什么矩阵本质上是线性映射在一组基下的具体表达。

学过线性代数的人，大多都见过“向量空间定义在某个域上”这句话，却未必理解为什么必须是域，而不是整数或自然数。事实上，线性代数的核心并不只是计算向量、矩阵和行列式，而是研究线性关系如何被稳定地表示、变换和求解；为了保证这些操作不会因缺少逆元、无法除法或规则不完备而失效，就必须依托一个足够自洽的基础数系，而这个数系正是域。