高等代数

高等代数

代数学发展到高级阶段的总称
高等代数(advanced algebra)是代数学发展到高级阶段的总称。详细的说就是初等代数讨论二元及三元的一次方程组和研究二次以上及可以转化为二次的方程组时,沿着这两个方向继续发展,发展到讨论任意多个未知数的一次方程组(也叫线型方程组)的同时还研究次数更高的一元方程组的阶段,就叫做高等代数。高等代数是代数学发展到高级阶段的总称,是数学在其它学科应用的必需基础课程,又是数学修养的核心课程。它包括许多分支,现在大学里开设的高等代数,一般包括线性代数初步、多项式代数两部分。[1]
    中文名:高等代数 外文名:Advanced algebra 别名:

发展史

发展内容

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

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

线性代数学科和矩阵理论是伴随着线性系统方程系数研究而引入和发展的。

发展初期

十七世纪日本数学家关孝和提出了行列式(determinant)的概念,他在1683年写了一部叫做《解伏题之法》的着作,意思是“解行列式问题的方法”,书里对行列式的概念和它的展开已经有了清楚的叙述。而在欧洲,第一个提出行列式概念的是德国的数学家,微积分学奠基人之一莱布尼兹(Leibnitz,1693年)。

1750年克莱姆(Cramer)在他的《线性代数分析导言》(Introduction d l'analyse des lignes courbes alge'briques)中发表了求解线性系统方程的重要基本公式(既人们熟悉的Cramer克莱姆法则)。

1764年,Bezout把确定行列式每一项的符号的手续系统化了。对给定了含n个未知量的n个齐次线性方程,Bezout证明了系数行列式等于零是这方程组有非零解的条件。Vandermonde是第一个对行列式理论进行系统的阐述(即把行列式理论与线性方程组求解相分离)的人。并且给出了一条法则,用二阶子式和它们的馀子式来展开行列式。就对行列式本身进行研究这一点而言,他是这门理论的奠基人。

参照克莱姆和Bezout的工作,1772年,Laplace在《对积分和世界体系的探讨》中,证明了Vandermonde的一些规则,并推广了他的展开行列式的方法,用r行中所含的子式和它们的馀子式的集合来展开行列式,这个方法如今仍然以他的名字命名。1841年,德国数学家雅可比(Jacobi)总结并提出了行列式的最系统的理论。另一个研究行列式的是法国最伟大的数学家柯西(Cauchy),他大大发展了行列式的理论,在行列式的记号中他把元素排成方阵并首次采用了双重足标的新记法,与此同时发现两行列式相乘的公式及改进并证明了laplace的展开定理。相对而言,最早利用矩阵概念的是拉格朗日(Lagrange)在1700年后的双线性型工作中体现的。拉格朗日期望了解多元函数的最大、最小值问题,其方法就是人们知道的拉格朗日迭代法。为了完成这些,他首先需要一阶偏导数为0,另外还要有二阶偏导数矩阵的条件。这个条件就是今天所谓的正、负的定义。尽管拉格朗日没有明确地提出利用矩阵。

大约在1800年,高斯(Gauss)提出了高斯消元法并用它解决了天体计算和后来的地球表面测量计算中的最小二乘法问题。(这种涉及测量、求取地球形状或当地精确位置的应用数学分支称为测地学。)虽然高斯由于这个技术成功地消去了线性方程的变量而出名,但早在几世纪中国人的手稿中就出现了解释如何运用“高斯”消去的方法求解带有三个未知量的三方程系统。在当时的几年里,高斯消去法一直被认为是测地学发展的一部分,而不是数学。而高斯-约当消去法则最初是出现在由Wilhelm Jordan撰写的测地学手册中。许多人把著名的数学家Camille Jordan误认为是“高斯-约当”消去法中的约当。

矩阵代数的丰富发展,人们需要有合适的符号和合适的矩阵乘法定义。二者要在大约同一时间和同一地点相遇。

1848年,英格兰的J.J. Sylvester首先提出了矩阵(matrix)这个词,它来源于拉丁语,代表一排数。在1855年矩阵代数得到了Arthur Cayley的进一步发展。Cayley研究了线性变换的组成并提出了矩阵乘法的定义,使得复合变换ST的系数矩阵变为矩阵S和矩阵T的乘积。他还进一步研究了那些包括矩阵的逆在内的代数问题。1858年,Cayley在他的矩阵理论文集中提出著名的Cayley-Hamilton理论,即断言一个矩阵的平方就是它的特征多项式的根。利用单一的字母A来表示矩阵是对矩阵代数发展至关重要的。在发展的早期公式

det(AB)=det(A)det(B)为矩阵代数和行列式间提供了一种联系。数学家Cauchy首先给出了特征方程的术语,并证明了阶数超过3的矩阵有特征值及任意阶实对称行列式都有实特征值;给出了相似矩阵的概念,并证明了相似矩阵有相同的特征值;研究了代换理论。

数学家试图研究向量代数,但在任意维数中并没有两个向量乘积的自然定义。第一个涉及一个不可交换向量积(既V×W不等于W×V)的向量代数是由Hermann Grassmann在他的《线性扩张论》(Die lineale Ausdehnungslehre)一书中提出的(1844)。他的观点还被引入一个列矩阵和一个行矩阵的乘积中,结果就是现在称之为秩数为1的矩阵,或简单矩阵。在19世纪末美国数学物理学家吉布斯(Willard Gibbs)发表了关于《向量分析基础》(Elements of Vector Analysis)的著名论述。其后物理学家狄拉克(P.A.M. Dirac)提出了行向量和列向量的乘积为标量。我们习惯的列矩阵和向量都是在20世纪由物理学家给出的。

矩阵的发展是与线性变换密切相连的。到19世纪它还仅占线性变换理论形成中有限的空间。现代向量空间的定义是由Peano于1888年提出的。

生活运用

二次世界大战后随着现代数字计算机的发展,矩阵又有了新的含义,特别是在矩阵的数值分析等方面。由于计算机的飞速发展和广泛应用,许多实际问题可以通过离散化的数值计算得到定量的解决。于是作为处理离散问题的线性代数,成为从事科学研究和工程设计的科技人员必备的数学基础。

关系区别

很多人把高等代数和线性代数混为一谈,但其实高等代数是大学数学专业开设的专业课,线性代数是大学中除了数学专业以外的理科,工科和部分医科专业开设的课程。

代数学、几何学、分析数学是数学的三大基础学科,数学的各个分支的发生和发展,基本上都是围绕着这三大学科进行的。

代数学与另两门学科的区别,主要在以下两点:

首先,代数运算是有限次的,而且缺乏连续性的概念。也就是说,代数学主要是关于离散性的。尽管在现实中连续性和不连续性是辩证的统一的,但是为了认识现实,有时候需要把它分成几个部分,然后分别地研究认识,再综合起来,就得到对现实的总的认识。这是我们认识事物的简单但是科学的重要手段,也是代数学的基本思想和方法。代数学注意到离散关系,并不能说明这时它的缺点,时间已经多次、多方位的证明了代数学的这一特点是有效的。

其次,代数学除了对物理、化学等科学有直接的实践意义外,就数学本身来说,代数学也占有重要的地位。代数学中发生的许多新的思想和概念,大大地丰富了数学的许多分支,成为众多学科的共同基础。

清华大学出版社出版图书

作者:陈小松、李俊平、刘金旺、刘庆平、王国富

图书详细信息

ISBN:9787302370963

定价:35元

印次:1-1

装帧:平装

印刷日期:2014-9-2

图书简介:

本书是为高等院校数学类专业编写的高等代数教材。包含多项式、行列式、线性方程组、矩阵、二次型、向量空间、线性变换、欧氏空间,双线性函数共9章内容。在注重强化基础知识及其训练的同时,兼顾应用以及与数学软件的结合,内容精炼,重点突出。每章最后一节也可以作为学生自主研学的内容,对培养学生主动学习的能力大有益处。

前言

高等代数所包含的教学内容在大学数学专业、理科和工科专业都起着重要的作用.在教与学的过程中教材起着重要的作用.一本好的教材,我们认为要具有以下五个条件:一是要注意继承过去已列名优教材的优点,教学内容选择要恰当,内容安排顺序要自然,循序渐进,由浅入深;二是要注重教学内容的历史,问题的目的、来源和发展要简单扼要地交待清楚,强化“问题驱动”的教学思想;三是要与时俱进,注重教学内容的应用,要将数学应用和数学软件融入到教材里,注重将数学软件的应用编入到例题和习题中,可以作为学生自主研学的辅助材料;四是要适合专业的特点,要给教师根据教学对象和学时多少选择教学内容的馀地,教材要包含大多数名优教材的基本内容,以便于教师和学生查阅;五是要以学生为中心,充分发挥学生的主体作用,将引导学生进行自主研究性学习内容选入教材.我们根据多年的教学经验和体会,编写了这本教材.我们注意继承过去名优教材的优点,同时具有如下特点:第一,注重了教学内容的历史;第二,注重了教学内容的应用;第三,注重了将数学软件Maple应用到习题中,可以作为学生自主研学的辅助素材;第四,我们也将习题单独装订为合页册,方便学生习题和交作业,也方便老师批改;第五,部分调整了教学体系的结构,使得教学内容由浅入深,注重启发性,避免教学内容单纯重复;第六,增加了中英文对照的名词索引.

李俊平教授、刘金旺教授、刘庆平教授、王国富副教授和我多次对该教材进行讨论、编写和修改,并为本套教材配备了习题.教材由刘伟俊教授审稿.该书适合数学、信息与计算科学及统计学专业作为教材使用,也适合一些理科专业的学生对其内容选择使用.可以根据课程的学时,适当选择教学内容.例如,教学计划为128学时的,可以选择除9.3节,9.4节以外的所有内容,教学计划为88学时的,可以选择1.1~1.4节,第2章到第6章中非星号部分加上7.1~7.8节、8.1~8.6节的内容.整个教材中打星号的部分,可供教师教学时选择.每一章的最后一节可以作为学生自主研学、开展科研训练的内容.教材可能还会存在一些问题,希望使用该教材的同学和老师将问题指出来,发送到我的邮箱,以便今后重印或再版时修改。

陈小松

2014年5月于中南大学

目录

第1章多项式

1.1数域整数的整除性

1.2一元多项式

1.3整除的概念

1.4最大公因式

1.5因式分解

1.6重因式

1.7多项式函数

1.8复系数与实系数多项式

1.9有理数域上多项式

1.10多元多项式

1.11对称多项式

*1.12应用和利用Maple计算举例

第1章习题

第2章行列式

2.1行列式的引入

2.2排列

2.3n级行列式

2.4行列式的性质

2.5克莱姆法则

*2.6拉普拉斯定理和行列式乘法法则

*2.7应用和利用Maple计算举例

第2章习题

第3章线性方程组

3.1线性方程组的消元法

3.2n维向量空间

3.3矩阵的秩

3.4线性方程组有解的判定法

3.5线性方程组解的结构

*3.6二元高次方程组

*3.7应用和利用Maple计算举例

第3章习题

第4章矩阵

4.1矩阵的运算

4.2矩阵乘积的行列式与矩阵的逆

4.3矩阵的分块初等矩阵

4.4矩阵的分块举例

*4.5应用和利用Maple计算举例

第4章习题

第5章二次型

5.1二次型的矩阵表示

5.2标准形

5.3复数域和实数域上的二次型

5.4正定二次型

*5.5应用和利用Maple计算举例

第5章习题

第6章向量空间

6.1向量空间的定义与简单性质

6.2向量的线性相关性

6.3向量空间的基坐标

6.4基变换与坐标变换

6.5子空间

6.6子空间的交与和

6.7子空间的直和

6.8线性映射向量空间的同构

*6.9应用和利用Maple计算举例

第6章习题

第7章线性变换

7.1线性变换

7.2线性变换的运算

7.3线性变换的矩阵

7.4特征值与特征向量

7.5对角矩阵

7.6线性变换的像与核

7.7不变子空间

7.8若尔当标准形

7.9λ矩阵的概念不变因子

7.10行列式因子初等因子

7.11矩阵相似的条件

7.12初等因子和标准形

*7.13应用和利用Maple计算举例

第7章习题

第8章欧氏空间

8.1定义和性质

8.2正交组标准正交基

8.3同构

8.4正交变换

8.5正交补向量到子空间的距离

8.6对称变换实对称矩阵的标准形

8.7酉空间介绍

*8.8应用和利用Maple计算举例

第8章习题

第9章双线性函数

9.1线性函数

9.2双线性函数

*9.3辛空间

*9.4对偶空间

*9.5双线性函数的应用

第9章习题

附录Maple简介

索引

相关词条

相关搜索

其它词条