向量空间，是线性代数的中心内容和基本概念之一。在解析几何里引入向量概念后，使许多问题的处理变得更为简洁和清晰，在此基础上的进一步抽象化，形成了与域相联系的向量空间概念。

线性映射：若V和W都是域F上的向量空间，可以设定由V到W的线性变换或“线性映射”。这些由V到W的映射都有共同点，就是它们保持总和及标量商数。这个集合包含所有由V到W的线性映射，以 L（V，W）来描述，也是一个域F上的向量空间。当V及W被确定后，线性映射可以用矩阵来表达。同构是一对一的一张线性映射。如果在V 和W之间存在同构，我们称这两个空间为同构；域F上每一n维向量空间都与向量空间F同构。一个在F场的向量空间加上线性映射就可以构成一个范畴，即阿贝尔范畴。