你可能认为向量就是带有箭头和方向的线段，就像你在物理课上学到的那样。这个想法没错，但它只是故事的一部分。在数学中，“向量”是一个更广泛的概念。向量可以是任何东西：数字、函数，甚至多项式。

那么，是什么让这些不同的东西都成为“向量”呢？答案是它们都存在于一个遵循特定规则的集合中。这个集合，连同它的规则，就构成了向量空间。

让我们把这些规则分解一下。要成为一个真正的向量空间，一个集合必须满足以下所有条件。

首先，我们需要能够将集合中的任意两个向量相加。这个加法运算必须遵循五个基本规则。

1. 加法下的封闭性 如果从一个空间中取出任意两个向量 $\vec{u}$ 和 $\vec{v}$ 相加，它们的结果 $\vec{u} + \vec{v}$ 也必须在该空间内。你不能通过相加“逃离”这个空间。想象一下，混合两种蓝色颜料，你得到的仍然是蓝色，而不是红色。

2. 加法交换律 相加的顺序无关紧要。$\vec{u} + \vec{v}$ 和 $\vec{v} + \vec{u}$ 的结果是完全相同的。在几何上，无论你是先走向量 $\vec{u}$ 再走向量 $\vec{v}$，还是反过来，你都会到达同一个终点。

3. 加法结合律 当你将三个或更多向量相加时，如何对它们进行分组是无关紧要的。$(\vec{u} + \vec{v}) + \vec{w}$ 的结果与 $\vec{u} + (\vec{v} + \vec{w})$ 相同。

4. 存在零向量 向量空间中必须有一个特殊的向量，称为零向量，通常表示为 $\vec{0}$。任何向量与零向量相加，结果仍是其本身：$\vec{v} + \vec{0} = \vec{v}$。它在向量加法中的作用就像数字 0 在普通加法中的作用一样。

5. 存在加法逆元 对于空间中的每一个向量 $\vec{v}$，都存在一个与之对应的向量 $-\vec{v}$，称为其加法逆元。当它们相加时，结果是零向量：$\vec{v} + (-\vec{v}) = \vec{0}$。

除了向量之间的加法，我们还需要能够用一个普通的数字（称为标量）来“缩放”一个向量。这种运算，即标量乘法，也必须遵循一套规则。

6. 标量乘法下的封闭性 如果你从空间中取出一个向量 $\vec{v}$ 并将其乘以任何标量 $c$，结果 $c\vec{v}$ 仍然必须在该空间内。将一个向量拉伸或压缩并不会把它推出它所属的空间。

7. 标量乘法对向量加法的分配律 用一个标量乘以两个向量的和，与先分别将每个向量乘以该标量再相加的结果是相同的。换句话说，$c(\vec{u} + \vec{v}) = c\vec{u} + c\vec{v}$。

8. 标量乘法对标量加法的分配律 用两个标量的和乘以一个向量，与先分别用每个标量乘以该向量再相加的结果是相同的：$(c+d)\vec{v} = c\vec{v} + d\vec{v}$。

9. 标量乘法结合律 用多个标量相继乘以一个向量时，标量的分组方式无关紧要：$c(d\vec{v}) = (cd)\vec{v}$。

10. 存在单位元 1 最后，标量 1 具有特殊的性质。任何向量乘以 1 都保持不变：$1\vec{v} = \vec{v}$。

这个定义可能看起来很抽象，但它非常强大。它使我们能够将几何向量的直观概念应用到其他许多数学对象上，比如函数和矩阵。只要这些对象遵循相同的规则，我们就可以用同样的方式来处理它们。