目录

  • 1 工程数学课程资料
    • 1.1 教学大纲
    • 1.2 教学进度表
    • 1.3 课程评价
  • 2 数学史
    • 2.1 数学危机
    • 2.2 2020年数学阿贝尔奖及历年菲尔兹奖
    • 2.3 数学家们
  • 3 第一章 函数与极限
    • 3.1 第一节 映射与函数
      • 3.1.1 映射
      • 3.1.2 函数
    • 3.2 第二节 数列的极限
      • 3.2.1 数列极限的定义
      • 3.2.2 收敛数列的性质
    • 3.3 第三节 函数的极限
      • 3.3.1 函数极限的定义
      • 3.3.2 函数极限的性质
    • 3.4 第四节 无穷小与无穷大
      • 3.4.1 无穷小
      • 3.4.2 无穷大
    • 3.5 第五节 极限运算法则
    • 3.6 第六节 极限存在准则 两个重要极限公式
    • 3.7 第七节 无穷小的比较
    • 3.8 第八节 函数的连续性与间断点
      • 3.8.1 函数的连续性
      • 3.8.2 函数的间断点
    • 3.9 第九节 连续函数的运算与初等函数的连续性
      • 3.9.1 初等函数的连续性
    • 3.10 闭区间上连续函数的性质
    • 3.11 函数极限计算方法总结
    • 3.12 函数极限概念总结
    • 3.13 数学家亚里士多德、高斯等
      • 3.13.1 亚里士多德
      • 3.13.2 高斯
  • 4 第二章 导数与微分
    • 4.1 第一节 导数概念
      • 4.1.1 引例
      • 4.1.2 导数的定义
      • 4.1.3 导数的几何意义
      • 4.1.4 函数可导性与连续性的关系
    • 4.2 第二节 函数的求导法则
      • 4.2.1 加法、乘法、除法求导法则
      • 4.2.2 复合函数求导法则
    • 4.3 第三节 高阶导数
    • 4.4 第四节 隐函数及由参数方程确定的函数的导数
    • 4.5 第五节 函数的微分
    • 4.6 数学家牛顿、莱布尼兹等
      • 4.6.1 牛顿
      • 4.6.2 莱布尼兹
  • 5 第三章 微分中值定理与导数的应用
    • 5.1 第一节 微分中值定理
      • 5.1.1 罗尔中值定理
      • 5.1.2 拉格朗日中值定理
      • 5.1.3 柯西中值定理
    • 5.2 第二节 罗比达法则
    • 5.3 第三节 泰勒公式
    • 5.4 第四节 函数的单调性与曲线的凹凸性
    • 5.5 第五节 函数的极值与最值
    • 5.6 第六节 函数图像的描绘
    • 5.7 第七节 曲率
    • 5.8 章节测试
    • 5.9 数学家拉格朗日、费马等
      • 5.9.1 拉格朗日
      • 5.9.2 费马定理
  • 6 第四章 不定积分
    • 6.1 第一节 不定积分的概念与性质
    • 6.2 第一节不定积分的性质与基本积分表
    • 6.3 第二节 第一类换元积分法
    • 6.4 第二节 第二类换元积分法
    • 6.5 第三节 分部积分法
    • 6.6 第四节 有理函数的不定积分
    • 6.7 第五节 三角函数的不定积分
  • 7 第五章
    • 7.1 第一节 定积分的概念
    • 7.2 第一节 定积分的性质
    • 7.3 第二节 积分上限函数及其导数
    • 7.4 第二节 微积分基本公式
    • 7.5 第三节 定积分换元法
    • 7.6 第三节 定积分分部积分法
    • 7.7 第四节 反常积分无穷区间上的反常积分
    • 7.8 第四节 反常积分无界函数的反常积分
    • 7.9 第五节 反常积分的审敛法
  • 8 第六章 定积分的应用
    • 8.1 第一节 定积分的元素法
    • 8.2 第二节 定积分的几何应用举例(1):平面图形的面积
    • 8.3 定积分的几何应用(2):体积和平面曲线的长度
    • 8.4 第三节 定积分在物理学上的应用
  • 9 第七章 微分方程
    • 9.1 第一节 微分方程的基本概念
    • 9.2 第二节 可分离变量的微分方程
    • 9.3 第三节 齐次方程
    • 9.4 第四节 一阶线性微分方程
    • 9.5 第五节 可降阶的高阶微分方程
    • 9.6 第六节 高阶线性微分方程
    • 9.7 第七节 常系数齐次线性微分方程1
    • 9.8 第七节 常系数齐次线性微分方程2
    • 9.9 第八节 常系数非齐次线性微分方程
    • 9.10 数学家伯努利家族
  • 10 第八章向量代数与空间解析几何
    • 10.1 第一节向量及其线性运算
    • 10.2 第二节 点的坐标与向量的坐标
    • 10.3 第二节数量积 向量积
    • 10.4 第三节平面及其方程
    • 10.5 第四节空间直线及其方程
    • 10.6 第五节曲面及其方程
    • 10.7 第六节空间曲线及其方程
  • 11 第九章多元函数的微分法及其应用
    • 11.1 第一节多元函数的基本概念
    • 11.2 第二节偏导数
    • 11.3 第三节全微分
    • 11.4 第四节多元复合函数的求导法则
    • 11.5 第五节隐函数的求导法则
    • 11.6 第六节多元函数微分学的几何应用
    • 11.7 第七节方向导数与梯度
    • 11.8 第八节 多元函数的极值及其求法
  • 12 第十章重积分
    • 12.1 第一节二重积分的概念与性质
    • 12.2 第二节二重积分在直角坐标系下的计算方法
    • 12.3 第二节二重积分在极坐标系下的计算方法
    • 12.4 第三节三重积分在直角坐标系下的计算
    • 12.5 第三节三重积分在柱面坐标及球坐标下的计算
    • 12.6 第四节重积分的应用(几何)
      • 12.6.1 立体的体积
      • 12.6.2 曲面的面积
      • 12.6.3 物体的质心
      • 12.6.4 转动惯量
      • 12.6.5 引力
    • 12.7 第四节重积分的应用(物理)
  • 13 第十一章曲线积分与曲面积分
    • 13.1 第一节对弧长的曲线积分
    • 13.2 第二节   对坐标的曲线积分
    • 13.3 第三节 格林公式及其应用
    • 13.4 第四节 对面积的曲面积分
    • 13.5 第五节对坐标的曲面积分
    • 13.6 第六节高斯公式
    • 13.7 第七节斯托克斯公式
  • 14 第十二章无穷级数
    • 14.1 第一节常数项级数的概念与性质
    • 14.2 第二节常数项级数的审敛法
    • 14.3 第三节幂级数
    • 14.4 第四节函数展开成幂级数
    • 14.5 第五节函数的幂级数展开式的应用
    • 14.6 第六节傅里叶级数
  • 15 线性代数部分
    • 15.1 数学史
      • 15.1.1 神圣的几何
      • 15.1.2 几何原本介绍
      • 15.1.3 非欧几何介绍
      • 15.1.4 线性代数序言
    • 15.2 线性代数发展史
  • 16 第一章矩阵与行列式
    • 16.1 矩阵介绍
    • 16.2 第一节 矩阵的概念
    • 16.3 第二节 矩阵的运算
    • 16.4 行列式介绍
    • 16.5 第三节 方阵的行列式
    • 16.6 第四节 逆矩阵及其运算
    • 16.7 第五节 矩阵的分块
    • 16.8 第六节 矩阵的初等变换
    • 16.9 第七节 矩阵的秩
    • 16.10 习题课
  • 17 第二章 向量组的线性表示与向量空间
    • 17.1 向量组的线性表示
    • 17.2 向量组的线性相关
    • 17.3 向量组的秩
    • 17.4 向量空间
    • 17.5 习题课
  • 18 第三章 线性方程组
    • 18.1 线性方程组简介
    • 18.2 克拉默法则
    • 18.3 齐次线性方程组解的结构与性质
    • 18.4 非齐次线性方程组解的结构与性质
    • 18.5 习题课
  • 19 相似矩阵与二次型
    • 19.1 欧式空间的基本概念
    • 19.2 方阵的特征值与特征向量
    • 19.3 相似矩阵
    • 19.4 实对称阵的对角化
    • 19.5 二次型
    • 19.6 总复习
  • 20 概率论与数理统计部分
    • 20.1 什么是概率?
    • 20.2 第一节   随机事件及其频率
    • 20.3 第二节  样本空间
    • 20.4 第三节  事件的关系与运算
    • 20.5 第四节  概率的古典定义
    • 20.6 第五节 概率加法定理
    • 20.7 第六节  条件概率  概率乘法定理
    • 20.8 第七节  全概率公式
    • 20.9 第八节   随机事件的独立性
    • 20.10 第九节  独立试验序列
    • 20.11 第十节  概率论的公理化体系
  • 21 第二章   随机变量及其分布
    • 21.1 第一节  随机变量的概念
    • 21.2 第二节  离散随机变量
    • 21.3 第三节  超几何分布  二项分布  泊松分布
    • 21.4 第四节  连续随机变量
    • 21.5 第五节  随机变量的分布函数
    • 21.6 第六节   连续随机变量的概率密度
    • 21.7 第七节  均匀分布  指数分布
    • 21.8 第八节   随机变量函数的分布
    • 21.9 第九节  二维随机变量的联合分布
    • 21.10 第十节  二维随机变量的边缘分布
    • 21.11 第十一节  二维随机变量的条件分布
    • 21.12 第十二节   随机变量的独立性
    • 21.13 第十三节   二维随机变量函数的分布
  • 22 第三章   随机变量的数字特征
    • 22.1 第一节   数学期望
    • 22.2 第二节   随机变量函数的数学期望
    • 22.3 第三节  关于数学期望的定理
    • 22.4 第四节  方差与标准差
    • 22.5 第五节  某些常用分布的数学期望与方差
    • 22.6 第六节  原点矩与中心矩
    • 22.7 第七节  协方差与相关系数
    • 22.8 第八节  切比雪夫不等式与大数定律
  • 23 第四章  正态分布
    • 23.1 第一节  正态分布的概率密度与分布函数
    • 23.2 第二节 正态分布的数字特征
    • 23.3 第三节  二维正态分布
    • 23.4 第四节 正态随机变量的线性函数的分布
    • 23.5 第五节 中心极限定理
  • 24 第五章  数理统计的基本知识
    • 24.1 第一节  总体与样本
    • 24.2 第二节 样本函数与统计量
    • 24.3 第三节  数理统计中的某些常用分布
    • 24.4 第四节  正态总体统计量的分布
    • 24.5 小结  习题
  • 25 第六章  参数估计
    • 25.1 第一节  参数的点估计
    • 25.2 第二节  衡量点估计好坏的标准
    • 25.3 第三节   正态总体参数的区间估计
    • 25.4 第四节  两个正态总体均值差及方差比的区间估计
    • 25.5 第五节  非正态总体参数的区间估计
  • 26 第七章  假设检验
    • 26.1 第一节  假设检验的基本概念
    • 26.2 第二节  正态总体参数的假设检验
    • 26.3 第三节  两个正态总体参数的假设检验
    • 26.4 第四节  非正态总体参数的假设检验
    • 26.5 第五节  总体分布的假设检验
    • 26.6 小结 习题
  • 27 第八章  方差分析
    • 27.1 第一节 单因素试验的方差分析
    • 27.2 第二节  双因素无重复试验的方差分析
    • 27.3 第三节   双因素等重复试验的方差分析
  • 28 测验
    • 28.1 测验
习题课

教案


延伸阅读

数学史话  线性代数发展简介

一门科学的历史是那门科学中最宝贵的一部分,因为科学只能给我们知识,而历史却能给我们智慧 。    ―――付鹰

数学的历史是重要的,这是文明史的有价值的组成部分,与人类的进步和科学思想是一致的。F.Cajori

从事数学研究,发现新的定理的技巧是一回事,而以一种能使其他人也能掌握的方式来阐述这些定理和技巧则又是一回事。学习那些伟大的数学家们的思想,使今天的学生能够看到某些论题在过去是怎样被处理的。V.Z卡兹

数学不仅是一种方法、一门艺术或一种语言,数学更主要的是一门有着丰富内容的知识体系,其内容对自然科学家、社会科学家、哲学家、逻辑学家和艺术家十分有用,同时是影响政治家和神学家的学说。 M.Kline

一、了解数学史的重要意义

数学是人类文明的一个重要组成部分,是一项非常重要的人类活动。与其他文化一样,数学科学是几千年来人类智慧的结晶。在学习数学时,我们基本是通过学习教材来认识这门学科的。教材是将历史上的数学材料按照一定逻辑结构和学习要求加以取舍编撰而成,因此,数学教材往往舍去了许多数学概念和方法形成的实际背景、深化历程以及导致其深化的各种因素,由于数学发展的实际情况与教材的编写体系有着许多不同,所以,对数学教材的学习,往往难以了解数学的全貌和数学思想产生的过程。正因为如此,许多人往往把数学当成了枯燥的符号、无源的死水,学了很多却理解得很少。

数学和任何一门科学一样,有着自身发展的丰富历史,是积累性的科学。数学的发展历史展示了人类追求理想和美好生活的力量,历史上数学家的成果、业绩和品德无不闪耀着人类思想的光辉,照亮着人类社会发展的进步的历程。

通过了解一些数学史,可以使我们了解数学科学发生、发展的规律、通过追溯数学概念、思想和方法的演变和发展过程,探究数学科学发展的规律和文化内涵,认识数学科学与人类社会发展的互动关系以及数学概念和方法的重要意义。

二、代数学的历史发展情况

数学发展到今天,已经成为科学世界中拥有一百多个主要分支学科的庞大的共和国。大体来说,数学中研究数的部分,属于分析学范围。这二大类数学构成了整个数学本体的与核心。在这一核心的周围,由于数学通过数与形这两个概念,与其它科学渗透,而出现了许多边缘学科和交叉学科。本节首要介绍一下代数学的历史发展情况。

代数algebra)一词最初来源于公元9世纪阿拉伯数学家、天文学家阿尔。花拉子米(约780850)一本代数教程,书名的直译为(还原与对消的计算概要)。其书名中的aljabr这个词意为还原,它所指的意思是把方程式一边的负项移到方程另一端还原为正项;almuqabala意即对消化简,在方程两端可以消去相同的项或合并同类项。在翻译中把“aljalr”译为拉丁文“aljelra”一词后来被许多国家采用,英文词“algebra”就是阿拉伯文“algebr”的讹用。

在数学史上,阿拉伯伊斯兰数学家在代数领域的贡献广为人知。他们在巴比伦人取得的成果基础上结合经典的希腊几何遗产发展了代数学。他们最重要的贡献是除非能够证明一个数学问题的解是成立的,否则便不能认为这个问题已经被解答,伊斯兰数学家通常是用几何来证明代数规则的性质。

代数学家阿布。贾法尔。穆罕默德。伊本。穆萨。阿尔-花拉子米的传记材料,很少流传下来。一般认为他生于花拉子模,位于咸涨南部阿姆河的下游,现在是乌兹别克斯坦和土库曼斯坦的辖地,境内的人以花拉子米为姓。另一说他生于巴格达附近的库特鲁伯得,祖先是花拉子模人。花拉子米是拜火教徒的后裔,早年在家乡接受初等教育,后到中亚细亚古城默夫继续深造,并到过阿富汗、印度等地游学,不久成为远近闻名的科学家。东部地区的总督马蒙曾在默夫召见过花拉子米。公元813年,马蒙成为阿拔斯王朝的哈利发后,聘请花拉子到首都巴格达工作。公元830年,马蒙在巴格达创办了著名的智慧馆(是自公元前3世纪亚历山在博物馆之后最重要的学术机关),花拉子米是智慧馆学术工作的主要领导人之一。马蒙去世后,花拉子米在后继的哈利发统治下仍留在巴格达工作,直至去世。花拉子米生活和工作的时期,是阿拉伯帝国的政治局势日渐安定、经济发展、文化生活繁荣昌盛时期。

花拉子米科学研究的范围十分广泛,包括数学、天文学、历史学和地理学等领域。他撰写了许多重要的科学著作。在数学方面,花拉子米编著了两部传世之作:《代数学》和《印度的计算术》。

1859年,我国数学家李善兰首次把“glgebra”译成代数。后来清代学者华蘅芳和英国人傅兰雅合译英国瓦里斯的代数学,卷首有代数之法,无论何数,皆可以任何记号代之,亦即;代数,就是运用文字符号来代替数字的一种数学方法。

古希腊数学家丢番图用文字缩写来表示未知量,在公元250年前后丢番图写了一本数学巨著算术Arithmetica)。其中他引入了未知数的概念,创设了未知数的符号,并有建立方程的思想,故有代数学之父的称号。

代数是巴比伦人、希腊人、阿拉伯人、中国人、印度人和西欧人一棒接一棒而完成的伟大数学成就。发展至今,代数学包含算术、初等代数、高等代数、数论、抽象代数五个部分。下面加以简单介绍。

.   算术

算术给予我们一个用之不竭的,充满有趣真理的宝库。  高斯

数可以说成是统治整个量的世界,而自述的四则可以被认为是作为数学家的完全的装备。 麦斯韦

算术有两种含义,一种是从中国传下来的,相当于一般所说的数学,如《九章算术》等。另一种是从欧洲数学翻译过来的,源自希腊语,有计算技术之意。现在一般所说的算术,往往指自然数的四则运算;如果是在高等数学中,则有数论的含义。作为现代小学课程内容的算术,主要讲的是自然数、正分数以及它们的四则运算,并通过由计数和度量而引起的一些最简单的应用题加以巩固。

算术是数学中最古老的一个分支,它的一些结论是在长达数千年的时间里,缓慢而逐渐地建立起来的。它们反映了在许多世纪中积累起来,并不断凝固在人们意识中的经验。

自然数是在对于对象的有限集合进行计算的过程中,产生的抽象概念。日常生活中要求人们不仅要计算单个对象,还要计算各种量,例如长度、重量和时间。为了满足这些简单的量度需要,就要用到分数。

现代初等算术运算方法的发展,起源于10世纪或11世纪的印度。它被阿拉伯人采用,之后传到西欧。15世纪,它被发展成现在的形式。在印度算术的里面,明显地存在着中国古代的影响。

19世纪中叶,格拉斯曼第一次成功地挑选出一个基本公理体系,来定义加法与乘法运算,而算术的其它命题,可以作为逻辑的结果,从这一体系中被推导出来,后来,皮亚诺进一步完善了格拉斯曼的体系。

算术的基本概念的逻辑推论法则,以人类的实践活动为基础,深刻地反映了世界的客观规律性。尽管它是高度抽象的,但由于它概括的原始是如此广泛,因此我们几乎离不开它。同时,算术又是数学其它分支的最坚实的基础。

2初等代数

作为中学数学课程中主要内容的初等代数,其中心内容是方程理论。代数一词的拉丁文原意是归位。代数方程理论在初等代数中是由一元一次方程向两方面扩展的,其一是增加未知数的个数。考察由有几个未知数的若干个方程所构成的二元或三元方程组(主要是一次方程组);其二是增高未知量的次数,考察一元二次方程或准二次方程。初等代数的主要内容在16世纪便已基本上发展完备了。

古巴比伦(公元前19世纪-公元前17世纪)解决了一次和二次方程问题,欧几里得的(原本)(公元前4世纪)中就有用几何形式解二次方程的方法。我国的九章算术(公元1世纪)中有二次方程和一次联立方程组的解法,并运用了负数。3世纪的丢番图用有理数求一次、二次不定方程的解。13世纪我国出现的天元求(李冶《测圆海镜》)是有关一元高次方程的数值解法。16世纪意大利数学家发现了三次和四次方程的解法。

数学是一种符号语言,代数学答题发展的历史,可分为三个阶段。第一个阶段为公元3世纪之前,对问题的解不用缩写和符号,而是写成一篇论文,称为文字叙述代数。第二个阶段为二世纪至16世纪,对某些较常出现的量和运算采用了缩写的方法,称为简化代数。公元3世纪的丢番图的杰出贡献之一,就是把希腊代数学,开创了代数。然而此后文字叙述代数,在除了印度以外的世界其它地方,还十分普遍地存在了好几百年,尤其在西欧一直到15世纪。第三个阶段为16世纪以后,对问题的解多半显示为由答题组成的数学速记,这些符号与所显示的内容没有什么的联系,称为符号代数。韦达在他的《分析法入门》著作中,首次系统地使用了符号未知量的值进行运算,提出符号运算与数的区别,规定了代数与算术的分界。韦达是第一个试图创立一般符号代数的数学家,他的开创的符号代数,经笛卡尔改进后成为现代的形式。笛卡尔用小写字母abc等表示已知量,而用xyz代表未知量边种用法已经成为当今的标准用法。

“+”号第一次在数学书中出现,在1489年维德曼的著作《商业中的巧妙速算法》,不过正式成为大家所公认作为加减法运算的符号,则是从1514年由荷伊克开始的。1540年,雷科德开始使用现在使用的=,到15 91年,韦达在著作中大量使用后,才逐渐为人们所接受。1600年哈里奥特创用大于号和小于号1631年,奥屈特给出“×”“÷”作为乘除运算符号。1637年,笛卡尔第一次使用了根号,并引进用字母表中头前的字母表示已知数、后面的字母表示未知数的习惯做法。至于”“”“≠”这三个符号的出现,那是近代的事了。

数的概念的拓广,在历史上并不全是由解代数方程所引起的,但习惯上仍把它放在初等代数里,以求与这门课程的安排相一致。公元前4世纪,古希腊人发现无理数。公元前2世纪(西汉时期),我国开始应用负数。1545年,意大利的卡尔达诺在大术中开始使用虚数。1614年,英国的耐普尔发明了对数。17世纪末,一般的实数指数概念才逐步形成。

3.   高等代数

在高等代数中,一次方程组(即线性方程组)发展成为了线性代数理论;而二次以上方程发展成为多项式理论。前者是向量容量、线性变换、型论、不变量论和张量代数等内容的一门近世代数分支学科,而后者是研究只含有未知量的任意方程的一门近世代数分支学科。作为大学课程的线性代数,只研究它们的基础。高次方程组(即非线性方程组)发展成为一门比较现代的数学理论――代数几何。

线性代数是高等代数的一大分支。我们知道一次方程叫线性方程,讨论线性方程及线性运算的代数就叫做线性代数。在线性代数中最重要的内容就是行列式和矩阵,行列式和矩阵在十九世纪受到很大的注意,而且写了成千篇关于这两个课题的文章。向量的概念,从数学的观点来看不过是有序三元数组的一个集合,然而它以力或速度作为直接的物理意义,并且数学上用它能立刻写出物理上所说的事情。向量用于梯度、散度、旋度就更有说服力。同样,行列式和矩阵如导数一样,(表示包括比率的极限的长式子,但导数本身是一个强有力的概念,能使我们直接而创造性地想象物理上发生的事情)。因此,虽然表面上看,行列式和矩阵不过是一种语言或速记,但它的大多数生动的概念能对新的思想领域提供钥匙。而且已经证明这两个概念是数学物理上高度有用的工具。

线性代数学科和矩阵理论是伴随着线性系统方程系数研究而引入和发展起来的,我们在下一节要进行更详细的介绍。

4数论

以正整作为研究对象的数论,可以看作是算术的一部分,但这不是以运算的观点,而是以数的结构的观点,即一个数可用性质较简单的其它数来表达的观点来研究数的。因些可以说,数论是研究由整数按一定形式构成的数系的科学。

早在公元前3世纪,欧几里得的《原本》讨论了整数的一些性质。他证明素数的个数是无穷的,他还给出求两个数的辗转相除法。这与我国《九章算术》中的更相减损法是相同的。埃拉托色尼则给出了寻找不大于给定的自然数N的全部素数的筛法;在写了从1到N的全部整数的纸草上,依次挖去2、3、5、7。。。。的倍数(各自的2倍,。。。)以及1,在这筛子般的纸草上留下使全是素数了。

当两个整数之差能被正整数m除尽时,便称这两个数对于”m同余。我国《孙子算经》(公元4世纪)中计算一次同余式组的求一术,有中国剩余定理之称。13世纪,秦九韶已建立了比较完整的同余式理论――――“大衍求一术,这是数论研究的内容之一。丢番图的《算术》中给出了求x2+y2=z2所有整数解的方法。费尔马指出xn+yn=znn>3时无整数解,对于该问题的研究产生了19世纪的数论。之后高斯的《数论研究》(1801)形成了系统的数论。

数论的古典内容基本上不借助于其它数学分支的方法,称为初等数论。17世纪中叶以后,曾受数论影响而发展起来的代数、几何、分析、概率等数学分支,又反过来促进了数论的发展,出现了代数数论(整系数多项式的根-代数数)、几何数论(研究直线坐标系中坐标均为整数的全部整点”――“空间格网)。19世纪后半期出现了解析数论,用分析方法研究素数的分布。二十世纪出现了完备的数论理论。

.抽象代数

抽象代数又称近世代数,它产生于十九世纪。

抽象代数是研究各种抽象的公理化代数系统的数学学科。由于代数可处理实数与复数以外的物集,例如向量、矩阵超数、变换等,这些物集分别是依它们各有的演算定律而定,而数学家将个别的演算经由抽象手法把共有的内容升华出来,并因此而达到更高层次,这就诞生了抽象代数。抽象代数,包含有群论、环论、伽罗瓦理论、格论、线性代数等许多分支,并与数学其它分支相结合产生了代数几何、代数数论、代数拓扑、拓扑群等新的数学学科。抽象代数已经成了当代大部分数学的通用语言。

被誉为天才数学家的伽罗瓦是近世代数的创始人之一。他深入研究了一个方程能用根式求解所必须满足的本质条件,他提出的伽罗瓦域伽罗瓦群伽罗瓦理论都是近世代数所研究的最重要的课题。伽罗瓦理论被公认为十九世纪最杰出的数学成就之一。他给方程可解性问题提供了全面而透彻的解答,解决了困扰数学家们长达百年之久的问题。伽罗瓦群论还给出了判断几何图形能否用直尺和圆规作图的一般判别法,圆满解决了三等分任意角或倍立方体的问题都是不可解的。最重要的是,群论开辟了全新的研究领域,以结构研究代替计算,把从偏重计算研究的思维方式转变为用结构观念研究的思维方式,并把数学运算归类,使群论迅速发展成为一门崭新的数学分支,对近世代数的形成和发展产生了巨大的影响。同时这种理论对物理学、化学的发展,甚至对于二十世纪结构主义哲学的产生和发展都产生了巨大影响。

143 年,哈密顿发明了一种乘法交换律不成立的代数――四元数。第二年Grassmann推演出更有一般性的几类代数。1857年,Cayley设计出另一种不可交换的代数――矩阵代数。他们的研究打开了抽象代数的大门。实际上,减弱或删去普通代数的某些假定,或将某些假定代之以别的假定,就能研究出许多种代数体系。

1870年,克隆尼克给出了有限阿贝尔群的抽象定义:狄德金开始使用的说法,并研究了代数体:1893年,韦伯定义了抽象的体:1910年,施坦尼茨展开了体的一般抽象理论:狄德金和克隆尼克创立了环论:1910年,施坦尼茨总结了包括群、代数、域等在内的代数体系的研究,开创了抽象代数学。

有一位杰出数学家被公认为抽象代数奠基人之一,被誉为代数女皇,她就是诺特,1882 3月23日生于德国埃尔朗根,1900年入埃朗根大学,1907年在数学家哥尔丹指导下获博士学位。

诺特的工作在代数拓扑学、代数数论、代数几何的发展中有重要影响。1907-1919年,她主要研究代数不变式及微分不变式。她在博士论文中给出三元四次型的不变式的完全组。还解决了有理函数域的有限有理基的存在问题,对有限群的不变式具有有限基给出一个构造性证明。她不用消去法而用直接微分法生成微分不变式,在格丁根大学的就职论文中,讨论连续群(李群)下不变式问题,给出诺特定理,把对称性、不变性和物理的守恒律联系在一起。

1920-1927年间她主要研究交换代数与交换算术。 1916年后,她开始由古典代数学向抽象代数学过渡。1920年,她已引入左模右模的概念。1921年写出的《整环的理想理论》是交换代数发展的里程碑。建立了交换诺特环理论,证明了准素分解定理。1926年发表《代数数域及代数函数域的理想理论的抽象构造》,给戴德金环一个公理刻画,指出素理想因子唯一分解定理的充分必要条件。诺特的这套理论也就是现代数学中的理想的系统理论,一般认为抽象代数形式的时间就是1926年,从此代数学研究对象从研究代数的方程根的计算与分布,进入到研究数字、文字和更一般元素的代数运算规律和各种代数结构,完成了古典代数到抽象代数的本质的转变。诺特当之无愧地被人们誉为抽象代数的奠基人之一。

1927-1935年,诺特研究非变换代数与《非变换算术》。她把表示理论、理想理论及模理论在所谓超复系即代数的基础上,后又引进交叉积的概念并用决定有限维伽罗瓦扩张的布饶尔群。最后导致代数的主定理的证明,代数数域上的中心可除代数是循环代数。

诺特的思想通过她的学生范``瓦尔登的名著《近世代数学》得到广泛的传播。她的主要论文收在《诺特全集》(1982)中。

1930年,毕尔霍夫建立格论,它源于1847年的布尔代数;第二次世界大战后,出现了各种代数系统的理论和布尔巴基学派;1955年,嘉当、格洛辛狄克和爱伯克建立了同调代数理论。

到现在为止,数学家们已经研究过200多种这样的代数结构,其中最主要德若当代数和李代数是不服从结合律的代数的例子。这些工作的绝大部分属于20世纪,它们使一般化和抽象化的思想在现代数学中得到了充分的反映。

现在,我们可以笼统地把代数学解释为关于字母计算的学说,但字母的含义是在不断地拓广的。在初等数学中,字母表示数;而在高等代数和抽象代数中,字母则表示向量(或n元有序数组)、矩阵、张量、旋量、超复数等各种形式的量。可以说,代数已经发展成为一关于形式运算的一般学说了。一个带有形式运算的集合称为代数系统,因此,代数是研究一般代数系统的一门科学。

三、线性代数主要概念的形成

线性代数是高等代数的重要组成部分。我们知道,研究关联着多个因素的量所引起的问题,需要使用多元函数。如果所研究的关联性是线性的,那么就称这个问题为线性问题。历史上线性代数的第一个问题是解线性方程组,而线性方程组理论的发展又促成了作为工具的矩阵论和行列式理论的创立与发展,这些内容已成为我们线性代数教材的主要部分。最初的线性方程组问题大都是来源于生活实践,正是实际问题刺激了线性代数这一学科的诞生与发展。另外,近现代数学分析与几何学等数学分支的要求也促使了线性代数的进一步发展。在线性代数中,出现了许多重要概念