（丘维声）高等代数课程笔记：商空间

3.14 商空间

定义 1. 商集：集合 $S$ 的一个划分，也称为 $S$ 的一个 商集。

例 1： { 0 ˉ , 1 ˉ , ⋯   , 6 ˉ } \{\bar{0},\bar{1},\cdots,\bar{6} \} {0ˉ,1ˉ,⋯,6ˉ} 是整数集 $\mathbb{Z}$ 的一个划分，记作 $\mathbb{Z}{/}_{(7)}$。

例 2：几何空间 = {以原点 $O$ 为起点的所有向量}，考虑几何空间中一组相互平行的平面。

\quad 显然，几何空间中的平行面，给出了几何空间的一个划分。

\quad 设 ${\pi }_0$ 是几何空间中过原点 $O$ 的一个平面，${\pi }_1$ 是平行于 ${\pi }_0$、且不经过原点的一个平面。显然：

$${\mathbf{\gamma }}_1,{\mathbf{\gamma }}_2\in {\pi }_1,{\mathbf{\gamma }}_2-{\mathbf{\gamma }}_1=\mathbf{\eta }\in {\pi }_0.$$

由平行四边形法则：

$${\mathbf{\gamma }}_1,{\mathbf{\gamma }}_2\in {\pi }_1⟺{\mathbf{\gamma }}_2-{\mathbf{\gamma }}_1=\mathbf{\eta }\in {\pi }_0.$$

---

定义 2. 陪集：设 $V$ 是数域 $K$ 上的一个线性空间，$W$ 是 $V$ 的一个子空间。记

$$\mathbf{\beta }\sim \mathbf{\alpha }:=\mathbf{\beta }-\mathbf{\alpha }\in W,\mathbf{\alpha },\mathbf{\beta }\in V.$$

易证：

（1）反身性：

$$\mathbf{\alpha }-\mathbf{\alpha }=0\in W⟹\mathbf{\alpha }\sim \mathbf{\alpha };$$

（2）对称性：

$$\mathbf{\beta }\sim \mathbf{\alpha }⟹\mathbf{\beta }-\mathbf{\alpha }\in W⟹-(\mathbf{\beta }-\mathbf{\alpha })\in W⟹\mathbf{\alpha }\sim \mathbf{\beta };$$

（3）传递性：

$$\begin{array}{rl}\mathbf{\beta }\sim \mathbf{\alpha },\mathbf{\alpha }\sim \mathbf{\gamma }& ⟹\mathbf{\beta }-\mathbf{\alpha }\in W,\mathbf{\alpha }-\mathbf{\gamma }\in W\\ & ⟹(\mathbf{\beta }-\mathbf{\alpha })+(\mathbf{\alpha }-\mathbf{\gamma })\in W\\ & ⟹\mathbf{\beta }-\mathbf{\gamma }\in W\\ & ⟹\mathbf{\beta }\sim \mathbf{\gamma }.\end{array}$$

因此，“$\sim$” 是 $V$ 上的一个 等价关系。

\quad 进一步地，对于 $\forall \mathbf{\alpha }\in V$，可以定义

α ˉ : = { β ∈ V ∣ β ∼ α } = { β ∈ V ∣ β − α ∈ W } = { β ∈ V ∣ β − α = η , η ∈ W } = { α + η ∈ V ∣ η ∈ W } . \begin{aligned} \bar{\boldsymbol{\alpha}}:&=\{ \boldsymbol{\beta} \in V \mid \boldsymbol{\beta} \sim \boldsymbol{\alpha} \} \\ &= \{ \boldsymbol{\beta} \in V \mid \boldsymbol{\beta} - \boldsymbol{\alpha} \in W \} \\ &= \{ \boldsymbol{\beta} \in V \mid \boldsymbol{\beta} - \boldsymbol{\alpha} = \boldsymbol{\eta} ,\boldsymbol{\eta} \in W\} \\ &= \{ \boldsymbol{\alpha} + \boldsymbol{\eta} \in V \mid \boldsymbol{\eta} \in W \}. \end{aligned} αˉ:​={β∈V∣β∼α}={β∈V∣β−α∈W}={β∈V∣β−α=η,η∈W}={α+η∈V∣η∈W}.​

记

$$\bar{\mathbf{\alpha }}:=\mathbf{\alpha }+W,$$

称 $\mathbf{\alpha }+W$ 为 $W$ 的一个 陪集。

\quad 显然，$\mathbf{\alpha }:=\mathbf{\alpha }+W$，$\mathbf{\alpha }$ 的等价类，$\mathbf{\alpha }$ 为 $\bar{\mathbf{\alpha }}$ 的一个 代表。

---

\quad 下面，研究下陪集的性质。

（1）分析可知，

$$\begin{array}{rl}\mathbf{\beta }\in \bar{\mathbf{\alpha }}:⟺\mathbf{\beta }\in \mathbf{\alpha }+W⟺\mathbf{\beta }& \sim \mathbf{\alpha }⟹\mathbf{\beta }-\mathbf{\alpha }\in W\\ & \Updownarrow \\ \mathbf{\alpha }& \sim \mathbf{\beta }\\ & \Updownarrow \\ \mathbf{\alpha }+W=\bar{\mathbf{\alpha }}& =\bar{\mathbf{\beta }}=\mathbf{\beta }+W.\end{array}$$

显然，陪集 $\mathbf{\alpha }+W$ 的代表不唯一！

（2）由于 $W=0+W$，因此子空间 $W$ 本身也是自身的一个陪集。

（3）由（1）、（2）可知，

$$\mathbf{\gamma }+W=W⟺\mathbf{\gamma }+W=0+W⟺\mathbf{\gamma }-0\in W⟺\mathbf{\gamma }\in W.$$

---

定义3. $V$ 对子空间 $W$ 的商集：由上述等价关系 “$\sim$” 确定的 $V$ 的商集 $V{/}_{\sim }$，记作 $V{/}_W$，称为 $V$ 对子空间 $W$ 的 商集。

V / W : = { α + W ∣ α ∈ V } V \big/ {}_{W}:=\{\boldsymbol{\alpha} + W \mid \boldsymbol{\alpha} \in V\} V/W​:={α+W∣α∈V}

---

\quad 回顾商集的性质（2）：$W=0+W$，类比学过的线性空间，我们似乎找到了商集的一个“零元”，自然而然地，会思考：

可否在商集上定义运算，如加法、数量乘法？

\quad 很容易作如下定义：$\forall \mathbf{\alpha },\mathbf{\beta }\in V$，$\forall k\in K$，

（1）$(\mathbf{\alpha }+W)+(\mathbf{\beta }+W)=(\mathbf{\alpha }+\mathbf{\beta })+W$;

（2）$k\cdot (\mathbf{\alpha }+W)=k\cdot \mathbf{\alpha }+W$.

\quad 那么，这样的定义是否合理呢？我们说是合理的，理由如下。

\quad 对于上面定义的“加法”，设

$$\mathbf{\alpha }+W=\mathbf{\gamma }+W,\mathbf{\beta }+W=\mathbf{\delta }+W$$

显然，$\mathbf{\alpha }-\mathbf{\gamma }\in W$，$\mathbf{\beta }-\mathbf{\delta }\in W$.

从而

$$(\mathbf{\alpha }+\mathbf{\beta })-(\mathbf{\gamma }+\mathbf{\delta })=(\mathbf{\alpha }-\mathbf{\gamma })+(\mathbf{\beta }-\mathbf{\delta })\in W,$$

于是

$$(\mathbf{\alpha }+\mathbf{\beta })+W=(\mathbf{\gamma }+\mathbf{\delta })+W$$

因此，这样定义的“加法运算”是合理的。

这样定义的“加法”，运算的结果唯一，因此是定义良好的。

同样地，对于上面定义的“数乘”，由于

$$k\cdot \mathbf{\alpha }-k\cdot \mathbf{\gamma }=k\cdot (\mathbf{\alpha }-\mathbf{\gamma })\in W,$$

因此

$$k\cdot \mathbf{\alpha }+W=k\cdot \mathbf{\gamma }+W$$

因此，这样定义的“数乘运算”也是合理的。

前面我们说，可能已经找到了商集的一个“零元” $W$，下面进行验证：

$$\begin{array}{rl}W+(\mathbf{\alpha }+W)& =(0+W)+(\mathbf{\alpha }+W)\\ & =(0+\mathbf{\alpha })+W\\ & =\mathbf{\alpha }+W.\end{array}$$

易证，$V{/}_W$ 是数域 $K$ 上的一个线性空间。

---

前面介绍了商空间，下面介绍有关商空间的两个重要定理。

定理 1：设 $V$ 是数域 $K$ 上的一个线性空间，$W$ 是 $V$ 的一个子空间，且 $\dim V=n$，则有：

$$\dim V=\dim V{/}_W+\dim W.$$

证明：

设 ${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_s$ 为 $W$ 的一个基，将其扩展为 $V$ 的一个基：

$${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_s,{\mathbf{\alpha }}_{s+1},\cdots ,{\mathbf{\alpha }}_n.$$

对于 $\forall \mathbf{\alpha }+W\in V{/}_W$，设

$$\mathbf{\alpha }=a_1{\mathbf{\alpha }}_1+a_2{\mathbf{\alpha }}_2+\cdots +a_s{\mathbf{\alpha }}_s+a_{s+1}{\mathbf{\alpha }}_{s+1}\cdots +a_n{\mathbf{\alpha }}_n.$$

则

$$\begin{array}{rl}\mathbf{\alpha }+W& =(a_1{\mathbf{\alpha }}_1+a_2{\mathbf{\alpha }}_2+\cdots +a_s{\mathbf{\alpha }}_s+a_{s+1}{\mathbf{\alpha }}_{s+1}\cdots +a_n{\mathbf{\alpha }}_n)+W\\ & =[(a_1{\mathbf{\alpha }}_1+a_2{\mathbf{\alpha }}_2+\cdots +a_s{\mathbf{\alpha }}_s)+W]+[(a_{s+1}{\mathbf{\alpha }}_{s+1}\cdots +a_n{\mathbf{\alpha }}_n)+W]\\ & =(0+W)+[(a_{s+1}{\mathbf{\alpha }}_{s+1}\cdots +a_n{\mathbf{\alpha }}_n)+W]\\ & =(0+W)+(a_{s+1}{\mathbf{\alpha }}_{s+1}+W)+\cdots +(a_n{\mathbf{\alpha }}_n+W)\\ & =W+a_{s+1}({\mathbf{\alpha }}_{s+1}+W)+\cdots +a_n({\mathbf{\alpha }}_n+W)\\ & =a_{s+1}({\mathbf{\alpha }}_{s+1}+W)+\cdots +a_n({\mathbf{\alpha }}_n+W).\end{array}$$

也就是说，$\forall \mathbf{\alpha }+W\in V{/}_W$ 都可以由 ${\mathbf{\alpha }}_{s+1}+W$，$\cdots$，${\mathbf{\alpha }}_n+W$ 线性表出。

下面再来验证线性无关性，证明 ${\mathbf{\alpha }}_{s+1}+W$，$\cdots$，${\mathbf{\alpha }}_n+W$ 是 $V{/}_W$ 的一个基，设

$$\begin{gathered} k_{s+1}({\mathbf{\alpha }}_{s+1}+W)+\cdots +k_n({\mathbf{\alpha }}_n+W)=0+W=W \\ \Updownarrow \\ (k_{s+1}{\mathbf{\alpha }}_{s+1}+W)+\cdots +(k_n{\mathbf{\alpha }}_n+W)=W \\ \Updownarrow \\ (k_{s+1}{\mathbf{\alpha }}_{s+1}+\cdots +k_n{\mathbf{\alpha }}_n)+W=W \\ \Updownarrow \\ {k}_{s+1}{\mathbf{\alpha }}_{s+1}+\cdots +k_n{\mathbf{\alpha }}_n\in W. \end{gathered}$$

由于 ${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_s$ 是 $W$ 的一个基，因此存在$k_1,k_2,\cdots ,k_s$ 使得

$$k_{s+1}{\mathbf{\alpha }}_{s+1}+\cdots +k_n{\mathbf{\alpha }}_n=k_1{\mathbf{\alpha }}_1+\cdots +k_s{\mathbf{\alpha }}_s.$$

移项，即得：

$$k_1{\mathbf{\alpha }}_1+\cdots +k_s{\mathbf{\alpha }}_s+(-k_{s+1}){\mathbf{\alpha }}_{s+1}+\cdots +(-k_n){\mathbf{\alpha }}_n=0.$$

注意，${\mathbf{\alpha }}_1,{\mathbf{\alpha }}_2,\cdots ,{\mathbf{\alpha }}_s,{\mathbf{\alpha }}_{s+1},\cdots ,{\mathbf{\alpha }}_n$ 是 $V$ 的一个基，因此

$$k_1=k_2=\cdots =k_s=k_{s+1}=\cdots =k_n=0,$$

因此，${\mathbf{\alpha }}_{s+1}+W$，$\cdots$，${\mathbf{\alpha }}_n+W$ 在 $V{/}_W$ 上线性无关。

综上， ${\mathbf{\alpha }}_{s+1}+W$，$\cdots$，${\mathbf{\alpha }}_n+W$ 是 $V{/}_W$ 的一个基。根据基与维数的关系，有

$$\dim V=\dim V{/}_W+\dim W.$$

#

下面再来探究一个与定理 1 相反的情形，即定理 2。

定理 2：设 $V{/}_W$ 的一个基为 ${\mathbf{\beta }}_1+W,{\mathbf{\beta }}_2+W,\cdots ,{\mathbf{\beta }}_t+W$，$U=L({\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,{\mathbf{\beta }}_t)$，则：

（1）$V=W\oplus U$；

（2）${\mathbf{\beta }}_1,{\mathbf{\beta }}_2,\cdots ,{\mathbf{\beta }}_t$ 是 $U$ 的一个基。

证明：

先说明一下思路，对于（1），先证明 $V=W+U$，然后证明是直和，下面开始证明。

任取 $\mathbf{\alpha }\in V$，由于 ${\mathbf{\beta }}_1+W,{\mathbf{\beta }}_2+W,\cdots ,{\mathbf{\beta }}_t+W$ 是 $V{/}_W$ 的一个基，因此存在 $a_1,a_2,\cdots ,a_t\in K$，使得

$$\begin{gathered} \mathbf{\alpha }+W=a_1({\mathbf{\beta }}_1+W)+a_2({\mathbf{\beta }}_2+W)+\cdots +a_t({\mathbf{\beta }}_t+W) \\ \Updownarrow \\ \mathbf{\alpha }-(a_1{\mathbf{\beta }}_1+a_2{\mathbf{\beta }}_2+\cdots +a_t{\mathbf{\beta }}_t)+W=W \\ \Updownarrow \\ \mathbf{\alpha }-(a_1{\mathbf{\beta }}_1+a_2{\mathbf{\beta }}_2+\cdots +a_t{\mathbf{\beta }}_t)\in W \end{gathered}$$

方便起见，作一下化简，设

$$\mathbf{\beta }=a_1{\mathbf{\beta }}_1+a_2{\mathbf{\beta }}_2+\cdots +a_t{\mathbf{\beta }}_t$$

于是

$$\begin{gathered} \mathbf{\alpha }-\mathbf{\beta }\in W \\ \Updownarrow \\ \mathbf{\alpha }-\mathbf{\beta }=\mathbf{\eta }\in W \\ \Updownarrow \\ \mathbf{\alpha }=\mathbf{\beta }+\mathbf{\eta }\in V,\mathbf{\beta }\in U,\mathbf{\eta }\in W. \end{gathered}$$

因此

$$V=U+W.$$

任取 $\mathbf{\gamma }\in W\cap U$，由 $\mathbf{\gamma }\in U$ 可得

$$\mathbf{\gamma }=l_1{\mathbf{\beta }}_1+l_2{\mathbf{\beta }}_2+\cdots +l_t{\mathbf{\beta }}_t,l_1,l_2,\cdots ,l_t\in K.$$

由 $\mathbf{\gamma }\in W$ 可得

$$\begin{gathered} \mathbf{\gamma }\in W⟺\mathbf{\gamma }+W=W=(l_1{\mathbf{\beta }}_1+l_2{\mathbf{\beta }}_2+\cdots +l_t{\mathbf{\beta }}_t)+W \\ \Updownarrow \\ 0+W=(l_1{\mathbf{\beta }}_1+l_2{\mathbf{\beta }}_2+\cdots +l_t{\mathbf{\beta }}_t)+W \end{gathered}$$

可得两个结论：

一方面，

$$\begin{gathered} 0+W=(l_1{\mathbf{\beta }}_1+l_2{\mathbf{\beta }}_2+\cdots +l_t{\mathbf{\beta }}_t)+W \\ \Updownarrow \\ 0+W=l_1({\beta }_1+W)+l_2({\beta }_2+W)+\cdots +l_t({\beta }_t+W) \end{gathered}$$

由于 ${\mathbf{\beta }}_1+W,{\mathbf{\beta }}_2+W,\cdots ,{\mathbf{\beta }}_t+W$ 线性无关，因此

$$l_1=l_2=\cdots =l_t=0.$$

从而 γ = 0 ⟹ W ∩ U = { 0 } ⟹ V = W ⊕ U \boldsymbol{\gamma} = \boldsymbol{0} \Longrightarrow W \cap U = \{\boldsymbol{0}\}\Longrightarrow V = W \oplus U γ=0⟹W∩U={0}⟹V=W⊕U.

另一方面，

$$\begin{gathered} 0+W=(l_1{\mathbf{\beta }}_1+l_2{\mathbf{\beta }}_2+\cdots +l_t{\mathbf{\beta }}_t)+W \\ \Updownarrow \\ {l}_1{\mathbf{\beta }}_1+l_2{\mathbf{\beta }}_2+\cdots +l_t{\mathbf{\beta }}_t=0 \end{gathered}$$

由于 $l_1=l_2=\cdots =l_t=0$，因此 $l_1,l_2,\cdots ,l_t$ 是 $U$ 的一个基。

#

---

参考：

1. 邱维声. 高等代数课程. 哔哩哔哩.
2. 邱维声. 高等代数——大学高等代数课程创新教材（上册），北京：清华大学出版社，2010.06.
3. 邱维声. 高等代数——大学高等代数课程创新教材（下册），北京：清华大学出版社，2010.10.