精华内容
下载资源
问答
  • 线性代数基础概念与重要定义汇总

    千次阅读 多人点赞 2020-06-01 11:07:28
    行列式定义\color{red}\textbf{行列式定义}行列式定义 行列式的定义依赖于逆序数全排列, 行列式计算以及性质\color{red}\textbf{行列式计算以及性质}行列式计算以及性质 行列式的计算除了直接用定义以外,可以...

    马上要开始一大波夏令营面试了,前不久thu叉院的一面问到了概率分布,没有准备好,用了一周左右的时间断断续续的复习了一下线性代数,后面再概率论吧,主要总结了一些基础知识,概念和性质。

    一、行列式-计算方法与重要性质

    行列式定义 \color{red}\textbf{行列式定义} 行列式定义
    行列式的定义依赖于逆序数与全排列,需要注意的是,行列式只是方阵的概念。
    在这里插入图片描述


    行列式计算以及性质 \color{red}\textbf{行列式计算以及性质} 行列式计算以及性质
    行列式的计算除了直接用定义以外,可以使用如下性质进行计算的简化。

    1、三角形行列式的值,等于对角线元素的乘积。计算时,一般需要多次运算来把行列式转换为上三角型或下三角型
    2、交换行列式中的两行(列),行列式变号(交换)
    3、行列式中某行(列)的公因子,可以提出放到行列式之外。(倍乘)(注:矩阵是全部元素都乘,都提取)
    4、行列式的某行乘以a,加到另外一行,行列式不变,常用于消去某些元素。(倍加)
    5、若行列式中,两行(列)完全一样,则行列式为0;可以推论,如果两行(列)成比例,行列式为0。
    6、行列式展开:行列式的值,等于其中某一行(列)的每个元素与其代数余子式乘积的和;但若是另一行(列)的元素与本行(列)的代数余子式乘积求和,则其和为0


    行列式重要公式 \color{red}\textbf{行列式重要公式} 行列式重要公式

    在这里插入图片描述
    拉普拉斯展开式中,m,n分别是A,B矩阵的阶数。


    方阵的行列式 \color{red}\textbf{方阵的行列式} 方阵的行列式

    • ∣ A T ∣ = ∣ A ∣ |A^T|=|A| AT=A
    • ∣ k A ∣ = k n ∣ A ∣ |kA|=k^n|A| kA=knA
    • ∣ A B ∣ = ∣ A ∣ ∣ B ∣ |AB|=|A||B| AB=AB
    • ∣ A ∗ ∣ = ∣ A ∣ n − 1 |A^*|=|A|^{n-1} A=An1,A是n阶矩阵。
    • ∣ A ∣ − 1 = ∣ A − 1 ∣ |A|^{-1}=|A^{-1}| A1=A1
    • A的行列数是A所有特征值的乘积。

    相关博文:

    https://blog.csdn.net/xuejianbest/article/details/85051344utm_medium=distribute.pc_relevant.none-task-blog-baidujs-2
    https://blog.csdn.net/xuejianbest/article/details/85050784?ops_request_misc=&request_id=&biz_id=102&utm_term=%E8%A1%8C%E5%88%97%E5%BC%8F&utm_medium=distribute.pc_search_result.none-task-blog-2allsobaiduweb~default-6-85050784
    https://blog.csdn.net/wuxintdrh/article/details/98424632?ops_request_misc=&request_id=&biz_id=102&utm_term=%E8%A1%8C%E5%88%97%E5%BC%8F%E7%9A%84%E4%B8%BB%E8%A6%81%E5%85%AC%E5%BC%8F&utm_medium=distribute.pc_search_result.none-task-blog-2allsobaiduweb~default-0-98424632

    二、矩阵的秩,特征值与特征多项式

    矩阵的特征值刻画矩阵的奇异性、反映矩阵所有对角元素的结构、刻画矩阵的正定性。


    秩 \color{red}\textbf{秩}
    一个矩阵A的列秩是A的线性独立的纵列的极大数目。类似地,行秩是A的线性无关的横行的极大数目。即如果把矩阵看成一个个行向量或者列向量,秩就是这些行向量或者列向量的秩,也就是极大无关组中所含向量的个数。

    如果A中,存在一个i阶子式不为0,且所有i+1阶子式对应的行列式值为0,那么r(A)=i(所谓的i阶子式即在矩阵中人去一个i*i的方阵)

    求矩阵的秩时,除了利用定义法和上面的观察法,主要是通过性质,经过初等变换,矩阵秩不变。若A可逆,则r(AB)=r(BA)=r(B)


    特征值与特征向量 \color{red}\textbf{特征值与特征向量} 特征值与特征向量
    在这里插入图片描述
    物理意义:我们可以将矩阵看成是一个力的混合体,但需要注意的是,这个力的混合体中各个力是相互独立的!即特征向量之间线性无关,是无法做力的合成(这里只是假设其无法合成,有更好的解释以后会补充)的。其中力的个数为矩阵的秩,力的大小为特征值的大小,力的方向即为特征向量的方向

    详细解释见深度理解矩阵的奇异值,特征值

    特征多项式 \color{red}\textbf{特征多项式} 特征多项式
    A为n阶矩阵,若数λ和n维非0列向量x满足Ax=λx,那么数λ称为A的特征值,x称为A的对应于特征值λ的特征向量。式Ax=λx也可写成( A-λE)x=0,并且|λE-A|叫做A 的特征多项式。当特征多项式等于0的时候,称为A的特征方程,特征方程是一个齐次线性方程组,求解特征值的过程其实就是求解特征方程的解。
    在这里插入图片描述


    特征值相关的重要性质 \color{red}\textbf{特征值相关的重要性质} 特征值相关的重要性质

    • A A A是n阶矩阵, λ 1 , . . , λ n \lambda_1,..,\lambda_n λ1,..,λn是矩阵 A A A的特征值,那么我们有如下两条性质 1 : ∑ λ i = ∑ a i i , 2 : ∏ λ i = ∣ A ∣ 1:\sum\lambda_i=\sum a_{ii},2:\prod\lambda_i=|A| 1:λi=aii2:λi=A
    • 不同特征值对应的特征向量线性无关。
    • 实对阵矩阵 A A A的不同特征值 λ i \lambda_i λi所对应的特征向量 α i \alpha_i αi必然正交。实对称矩阵A的特征值都是实数,特征向量都是实向量。
    • 下三角矩阵,上三角矩阵,对角矩阵的特征值就是矩阵主对角线上的元素。

    三、逆,奇异,正交,伴随,实对称,正定矩阵

    理解矩阵 \color{red}\textbf{理解矩阵} 理解矩阵
    一片很好的文章,在线性空间中,当你选定一组基之后,不仅可以用一个向量来描述空间中的任何一个对象,而且可以用矩阵来描述该空间中的任何一个运动(变换)。而使某个对象发生对应运动的方法,就是用代表那个运动的矩阵,乘以代表那个对象的向量。

    简而言之,在线性空间中选定基之后,向量刻画对象,矩阵刻画对象的运动,用矩阵与向量的乘法施加运动。这就是线性代数中所说的坐标变换

    是的,矩阵的本质是运动的描述。如果以后有人问你矩阵是什么,那么你就可以响亮地告诉他,矩阵的本质是运动的描述。(chensh,说你呢!)


    矩阵的逆以及计算 \color{red}\textbf{矩阵的逆以及计算} 矩阵的逆以及计算

    A A A n n n阶矩阵,如果存在 n n n阶矩阵 B B B,使得 A B = B A = E ( 单 位 矩 阵 ) AB=BA=E(单位矩阵) AB=BA=E()成立,那么称 A A A可逆矩阵或者非奇异矩阵

    求出逆矩阵的3种手算方法:

    • 待定系数法:对矩阵 A A A,直接设一个全为未知数的矩阵 B B B,使得 A B = E AB=E AB=E,解方程得到 B B B的所有值。
    • 伴随矩阵法、A的伴随矩阵是一个n×n的矩阵(记作adj(A)),使得其第i 行第j 列的元素是A关于第j 行第i 列的代数余子式。
    • 初等变换法(初等行变化用的比较多),将矩阵 A A A,增广为 A ∣ E A|E AE的形式,通过初等变化将其变为 E A − 1 EA^{-1} EA1

    这三种方法百度百科讲的无比清楚


    奇异矩阵和非奇异矩阵 \color{red}\textbf{奇异矩阵和非奇异矩阵} 奇异矩阵和非奇异矩阵
    以下内容来自于这里

    首先需要说明的值奇异矩阵和非奇异矩阵都是针对方阵而言的。奇异矩阵是线性代数的概念,就是对应的行列式等于0的矩阵

    非奇异矩阵的英文是nonsingular matrices,从对应的英文单词nonsingular上来讲,singular有一个含义是单数的,那么nonsingular是非单数,与非奇异矩阵的性质对上了,即有矩阵A,矩阵B,满足条件:AB=BA=I,I是一个单元矩阵,那么矩阵A和矩阵B均为非奇异矩阵。非奇异,即A不是单个的,是成对的。

    奇异矩阵的判定方法:

    行列式|A|是否等于0,若等于0,称矩阵A为奇异矩阵;

    非奇异矩阵的判定方法:

    一个矩阵非奇异当且仅当它的行列式不为零。
    一个矩阵非奇异当且仅当它代表的线性变换是个自同构。
    一个矩阵非奇异当且仅当它的秩为n。
    (R(A)<n则行列式为0) 可逆矩阵就是非奇异矩阵,非奇异矩阵也是可逆矩阵。**


    正交矩阵及其性质 \color{red}\textbf{正交矩阵及其性质} 正交矩阵及其性质
    如果: A A T = E AA^T=E AAT=E(E为单位矩阵, A T A^T AT表示“矩阵A的转置矩阵”。)或 A T A = E A^TA=E ATA=E,则 n n n阶实矩阵 A A A称为正交矩阵。

    正交矩阵的性质:

    1) A T A^T AT是正交矩阵
    2) A A A各行是单位向量且两两正交
    3) A A A各列是单位向量且两两正交
    4) ∣ A ∣ = 1 |A|=1 A=1或-1


    实对称矩阵 \color{red}\textbf{实对称矩阵} 实对称矩阵

    如果有n阶矩阵A,其矩阵的元素都为实数,且矩阵A的转置等于其本身(aij=aji)(i,j为元素的脚标),则称A为实对称矩阵。
    主要性质:
    1.实对称矩阵A的不同特征值对应的特征向量是正交的。
    2.实对称矩阵A的特征值都是实数,特征向量都是实向量。
    3.n阶实对称矩阵A必可相似对角化,且相似对角阵上的元素即为矩阵本身特征值。
    4.若A具有k重特征值λ0 必有k个线性无关的特征向量,或者说秩r(λ0E-A)至多为n-k,其中E为单位矩阵。


    正定,半正定矩阵定义与重要性质 \color{red}\textbf{正定,半正定矩阵定义与重要性质} 正定,半正定矩阵定义与重要性质

    在线性代数里,正定矩阵 (positive definite matrix) 有时会简称为正定阵。在线性代数中,正定矩阵的性质类似复数中的正实数。与正定矩阵相对应的线性算子是对称正定双线性形式(复域中则对应埃尔米特正定双线性形式)。

    (1)广义定义:设 M M M n n n方阵,如果对任何非零向量 z z z,都有 z T M z > 0 \mathbf{z^TMz> 0} zTMz>0,其中 z T z^T zT 表示 z z z的转置,就称 M M M为正定矩阵。

    例如:B为n阶矩阵,E为单位矩阵,a为正实数。在a充分大时,aE+B为正定矩阵。(B必须为对称阵)

    (2)狭义定义:一个 n n n阶的实对称矩阵M是正定的的条件是当且仅当对于所有的非零实系数向量z,都有 z T M z > 0 z^TMz> 0 zTMz>0。其中 z T z^T zT表示 z z z的转置。


    重要性质:

    正定矩阵有以下性质 :
    (1)正定矩阵的行列式恒为正;
    (2)实对称矩阵A正定当且仅当A与单位矩阵合同;
    (3)若A是正定矩阵,则A的逆矩阵也是正定矩阵;
    (4)两个正定矩阵的和是正定矩阵;
    (5)正实数与正定矩阵的乘积是正定矩阵。


    等价命题:

    对于n阶实对称矩阵A,下列条件是等价的:
    (1)A是正定矩阵;
    (2)A的一切顺序主子式均为正;
    (3)A的一切主子式均为正;
    (4)A的特征值均为正;
    (5)存在实可逆矩阵C,使A=C′C;
    (6)存在秩为n的m×n实矩阵B,使A=B′B;
    (7)存在主对角线元素全为正的实三角矩阵R,使A=R′R [3] 。


    判定方法:

    根据正定矩阵的定义及性质,判别对称矩阵A的正定性有两种方法:
    (1)求出A的所有特征值。若A的特征值均为正数,则A是正定的;若A的特征值均为负数,则A为负定的。
    (2)计算A的各阶主子式。若A的各阶主子式均大于零,则A是正定的;若A的各阶主子式中,奇数阶主子式为负,偶数阶为正,则A为负定的。

    四、向量组与线性相关(无关)

    线性无关的定义 \color{red}\textbf{线性无关的定义} 线性无关的定义
    在线性代数里,矢量空间的一组元素中,若没有矢量可用有限个其他矢量的线性组合所表示,则称为线性无关或线性独立 (linearly independent),反之称为线性相关(linearly dependent)。

    线性相关(Linear dependent)与线性无关(Linear independent)对于理解子空间的基,子空间的维数,以及矩阵的秩等等是重要的.

    数学定义:

    如果线性空间X中的向量组 x 1 , x 2 , . . . , x j \mathbf{x_1,x_2,...,x_j} x1,x2,...,xj存在如下线性关系:

    k 1 x 1 + k 2 x 2 + , . . . , + k j x j = 0 , \mathbf{k_1x_1+k_2x_2+,...,+k_jx_j=0, } k1x1+k2x2+,...,+kjxj=0,

    其中 k 1 , . . . , k j k_1,...,k_j k1,...,kj不全为零的实数.则称 x 1 , x 2 , . . . , x j \mathbf{x_1,x_2,...,x_j} x1,x2,...,xj线性相关.如果只有当 k 1 , . . . , k j k_1,...,k_j k1,...,kj全为零时才满足上式,则称 x 1 , x 2 , . . . , x j \mathbf{x_1,x_2,...,x_j} x1,x2,...,xj线性无关.


    向量组的秩 \color{red}\textbf{向量组的秩} 向量组的秩
    通俗的说,就是把这一组向量中的垃圾向量踢出后剩下的高品质向量的个数,假设这一组有5个向量,踢出两个垃圾,还剩3个。

    那么这个向量组的秩就是3。那什么是垃圾向量呢?就是能被别人线性表示的向量。比如说向量α1能被α2和α3线性表示,也就是它的工作能被别人取代。那么α1就是垃圾向量!

    正式定义:

    一个向量组的极大线性无关组所包含的向量的个数,称为向量组的秩;若向量组的向量都是0向量,则规定其秩为0.向量组α1,α2,···,αs的秩记为R{α1,α2,···,αs}或rank{α1,α2,···,αs}。

    极大线性无关组:

    极大线性无关组(maximal linearly independent system)是线性空间的基对向量集的推广。设V是域P上的线性空间,S是V的子集。若S的一部分向量线性无关,但在这部分向量中,加上S的任一向量后都线性相关,则称这部分向量是S的一个极大线性无关组。V中子集的极大线性无关组不是惟一的,例如,V的基都是V的极大线性无关组。它们所含的向量个数(基数)相同。V的子集S的极大线性无关组所含向量的个数(基数),称为S的秩。只含零向量的子集的秩是零。V的任一子集都与它的极大线性无关组等价。特别地,当S等于V且V是有限维线性空间时,S的秩就是V的维数。–百度百科

    五、线性方程组的解,与秩的关系

    先给出两个写的很好的blog,12,然后结合他俩&书总结一下。

    线性方程组什么时候无解?多个解?唯一解? \color{red}\textbf{线性方程组什么时候无解?多个解?唯一解?} 线性方程组什么时候无解?多个解?唯一解?
    非 齐 次 线 性 方 程 组 非齐次线性方程组 线
    非齐次线性方程组:化简后的有效方程组个数小于未知数个数,有多个解
    非齐次线性方程组:化简后的有效方程组个数等于未知数个数,有唯一解
    非齐次线性方程组:化简后的有效方程组出现(0=d)型式不兼容方程,则无解 。

    下面从左到右依次是原方程,增广矩阵(非齐次线性方程组,就是方程组的等式右边不为0的方程组,系数加上方程等式右边的矩阵,叫做增广矩阵),以及化简后的增广矩阵,化简后的方程组。
    在这里插入图片描述
    这样,x2可以通过x3来表示,x1也可以通过x3来表示,这样x3就叫做自由变量,x3可以取任意值。所以x1,x2,x3就有无穷多个解。即化简后的有效方程组个数,小于未知数个数。这样的方程组有无穷多个解


    齐 次 线 性 方 程 组 齐次线性方程组 线

    齐次线性方程组,就是方程组的等式右边全部是0的方程组,只有系数矩阵,不需要增广矩阵,所以不会出现{0=d}形式的不相容方程。所以不会出现无解的情况,那么显然,齐次线性方程组的秩与其系数矩阵的秩肯定是相等(因为增广了一列0,不影响秩的,也就是说它肯定有解。这个也好理解,零向量肯定是他的解嘛。关键问题在于,它什么时候会有非零解

    对于Ax=0的齐次线性方程组,列出其系数矩阵(不需要增广矩阵),使用高斯消元法化简,化为阶梯形矩阵,化简后,判断有效方程组个数是否小于未知数个数,

    如果有效方程组个数小于未知数个数,叫做有非零解(多个解)
    如果等于,叫做只有零解(唯一解)


    通过矩阵的秩判断线性方程组的解 \color{red}\textbf{通过矩阵的秩判断线性方程组的解} 通过矩阵的秩判断线性方程组的解
    线性方程组什么时候无解,有多个解,唯一解?

    对于非齐次线性方程组,用矩阵的秩r(A)来判断

    对线性方程组进行初等变换(高斯消元法),化为最简型(阶梯形)矩阵,

    考查系数矩阵 r ( A ) r(A) r(A),增广矩阵 r ( A , b ) r(A,b) r(A,b),以及方程组未知数个数 n n n

    • 如果系数矩阵的秩 r ( A ) r(A) r(A)小于增广矩阵的秩 r ( A , b ) r(A,b) r(A,b) r ( A ) < r ( A , b ) r(A)<r(A,b) r(A)<r(A,b),那么方程组无解 r ( A ) < r ( A , b ) r(A)<r(A,b) r(A)<r(A,b),那么方程组无解,即 b b b不能由 A A A的列向量线性表出;
    • 如果系统矩阵的秩小于方程组未知数个数, r ( A ) = r ( A , b ) < n r(A)=r(A,b)<n r(A)=r(A,b)<n,那么方程组有多个解 r ( A ) = r ( A , b ) < n r(A)=r(A,b)<n r(A)=r(A,b)<n,那么方程组有多个解。
    • 如果系统矩阵的秩等于方程组未知数个数, r ( A ) = r ( A , b ) = n r(A)=r(A,b)=n r(A)=r(A,b)=n,那么方程组有唯一解 r ( A ) = r ( A , b ) = n r(A)=r(A,b)=n r(A)=r(A,b)=n,那么方程组有唯一解。

    对于齐次线性方程组,用行列式的值 detA来判断。

    • 不存在无解的情况

    • r ( A ) < n r(A)<n r(A)<n时,等价于 A A A的列向量线性相关,那么方程的数目小于未知数的数目,一定有非零解。

    • r ( A ) = n r(A)=n r(A)=n,即 ∣ A ∣ ≠ 0 |A|≠0 A=0 A A A满秩,则只有零解(只有唯一解)

    • 设齐次方程组系数矩阵的秩 r ( A ) = r < n r(A)=r<n r(A)=r<n,则 A x = 0 Ax=0 Ax=0的基础解系由 n − r ( A ) n-r(A) nr(A)个线性无关的解向量所构成。


    线性方程组的求解 \color{red}\textbf{线性方程组的求解} 线性方程组的求解
    写出系数矩阵 -> 行初等变换为行简化矩阵 -> 求基础解系 -> 写出通解

    这个例子还不错,就是增广矩阵不断的进行初等变换,化为行最简矩阵(在阶梯形矩阵中,若非零行的第一个非零元素全是1,且非零行的第一个元素1所在列的其余元素全为零,就称该矩阵为行最简形矩阵。)
    在这里插入图片描述
    然后每个方程中的第一个未知量通常称为主变量,其余的未知量称之为自由变量。对自由变量 x 1 , . . . , x k x_1,...,x_k x1,...,xk依次取1,其余取0时求得的解向量即方程的一个解向量,有多少个自由变量,就能求出多少解向量。总结一下:

    在这里插入图片描述

    对非齐次线性方程组而言:
    在这里插入图片描述

    六、二次型的基本内容和重要结论

    二次型的定义 \color{red}\textbf{二次型的定义} 二次型的定义

    二次型(quadratic-form):n个变量的二次多项式称为二次型,即在一个多项式中,未知数的个数为任意多个,但每一项的次数都为2的多项式。线性代数的重要内容之一,它起源于几何学中二次曲线方程和二次曲面方程化为标准形问题的研究。二次型理论与域的特征有关。

    二次型是n个变量上的二次齐次多项式。下面给出一个、两个、和三个变量的二次形式:(注意齐次这个定义很重要,每一项都是二次的,而不是二次函数可以有一次项,可以有常数项。)

    在这里插入图片描述
    将上面的多项式写成矩阵的形式:
    f ( x 1 , x 2 , . . . , x i ) = x T A x f(x_1,x_2,...,x_i)=\mathbf{x^TAx} f(x1,x2,...,xi)=xTAx
    其中 A = [ a i j ] \mathbf{A}=[a_{ij}] A=[aij] A T = A \mathbf{A}^T=\mathbf{A} AT=A是一个对称矩阵,那么称 A A A二次型的矩阵,秩 r ( A ) r(A) r(A)称为二次型的秩,记为 r ( f ) r(f) r(f)


    标准形,规范形,正定二次型 \color{red}\textbf{标准形,规范形,正定二次型} 标准形,规范形,正定二次型

    1. 标准形:如果二次型中只含有变量的平方项
    2. 规范形:在标准形中,各平方项的系数为1,-1,0。
    3. 正负惯性指数:在二次型 x T A x x^TAx xTAx的标准形中,正平方项的个数称为二次型的正惯性指数,负平方项的系数称为二次型的负惯性指数。
    4. 正定二次型:对二次型 x T A x x^TAx xTAx,如果对任何 x ≠ 0 x\neq0 x=0,恒友 x T A x > 0 x^TAx>0 xTAx>0,则称二次型是正定二次型,且实对称矩阵 A A A正定矩阵
    展开全文
  • 《新编数学信息类专业系列教材:高等代数与符号运算》是为适应现代计算技术、工程应用、应用数学研究及数学应用数学等专业高等代数教学需要而编写的,全书共分9章,包括矩阵理论初步、多项式、行列、线性方程...
  • 抽象代数 01.01 群-运算及关系

    千次阅读 2019-04-26 20:05:38
    http://www.icourses.cn 南开大学《抽象代数》 ...抽象代数的研究对象是代数体系,即带有运算的集合,例如群、环、域。本书假定读者已经了解集合映射的基本知识,下面仅介绍一下映射的嵌入开...

    http://www.icourses.cn 南开大学《抽象代数》

    第一章 群 \color{blue}{\text{第一章 群}} 第一章 

    § 1.1 运 算 及 关 系 \color{blue}{\text{\S}1.1 运算及关系 } §1.1

    抽象代数的研究对象是代数体系,即带有运算的集合,例如群、环、域。本书假定读者已经了解集合与映射的基本知识,下面仅介绍一下映射的嵌入与开拓、映射的交换图以及直积集合的概念。
    定 义 1.1.1 设 A 0 是 集 合 A 的 非 空 子 集 , 定 义 A 0 到 A 的 映 射 i 如 下 {\color{blue}{定义 1.1.1} \quad} 设A_0是集合A的非空子集,定义A_0到A的映射i如下 1.1.1A0AA0Ai
    i ( x ) = x , ∀ x ∈ A 0 \qquad i(x) = x, \forall x \in A_0 i(x)=x,xA0
    则 i 称 为 A 0 到 A 的 嵌 入 映 射 。 则i称为A_0到A的\color{blue}{嵌入映射}。 iA0A

    定 义 1.1.2 设 A 0 是 集 合 A 的 非 空 子 集 , f 是 A 0 到 集 合 B 的 映 射 , 若 有 A 到 B 的 映 射 g , 使 {\color{blue}定义 1.1.2 \quad }设A_0是集合A的非空子集,f是A_0到集合B的映射,若有A到B的映射g,使 1.1.2A0AfA0BABg,使
    g ( x ) = f ( x ) , ∀ x ∈ A 0 . \qquad g(x) = f(x), \quad \forall x \in A_0. g(x)=f(x),xA0.
    则 称 g 为 f 的 开 拓 映 射 , 称 f 为 g 在 A 0 上 的 限 制 映 射 , 并 记 则称g为f的{\color{blue}开拓映射},称f为g在A_0上的{\color{blue}限制映射},并记 gf,fgA0,
    f = g ∣ A 0 . \qquad f = g | _{A_0}. f=gA0.
    直观上,开拓映射是把一个映射的定义域扩大;限制映射是把一个映射的定义域缩小。从这个意义上说,嵌入映射是把一个恒等映射值域所在的集合扩大。嵌入映射一定是单射,不一定是满射。开拓映射既不一定是单射,也不一定是满射。
    定 义 1.1.3 一 个 映 射 如 果 能 表 成 某 几 个 映 射 的 连 续 作 用 ( 也 称 映 射 的 乘 积 ) 的 结 果 , {\color{blue}定义 1.1.3 \quad}一个映射如果能表成某几个映射的连续作用(也称映射的乘积)的结果, 1.1.3()
    又 能 表 成 另 几 个 映 射 的 连 续 作 用 的 结 果 , 例 如 有 f 3 f 2 f 1 = g 2 g 1 , 就 可 有 下 边 的 示 意 图 : 又能表成另几个映射的连续作用的结果,例如有f_3f_2f_1 = g_2g_1,就可有下边的示意图: f3f2f1=g2g1,:
    cxts_T1.0001
    则 称 上 图 为 映 射 的 交 换 图 . 则称上图为{\color{blue}映射的交换图}. .
    例 1 设 f 是 A 0 到 B 的 映 射 , A 0 是 A 的 子 集 , i 是 A 0 到 A 的 嵌 入 映 射 , g 是 A 到 B 的 映 射 , {\color{blue}例1} \quad 设f是A_0到B的映射,A_0是A的子集,i是A_0到A的嵌入映射,g是A到B的映射, 1fA0BA0AiA0AgAB
    且 g 是 f 的 开 拓 映 射 , 则 下 面 的 图 是 交 换 图 : 即 有 g ⋅ i = f 。 且g是f的开拓映射,则下面的图是交换图:即有g \cdot i = f。 gf:gi=f
    cxts_T1.0002
    定 义 1.1.4 设 A , B 是 两 个 集 合 , 则 称 {\color{blue}定义 1.1.4 \quad } 设A,B是两个集合,则称 1.1.4AB
    A × B = { ( a , b ) ∣ a ∈ A , b ∈ B } \qquad A \times B = \lbrace (a, b) | a \in A, b \in B \rbrace A×B={(a,b)aA,bB}
    为 A 与 B 的 直 积 集 合 为A与B的{\color{blue}直积集合} AB
    类 似 的 , 可 以 定 义 有 限 多 个 ( k 个 ) 集 合 的 直 积 集 合 : 类似的,可以定义有限多个(k个)集合的直积集合: (k):
    A 1 × ⋯ × A k = { ( a 1 , ⋯ &ThinSpace; , a k ) ∣ a i ∈ A i , i = 1 , ⋯ &ThinSpace; , k } A_1 \times \cdots \times A_k = \lbrace (a_1, \cdots, a_k) | a_i \in A_i, i = 1, \cdots, k \rbrace A1××Ak={(a1,,ak)aiAi,i=1,,k}
    我们要研究的是带有运算的集合,对于数集中的运算,例如加法和乘法运算,我们是熟悉的。他们的本质都在于,由数集中的一个元素,可以按照某种法则唯一地确定数集中的一个元素。在线性代数中我们又学习到线性空间中的“数乘”运算,其本质在于,由数集中的一个元素和向量集中的一个元素,按照某种法则,可以唯一地确定向量中的一个元素。
    现在我们把上述本质抽象出来,利用集合、直积集合和映射的概念,来定义“代数运算”这一概念。
    定 义 1.1.5 设 A , B , D 均 是 非 空 集 合 , 则 A × B 到 D 的 任 一 映 射 f , 称 为 A 与 B 到 D 的 一 个 代 数 运 算 。 {\color{blue}定义1.1.5} 设A,B,D均是非空集合,则A \times B 到D的任一映射f,称为A与B到D的一个{\color{blue}代数运算}。 1.1.5ABDA×BDfABD
    这 就 是 说 , 若 由 a ∈ A , b ∈ B , 则 ( a , b ) ∈ A × B , f ( ( a , b ) ) = d ∈ D , 即 a 与 b 唯 一 地 确 定 d , 我 们 就 说 a 与 b 运 算 的 结 果 是 d 。 这就是说,若由a \in A, b \in B, 则(a, b) \in A \times B,f((a, b)) = d \in D,即a与b唯一地确定d,我们就说a与b运算的结果是d。 aA,bB,(a,b)A×Bf((a,b))=dDabdabd
    为 简 单 , 常 记 f ( ( a , b ) ) 为 a ∘ b , 于 是 上 面 的 运 算 就 写 成 a ∘ b = d 。 为 了 区 别 不 同 的 运 算 法 则 , 我 们 有 时 也 把 代 数 运 算 的 符 号 “ ∘ ” 改 记 为 “ + ” 或 “ × ” , 于 是 就 有 了 为简单,常记f((a,b))为a \circ b,于是上面的运算就写成 a \circ b = d。为了区别不同的运算法则,我们有时也把代数运算的符号“\circ”改记为“+”或“\times”,于是就有了 f((a,b))ab,ab=d+×
    3 + 5 = 8 和 3 × 5 = 15 \qquad 3 + 5 = 8 和 3 \times 5 = 15 3+5=83×5=15
    的 写 法 , 也 有 了 “ 加 法 ” 、 “ 乘 法 ” 以 及 “ 数 乘 ” 等 关 于 运 算 的 叫 法 。 在 乘 法 或 数 乘 等 运 算 的写法,也有了“加法”、“乘法”以及“数乘”等关于运算的叫法。在乘法或数乘等运算
    中 , 我 们 常 常 把 符 号 “ ∘ ” 省 去 , 记 a ∘ b 为 a b 。 中,我们常常把符号“\circ”省去,记a \circ b 为ab。 abab
    例 2 设 V 是 n 维 欧 氏 空 间 , R 是 实 数 集 , 则 求 V 中 两 个 向 量 α , β 的 内 积 , 就 是 V 与 V 到 {\color{blue}例2 \quad}设V是n维欧氏空间,\mathbb{R}是实数集,则求V中两个向量 \alpha, \beta 的内积,就是V与V到 2VnRVα,βVV
    R 的 一 个 代 数 运 算 。 \mathbb{R}的一个代数运算。 R
    例 3 设 A = { 1 , 2 } , B = { 1 , 2 } , D = { 奇 , 偶 } , f 是 一 个 A × B 到 D 的 映 射 如 下 : {\color{blue}例3 \quad}设A=\lbrace 1, 2 \rbrace, B = \lbrace 1, 2 \rbrace, D = \lbrace 奇, 偶 \rbrace,f 是一个A \times B 到D的映射如下: 3A={1,2},B={1,2},D={,}fA×BD:
    ( 1 , 1 ) → 奇 , ( 2 , 2 ) → 奇 \qquad (1, 1) \to 奇,(2, 2) \to 奇 (1,1)(2,2)
    ( 1 , 2 ) → 奇 , ( 2 , 1 ) → 偶 \qquad (1, 2) \to 奇,(2, 1) \to 偶 (1,2)(2,1)
    它 也 是 一 个 A 与 B 到 D 的 代 数 运 算 。 它也是一个A与B到D的代数运算。 ABD
    当 A 、 B 都 是 有 限 集 合 的 时 候 , A 与 B 到 D 的 代 数 运 算 , 我 们 常 用 一 个 表 来 说 明 , 当A、B都是有限集合的时候,A与B到D的代数运算,我们常用一个表来说明, ABABD
    叫 做 “ 运 算 表 ” 。 叫做“运算表”。
    例 3 的 运 算 表 为 ∘ 1 2 1 奇 奇 2 偶 奇 例3的运算表为 \qquad \begin{array}{l|c c} \circ &amp; 1 &amp; 2 \\ \hline 1 &amp; 奇 &amp; 奇 \\ \hline 2 &amp; 偶 &amp; 奇 \end{array} 31212
    ( 这 里 , 竖 行 中 的 “ 1 , 2 ” , 指 A 中 的 元 素 ; 横 行 中 的 “ 1 , 2 ” , 指 B 中 的 元 素 ) (这里,竖行中的“1, 2”,指A中的元素;横行中的“1,2”,指B中的元素) (1,2A1,2B)
    通常较多用到的代数运算,是A=B=D时的情形,即A与A到A的代数运算,也称为A中的“ 二 元 运 算 {\color{blue}二元运算} ” 或 “ 运 算 {\color{blue}运算} ”。此时也说“ 集 合 A , 对 于 该 运 算 是 封 闭 的 {\color{blue}集合A,对于该运算是封闭的} A”。一个集合中,可以有一种运算,也可以有多种运算。我们感兴趣的运算,常常是满足某种规律的运算,例如针对一种运算而言的结合律和交换律,针对两种运算而言的分配律。他们都是数集中相应运算规律的推广。
    定 义 1.1.6 设 集 合 A 中 有 一 种 二 元 运 算 “ ∘ ” , 如 果 {\color{blue}定义1.1.6 \quad}设集合A中有一种二元运算 “\circ”,如果 1.1.6A
    ( a ∘ b ) ∘ c = a ∘ ( b ∘ c ) , ∀ a , b , c ∈ A , \quad (a \circ b) \circ c = a \circ (b \circ c), \quad \forall a, b, c \in A, (ab)c=a(bc),a,b,cA,
    则 称 该 运 算 满 足 结 合 律 。 则称该运算满足{\color{blue}结合律}。
    定 义 1.1.7 设 集 合 A 有 一 种 二 元 运 算 “ ∘ ” , 如 果 {\color{blue}定义1.1.7 \quad}设集合A有一种二元运算“\circ”,如果 1.1.7A
    a ∘ b = b ∘ a , ∀ a , b ∈ A \quad a \circ b = b \circ a, \quad \forall a, b \in A ab=ba,a,bA
    则 称 该 运 算 满 足 交 换 律 。 则称该运算满足{\color{blue}交换律}。
    定 义 1.1.8 设 集 合 A 中 有 两 种 代 数 运 算 “ ∘ ” 和 “ + ” , 如 果 {\color{blue}定义1.1.8 \quad}设集合A中有两种代数运算“\circ”和“+”,如果 1.1.8A+
    a ∘ ( b + c ) = a ∘ b + a ∘ c , ∀ a , b , c ∈ A , \quad a \circ (b + c) = a \circ b + a \circ c, \quad \forall a, b, c \in A, a(b+c)=ab+ac,a,b,cA,
    则 称 该 运 算 满 足 “ ∘ 对 + 的 左 分 配 律 ” , 简 称 满 足 左 分 配 律 。 则称该运算满足“{\color{blue}\circ 对 + 的左分配律}”,简称满足{\color{blue}左分配律}。 +
    类 似 可 定 义 右 分 配 律 , 左 右 统 称 为 分 配 律 。 类似可定义右分配律,左右统称为分配律。
    例 4 设 Z 是 全 体 整 数 的 集 合 , Z 中 的 二 元 运 算 是 数 的 减 法 , 则 该 运 算 既 不 满 足 结 合 律 , {\color{blue}例4 \quad} 设 \mathbb{Z}是全体整数的集合,\mathbb{Z}中的二元运算是数的减法,则该运算既不满足结合律, 4ZZ,,
    也 不 满 足 交 换 律 。 也不满足交换律。
    例 5 设 C n × n 是 复 数 域 上 全 体 n ( n ≥ 2 ) 阶 方 阵 的 集 合 , C n × n 中 有 两 种 运 算 , {\color{blue}例5 \quad } 设\mathbb{C}^{n \times n} 是复数域上全体n(n \ge 2) 阶方阵的集合,\mathbb{C}^{n \times n} 中有两种运算, 5Cn×nn(n2)Cn×n
    一 种 是 矩 阵 的 加 法 , 一 种 是 矩 阵 的 乘 法 。 加 法 运 算 即 满 足 结 合 律 , 又 满 足 一种是矩阵的加法,一种是矩阵的乘法。加法运算即满足结合律,又满足
    交 换 律 ; 乘 法 运 算 满 足 结 合 律 , 不 满 足 交 换 律 ; 乘 法 对 加 法 满 足 分 配 律 , 交换律;乘法运算满足结合律,不满足交换律;乘法对加法满足分配律,
    加 法 对 乘 法 不 满 足 分 配 律 。 加法对乘法不满足分配律。
    结 合 律 的 一 个 重 要 作 用 是 使 表 达 式 a 1 ∘ a 2 ∘ ⋯ ∘ a n 有 意 义 , 因 为 这 时 无 论 怎 么 结合律的一个重要作用是使表达式 a_1 \circ a_2 \circ \cdots \circ a_n 有意义,因为这时无论怎么 使a1a2an
    样 加 括 号 , 运 算 的 结 果 都 是 一 样 的 , 这 给 我 们 带 来 了 方 便 , 抽 象 代 数 中 研 究 的 样加括号,运算的结果都是一样的,这给我们带来了方便,抽象代数中研究的 便
    运 算 都 满 足 结 合 律 。 运算都满足结合律。
    交 换 律 的 一 个 重 要 作 用 是 使 等 式 ( a b ) n = a n b n 成 立 。 抽 象 代 数 中 研 究 的 运 算 有 的 交换律的一个重要作用是使等式 (ab)^n = a^n b^n 成立。抽象代数中研究的运算有的 使(ab)n=anbn
    满 足 交 换 律 , 有 的 不 满 足 交 换 律 。 满足交换律,有的不满足交换律。
    分 配 律 的 一 个 重 要 作 用 是 使 一 个 集 合 中 的 两 种 元 素 之 间 产 生 一 种 联 系 。 分配律的一个重要作用是使一个集合中的两种元素之间产生一种联系。 使
    抽象代数在研究集合时,有时要把集合分成一些子集来讨论。这时就要用到集合的分类,而集合的分类又和“等价关系”密切相关。为了讲清楚“等价关系”,我们先来介绍“关系”的概念。
    我们知道实数集合“大于”、“小于”、“等于”这些关系,也知道n阶复方阵集合中“相等”、“相似”这些关系。下面我们把他们的本质抽象出来。
    如果有一种性质R,使集合A中任意两个元素a,b,或者有性质R,或者没有性质R,二者必居其一,我们就说“ R 给 定 了 A 中 的 一 个 关 系 {\color{blue}R给定了A中的一个关系} RA”。当a,b有性质R时,称a与b有关系,记为 a R b aRb aRb;当a,b没有性质R时,称a与b没有关系,记为 a R b a {\cancel R} b aR b
    有性质R的a,b如果记为(a, b),就是直积集合 A × A A \times A A×A 中的一个元素,全体这样的(a, b),就构成了 A × A A \times A A×A的一个子集,不妨把这个子集仍记为R,于是
    a R b ↔ ( a , b ) ∈ R . \qquad a R b \leftrightarrow (a, b) \in R. aRb(a,b)R.
    这样,我们就可以用 A × A A \times A A×A的一个子集,来刻画 A A A中的一个关系。
    定 义 1.1.9 设 A 是 一 个 非 空 集 合 , R 是 A × A 的 一 个 子 集 , a , b ∈ A , 若 ( a , b ) ∈ R , {\color{blue}定义1.1.9 \quad}设A是一个非空集合,R是A \times A的一个子集,a,b \in A,若(a,b) \in R, 1.1.9ARA×Aa,bA,(a,b)R,
    则 称 a 与 b 有 关 系 R , 记 为 a R b , 且 称 R 为 A 的 一 个 关 系 ( 二 元 关 系 ) 。 在 不 致 引 起 混 淆 则称a与b有关系R,记为aRb,且称R为A的一个{\color{blue}关系}({\color{blue}二元关系})。在不致引起混淆 abR,aRb,RA()
    时 , a R b 也 可 记 为 a ∼ b 。 时,aRb也可记为a \sim b。 aRbab
    例 6 实 数 集 R 中 的 “ ≤ ” 关 系 , 可 以 用 R × R 中 的 子 集 R 1 来 刻 画 ; 实 数 集 R 中 的 “ = ” 关 系 , 可 以 用 R × R 中 的 子 集 R 2 来 刻 画 。 {\color{blue}例6 \quad}实数集\mathbb{R}中的“\leq ”关系,可以用\mathbb{R} \times \mathbb{R}中的子集R_1来刻画;实数集\mathbb{R}中的“=”关系,可以用\mathbb{R} \times \mathbb{R}中的子集R_2来刻画。 6RR×RR1R=R×RR2
    cxts_T1.0001
    实数集中的“=”关系,可以总结推广为一般集合中的等价关系。
    定 义 1.1.10 若 集 合 A 的 一 个 关 系 R 满 足 {\color{blue}定义1.1.10 \quad}若集合A的一个关系R满足 1.1.10AR
    ① 反 身 性 : a R a , ∀ a ∈ A ; ① 反身性:aRa, \forall a \in A; aRa,aA;
    ② 对 称 性 : a R b &ThickSpace; ⟹ &ThickSpace; b R a , ∀ a , b ∈ A ; ② 对称性:aRb \implies bRa, \forall a,b \in A; aRbbRa,a,bA;
    ③ 传 递 性 : a R b , b R c &ThickSpace; ⟹ &ThickSpace; a R c , ∀ a , b , c ∈ A . ③ 传递性:aRb, bRc \implies aRc, \forall a,b,c \in A. aRb,bRcaRc,a,b,cA.
    则 称 关 系 R 为 A 的 一 个 等 价 关 系 。 则称关系R为A的一个{\color{blue}等价关系}。 RA
    例 7 实 数 集 中 的 “ ≤ &quot; 关 系 不 是 等 价 关 系 , 因 为 不 满 足 对 称 性 。 {\color{blue}例7 \quad}实数集中的“\leq&quot;关系不是等价关系,因为不满足对称性。 7"
    例 8 n 阶 复 方 阵 集 合 中 的 “ 相 合 ” 是 等 价 关 系 , “ 相 似 ” 也 是 等 价 关 系 。 {\color{blue}例8 \quad}n阶复方阵集合中的“相合”是等价关系,“相似”也是等价关系。 8n
    可 见 , 同 一 集 合 中 可 以 有 多 种 不 同 的 等 价 关 系 。 可见,同一集合中可以有多种不同的等价关系。
    定 义 1.1.11 若 将 集 合 A 分 成 一 些 非 空 子 集 , 每 个 子 集 称 为 A 的 一 个 类 , {\color{blue}定义1.1.11 \quad} 若将集合A分成一些非空子集,每个子集称为A的一个类, 1.1.11AA
    使 得 A 的 每 一 个 元 素 属 于 且 仅 属 于 一 个 类 , 则 称 这 些 类 的 全 体 为 集 合 A 使得A的每一个元素属于且仅属于一个类,则称这些类的全体为集合A 使AA
    的 一 个 分 类 , 也 称 为 A 的 一 个 划 分 。 的一个{\color{blue}分类},也称为A的一个{\color{blue}划分}。 A
    定 理 1.1.1 集 合 A 的 一 个 分 类 决 定 A 的 一 个 等 价 关 系 。 {\color{blue}定理1.1.1 \quad}{\color{green}集合A的一个分类决定A的一个等价关系。} 1.1.1AA
    证 我 们 利 用 A 的 分 类 来 定 义 A 的 一 个 关 系 R , 然 后 证 明 R 是 等 价 关 系 。 {\color{blue}证 \quad}我们利用A的分类来定义A的一个关系R,然后证明R是等价关系。 AARR
    定 义 : 当 且 仅 当 a 与 b 同 在 一 类 时 , a R b 。 据 定 义 知 这 样 的 R 是 A 的 一 个 关 系 , 定义:当且仅当a与b同在一类时,aRb。据定义知这样的R是A的一个关系, :abaRbRA
    又 因 为 a ∈ A , a 与 a 同 在 一 类 , 所 以 R 满 足 反 身 性 ; 又因为a \in A, a与a同在一类,所以R满足反身性; aA,aa,R
    a , b ∈ A , 若 a R b , 表 明 a 与 b 同 在 一 类 , 则 b 与 a 也 同 在 一 类 , 所 以 b R a , 即 R 满 足 对 称 性 ; a,b \in A,若aRb,表明a与b同在一类,则b与a也同在一类,所以bRa,即R满足对称性; a,bA,aRb,abbabRa,R;
    a , b , c ∈ A , 若 a R b , b R c , 表 明 a 与 b 同 在 一 类 , b 与 c 同 在 一 类 , 则 a 与 c 同 在 一 类 , 所 以 a R c , a,b,c \in A,若aRb, bRc,表明a与b同在一类,b与c同在一类,则a与c同在一类,所以aRc, a,b,cA,aRb,bRc,abbcac,aRc
    即 R 满 足 传 递 性 。 即R满足传递性。 R
    据 定 义 1.1.10 , R 是 A 的 一 个 等 价 关 系 。 据定义1.1.10,R是A的一个等价关系。 1.1.10RA
    在给出下一个定理之前,我们先给出由等价关系派生出来的三个概念:等价类,商集合和自然映射。
    定 理 1.1.1 集 合 A 的 一 个 分 类 决 定 A 的 一 个 等 价 关 系 。 {\color{blue}定理1.1.1 \quad}{\color{green}集合A的一个分类决定A的一个等价关系。} 1.1.1AA
    证 我 们 利 用 A 的 分 类 来 定 义 A 的 一 个 关 系 R , 然 后 证 明 R 是 等 价 关 系 。 {\color{blue}证 \quad}我们利用A的分类来定义A的一个关系R,然后证明R是等价关系。 AARR
    定 义 : 当 且 仅 当 a 与 b 同 在 一 类 时 , a R b 。 据 定 义 知 这 样 的 R 是 A 的 一 个 关 系 , 定义:当且仅当a与b同在一类时,aRb。据定义知这样的R是A的一个关系, :abaRbRA
    又 因 为 a ∈ A , a 与 a 同 在 一 类 , 所 以 R 满 足 反 身 性 ; 又因为a \in A, a与a同在一类,所以R满足反身性; aA,aa,R
    a , b ∈ A , 若 a R b , 表 明 a 与 b 同 在 一 类 , 则 b 与 a 也 同 在 一 类 , 所 以 b R a , 即 R 满 足 对 称 性 ; a,b \in A,若aRb,表明a与b同在一类,则b与a也同在一类,所以bRa,即R满足对称性; a,bA,aRb,abbabRa,R;
    a , b , c ∈ A , 若 a R b , b R c , 表 明 a 与 b 同 在 一 类 , b 与 c 同 在 一 类 , 则 a 与 c 同 在 一 类 , 所 以 a R c , a,b,c \in A,若aRb, bRc,表明a与b同在一类,b与c同在一类,则a与c同在一类,所以aRc, a,b,cA,aRb,bRc,abbcac,aRc
    即 R 满 足 传 递 性 。 即R满足传递性。 R
    据 定 义 1.1.10 , R 是 A 的 一 个 等 价 关 系 。 据定义1.1.10,R是A的一个等价关系。 1.1.10RA
    在给出下一个定理之前,我们先给出由等价关系派生出来的三个概念:等价类,商集合和自然映射。
    定 义 1.1.12 设 集 合 A 中 有 等 价 关 系 R , a ∈ A , 则 A 中 与 a 有 关 系 ( 也 称 与 a 等 价 ) 的 所 有 元 素 的 集 合 { b ∈ A ∣ b R a } , 称 为 a 所 在 的 等 价 类 , 记 为 a ˉ , a 称 为 这 个 等 价 类 的 代 表 元 。 {\color{blue}定义1.1.12 \quad}设集合A中有等价关系R, a \in A,则A中与a有关系(也称与a等价)的所有元素的集合\lbrace b \in A | bRa \rbrace,称为a所在的{\color{blue}等价类},记为\bar a,a称为这个等价类的{\color{blue}代表元}。 1.1.12AR,aA,Aa(a){bAbRa},a,aˉ,a
    从 以 上 定 义 及 等 价 类 的 传 递 性 易 知 , 若 a R b , 则 a ˉ = b ˉ , 即 等 价 的 两 个 元 素 所 在 的 等 价 类 是 同 一 个 , 因 此 , 同 一 个 等 价 类 可 以 有 不 同 的 从以上定义及等价类的传递性易知,若 aRb, 则 \bar a = \bar b,即等价的两个元素所在的等价类是同一个,因此,同一个等价类可以有不同的 aRb,aˉ=bˉ,
    代 表 元 。 这 使 我 们 在 讨 论 有 关 等 价 类 的 问 题 时 , 经 常 要 注 意 说 明 , 所 讨 论 的 内 容 代表元。这使我们在讨论有关等价类的问题时,经常要注意说明,所讨论的内容 使
    虽 然 形 式 上 与 等 价 类 的 代 表 元 有 关 , 实 质 上 却 与 之 无 关 。 虽然形式上与等价类的代表元有关,实质上却与之无关。
    定 义 1.1.13 设 集 合 A 中 有 等 价 关 系 R , 则 以 R 为 前 提 的 所 有 等 价 类 {\color{blue}定义1.1.13 \quad}设集合A中有等价关系R,则以R为前提的所有等价类 1.1.13ARR
    ( 重 复 的 只 取 一 个 ) 的 集 合 { a ˉ } , 称 为 A 对 R 的 商 集 合 , 记 为 A / R 。 (重复的只取一个)的集合 \lbrace \bar a \rbrace,称为A对R的 {\color{blue}商集合},记为A / R。 (){aˉ},AR,A/R
    我 们 注 意 到 , 等 价 类 a ˉ 是 A 的 子 集 合 , 却 是 A / R 的 元 素 。 我们注意到,等价类 \bar a 是A的子集合,却是 A / R 的元素。 aˉAA/R
    一 个 集 合 通 过 等 价 关 系 , 在 新 的 层 次 上 产 生 出 与 原 集 合 有 联 系 的 新 的 集 合 一个集合通过等价关系,在新的层次上产生出与原集合有联系的新的集合
    − − 商 集 合 , 这 也 反 映 出 等 价 关 系 不 同 于 一 般 二 元 关 系 的 重 要 性 。 {\color{blue}--商集合},这也反映出等价关系不同于一般二元关系的重要性。
    定 义 1.1.14 设 集 合 A 中 有 等 价 关 系 R , 则 映 射 π : A → A / R , {\color{blue}定义1.1.14 \quad}设集合A中有等价关系R,则映射 \pi : A \to A / R, 1.1.14AR,π:AA/R,
    π ( a ) = a ˉ , ∀ a ∈ A \qquad \pi (a) = \bar a, \forall a \in A π(a)=aˉ,aA
    称 为 A 到 A / R 的 自 然 映 射 。 称为A到 A/R的{\color{blue}自然映射}。 AA/R
    自 然 映 射 一 定 是 满 射 , 但 却 不 一 定 是 单 射 。 自然映射一定是满射,但却不一定是单射。
    定 理 1.1.2 集 合 A 的 一 个 等 价 关 系 决 定 A 的 一 个 分 类 。 {\color{blue}定理1.1.2 \quad} {\color{green}集合A的一个等价关系决定A的一个分类。} 1.1.2AA
    证 记 A 中 的 等 价 关 系 为 R , 容 易 证 明 , R 决 定 的 商 集 合 A / R , 就 是 A 的 一 个 分 类 。 {\color{blue}证 \quad} 记A中的等价关系为R,容易证明, R决定的商集合A/R,就是A的一个分类。 AR,RA/RA
    事 实 上 , 商 集 合 的 全 体 等 价 类 ( 重 复 的 只 取 一 个 ) 的 集 合 , 每 个 等 价 类 是 A 的 一 个 子 集 , 事实上,商集合的全体等价类(重复的只取一个)的集合,每个等价类是A的一个子集, ()A
    也 是 A 的 一 个 “ 类 ” , A 中 的 每 一 个 元 素 a 属 于 一 个 类 a ˉ , 以 下 证 明 a 仅 属 于 a ˉ , 便 完 成 证 明 。 也是A的一个“类”,A中的每一个元素a属于一个类 \bar a,以下证明a仅属于 \bar a,便完成证明。 AAaaˉ,aaˉ,便
    若 还 有 a ∈ b ˉ , 则 据 定 义 1.1.12 , a R b , 即 a 与 b 等 价 , 而 等 价 的 两 个 元 素 所 在 的 等 价 类 是 若还有 a \in \bar b,则据定义1.1.12,aRb,即a与b等价,而等价的两个元素所在的等价类是 abˉ,1.1.12aRb,ab,
    同 一 个 , 所 以 b ˉ = a ˉ . 同一个,所以 \bar b = \bar a. bˉ=aˉ.

    定 理 1.1.1 与 定 理 1.1.2 表 明 , 对 一 个 集 合 A , 给 定 等 价 关 系 与 给 定 分 类 , 定理1.1.1与定理1.1.2表明,对一个集合A,给定等价关系与给定分类, 1.1.11.1.2A
    是 同 一 件 事 的 两 种 不 同 表 现 形 式 。 是同一件事的两种不同表现形式。
    比 等 价 关 系 更 进 一 步 的 是 二 元 关 系 是 同 余 关 系 。 比等价关系更进一步的是二元关系是同余关系。
    定 义 1.1.15 设 集 合 A 中 有 二 元 运 算 “ ∘ ” , 如 果 A 的 一 个 等 价 关 系 R 在 该 运 算 下 仍 然 保 持 , 即 {\color{blue}定义1.1.15 \quad}设集合A中有二元运算“\circ”,如果A的一个等价关系R在该运算下仍然保持,即 1.1.15AAR
    a R b , c R d &ThickSpace; ⟹ &ThickSpace; ( a ∘ c ) R ( b ∘ d ) , ∀ a , b , c , d ∈ A \quad aRb, cRd \implies (a \circ c) R (b \circ d), \forall a,b,c,d \in A aRb,cRd(ac)R(bd),a,b,c,dA
    则 称 R 为 A 关 于 运 算 “ ∘ ” 的 一 个 同 余 关 系 。 此 时 , a 所 在 的 等 价 类 a ˉ , 也 叫 作 a 的 同 余 类 。 则称R为A关于运算“\circ”的一个{\color{blue}同余关系}。此时,a所在的等价类 \bar a,也叫作a的{\color{blue}同余类}。 RAaaˉ,a
    例 9 设 Z 为 整 数 集 , 0 = / &ThinSpace; m ∈ Z , 在 Z 中 定 义 关 系 R 为 {\color{blue}例9 \quad}设 \mathbb{Z} 为整数集,0 {=}\mathllap{/\,} m \in \mathbb{Z},在\mathbb{Z}中定义关系R为 9Z0=/mZ,ZR
    a R b &ThickSpace; ⟺ &ThickSpace; m ∣ ( a − b ) , \qquad aRb \iff m | (a - b), aRbm(ab),
    则 R 关 于 Z 中 的 加 法 和 乘 法 都 是 同 余 关 系 . 则R关于\mathbb{Z}中的加法和乘法都是同余关系. RZ.
    此 例 中 的 关 系 R , 也 称 为 “ 以 m 为 模 的 模 等 关 系 ” , a R b 在 初 等 整 数 论 中 记 为 此例中的关系R,也称为{\color{blue}“以m为模的模等关系”},aRb在初等整数论中记为 Rm,aRb
    a ≡ b ( m o d m ) , 称 为 “ 对 模 m , a 与 b 模 等 ” 或 “ 模 m , a 与 b 同 余 ” a \equiv b \pmod m,称为“对模m,a与b模等”或“模m,a与b同余” ab(modm),mabmab
    例 10 {\color{blue}例10 \quad} 10 P n × n \mathbb{P}^{n \times n} Pn×n是数域 P \mathbb{P} P上所有 n ( n ≥ 2 ) n(n \geq 2) n(n2)阶方阵的集合,在 P \mathbb{P} P中定义关系R为:
    A R B &ThickSpace; ⟺ &ThickSpace; ∣ A ∣ = ∣ B ∣ \quad ARB \iff |A| = |B| ARBA=B
    则R关于 P n × n \mathbb{P}^{n \times n} Pn×n中的加法运算不是同余关系,R关于 P n × n \mathbb{P}^{n \times n} Pn×n中的乘法运算是同余关系。设R是集合A中关于运算“ ∘ \circ ”的同余关系,则因同余关系是等价关系,所以可以产生新的集合A/R,又因同余关系在运算“ ∘ \circ ”下仍然保持,所以可以在A/R中产生一种与A中运算“ ∘ \circ ”有联系的运算“ ∘ ˉ \bar \circ ˉ”:
    a ˉ ∘ ˉ b ˉ = a ∘ b ‾ , ∀ a , b ∈ A . \quad \bar a \bar \circ \bar b = \overline{a \circ b}, \forall a, b \in A. aˉˉbˉ=ab,a,bA.
    要说明上面的规定确实是A/R中的一个二元运算,就要说明等号右边的元素,确实是被等号左边有次序的两个元素 a ˉ , b ˉ \bar a, \bar b aˉ,bˉ 唯一确定的。即等价类的运算不仅归结为代表元的运算,而且不依赖于代表元的选择。这当且仅当该等价关系是同余关系时是正确的。作为提示,请读者重温定义1.1.13之前的那句话。

    展开全文
  • 数据库-——关系代数的除法运算最白话解析

    千次阅读 多人点赞 2019-10-24 16:53:34
    数据库-——关系代数的除法运算及易错示例 除法运算 大概数据库中关系运算复杂点的也就是除法运算了,这也可能是很多入门新手数据库学习中遇到的第一个障碍。 接着我们来理清一下。 除法//话不多说,直接举例 ...

    数据库-——关系代数的除法运算及易错示例

    除法运算

    大概数据库中关系运算复杂点的也就是除法运算了,这也可能是很多入门新手数据库学习中遇到的第一个障碍。
    接着我们来理清一下。

    除法//话不多说,直接开莽

    我们先创建两个表格,一个学生表,一个S1表。

    学生表
    **在这里插入图片描述
    S1:
    在这里插入图片描述

    R÷S1=学生表中年龄为19的学生信息的新表格,但这个新表格中的字段不包括年龄。

    答案如下:
    在这里插入图片描述
    懂了没?是不是很清晰!
    不懂?没事我们再来举例!

    依旧是这个学生表,但我们S1换成一个具有两个字段的S2

    S2:
    在这里插入图片描述
    那结果就是在学生表中,/同时/满足S2所有条件的学生信息,但没有S2中的字段的新表。如下图:

    学生÷S2
    在这里插入图片描述
    现在让我们来理解一下书中的定义。

    书中的定义

    在这里插入图片描述
    这个式子我一开始看的时候也是脑壳一懵,不要慌!我们来慢慢解析。

    首先tr为求象集。

    于是我们引入象集的概念:

    在学生表中,每个分量值都会有它的象集。

    如学生表:
    在这里插入图片描述
    001的象集:{(张三,19,计算机)}
    计算机的象集:{(001,张三,19),(002,李冰,21),(004,王华,21)}

    所以,象集的本质是一次选择运算和一次投影运算。

    S2:
    在这里插入图片描述
    所以学生表上学号和姓名的分量的象集为:
    (001,张三)象集为(19,计算机)
    (002,李四)象集为(20,管理)
    (003,李冰)象集为(21,计算机)
    (004,王华)象集为(21,计算机)

    年龄和系名在S2上的投影为:
    (21,计算机)
    显然只有(003,李冰)和(004,王华)的象集包含投影(21,计算机)

    所以学生÷S2:
    在这里插入图片描述
    再结合到公式上看,应该可以理解公式了。

    这应该够清楚了吧,希望对你们有所帮助!

    展开全文
  • 一.线性映射及其运算 1. 二.线性映射的核象 三.线性映射和线性变换的矩阵表示 四.线性映射的特征值和特征向量

    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述
    一.线性映射及其运算(9.1)
    1.线性映射的定义与性质
    (1)线性映射的定义:
    在这里插入图片描述
    (2)一些线性映射的例子:
    在这里插入图片描述
    在这里插入图片描述
    在这里插入图片描述

    注:例7中的 k k k不一定是数,但习惯上仍然称该线性变换为数乘变换

    命题1:对任何线性映射 f ∈ H o m ( V , U ) f∈Hom(V,U) fHom(V,U)和恒等变换 I V ∈ H o m ( V , V ) , I U ∈ H o m ( U , U ) ℐ_V∈Hom(V,V),ℐ_U∈Hom(U,U) IVHom(V,V),IUHom(U,U),有 f I V = I U f = f fℐ_V=ℐ_Uf=f fIV=IUf=f
    在这里插入图片描述

    (3)线性映射的性质:

    由于线性映射只比同构映射少了双射这个条件,因此只要某个同构映射的性质的证明不需要用到单射/满射的条件,那么线性映射就也具有该性质

    性质1: Ꭿ ( 0 ) = 0 ′ Ꭿ(0)=0' (0)=0,其中 0 ′ 0' 0 V ′ V' V的零向量

    性质2:对 ∀ α ∈ V , Ꭿ ( − α ) = − Ꭿ ( α ) ∀α∈V,Ꭿ(-α)=-Ꭿ(α) αV,(α)=(α)

    性质3: Ꭿ ( k 1 α 1 + . . . + k s α s ) = k 1 Ꭿ ( α 1 ) + . . . + k s Ꭿ ( α s ) ( 3 ) Ꭿ(k_1α_1+...+k_sα_s)=k_1Ꭿ(α_1)+...+k_sᎯ(α_s)\qquad(3) (k1α1+...+ksαs)=k1(α1)+...+ks(αs)(3)

    性质4: Ꭿ Ꭿ V V V中线性相关的向量组 α 1 , α 2 . . . α s α_1,α_2...α_s α1,α2...αs映成 V ′ V' V中线性相关的向量组 Ꭿ ( α 1 ) , Ꭿ ( α 2 ) . . . Ꭿ ( α s ) Ꭿ(α_1),Ꭿ(α_2)...Ꭿ(α_s) (α1),(α2)...(αs)
    注意: Ꭿ Ꭿ 有可能把 V V V中线性无关的向量组映成 V ′ V' V中线性相关的向量组

    性质5:如果 V V V是有限维的,且 α 1 , α 2 . . . α n α_1,α_2...α_n α1,α2...αn V V V的1个基,那么对于 V V V中任一向量 α = a 1 α 1 + a 2 α 2 + . . . + a n α n α=a_1α_1+a_2α_2+...+a_nα_n α=a1α1+a2α2+...+anαn,有 Ꭿ ( α ) = a 1 Ꭿ ( α 1 ) + a 2 Ꭿ ( α 2 ) + . . . + a n Ꭿ ( α n ) ( 4 ) Ꭿ(α)=a_1Ꭿ(α_1)+a_2Ꭿ(α_2)+...+a_nᎯ(α_n)\qquad(4) (α)=a1(α1)+a2(α2)+...+an(αn)(4)
    在这里插入图片描述
    在这里插入图片描述

    性质6: σ σ σ V V V V ′ V' V的1个同构映射当且仅当 Ꭿ Ꭿ V V V V ′ V' V的1个可逆的线性映射

    2.线性映射的存在性:

    定理1:设 V , V ′ V,V' V,V都是域 F F F上的线性空间,且 V V V是有限维的;在 V V V中取1个基 α 1 , α 2 . . . α n α_1,α_2...α_n α1,α2...αn,在 V ′ V' V中任意取 n n n个向量 γ 1 . . . γ n γ_1...γ_n γ1...γn(其中可以有相同的),令 Ꭿ : V → V ′ a = ∑ i = 1 n a i α i ↦ ∑ i = 1 n a i γ i ( 6 ) Ꭿ:\qquad\qquad\qquad V→V'\qquad\qquad\qquad\\ \quad a=\displaystyle\sum_{i=1}^n{a_iα_i}↦\displaystyle\sum_{i=1}^n{a_iγ_i}\qquad(6) :VVa=i=1naiαii=1naiγi(6)
    在这里插入图片描述

    3.投影
    (1)投影:
    在这里插入图片描述

    定理2:设 V V V是域 F F F上的1个线性空间, U , W U,W U,W V V V的2个子空间,且 V = U ⊕ W ( 7 ) V=U\oplus W\qquad(7) V=UW(7)任取 α ∈ V α∈V αV,设 α = α 1 + α 2   ( α 1 ∈ U , α 2 ∈ W ) α=α_1+α_2\,(α_1∈U,α_2∈W) α=α1+α2(α1U,α2W),令 P U : V → V     α ↦ α 1 ( 8 ) ℙ_U:\qquad\qquad V→V\\ \qquad\qquad\qquad\qquad\quad\:\:\: α↦α_1\qquad(8) PU:VVαα1(8) P U ℙ_U PU V V V上的1个线性变换,称 P U ℙ_U PU是平行于 W W W U U U上的投影, P U ℙ_U PU满足:$ P U ( α ) = { α 当 α ∈ U 0 当 α ∈ W ( 9 ) ℙ_U(α)=\begin{cases}α\qquad当α∈U\\0\qquad当α∈W\end{cases}\qquad(9) PU(α)={ααU0αW(9)满足(9)式的 V V V上的线性变换是唯一的
    在这里插入图片描述
    类似地,定义 P W ( α ) = α 2 ℙ_W(α)=α_2 PW(α)=α2,则 P W ℙ_W PW也是 V V V上的1个线性变换,称为平行于 U U U W W W上的投影
    投影是很重要的1类线性变换

    投影的性质: P U 2 = P U , P W 2 = P W , P U P W = P W P U = 0 ( 10 ) ℙ_U^2=ℙ_U,ℙ_W^2=ℙ_W,ℙ_Uℙ_W=ℙ_Wℙ_U=0\qquad(10) PU2=PU,PW2=PW,PUPW=PWPU=0(10)
    在这里插入图片描述
    在这里插入图片描述

    (2)幂等变换:
    在这里插入图片描述
    (3)正交:
    在这里插入图片描述
    4.线性映射的运算
    在这里插入图片描述
    (1)线性映射的乘法:

    也成为线性映射的合成复合
    在这里插入图片描述
    即:设 Ꭿ ∈ H o m ( V , U ) , B ∈ H o m ( U . W ) Ꭿ∈Hom(V,U),ℬ∈Hom(U.W) Hom(V,U),BHom(U.W),则 ( B Ꭿ ) ( a ) = B ( Ꭿ ( a ) )   ( a ∈ V ) (ℬᎯ)(a)=ℬ(Ꭿ(a))\,(a∈V) (B)(a)=B((a))(aV),称 B Ꭿ ℬᎯ B B ℬ B Ꭿ Ꭿ 复合合成乘法
    在这里插入图片描述

    (2)线性映射的逆映射:
    在这里插入图片描述

    定理3:映射 f : A → B f:A→B f:AB可逆的充要条件是: f f f是双射
    在这里插入图片描述
    推论:线性映射 Ꭿ ∈ H o m ( V , V ′ ) Ꭿ∈Hom(V,V') Hom(V,V)可逆的充要条件是: Ꭿ Ꭿ 是同构映射;从而 A − 1 ∈ H o m ( V ′ , V ) A^{-1}∈Hom(V',V) A1Hom(V,V)是同构映射

    (3)线性映射的线性运算:
    在这里插入图片描述
    在这里插入图片描述
    (4)线性映射的幂:
    在这里插入图片描述
    5.线性映射的整体结构
    (1)代数:
    在这里插入图片描述

    注: H o m ( V , V ) Hom(V,V) Hom(V,V)中的单位元是恒等变换 I ℐ I

    在这里插入图片描述
    (2)线性映射的多项式:
    在这里插入图片描述
    (3)投影的性质:

    命题2:设 U , W U,W U,W是域 F F F上线性空间 V V V的2个子空间,且 V = U ⊕ W V=U\oplus W V=UW,则平行于 W W W U U U上的投影 P U ℙ_U PU与平行于 U U U W W W上的投影 P W ℙ_W PW是正交的幂等变换,且它们的和等于恒等变换
    在这里插入图片描述
    在这里插入图片描述
    注:前半部分的证明参见 一.3.(1) 部分

    命题3:设 V V V是域 F F F上的线性空间, Ꭿ , B Ꭿ,ℬ ,B V V V上正交的幂等变换,且 Ꭿ + B = I Ꭿ+ℬ=ℐ +B=I,则 V = I m   Ꭿ ⊕ I m   B V=Im\,Ꭿ\oplus Im\,ℬ V=ImImB,且 Ꭿ Ꭿ 是平行于 I m   B Im\,ℬ ImB I m   Ꭿ Im\,Ꭿ Im上的投影, B ℬ B是平行于 I m   Ꭿ Im\,Ꭿ Im I m   B Im\,ℬ ImB上的投影
    在这里插入图片描述

    命题2和命题3结合在一起,利用线性变换的运算刻画了投影的特征性质

    (4)镜面反射与对合变换:
    在这里插入图片描述
    在这里插入图片描述
    (5)平移与幂零变换:
    在这里插入图片描述
    在这里插入图片描述
    二.线性映射的核与象(9.2)
    1.线性映射的核与象
    (1)概念:
    在这里插入图片描述
    (2)性质:

    命题4:设 Ꭿ Ꭿ 是域 F F F上线性空间 V V V V ′ V' V的1个线性映射,则 K e r   Ꭿ Ker\,Ꭿ Ker V V V的1个子空间, I m   Ꭿ Im\,Ꭿ Im V ′ V' V的1个子空间
    在这里插入图片描述

    (3)利用核与象判断 Ꭿ Ꭿ 的性质:

    命题5:设 Ꭿ Ꭿ 是域 F F F上线性空间 V V V V ′ V' V的1个线性映射,则
    Ꭿ Ꭿ 是单射当且仅当 K e r   Ꭿ = 0 Ker\,Ꭿ=0 Ker=0
    Ꭿ Ꭿ 是满射当且仅当 I m   Ꭿ = V ′ Im\,Ꭿ=V' Im=V
    在这里插入图片描述

    2.核与象的关系
    在这里插入图片描述
    (1)结构关系:

    定理4:设 Ꭿ Ꭿ 是域 F F F上线性空间 V V V V ′ V' V的1个线性映射,令 σ : V / K e r   Ꭿ → I m   Ꭿ α + K e r   Ꭿ → Ꭿ α σ:\qquad V/Ker\,Ꭿ→Im\,Ꭿ\\\qquadα+Ker\,Ꭿ→Ꭿα σ:V/KerImα+Kerα σ σ σ V / K e r   Ꭿ V/Ker\,Ꭿ V/Ker I m   Ꭿ Im\,Ꭿ Im的1个同构映射,从而 V / K e r   Ꭿ ≅ I m   Ꭿ ( 2 ) V/Ker\,Ꭿ\cong Im\,Ꭿ\qquad(2) V/KerIm(2)
    在这里插入图片描述

    (2)维数公式:

    定理5:设 V , V ′ V,V' V,V都是域 F F F上的线性空间,且 V V V是有限维的,设 Ꭿ Ꭿ V V V V ′ V' V的1个线性映射,则 K e r   Ꭿ , I m   Ꭿ Ker\,Ꭿ,Im\,Ꭿ Ker,Im都是有限维的,且 d i m ( K e r   Ꭿ ) + d i m ( I m   Ꭿ ) = d i m ( V ) ( 3 ) dim(Ker\,Ꭿ)+dim(Im\,Ꭿ)=dim(V)\qquad(3) dim(Ker)+dim(Im)=dim(V)(3)
    在这里插入图片描述
    V V V是有限维的线性空间时, V V V V ′ V' V的线性映射 Ꭿ Ꭿ 的核的维数也称为 Ꭿ Ꭿ 零度; Ꭿ Ꭿ 的象 I m   Ꭿ Im\,Ꭿ Im的维数称为 Ꭿ Ꭿ ,记作 r a n k ( Ꭿ ) rank(Ꭿ) rank()
    在这里插入图片描述

    (3)线性映射的维数公式的一些应用:
    在这里插入图片描述

    定理6:设 V , V ′ V,V' V,V都是域 F F F上的 n n n维线性空间,且 Ꭿ Ꭿ V V V V ′ V' V的1个线性映射,则 Ꭿ Ꭿ 是单射当且仅当 Ꭿ Ꭿ 是满射
    在这里插入图片描述
    推论1:设 Ꭿ Ꭿ 是域 F F F上有限维线性空间 V V V上的1个线性变换,则 Ꭿ Ꭿ 是单射当且仅当 Ꭿ Ꭿ 是满射
    在这里插入图片描述

    通过通过线性映射的维数公式证明齐次线性方程组的解空间的维数公式:
    在这里插入图片描述

    3.通过核与象研究线性空间的结构
    (1)将线性空间分解成核与象:
    在这里插入图片描述

    命题6:设 Ꭿ Ꭿ 是域 F F F上线性空间 V V V上的1个线性变换,如果 Ꭿ Ꭿ V V V上的幂等变换,那么 V = I m   Ꭿ   ⊕   K e r   Ꭿ ( 12 ) V=Im\,Ꭿ\,\oplus\,Ker\,Ꭿ\qquad(12) V=ImKer(12)
    在这里插入图片描述

    推论1:设 V = U ⊕ W V=U\oplus W V=UW,用 P U P_U PU表示平行于 W W W U U U上的投影,则 U = I m   P U , W = K e r   P U U=Im\,P_U,W=Ker\,P_U U=ImPU,W=KerPU
    在这里插入图片描述
    在这里插入图片描述

    推论2:设 V V V是域 F F F上的线性空间,则 V V V的任一子空间 U U U是平行于 U U U的1个补空间在 U U U上的投影 P U P_U PU的象
    在这里插入图片描述

    推论3:设 V V V是域 F F F上的线性空间,则 V V V的任一子空间 W W W是平行于 W W W W W W的1个补空间上的投影的核
    在这里插入图片描述

    (2)余核:
    在这里插入图片描述

    命题7:设 Ꭿ Ꭿ 是域 F F F上线性空间 V V V V ′ V' V的1个线性映射,则 Ꭿ Ꭿ 是满射当且仅当 C o k e r   Ꭿ = 0 Coker\,Ꭿ=0 Coker=0
    在这里插入图片描述
    在这里插入图片描述

    展开全文
  • 一、行列概念 1 有行有列,再加两根竖线,这种形式谓之行列。   第一行第一列的元素为3,记作a11=3,依次类推。   2 余子式,去掉一个元素所在的行和列,剩余的部分就叫做这个元素的余子式。   ...
  • 线性代数矩阵运算

    万次阅读 2018-05-13 15:31:15
    线性代数概念对于理解机器学习背后的原理非常重要,尤其是在深度学习领域中。它可以帮助我们更好地理解算法内部到底是怎么运行的,借此,我们就能够更好的做出决策。所以,如果你真的希望了解机器学习具体算法,就...
  • 线性代数(二十一) : 行列式与可逆性
  • 线性代数全记录

    2019-10-09 09:54:05
    学习线性代数慕课(北航 李尚志)课程的记录 文章目录线性代数概览 线性代数概览 数学的重要主题:方程和函数。 微积分:把非线性变成线性。 线性代数:一次方程组+一次函数...运算只有两种 矩阵变换和矩阵相乘。 ...
  • 线性代数一(基本概念

    万次阅读 多人点赞 2018-12-05 16:40:53
    ① https://blog.csdn.net/qq_16555103/article/details/88378009 ----------几个... ② AB等价 、 AB相似 、 AB 合同。 ③ C’C一定是对称矩阵(C’C的转置 == C’C) 一、线性代数基本知识: 1、线性: ...
  • 离散数学学习笔记【第三篇】

    千次阅读 多人点赞 2019-06-14 23:07:32
    连同若干个定义在该集合上的运算 f 1 , f 2 , ⋯   , f k f_1,f_2,\cdots,f_k f 1 ​ , f 2 ​ , ⋯ , f k ​ 所组成的系统就称为一个 代数系统 ,记作 ⟨ A , f 1 , f 2 , ⋯   , f k ⟩ \...
  • 《数据库原理》— 数据库系统概论第五版习题解析

    万次阅读 多人点赞 2017-05-29 14:57:48
    1.试述数据、数据库、数据库系统、数据库管理系统的概念。答: (l)数据(Data):描述事物的符号记录称为数据。数据的种类有数字、文字、图形、图像、声音、正文等。数据与其语义是不可分的。解析在现代计算机系统...
  • 理解傅里叶变换算法

    千次阅读 2018-12-31 18:36:54
    合成运算方法(Real Inverse DFT) DFT 合成等式(合成原始时间信号,频率 --> 时间,逆向变换): 如果有学过傅立叶级数,对这个等式就会有似曾相识的感觉,不错!这个等式跟傅立叶级数是非常相似的: ...
  • 图像分割综述

    万次阅读 多人点赞 2019-07-09 22:03:48
    ​ 主动轮廓模型(active contours)是图像分割的一种重要方法,具有统一的开放的描述形式,为图像分割技术的研究和创新提供了理想的框架。在实现主动轮廓模型时,可以灵活的选择约束力、初始轮廓和作用域等,以...
  • 离散数学在计算机科学中的应用

    万次阅读 多人点赞 2018-02-03 11:56:44
    自从我们学院进行软件 工程认证后,期末考试的专业课全部是大题。这次离散数学的最后一题是:利用本学期学到的离散数学的知识阐释其在一个软件工程中的应用。...其中逻辑结构和基本运算操作来源于离散
  • 行列定义 行列是由一些数据排列成的方阵经过规定的计算方法而得到的一个数,如果行列中含有未知数,那么行列就是一个多项式。 行列本质上代表一个数值,这点请矩阵区别开来。矩阵只是一个数表,行列...
  • 代数式:用运算符号把数或表示数的字母连接而成的式子叫做代数式。单独的一个数或一个字母也是代数式。 1.式的内容及概念 结构图 有理式:包括分式和整式。这种代数式中对于字母只进行有限次加、减...
  • 线性代数

    千次阅读 多人点赞 2019-05-17 17:15:19
    比如说,在全国一般工科院系教学中应用最广泛的同济线性代数教材(现在到了第四版),一上来就介绍逆序数这个古怪概念,然后用逆序数给出行列的一个 极不直观的定义,接着是一些简直犯傻的行列性质和习题——把...
  • 线性代数:矩阵及其运算

    千次阅读 2019-07-15 11:39:31
    由m*n个数,组成的m行n列的表格(注意,这里的表格,表明了矩阵和行列的本质区别,行列本质桑是一个数,并且行列一定是方方正正的,行数和列数一定相等) 而在矩阵中,行和列的数目是不一定相等的,如果行数...
  • 【数据库】关系代数基本运算

    万次阅读 多人点赞 2019-01-08 16:27:29
    由于关系定义为属性个数相同的元组的集合,因此集合代数的操作就可以引入到关系代数中。关系代数中的操作可以分为两类:传统的关系操作,并、差、交、笛卡尔积(乘)、笛卡尔积的逆运算(除);
  • 本文介绍了矩阵的定义、几种特殊矩阵、矩阵的秩等概念,并介绍了矩阵的加法、减法、数乘和乘法运算,由于向量可以看做单行或单列的矩阵,因此矩阵也可以用于向量运算
  • C#基础教程-c#实例教程,适合初学者

    万次阅读 多人点赞 2016-08-22 11:13:24
    class Welcome//类定义,类的概念见下一节 { /*解释开始,和C语言解释用法相同 解释结束*/ static void Main()//主程序,程序入口函数,必须在一个类中定义 { Console.WriteLine("请键入你的姓名:");//控制台输出...
  • 上文介绍了线性映射,而线性映射直接相关的就是矩阵,它决定了线性映射的结果,这里介绍矩阵的一些基本概念运算。包括矩阵的转置、逆、特征值特征向量、投影、正交矩阵、对称矩阵、正定矩阵、内积和外积、SVD...
  • LDPC编译码原理

    万次阅读 多人点赞 2019-08-01 20:45:32
    循环的长度定义为它所包含的连线的数量,而图形的围长,也可叫做图形的尺寸,定义为图中最小的循环长度。如上图中,图形的尺寸,即围长为6,如加黑线所示。 LDPC编码 基于校验矩阵H直接编码方案 首先...
  • 遗传算法原理及算法实例

    万次阅读 多人点赞 2017-11-26 09:42:19
    遗传算法(GA)是一种元启发自然选择的过程,属于进化算法(EA)大类。遗传算法通常是利用生物启发算子,如变异、交叉和选择来生成高质量的优化和搜索问题的解决方案。 借鉴生物进化理论,遗传算法将问题模拟成一...
  • 线性代数(二) : 矩阵矩阵运算

    千次阅读 2013-07-05 18:57:36
    矩阵是数学中一个非常...matrix 的最早使用者为了将它行列区别开来而选中matrix这个单词。英国数学家凯莱是矩阵论的创立人。 1矩阵 通常矩阵在数学上的定义时很直白的,谁都看得出来。但还是写下来: 一個m×n的矩
  • 线性代数 矩阵及其运算

    千次阅读 多人点赞 2019-06-12 14:57:15
    文章目录1 矩阵概念1.1 矩阵的定义1.2 行列的区别1.3 矩阵分类1.3.1 实矩阵复矩阵1.3.2 零矩阵1.3.3 方阵1.3.4 行矩阵列矩阵1.3.5 单位阵1.3.6 同型矩阵2 矩阵的运算2.1 矩阵的加减法2.2 矩阵的数乘运算2.3 ...
  • 行列定义二、使用步骤1.引入库2.读入数据总结 前言 最近在准备线性代数的期末考试,发现一个很有启发性的小问题和大家分享。 提示:以下是本篇文章正文内容,下面案例可供参考 一、计算矩阵——行列 1.行列...
  • 关系代数中的除法运算

    千次阅读 2017-11-28 14:32:52
    除法运算定义:    这个概念的描述的非常抽象,刚开始学习的同学完全不知所云。这里通过一个实例来说明除法运算的求解过程    设有关系R、S 如图所示,求R÷S 的结果    求解步骤过程:  ...
  • 张量基础学习(四 张量代数运算——下)

    千次阅读 多人点赞 2020-07-12 20:45:06
    因此 R≠S\boldsymbol{R} \neq \boldsymbol{S}R​=S,我们在这里只是大概的理解一下张量的这些概念,主流认识,真正张量分析的纯数学运算和完整的证明 需要了解协变基矢量,逆变基矢量,对偶空间,指标的升降等等...

空空如也

空空如也

1 2 3 4 5 ... 20
收藏数 11,487
精华内容 4,594
关键字:

代数式的定义与概念运算