数学知识学习之——商空间(Quotient Spaces)

数学知识学习之——商空间(Quotient Spaces)

1 定义

商空间(Quotient Spaces)是线性代数中的知识，本质是定义了一个向量空间中满足特定条件的子空间。

首先，定义向量等价的概念：对于某个域$\mathbb{F}$，$V$是$\mathbb{F}$上的一个向量空间，设其存在一个子空间$W$，即$W\subseteq V$，若存在属于$V$的向量$v_1,v_2\in V$，假如二者存在如下关系：
$$v_1-v_2\in W$$
则认为$v_1,v_2$等价，记为$v_1\sim v_2$。向量等价具有推广性，若${v_1} \sim {v_2} ，{v_2} \sim {v_3} $，则${v_1} \sim {v_3} $。

对于属于$V$的向量$v\in V$，可以自然地定义其等价向量的集合为：
v ‾ = v + W = { v + w : w ∈ W } \overline{v} = v + W = \lbrace v + w : w \in W \rbrace v=v+W={v+w:w∈W}
称为$v$的等价类。注意，根据向量等价的推广性，所有等价向量的1等价类都是相同的，即当$v_1\sim v_2$时，$\overline{v_1}=\overline{v_2}$，代表的都是同一个等价类。

向量空间$V$关于$W$的所有等价类的集合，称为商空间，记作：
V / W = { v ‾ : v ∈ V } V/W = \{ \overline{v} : v \in V \} V/W={v:v∈V}

**Example:**对于$V\in {\mathbb{R}}^2$，$W=\mathbb{R}\ast (0,1)$，向量$v_0=(x_0,y_0)$的等价类为 { v : v = ( x 0 , y ) } \{ v: v = (x_0, y) \} {v:v=(x0​,y)}

通过下面这张图直观理解商空间的定义，下图中每个子集合都代表了一个等价类，这些等价类的集合即为商空间。有一种说法即是商空间中的每个等价类最终坍缩到了一个点上，实现了对向量空间的降维。

商空间的性质：

等价类满足线性条件（这是一个well define（无歧义的））：
$$\begin{gathered} \overline{v_1}+\overline{v_2}=\overline{v_1+v_2} \\ \lambda \overline{v}=\overline{\lambda v} \end{gathered}$$
这两个结论可从定义入手，由$W$是线性空间证明。

进一步，从向量空间$V$映射到商空间$V/W$的过程记为商映射(quotient map)$\pi$：
$$\pi :V\to V/W=v\mapsto \overline{v}$$
此映射既是一个线性映射(linear map)，又是一个满射(surjective map，值域中任何元素都有至少有一个变量与之对应)，线性映射$(\pi (v_1+v_2)=\pi (v_1)+\pi (v_2),\pi (\lambda v)=\lambda \pi (v))$)可由等价类的线性条件得证，现在证明商映射为满射：

由满射的定义，Kernel $\pi$的值为

得证。

2 性质

1） 当$V,W$均为有限维时，有${\dim }_{\mathbb{F}}V/W={\dim }_{\mathbb{F}}V-{\dim }_{\mathbb{F}}W$，这说明什么？假如$V\in {\mathbb{R}}^r，W\in {\mathbb{R}}^s$，可知V的一组基${\mathrm{B}}_V=(w_1,w_2,...,w_r)$，若${\mathrm{B}}_W=(w_1,w_2,...,w_s)$，则有${\mathrm{B}}_{V/W}=(w_{s+1},w_{s+2},...,w_r)$。这个结论可以直接使用，证明相对而言比较简单，由基的基本定义和商空间的定义即可得到。

2） 假设存在一个线性映射$\psi :V\to W^{\prime }$，并且$W\subseteq Ker\psi$，则称$\psi$穿越(factors through)了$\pi$。穿越的含义是必然存在且仅存在一个线性映射$\varphi :V/W\to W^{\prime }$，此处的$W^{\prime }$与$W$无特殊关系，仅作表示。上述三个映射存在以下关系$\psi =\varphi \circ \pi$，如下图所示：

证明2）：

先证明$\varphi$存在。将$\varphi :V/W\to W^{\prime }$定义为：
$$\varphi (\bar{v}):=\psi (v)$$
当$\bar{v}=\overline{v_1}$时，显然有$v-v_1\in W$，因此:
$$\psi (v)=\psi (v_1+w)=\psi (v_1)+\psi (w)(w\in W)$$
由于$\psi$是线性映射，上式必然成立，又由于$W\subseteq Ker\psi$，故$\psi (w)=0$，所以
$$\psi (v)=\psi (v_1)$$
这说明，从商空间$V/W$到$W^{\prime }$的映射是成立且well define的，因此肯定有$\psi =\varphi \circ \pi$，并且由$\psi$是线性映射直接推出$\varphi$是线性映射。

再证明$\varphi$的唯一性。假定存在映射$\sigma$也满足上述条件，即$\sigma \circ \pi =\varphi \circ \pi$，对于所有$v\in V$，都有$\sigma (\bar{v})=\varphi (\bar{v})$，而$\pi$是满射的，所以$\sigma =\varphi$。

推论：

假设存在两个向量空间$V_1,V_2\in \mathbb{F}$，其对应的子空间为$W_1,W_2$，各自的商映射为${\pi }_1:V_1\to V_1/W_1;{\pi }_2:V_2\to V_2/W_2$ 。如果$V_1,V_2$之间存在线性映射关系$T:V_1\to V_2,T(W_1)\subseteq W_2$，并定义映射$\tilde{T}:V_1\to V_2/W_2$，即$v_1\to {\pi }_2(T(v_1))$，将会有$W_1\subseteq Ker(\tilde{T})$，根据性质2），可以推知将会存在一个独一无二的线性映射$\bar{T}:V_1/W_1\to V_2/W_2$，满足$\bar{T}\circ {\pi }_1=\tilde{T}$，$\bar{T}$称为诱导映射(induced map)，如下图所示：