4.2.7线性空间关于一个子空间的同余关系 定义给定K上的线性空间V,M是V的子空间,设a是V的一个向量。如果V的 一个向量a'满足:a-a∈M,则称a'与a模M同余,记作a'=a(modM) 易见,同余关系是V上的一个等价关系。 把全部等价类组成的集合(一个等价类视为等价类集合中的一个元素)记为V/M, V/M中的元素形如 a+m={a+luM}, 我们称a+M为一个模M的同余类,而将等价类中的任一元素称为等价类的代表元素。 命题同余类满足如下一些性质:

北京大学：《高等代数》课程教学资源（讲义）第四章 线性空间与线性变换 4.1 线性空间的基本概念 4.1.4 线性空间的基变换，基的过渡矩阵 4.2子空间与商空间 4.2.1 线性空间的子空间的定义

4.2.7线性空间关于一个子空间的同余关系 定义给定K上的线性空间V,M是V的子空间,设a是V的一个向量。如果V的 一个向量a'满足:a-a∈M,则称a'与a模M同余,记作a'=a(modM) 易见,同余关系是V上的一个等价关系

4.2.4子空间的直和与直和的四个等价定义 定义设V是数域K上的线性空间,2…,是V的有限为子空间。若对于∑中任一向量,表达式a=a1+a2+…+am,a1e,i=12,m是唯一的,则称∑V为直和,记为

6.1线性映射 1.令5=(x1,x2,x3)是R3的任意向量.下列映射哪些是R到自身的线性映射?

2.1.4向量组的线性等价和集合上的等价关系 定义(线性等价)给定Km内的两个向量组

2.1.4向量组的线性等价和集合上的等价关系 定义(线性等价)给定Km内的两个向量组

第六章6-2欧氏空间中特殊的线性变换(续) 命题正交矩阵的特征多项式的根的绝对值等于1证明设入∈C是正交矩阵A的特征多项式的根,则≠0.齐次线性方程组(e-a)X=0在C内有非零解向量

定义6设A是线性空间V的一个线性变换,的全体像组成的集合称为 的值域,用AV表示所有被A变成零向量的向量组成的集合称为A的核,用 A-(0)表示 若用集合的记号则AV={A55∈V},a-(0)={A5=0,5∈V} 线性变换的值域与核都是V的子空间 AV的维数称为A的秩,A-(0)的维数称为A的零度

用秩的概念，线性方程组(1)有解的条件可以叙述如下： 定理 7(线性方程组有解判别定理) 线性方程组(1)有解的充要条件为它的系 数矩阵