线性代数的中国根源-技术圈

↓↓↓点击关注，回复资料，10个G的惊喜

来源：数学译林作者Joseph F. Grcar

Roger Hart, The Chinese Roots of Linear Algebra, Johns Hopkins University Press, Baltimore, Maryland, 2011, xi+286 pp., ISBN 978-0-8018-0765-9.

在数学史上一个重现的主题是成果的文化背景。无论相信与否，社会背景是有争议的。一方面，背景一定是重要的，因为数学基于人类的经验；另一方面，社会无法左右数学，因为数学是纯粹的思想，后一个观点经专家通过他们的著作了解过去而得到加强，把著名想法的“遗产”归因于过去，但用最新的术语表达，使这些想法显得是一成不变的。Roger Hart的《线性代数学的中国根源（The Chinese Roots of Linear Algebra）》将引起生动的讨论。因为许多关于数学遗产的书籍几乎没有提到中国。

在古代中国进行的几种计算，在整个19世纪的东亚被继续使用。这些计算在历史研究中有描述，偶尔在数学教科书中会提到它们。一些古代的计算与今天的那些计算类似，包括美国在讲授微积分之前的代数学教科书中的“Gauss（高斯）消去法”。在不同的文明中的这种相似性产生这样的问题，它们是否分享了一个不变的数学概念，以及这个概念可能是什么，它在一种文明中的发展涉及符号代数学，而在另一种文明中则没有涉及。

这些古代的计算用被称为算筹（算盘是相对较近的发明）的工具进行，算筹是短棒，它们按（一定次序）排列以表示十进制记号中正整数和负整数的数字。复杂的计算通过把算筹放在一张记数“板”或“表”的方格中进行。古代的这种表没有遗留下来，但人们可以推测，它们是任何平的表面，也许上面覆盖着一块画有方格的布。从字面上来说，记数表是古代用于手算的“数据表（spreadsheet）”，在计算进行中数可以进入数据表并被改变。

对于来自古代中国的数学遗存，最全面的是《九章算术》，在大约2000年前它由无名氏汇集而成。如同许多古代的文本那样，《九章算术》曾从残缺不全的抄本重新汇集过，这些抄本是在被认为的原始文本之后很久形成的。一些重构（reconstruction）可以在其英、法文的译本中读到。该书9章（《九章算术》中用的是卷；为了与“九章”的“章”对应，在此译为“章”——译注）中的每一章通过示范性的例子处理一个不同类型的计算，书中的大多数单元是就事论事，没有指出其中所用的知识。（其他文本描述管理和天文用的数学）在衍生的著作中，《九章算术》中的问题通过解释得到补充。最早的这些“评注”为刘徽所写，大约在《九章算术》成书后200年。

Roger Hart的书集中于《九章算术》的第8章，这些内容可以用现代代数学的语言解释为联立线性方程组的一些问题。Hart的观点之一就是：第8章是“民间高手”的结果，这些结果是被“有志文人”记录后呈现给宫廷的。在别处对于更近的时期也有这样的看法。如果我们对古代中国的学术发展能够有更多的了解，那将是很有趣的。这在我们的社会中也有相似之处。今天，在美国“年轻数学家事业的关键任务”正在获得中央政府认可。此外，在没有电子计算机的时代，计算是由无名的计算员进行的，而现在。计算机程序员的工作亦处于类似的默默无闻的状态。

《九章算术》中第8章的线性计算描述如下，为了避免迂回的陈述，注意适用于全文的说明：这是用现代术语解释古代数学。在一个计算表中，通过在竖直的列中放置每个方程的各个数来表示有个未知量的个线性方程的组：，对于

列旋转90度给出行（按中国古代为书写习惯，从右数第列放置第个方程的各个数，再把表逆时针旋转90度—校注），成为现代的表，对于，

古代的计算通过该表左乘矩阵

得到第二张表，它的第一列对角线下的元素为0。我将使用统一的记号表示第张表中的元素。经过次这样的步骤，带表的计数板呈代数学家所说的“行阶梯”形，而数值分析学家称为“上三角的”:

转回到符号代数学，表的这一形式对应于未知量可以逆序计算的递推公式:

“Gauss消去法”是以与古代中国相同的视觉方式出现在现代讲授微积分之前的代数学教科书中的，这是值得注意的。在欧洲发现的最早的例子是Joan Borrel在1560年的书，这已在很晚之后。他通过相同的约化过程保持整数，然后在一个现在被称为“回代（back substitution）”的过程中他使用递归求未知量，他用这些过程解3个未知数的3个方程只管计算看起来像我们所做的，但“方程”的概念在Borrel写书时并没有完全形成。对于4个未知数的4个方程，Borrel以符号消去开始，但他接着转到用语言论证且没有完成消去过程。

由于回代假定符号代数学，Hart提出古代记数表计算的结论被误解了。他相信，把表弄成对角形继续了相同类型的约化过程，并带有保持整数的益处，即使解中有分数，列从右到左可以使对角线之上为0，余下的数的大小可以用除法加以调节。在一个例子（常常展示的《九章算术》第8章的问题1）中，第一次后向步骤相当于左乘矩阵

这就产生了下一张表，它第 3 列的非对角线的元素都为0。Hart 表明除法保持整数。在次这样的后向步骤之后，这些方程被做成对角线形式，以在对角线上重复:

Hart 关于延缓使用分数的观点很引人注目。至于除法的计算是否如他所假设的那样，似乎依赖于《九章筫术》中仅有的几个完整例子了。

在第 8 章的问题中，有几个其表具有如下所示的特殊形式，对于，

这里和是指示矩阵（indicated matrix）和列向量。在《九章算术》中，这些问题有3-5个方程，第9章的例子有更多的方程。如果在约化阶段用整数以直截了当的方式去做，那么，最终行阶梯矩阵对角线上元素的形式是。一个这样的问题——“水井问题”，其中作为未知数，给出未知数的数目多于方程的数目。这个例子经常被引用，表示《九章算术》的作者（们）理解不定方程问题。Hart则唱反调：他认为第8章只是断定了。综观现存的文献，显示其不确定性可能直到17世纪才被明显处理。

Hart进一步提出，特殊问题的“行列式风格”的解法通过Gottfried Wilhelm Leibniz（莱布尼茨）可能影响了欧洲人对行列式，更广一些，对线性代数学的工作。这就留待将来在Leibniz的数学作品中寻找中国的影响，无论怎样，Leibniz对Gauss消去法并无贡献，而不用行列式的Gauss消去法出现在一些欧洲数学家（如Borrel）的工作中，lsaac Newton（牛顿）为了指导符号代数学，开始创造消去方程式的传统，这在18世纪末的一部标准的教科书中达到高峰，这个程式即是讲授微积分之前的代数学教科书中的“Gauss消去法”。

总之，《线性代数学的中国根源》记录了《九章算术》中古代中国的线性问题，并提供了关于它们解法的新见解。剩下的是要研究《九章算术》的第8章是否影响了现代线性代数学。《九章算术》是一个“根源”吗？或者它们是分割开来地发展，无论如何，难道它们不是我们数学遗产的一部分吗？Roger Hart引起争议的著作值得每一所学院和大学收藏。本文作者自己的研究，以及他对其他学术著作的评估，将是无数学期论文的起点。除此之外，书名的特定论题使阅读引人入胜。

附录

也许应当提到，用整数消元可以完成的最好的方法是Chiò方法。对有行（用第1个下标表示）及相同或更多列（用第2个下标表示）的一个表约化为行阶梯形，可以用相继的表（用上标表示）中元素变化的一个公式来表示：

,对于

这里需要选择。(注意的情形把 0 引进列中.) 在《九章算术》中，Gauss 消去法的常见形式取，而 Chiò 取 , 对取为 1 . 对 Chiò 的选择，可以证明: (1) 表中的元素保持整数, (2) 对作为初始表中元素的多项式的次数是，这是对任何计算所能期望的最小的值，以及 (3) 对初始表，元素是阶为的前主子式。

对于行列式的计算，许多作者，包括 Charles Dodgson (道奇森) (Lewis Carroll)重新发明了 Chiò 的方法. 这个方法也归之于 Bareiss，他的新贡献加速了高阶行列式的过程。Chiò 的方法当然适用于整区 (integral domains) 中的消元，在交换代数学和复杂性理论中可见到这种方式。

如果允许除外遍历，则第张表是对角的，这一约化相对于Gauss消去法被称为Gauss-Jordan（若尔当）消去法。与通过向后约化为行阶梯形相比，为得到对角形，Jordan消去法需要更多的算术运算。

（赵振江译陆柱家校）

推荐阅读
准备写本书
21个深度学习开源数据集汇总！
【机器学习】特征工程的基本功
马尔科夫决策过程基本概念详解
用 Python 从 0 实现一个神经网络
40篇AI论文！附PDF下载，代码、视频讲解

三连在看，月入百万👇

线性代数的中国根源

附录

添加附言

相关文章推荐