北京大学：《高等代数》课程教学资源（讲义）第二章 向量空间与矩阵 2.1 m 维向量空间 2.1.4 向量组的线性等价和集合上的等价关系 2.1.5 向量组的极大线性无关部分组和向量组的秩

我们有多处对不连续变化的变量采取了连续化的方法,从而建立了相应的微分方程模型。但是由于以 下原因: 第一,有时变量事实上只能取自一个有限的集合; 第二,有时采取连续化方法后律立的植刑比校复杂

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的同余类,而将等价类中的任一元素称为等价类的代表元素。 命题同余类满足如下一些性质:

本篇用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。本篇讨论一些典型的代数系统及其性质（包括格）。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

在第三章中,我们有多处对不连续变化的变量采取了连续 化的方法,从而建立了相应的微分方程模型。但是由于以 下原因: 第一,有时变量事实上只能取自一个有限的集合; 第二,有时采取连续化方法后律立的植刑比校复杂,无 求出间题的/电子计算机的广泛应用为我们处理大量信息 建模时我们提供了实现的可能,这就十分自然地提出了 对连续变量一个问题

第十二章张量积与外代数 12-1多重线性映射 12.1.1线性空间的一组基的对偶基的定义 定义12.1对偶空间 设v是k上n维线性空间,E2,Sn是的一组基,则线性函数 f:V→K(K为数域)被f在此组基下的映射法则决定,即f()f(2)f(n)已给 定。现设V内全体线性函数组成的集合为V,则在V内定义加法与数乘如下: (i)f,,+)(a)= f(a)+g(a); (iif EV', k K, f )(a)= (a). 则V关于上述加法、数乘组成K上的线性空间,称为V的对偶空间,记作o(V,K 定义12.2对偶基 假设同定义12.1,定义V内n个线性函数

第二章多元函数微分学 第一节多元连续函数 2-1-1点集拓扑初步 2-1-1-1度量空间 2-1-1-2邻域、开集与闭集 2-1-1-3集合的紧致性、完备性与连通性 第一讲点集拓扑初步 课后作业: 复习阅读:第一章pp.01--21,己在代数中学过,请抽时间复习。 阅读:第二章11,1.2,1.3,1.4:pp.22-28 预习:第二章2,22:pp29-38 作业:第二章习题1:pp.28-29:1,(2),(3);2,(2),(4);3;5. 2-1-1点集拓扑初步 拓扑与线性空间、代数等概念一样,是一种数学结构。它与线性空间是研

逻辑代数：描述和研究客观世界中事物间逻辑 关系的数学，它把事物间逻辑关系简化为符号 间的数学运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔（G. Boole）最早提出，所以也称为布尔代数。 又因为布尔代数中的常量、变量都只有“真”（True ）和“假”（False）两种取值，所以也称为二值代 数

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）

主要内容 7.1概述 7.2关系代数的基本运算 7.3关系代数的附加运算 7.4扩充的关系代数运算 7.5关系演算 7.6关系代数的修改运算 7.7关系代数表达式的优化策略 7.8本章小结