下面列出线性空间的一些简单性质. 注意, 证明中我们只能使用定义 1.1 的 (1)一(8) 作为依据. 设 V 为数域 F 上的线性空间. 性质 1.1 (零向量唯一) 性质 1.2 (负向量唯一) 性质 1.3. (加法消去律) 性质 1.4 (零向量 负向量) 性质 1.5 (非零相乘必然非零)