高等代数 线性空间(第8章)2 同构与商空间

一.域F上线性空间的同构(8.3)

1.线性空间同构
(1)定义:


(2)同构映射的性质:

性质1:$\sigma (0)$是$V^{\prime }$的零元$0^{\prime }$

性质2:对于∀$\alpha \in V$,有$\sigma (-\alpha )=-\sigma (\alpha )$

性质3:对V中任一向量组${\alpha }_1...{\alpha }_s$,F中任意1组元素$k_1...k_s$,有$\sigma (k_1{\alpha }_1+...+k_s{\alpha }_s)=k_1\sigma ({\alpha }_1)+...+k_s\sigma ({\alpha }_s)$

性质4:V中的向量组${\alpha }_1...{\alpha }_s$线性相关当且仅当$\sigma ({\alpha }_1)...\sigma ({\alpha }_s)$是V’中线性相关的向量组

性质5:如果${\alpha }_1...{\alpha }_n$是V的1个基,则$\sigma ({\alpha }_1)...\sigma ({\alpha }_n)$是V’的1个基

性质6:若$\sigma$是$V$到$V^{\prime }$的1个同构映射,则$\sigma$是$V$到$V^{\prime }$的1个可逆的线性映射

(3)同构的判定:

定理1:域F上2个有限维线性空间同构的充要条件是:这2个线性空间的维数相等

推论1:若$\sigma$是V到V’的1个同构映射,则V中向量$\alpha$在基${\alpha }_1...{\alpha }_n$下的坐标$(a_1...a_n{)}^{\prime }$也是V’中向量$\sigma (\alpha )$在基$\sigma ({\alpha }_1)...\sigma ({\alpha }_n)$下的坐标

(4)子空间的同构:

命题1:设$\sigma$是域F上线性空间V到V’的1个同构映射,如果U是V的1个子空间,则$\sigma (U)$是V’的1个子空间;如果U是有限维的,则$\sigma (U)$也是有限维的,且$dim\sigma (U)=dimU$

(5)同构类:

所有同构类组成的集合是数域$K$上所有线性空间组成的集合$\Omega$的1个划分

限制到所有有限维线性空间组成的集合S上,所有同构类组成的集合也是$S$的1个划分

2.有限域的元素个数:

定理2:设$F$是任一有限域,则$F$的元素个数是1个素数$p$的方幂,其中$p$是$F$的特征

3.线性空间的外直和
(1)概念:

(2)维数:

定理3:设$U,W$是域$F$上的2个线性空间,则$U\dot{+}W$是其2个子空间$U\dot{+}0,0\dot{+}W$的直和,其中$U\dot{+}0\cong U,0\dot{+}W\cong W$.如果$U,W$都是域$F$上的有限维线性空间,则$$\dim (U\dot{+}W)=\dim U+\dim W$$

(3)多个线性空间的外直和:

二.商空间(8.4)

集合$V$对于等价关系$R$的划分也称为$V$对于$R$的商集,记为$V/R$或$V_R$

1.商空间
(1)商空间的概念:

注意:商空间$V/W$的1个元素是$V$的1个等价类,而不是$V$中的1个向量

(2)商空间的维数:

定理4:设$V$是域$F$上的1个有限维线性空间,$W$是$V$的1个子空间,则$$dim(V/W)=dimV-dimW(8)$$

(3)商空间与补空间:

定理5:如果商空间$V/W$的1个基为${\beta }_1+W,{\beta }_2+W,...,{\beta }_t+W$,令$U=<{\beta }_1,{\beta }_2...{\beta }_t>$,则$V=W\oplus U$,即$U$是$W$的补空间,且${\beta }_1,{\beta }_2...{\beta }_t$是$U$的1个基

注意:这里的$V$和$W$都可以是无限维的,但要求$V/W$和$U$是有限维的
因此,无限维的子空间$W$也具有补空间,从而域$F$上线性空间$V$的任一子空间都有补空间
这是对 线性空间.线性空间与子空间.二.3.(3) 部分命题3的推广
更进一步的推广见 二.3.(3) 部分命题2

2.余维数:



3.标准映射
(1)概念:


(2)标准映射与补空间:

这也就是 线性空间.线性空间与子空间.二.3.(3) 部分命题3’的证明
命题2:域$F$上线性空间$V$的任一子空间$W$都有补空间$U$


该命题表明,如果知道了商空间$V/W$的1个基,那么$V=W\oplus U$,这样$V$就有了1个直和式分解;这是可以利用商空间研究线性空间的结构的道理之三

附录.集合的划分,等价关系,等价类
1.集合的划分:

2.等价关系与等价类
(1)二元关系:

二元关系:设$S$是1个非空集合,$S\times S$($S$和$S$的笛卡儿积)的1个子集$W$称为$S$上的1个二元关系
若$(a,b)\in W$,则称$a$与$b$具有$W$关系,记作$a{\sim }_{W}b$或$a\sim b$
若$(a,b)\notin W$,则称$a$与$b$没有$W$关系

(2)等价关系

等价关系:满足反身性(或称自反性),对称性,传递性的二元关系称为等价关系

(3)等价类:

等价类:设R是定义在集合S中的等价关系,a为S中的某个元素,则S中和a具有关系R的所有元素的集合称为关于R的等价类,记作$[a{]}_R,a$称为该等价类的1个代表;当只考虑1个关系时,可以省去下标R,简记作[a]
注意:①也可以称为S的1个等价类
②1个等价类的代表不唯一,其中的任何1个元素都可以作为代表;
③当选定某等价类的代表为$a_0$时,可以称该等价类为a₀的(关于R的)等价类,记作 a 0 ˉ : = { x ∈ S   ∣   x ∼ a 0 } \bar{a_0}:=\{x∈S\,|\,x\sim a_0\} a0​ˉ​:={x∈S∣x∼a0​}

(4)等价类的性质:

性质1:$\bar{a}=\bar{b}$的充要条件是:$a\sim b$

性质2:若$\bar{a}\ne \bar{b}$,则$\bar{a}\cap \bar{b}=\Phi$

(5)所有等价类构成集合的1个划分:

定理2:如果集合$S$上有1个等价关系$R$,那么所有关于$R$的等价类组成的集合就是$S$的1个划分

反之,如果集合$S$有1个划分,那么一定可以在$S$上建立1个等价关系R,使得这个划分是由关于$R$的所有等价类组成的