线性空间中的商空间(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)拟合就得到橙色线