矩阵论笔记（二）

线性空间

定义 ：设 V 是一个以 α，β，γ，…为元素的非空集合，F 是一个数域．在其中定义两种运算，一种叫加法：$\forall$α，β∈V ，α＋β∈V ；另一种叫数量乘法：$\forall$k∈F ，α∈V ，kα∈ V ，并且满足下面八条运算法则：
（１） 加法交换律：α＋β＝β＋α；
（２） 加法结合律：（α＋β）＋γ＝α＋（β＋γ）；
（３） V 中存在零元素：$\exists$ ${\alpha }_0$ ∈V ，$\forall$α∈V ，α＋${\alpha }_0$ ＝α，记${\alpha }_0$＝０；
（４） 负元素存在：$\forall$α∈V ，$\exists$β∈V ，使 α＋β＝０，记 β＝－α；
（５） 数乘结合律（kl）α＝k（lα）；
（６） 存在 １∈F ，１· α＝α；
（７） 分配律：（k＋l）α＝kα＋lα；
（８） 分配律：k（α＋β）＝kα＋kβ，
则称 V 为数域 F 上的线性空间．V 中元素称为向量．F 为实（复）数域时，称 V 是实（复）线性空间
简单点说，上述 8 条，只要有任意一条不满足，则 V 就不是数域 F 上的线性空间（线性空间中的元素叫向量）

定理 :线性空间 V 有如下性质：
（１） V 中的零元素惟一；
（２） V 中任一元素的负元素惟一；
（３） 设 ０ 为数零，０ 为 V 中零向量，则
（ｉ） ０· α＝０．
（ｉｉ） k· ０＝０，k∈F ．
（ｉｉｉ） 若 k· α＝０，则一定有 k＝０ 或 α＝０．
（ｉｖ） （－１）α＝－α