线性空间中的商空间(Quotient Space)
定义一个等价关系
假设M是线性空间X的线性子空间：对于所以x，y属于X，我们定义：
x
≡
y
(
m
o
d
M
)
⟺
x
−
y
∈
M
x \equiv y(\bmod M) \Longleftrightarrow x-y \in M
x≡y(modM)⟺x−y∈M
上面这个是X上定义的一个等价关系：
x
∼
y
x \sim y \quad
x∼y if and only if
(
x
−
y
)
∈
Z
\quad(x-y) \in Z
(x−y)∈Z
定义商空间
对于x，我们定义一个记号：[x],表示的是一个集合。
[
x
]
:
=
{
y
∈
X
:
x
≡
y
(
m
o
d
M
)
}
=
{
y
∈
X
:
x
−
y
∈
M
}
=
x
+
M
[x]:=\{y \in X: x \equiv y(\bmod M)\}=\{y \in X: x-y \in M\}=x+M
[x]:={y∈X:x≡y(modM)}={y∈X:x−y∈M}=x+M
将线性空间X中的每一个x都对应一个这样的集合，则所有的这样的集合加起来就是商空间X/M。
几何上的例子
下面举一个例子，假设X为
R
2
R^2
R2线性空间，M为其中一条直线y=x(绿色)上的所有点组成的X的子线性空间，那么对于x=A=（-1，2），来说，[x]:=橙色的那条线上的所有点，可以计算一下
(-1,2)+(2,2)=(1,4)
(-1,2)+(1,1)=(0,3)
(-1,2)+(0,0)=(-1,2)
(-1,2)+(-1,-1)=(-2,1)
把点(1,4)，(0,3)，(-1,2)，(-2,1)拟合就得到橙色线
9245
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
