3.8 商空间(Quotient Spaces)
我们令
E 为向量空间,并令
M 为其任意一个子空间。在子空间
M 上我们定义一个关系
≡M ,其定义如下:
对于任意的
u,v∈E ,有
u≡Mv
当且仅当
u−v∈M。
基于上面的关系,我们有一下的性质:
命题3.19 对于给定的向量空间
E,并令
M 为其任意一个子空间,关系
≡M 具有下面两个同余性质的等价关系。
- 如果有
u1≡Mv1 和
u2≡Mv2 ,那么
u1+u2≡Mv1+v2 ;
- 如果
u≡Mv ,那么
λu≡Mλv;
由子集的加法和标量的乘法可以证明上面的结论,同时也就表明我们可以在上面集合所定义的关系中定义加法和标量乘法。
定义3.25 对于给定的向量空间
E,并令
M 为其任意一个子空间,我们在集合
E/M 的关系
≡M 下定义加法和标量乘法操作:对于两个等价类
[u],[v]∈E/M ,我们有
[u]+[v]=[u+v]λ[u]=[λu]
在上面的命题3.19中,我们的上述操作并不依赖于等价类
[u],[v]∈E/M ,同时我们也可以证明
E/M 是一个向量空间,函数
π:E→E/F 我们将其定义为对于每一个
u∈E 都有
π(u)=[u],即一个满射的线性映射,我们称为
E 向
E/F 空间的一个自然投影 (natural projection)。向量空间
E/M 也被称为在子空间
M 中的
E 的商空间(Quotient Space)
对于一个线性映射
f:E→F ,我们定义
Kerf 为
E 的子空间。所以根据上面的知识,
Imf 和商空间
E/Kerf 同构。
预告
3.9 线性形式和对偶空间