数学史话线性代数发展史简介
肯定的-
数学史话线性代数发展史简介
数学史话—线性代数发展史简介
一
门科学的历史是那门科学中最宝贵的一部分，因为科学只能给我们知识，而
历史却能给我
们智慧。
傅
鹰
数学的历史是重要的，它是文明
史的有价值的组成部分，人类的进步和科学思
想是一致的。
F. Cajori
从事数学研究，发现新的定理和技巧是
一回事
;
而以一种能使其他人也能掌握
的方式来阐述这些定理和技巧则又是一回事。学习那些伟大的数学家们的思想，使
今天的
学生能够看到某些论题在过去是怎样被处理的。
V.
Z.
卡兹
数学不仅是一种方法、一
门艺术或一种语言，数学更主要的是一门有着丰富内
容的知识体系，其内容对自然科学家
、社会科学家、哲学家、逻辑学家和艺术家十
分有用，同时是影响政治家和神学家的学说
。
M(Kline
一
、了解数学史的重要意义
数学是人
类文明的一个重要组成部分
,
是一项非常重要的人类活动。与其
他文
化一样，数学科学是几千年来人类智慧的结晶。在学习数学时
,
我们基本是通过学
习教材来认识这门学科的。教材是将历史
上的数学材料按照一定的逻辑结构和学习
要求加以重组、取舍编撰而成，因此，数学教材
往往舍去了许多数学概念和方法形
成的实际背景、演化历程以及导致其演化的各种因素。
由于数学发展的实际情况与
教材的编写体系有着许多不同
,
所以
,
对数学教材的学习，往往难以了解数
学的全貌
和数学思想产生的过程。正因为如此，许多人往往把数学当成了枯燥的符号、无
源
的死水，学了很多却理解得很少。
数学和任何一门科学一样，有着自身发展的丰富历史，是积累性的科学。数学
的发展历
史展示了人类追求理想和美好生活的力量，历史上数学家的成果、业绩和
品德无不闪耀着
人类思想的光辉，照亮着人类社会发展和进步的历程。
通过
了解一些数学史，可以使我们了解数学科学发生、发展的规律，通过追溯
数学概念、思想
和方法的演变和发展过程，探究数学科学发展的规律和文化内涵，
帮助我们认识数学科学
与人类社会发展的互动关系以及数学概念和方法的重要意
义。
二、
代数学的历史发展情况
数学发展到
今天，已经成为科学世界中拥有一百多个主要分支学科的庞大的
“共和国”。大体说来，
数学中研究数的部分属于代数学的范畴
;
研究形的部分，
属于几何学的范筹
;
沟
通形与数且涉及极限运算的部分，属于分析学的范围。这三大类数学构成了整
个数学的本体与核心。在这一核心的周围，由于数学通过数与形这两个概念，与其
它科学互相渗透，而出现了许多边缘学科和交叉学科。本节简要介绍一下代数学的
历史发展情况。
“代数”(algebra)一词最初
来源于公元
9
世纪阿拉伯数学家、天文学家阿尔
?
花拉子米
(al-
Khwa
rizmī，约
780,850)
一本代数教程，书名的直译为
《还原与对消
的计算概要》
(
其书名中
的
al-jabr
这个词意为“还原”，它所指的意思是把方
程
式一边的负项移到方程另一端“还原”为正项
;al-muq
abala
意即“对消”或“化
简”，指方程两端可以消去相同
的项或合并同类项。在翻译中把“al
-
jabr”译为
拉丁文“aljebra”，拉丁文“aljebra”一词后来被许多国家采用，英文词
“algebra”就是阿拉伯文“al
-
jabr”的讹用。
在数学史上，阿拉伯伊斯兰数学家在代
数领域的贡献广为人知。他们在巴比伦
人取得的成果基础上结合经典的希腊几何遗产发展
了代数学。他们最重要的贡献是
“除非能够证明一个数学问题的解是成立的，否则便不能
认为这个问题已经被解
答”。伊斯兰数学家通常是用几何来证明代数规则的合理性。
代数学家阿布
?
贾法尔
?
穆罕默德
?
伊本
?
穆萨
?
阿尔—花拉子米的传记材料，很
少流传下来。一般认为他生于花拉子模
(Khwarizm)
，位于咸海南部阿姆河的下游，
< br>现在是乌兹别克斯坦和土库曼斯坦的辖地，境内的人以花拉子米为姓。另一说他生
于巴格达附近的库特鲁伯利
(Qut-
rubbullī)。祖
先是花拉子模人。花拉子米是拜火
教徒的后裔，早年在家乡接受初等教育，后到中亚细亚
古城默夫(Мерв)继续深
造，并到过阿富汗、印度等地游学，不久成为远近闻名的科
学家。东部地区的总督
马蒙
(al-
M
a’mūn
公元
786
—
833
年
)
曾在默夫召见过
花拉子米。公元
813
年，马蒙
成为阿
拔斯王朝的哈利发后，聘请花拉子米到首都巴格达工作。公元
830
年，马蒙
在巴格达创办了著名的“智慧馆”(Bayt al
-Hikmah
，是自公元前
3
世纪
亚历山大
博物馆之后最重要的学术机关
)
，花拉子米是智慧馆学术工作的主要领导人之一。
马蒙去世后，花拉子米在后继的哈利
发统治下仍留在巴格达工作，直至去世。花拉
子米生活和工作的时期，是阿拉伯帝国的政
治局势日渐安定、经济发展、文化生活
繁荣昌盛的时期。
<
/p>
花拉子米科学研究的范围十分广泛，包括数学、天文学、历史学和地理学等领
域。他撰写了许多重要的科学著作。在数学方面，花拉子米编著了两部传世之作
:
《代数学》和《印度的计算术》。
1859
年，我国数学家李善兰首次把“algebra”译成“代数”。后来清代
学者
华蘅芳和英国人傅兰雅合译英国瓦里斯的《代数学》，卷首有“代数之法，无论何<
/p>
数，皆可以任何记号代之”，亦即
:
代数
，就是运用文字符号来代替数字的一种数
学方法。
古希腊数学家丢番图
(Diophantus)
用文字缩写来表示未知量，在公元
250
年前
< br>后丢番图写了一本数学巨著《算术》
(Arithmetica)
。其中他引入了未知数的概
念，创设了未知数的符号，并有建立方程的思想，故
有“代数学之父”(Father of
algebra)
的称号。
代数是巴比伦人、希腊人、阿拉伯人、中国人、印度人和西欧人一棒接一棒而
< br>完成的伟大数学成就。发展至今，代数学包含算术、初等代数、高等代数、数论、
抽象代数五个部分。下面加以简单介绍。
1(
算术
算术给予我们一个用之不竭的、充满有趣真理的宝库。
高斯
数可以说成是统治整个量的世
界，而算术的四则可以被认为是作为数学家的完
全的装备。
麦斯韦
算术有两种含义，一种是从
中国传下来的，相当于一般所说的“数学”，如
《九章算术》等。另一种是从欧洲数学翻
译过来的，源自希腊语，有“计算技术”
之意。现在一般所说的“算术”，往往指自然数
的四则运算
;
如果是在高等数学
中，则
有“数论”的含义。作为现代小学课程内容的算术，主要讲的是自然数、正
分数以及它们
的四则运算，并通过由计数和度量而引起的一些最简单的应用题加以
巩固。
算术是数学中最古老的一个分支，它的一些结论是在长达数千年的时间里
，缓
慢而逐渐地建立起来的。它们反映了在许多世纪中积累起来，并不断凝固在人们意<
/p>
识中的经验。
自然数是在对于对象的
有限集合进行计算的过程中，产生的抽象概念。日常生
活中要求人们不仅要计算单个的对
象，还要计算各种量，例如长度、重量和时间。
为了满足这些简单的量度需要，就要用到
分数。
现代初等算术运算方法的发展，起源于
10
世纪或
11
世纪的印度
。它后来被阿
拉伯人采用，之后传到西欧。
15
世纪，它被改造成现在的形式。在印度算术的后
面，明显地存在着中国古代的影
响。
19
世纪中叶，格拉斯曼
(Grassmann)
第一次成功地挑选出一个基本公理体系，<
/p>
来定义加法与乘法运算
;
而算术的其它命
题，可以作为逻辑的结果，从这一体系中
被推导出来。后来，皮亚诺
(Peano)
进一步完善了格拉斯曼的体系。
算术的基本概念和逻辑推论法则，以人类的实践活动为基础，深刻地反映了世
< br>界的客观规律性。尽管它是高度抽象的，但由于它概括的原始材料是如此广泛，因
此我们几乎离不开它。同时，算术又是数学其它分支的最坚实的基础。
2(
初等代数
作为中学数学课程中主要内容的初等代数，其中心内容是方程理论。代数一词
的拉丁
文原意是“归位”。代数方程理论在初等代数中是由一元一次方程向两个方
面扩展的
:
其一是增加未知数的个数，考察由有几个未知数的若干个方程所构
成的
二元或三元方程组
(
主要是一次方
程组
);
其二是增高未知量的次数，考察一元二次
方程或准二次方程。初等代数的主要内容在
16
世纪
便已基本上发展完备了。
古巴比伦
(
公元前
19
世纪
-
公元前
17
世纪
)
解决了一次和二次方程问题，欧几
里得的《原本》<
/p>
(
公元前
4
世纪
)
中就有用几何形式解二次方程的方法。我国的《九
章算术》
(
公元
1
世纪
)
中有三次方程和一次联立方程组的解法
，并运用了负数。
3
世纪的丢番图用有理数求一次、二次不定方
程的解。
13
世纪我国出现的天元术
(
李
冶《测圆海镜》
)
< br>是有关一元高次方程的数值解法。
16
世纪意大利数学家
发现了三
次和四次方程的解法。
数
学是一种符号语言。代数学符号发展的历史，可分为三个阶段。第一个阶段
公元为
3
世纪之前，对问题的解不用缩写和符号，而是写成一篇论文，称
为文字叙述代
数。第二个阶段为三世纪至
16
< br>世纪，对某些较常出现的量和运算采用了缩写的方
法，称为简化代数。公元
3
世纪的丢番图的杰出贡献之一，就是把希腊代数学简
化，开创了简化代数。然而此后文字叙述代数，在除了印度以外的世界其它地方，
还十分普通地存在了好几百年，尤其在西欧一直到
15
世纪。
第三个阶段为
16
世纪
以后，对问题的
解多半表现为由符号组成的数学速记，这些符号与所表现的内容没
有什么明显的联系，称
为符号代数。韦达(Viète)在他的《分析方法入门》
(Inartem
analyticem isagoge
，
1591)
著作中，首次系统地使用了符号表示未知量
的值进行运算，提出符号运算
与数的区别，规定了代数与算术的分界。韦达是第一
个试图创立一般符号代数的的数学家
，他开创的符号代数，经笛卡尔
(Descarte)
改
进后成为现代的形式。笛卡尔用小写字母
a,b,c
< br>等表示已知量，而用代表未知量。
这种用法已经成
x,y
,z
为当今的标准用法。
“，”
、“,”号第一次在数学书中出现，是
1489
年维德曼的著作
《商业中的
巧妙速算法》(Behend und hüpsch Rechnung
uff allen kauffmanschafften，
1489)
。不过正式为大家所公认，作为加、减法运算的符号，则是从
1514
年由荷伊
克开始的。
1540
年，雷科德
(R. Rcorde)
开始使用现在使用
的“,”。到
1591
年，
韦达在著作
中大量使用后，才逐渐为人们所接受。
1600
年哈里奥特
(T. Harriot)
创用大于号“,”和小于号“,”。
1631
年，奥屈特给出“×”、“?”作为乘除运
算符。
1637
年，笛卡尔第一次使用了根号，并引进
用字母表中头前的字母表示已
知数、后面的字母表示未知数的习惯做法。至于“?”、“
?”、“?”这三个符号
的出现，那是近代的事了。
数的概念的拓广，在历史上并不全是由解代数方程所引起的，但习惯上仍把它
< br>放在初等代数里，以求与这门课程的安排相一致。公元前
4
世纪，古希腊人发现无
理数。公元前
2
世纪
(
西汉时期
)
< br>，我国开始应用负数。
1545
年，意大利的卡尔达
诺
(N. Cardano)
在《大术》中
开始使用虚数。
1614
年，英国的耐普尔发明对数。
17
世纪末，一般的实数指数概念才逐步形成。
3(
高等代数
在高等代数中，一次方程组
(
即线性方程组
)
发展成为了线性代数理论
;
而二次
以上方程发展成为多项式理论。前者是向量空间、线性变换、型论、不变量论和张
量代数等内容的一门近世代数分支学科，而后者是研究只含有一个未知量的任意次
方程的一门近世代数分
支学科。作为大学课
程的线性代数，只研究它们的基础。高次方程组
(
即非线
性方程组
)
发展成为一门比较现代的数学理论
,
代数几何。
线性代数是高等代数的一大分支。我们知道一次方程叫做线性方程，讨论线性
方程及
线性运算的代数就叫做线性代数。在线性代数中最重要的内容就是行列式和
矩阵。行列式
和矩阵在十九世纪受到很大的注意，而且写了成千篇关于这两个课题
的文章。向量的概念
，从数学的观点来看不过是有序三元数组的一个集合，然而它
以力或速度作为直接的物理
意义，并且数学上用它能立刻写出物理上所说的事情。
向量用于梯度、散度、旋度就更有
说服力。
,ydy
同样，行列式和矩
阵如导数一样
(
虽然在数学上不过是一个符号，表示包
括的极限
dx,x
的长式子，但导数本身是一个
强有力的概念，能使我们直接而创造
性地想象物理上发生的事情
)
。因此，虽然表面上看，行列式和矩阵不过是一种语
言或速记
，但它的大多数生动的概念能对新的思想领域提供钥匙。而且已经证明这
两个概念是数学
物理上高度有用的工具。
线性代数学科和矩阵理论是伴随着
线性系统方程系数研究而引入和发展起来
的，我们在下一节要进行更详细的介绍。
4(
数论
<
/p>
以正整数作为研究对象的数论，可以看作是算术的一部分，但它不是以运算的
观点，而是以数的结构的观点，即一个数可用性质较简单的其它数来表达的观点来
研究数的。因此可以说，数论是研究由整数按一定形式构成的数系的科学。
早在公元前
3
世纪，欧几里得的《原本》讨
论了整数的一些性质。他证明素数
的个数是无穷的，他还给出了求两个数的公约数的辗转
相除法。这与我国《九章算
术》中的“更相减损法”是相同的。埃拉托色尼则给出了寻找
不大于给定的自然数
N
的全部素数的“筛法”:在写出从
1
到
N
的全部整数的
纸草上，依次挖去
2
、
3
、
5
、7……的倍数
(
各自的
2
倍，
3<
/p>
倍，……)以及
1
，在这筛子般的纸草上
留下的便
全是素数了。
当两个整数
之差能被正整数
m
除尽时，便称这两个数对于“模”m
同余。我国
《孙子算经》
(
公元
4
世纪
)
中计算一次同余式组的“求一术”，有“中国剩余定
理”之称。
13
世纪，秦九韶已建立了比较完整的同余式理论——“大衍求一
< br>术”，这是数论研究的内容之一。
222
丢番图的《算术》中给出了求所有整数解的方法。费尔马指出
x
，
y,z
nnn
在
n ,3
时无整数解，对于该问题的研究产生了
19
世纪的数论。之
后高斯
的
x
，
y,z
《数论研究》
(1801
年<
/p>
)
形成了系统的数论。
数论的古典内容基本上不借助于其它数学分支的方法，称为初等数论。
17<
/p>
世纪
中叶以后，曾受数论影响而发展起来的代数、几何、分析、概
率等数学分支，又反
过来促进了数论的发展，出现了代数数论
(
研究整系数多项式的根—“代数数”)、
几何数论
(
研究直线坐标系中坐标均为整数的全部“整点”—“空间格网”)。
19
世纪后半期出现了解析数论，用分析方法研究素数的分布。二十世
纪出现了完备的
数论理论。
5(
抽象代数
抽象代数
(Abstract
algebra)
又称近世代数
(modern algebr
a)
，它产生于十九
世纪。
抽象代数是研究各种抽象的公理化代数系统的数学学科。由于代数可处理实数
< br>与复数以外的物集，例如向量、矩阵超数、变换
(transformation
)
等，这些物集的
分别是依它们各有的演算定律而定，而数学家
将个别的演算经由抽象手法把共有的
内容升华出来，并因此而达到更高层次，这就诞生了
抽象代数。抽象代数，包含有
群论、环论、伽罗瓦理论、格论、线性代数等许多分支，并
与数学其它分支相结合
产生了代数几何、代数数论、代数拓扑、拓扑群等新的数学学科。
抽象代数已经成
了当代大部分数学的通用语言。
被誉为天才数学家的伽罗瓦
(Galois, Evarist
e,1811-1832)
是近世代数的创始
人之一。他深入研
究了一个方程能用根式求解所必须满足的本质条件，他提出的
“伽罗瓦域”、“伽罗瓦群
”和“伽罗瓦理论”都是近世代数所研究的最重要的课
题。伽罗瓦群理论被公认为十九世
纪最杰出的数学成就之一。他给方程可解性问题
提供了全面而透彻的解答，解决了困扰数
学家们长达数百年之久的问题。伽罗瓦群
论还给出了判断几何图形能否用直尺和圆规作图
的一般判别法，圆满解决了三等分
任意角或倍立方体的问题都是不可解的。最重要的是，
群论开辟了全新的研究领
域，以结构研究代替计算，把从偏重计算研究的思维方式转变为
用结构观念研究的
思维方式，并把数学运算归类，使群论迅速发展成为一门崭新的数学分
支，对近世
代数的形成和发展产生了巨大影响。同时这种理论对于物理学、化学的发展，
甚至
对于二十世纪结构主义哲学的产生和发展都发生了巨大的影响。
1843
年，哈密顿
(Ham
ilton, W. R. )
发明了一种乘法交换律不成立的代数——
四元数代数。第二年，
Grassmann
推演出更有
一般性的几类代数。
1857
年，
Ca
yley
设计出另一种不可交换的代数——矩阵代数。他们的研究打开了抽象代数
(
也叫近
世代数
)<
/p>
的大门。实际上，减弱或删去普通代数的某些假定，或将某些假定代之以
< br>别的假定
(
与其余假定是兼容的
)
，就能研究出许多种代数体系。
1870
年，克隆尼克
(Kronecker)
给出了有限阿贝尔群的抽象定义
;
狄德金开始使
用“体”的说法，并研究了代数体
;1893
年，韦伯定义了抽象的体
;1910
年，施坦
< br>尼茨展开了体的一般抽象理论
;
狄德金和克隆尼克创立了
环论
;1910
年，施坦尼茨
总结了包
括群、代数、域等在内的代数体系的研究，开创了抽象代数学。
有一位杰出女数学家被公认为抽象代数奠基人之一，被誉为代数女皇，她就是
诺特<
/p>
(Emmy Noether)
，
188
2
年
3
月
23
日生于德国埃尔朗根，
1900
年入埃
朗根大
学，
1907
年在数学家哥尔丹
指导下获博士学位。
诺特的工作在代数拓扑学、代数数论、
代数几何的发展中有重要影响。
1907-
1919
年，她主要研究代数不变式及微分不变式。她在博士论文中给出三元四次型
的不变式的完全组。还解决了有理函数域的有限有理基的存在问题。对有限群的不
变式具
有有限基给出一个构造
性证明。她不用消去法而用直接微分法
生成微分不变式，在格丁根大学的就职
论文中，讨论连续群
(<
/p>
李群
)
下不变式问题，给出诺特定理，把
对称性、不变性和物
理的守恒律联系在一起。
1920-1927
年间她主要研究交换代数与「交换算术」。
1916
年后，她开始由古
典代数学向抽象代数学过
渡。
1920
年，她已引入「左模」、「右模」的概念。
1921
年写出的《整环的理想理论》是交换代数发展的里程碑。建立
了交换诺特环
理论，证明了准素分解定理。
1926
年发表《代数数域及代数函数域的理想理论的
抽象构造》，给戴德金环一个
公理刻画，指出素理想因子唯一分解定理的充分必要