honeybear
线性代数是高等代数的一大分支。我们知道一次方程叫做线性方程，讨论线性方程及线性运算的代数就叫做线性代数。在线性代数中最重要的内容就是行列式和矩阵。行列式和矩阵在十九世纪受到很大的注意 ， 而且写了成千篇关于这两个课题的文章。向量的概念 ， 从数学的观点来看不过是有序三元数组的一个集合 ， 然而它以力或速度作为直接的物理意义 ， 并且数学上用它能立刻写出 物理上所说的事情。向量用于梯度 ， 散度 ， 旋度就更有说服力。同样 ， 行列式和矩阵如导数一样（虽然 dy/dx 在数学上不过是一个符号 ， 表示包括△y/△x的极限的长式子 ， 但导数本身是一个强有力的概念 ， 能使我们直接而创造性地想象物理上发生的事情）。因此，虽然表面上看，行列式和矩阵不过是一种语言或速记，但它的大多数生动的概念能对新的思想领域提供钥匙。然而已经证明这两个概念是数学物理上高度有用的工具。 线性代数学科和矩阵理论是伴随着线性系统方程系数研究而引入和发展的。 行列式的概念最早是由十七世纪日本数学家关孝和提出来的，他在 1683 年写了一部叫做《解伏题之法》的著作，意思是 “ 解行列式问题的方法 ” ，书里对行列式的概念和它的展开已经有了清楚的叙述。欧洲第一个提出行列式概念的是德国的数学家， 微积分学奠基人之一 莱布 尼 兹 （ Leibnitz ， 1693 年） 。 1750 年 克莱姆（ Cramer ） 在他的《线性代数分析导言》（ Introduction d l'analyse des lignes courbes alge'briques ）中 发表了求解线性系统方程的重要基本公式（既人们熟悉的 Cramer 克莱姆法则）。 1764 年 ， Bezout 把确定行列式每一项的符号的手续系统化了。对给定了含 n 个未知量的 n 个齐次线性方程 ， Bezout 证明了系数行列式等于零是这方程组有非零解的条件。 Vandermonde 是第一个对行列式理论进行系统的阐述 ( 即把行列 ' 式理论与线性方程组求解相分离 ) 的人。并且给出了一条法则，用二阶子式和它们的余子式来展开行列式。就对行列式本身进行研究这一点而言，他是这门理论的奠基人。 Laplace 在 1772 年的论文《对积分和世界体系的探讨》中 ， 证明了 Vandermonde 的一些规则 ， 并推广了他的展开行列式的方法 ， 用 r 行中所含的子式和它们的余子式的集合来展开行列式，这个方法现在仍然以他的名字命名。 德国数学家雅可比（ Jacobi ）也于 1841 年总结并提出了行列式的系统理论。另一个研究行列式的是法国最伟大的数学家 柯西 (Cauchy) ，他大大发展了行列式的理论，在行列式的记号中他把元素排成方阵并首次采用了双重足标的新记法，与此同时发现两行列式相乘的公式及改进并证明了 laplace 的展开定理。相对而言，最早利用矩阵概念的是 拉格朗日（ Lagrange ） 在 1700 年后的双线性型工作中体现的。拉格朗日期望了解多元函数的最大、最小值问题，其方法就是人们知道的拉格朗日迭代法。为了完成这些，他首先需要一阶偏导数为 0 ，另外还要有二阶偏导数矩阵的条件。这个条件就是今天所谓的正、负的定义。尽管拉格朗日没有明确地提出利用矩阵。 高斯（ Gauss ） 大约在 1800 年提出了高斯消元法并用它解决了天体计算和后来的地球表面测量计算中的最小二乘法问题。（这种涉及测量、求取地球形状或当地精确位置的应用数学分支称为测地学。）虽然高斯由于这个技术成功地消去了线性方程的变量而出名，但早在几世纪中国人的手稿中就出现了解释如何运用“高斯”消去的方法求解带有三个未知量的三方程系统。在当时的几年里，高斯消去法一直被认为是测地学发展的一部分，而不是数学。而高斯 - 约当消去法则最初是出现在由 Wilhelm Jordan 撰写的测地学手册中。许多人把著名的数学家 Camille Jordan 误认为是“高斯 - 约当”消去法中的约当。 矩阵代数的丰富发展，人们需要有合适的符号和合适的矩阵乘法定义。二者要在大约同一时间和同一地点相遇。 1848 年英格兰的 JJ Sylvester 首先提出了矩阵这个词，它来源于拉丁语，代表一排数。 1855 年矩阵代数得到了 Arthur Cayley 的工作培育。 Cayley 研究了线性变换的组成并提出了矩阵乘法的定义，使得复合变换 ST 的系数矩阵变为矩阵 S 和矩阵 T 的乘积。他还进一步研究了那些包括矩阵逆在内的代数问题。著名的 Cayley- Hamilton 理论即断言一个矩阵的平方就是它的特征多项式的根，就是由 Cayley 在 1858 年在他的矩阵理论文集中提出的。利用单一的字母 A 来表示矩阵是对矩阵代数发展至关重要的。在发展的早期公式 det( AB ) = det( A )det( B ) 为矩阵代数和行列式间提供了一种联系。 数学家 Cauchy 首先给出了特征方程的术语，并证明了阶数超过 3 的矩阵有特征值及任意阶实对称行列式都有实特征值；给出了相似矩阵的概念，并证明了相似矩阵有相同的特征值；研究了代换理论， 数学家试图研究向量代数，但在任意维数中并没有两个向量乘积的自然定义。第一个涉及一个不可交换向量积（既 v x w 不等于 w x v ）的向量代数是由 Hermann Grassmann 在他的《线性扩张论》（ Die lineale Ausdehnungslehre ） 一 书中提出的。 (1844) 。他的观点还被引入一个列矩阵和一个行矩阵的乘积中，结果就是现在称之为秩数为 1 的矩阵，或简单矩阵。在 19 世纪末美国数学物理学家 Willard Gibbs 发表了关于《向量分析基础》 ( Elements of Vector Analysis ) 的著名论述。其后物理学家 P A M Dirac 提出了行向量和列向量的乘积为标量。我们习惯的列矩阵和向量都是在 20 世纪由物理学家给出的。 矩阵的发展是与线性变换密切相连的。到 19 世纪它还仅占线性变换理论形成中有限的空间。现代向量空间的定义是由 Peano 于 1888 年提出的。二次世界大战后随着现代数字计算机的发展，矩阵又有了新的含义，特别是在矩阵的数值分析等方面。 由于计算机的飞速发展和广泛应用，许多实际问题可以通过离散化的数值计算得到定量的解决。于是作为处理离散问题的线性代数，成为从事科学研究和工程设计的科技人员必备的数学基础。 
人类是动物进化的产物，最初也完全没有数量的概念。但人类发达的大脑对客观世界的认识已经达到更加理性和抽象的地步。这样，在漫长的生活实践中，由于记事和分配生活用品等方面的需要，才逐渐产生了数的概念。比如捕获了一头野兽，就用1块石子代表。捕获了3头，就放3块石子。"结绳记事"也是地球上许多相隔很近的古代人类共同做过的事。我国古书《易经》中有"结绳而治"的记载。传说古代波斯王打仗时也常用绳子打结来计算天数。用利器在树皮上或兽皮上刻痕，或用小棍摆在地上计数也都是古人常用的办法。这些办法用得多了，就逐渐形成数的概念和记数的符号。 数的概念最初不论在哪个地区都是1、2、3、4……这样的自然数开始的，但是记数的符号却大小相同。 古罗马的数字相当进步，现在许多老式挂钟上还常常使用。 实际上，罗马数字的符号一共只有7个：I（代表1）、V（代表5）、X（代表10）、L（代表50）、C代表100）、D（代表500）、M（代表1，000）。这7个符号位置上不论怎样变化，它所代表的数字都是不变的。它们按照下列规律组合起来，就能表示任何数： 1．重复次数：一个罗马数字符号重复几次，就表示这个数的几倍。如："III"表示"3"；"XXX"表示"30"。 2．右加左减：一个代表大数字的符号右边附一个代表小数字的符号，就表示大数字加小数字，如"VI"表示"6"，"DC"表示"600"。一个代表大数字的符号左边附一个代表小数字的符号，就表示大数字减去小数字的数目，如"IV"表示"4"，"XL"表示"40"，"VD"表示"495"。 3．上加横线：在罗马数字上加一横线，表示这个数字的一千倍。如：""表示 "15，000"，""表示"165，000"。 我国古代也很重视记数符号，最古老的甲骨文和钟鼎中都有记数的符号，不过难写难认，后人没有沿用。到春秋战国时期，生产迅速发展，适应这一需要，我们的祖先创造了一种十分重要的计算方法--筹算。筹算用的算筹是竹制的小棍，也有骨制的。按规定的横竖长短顺序摆好，就可用来记数和进行运算。随着筹算的普及，算筹的摆法也就成为记数的符号了。算筹摆法有横纵两式，都能表示同样的数字。 从算筹数码中没有"10"这个数可以清楚地看出，筹算从一开始就严格遵循十位进制。9位以上的数就要进一位。同一个数字放在百位上就是几百，放在万位上就是几万。这样的计算法在当时是很先进的。因为在世界的其他地方真正使用十进位制时已到了公元6世纪末。但筹算数码中开始没有"零"，遇到"零"就空位。比如"6708"，就可以表示为"┴ ╥ "。数字中没有"零"，是很容易发生错误的。所以后来有人把铜钱摆在空位上，以免弄错，这或许与"零"的出现有关。不过多数人认为，"0"这一数学符号的发明应归功于公元6世纪的印度人。他们最早用黑点（·）表示零，后来逐渐变成了"0"。 说起"0"的出现，应该指出，我国古代文字中，"零"字出现很早。不过那时它不表示"空无所有"，而只表示"零碎"、"不多"的意思。如"零头"、"零星"、"零丁"。"一百零五"的意思是：在一百之外，还有一个零头五。随着阿拉数字的引进。"105"恰恰读作"一百零五"，"零"字与"0"恰好对应，"零"也就具有了"0"的含义。 如果你细心观察的话，会发现罗马数字中没有"0"。其实在公元5世纪时，"0"已经传入罗马。但罗马教皇凶残而且守旧。他不允许任何使用"0"。有一位罗马学者在笔记中记载了关于使用"0"的一些好处和说明，就被教皇召去，施行了拶（zǎn）刑，使他再也不能握笔写字。 但"0"的出现，谁也阻挡不住。现在，"0"已经成为含义最丰富的数字符号。"0"可以表示没有，也可以表示有。如：气温0℃，并不是说没有气温；"0"是正负数之间唯一的中性数；任何数（0除外）的0次幂等于1；0！=1（零的阶乘等于1）。 除了十进制以外，在数学萌芽的早期，还出现过五进制、二进制、三进制、七进制、八进制、十进制、十六进制、二十进制、六十进制等多种数字进制法。在长期实际生活的应用中，十进制最终占了上风。 现在世界通用的数码1、2、3、4、5、6、7、8、9、0，人们称之为阿拉伯数字。实际上它们是古代印度人最早使用的。后来阿拉伯人把古希腊的数学融进了自己的数学中去，又把这一简便易写的十进制位值记数法传遍了欧洲，逐渐演变成今天的阿拉伯数字。 数的概念、数码的写法和十进制的形成都是人类长期实践活动的结果。 随着生产、生活的需要，人们发现，仅仅能表示自然数是远远不行的。如果分配猎获物时，5个人分4件东西，每个人人该得多少呢？于是分数就产生了。中国对分数的研究比欧洲早1400多年！自然数、分数和零，通称为算术数。自然数也称为正整数。 随着社会的发展，人们又发现很多数量具有相反的意义，比如增加和减少、前进和后退、上升和下降、向东和向西。为了表示这样的量，又产生了负数。正整数、负整数和零，统称为整数。如果再加上正分数和负分数，就统称为有理数。有了这些数字表示法，人们计算起来感到方便多了。 但是，在数字的发展过程中，一件不愉快的事发生了。让我们回到大经贸部2500年前的希腊，那里有一个毕达哥拉斯学派，是一个研究数学、科学和哲学的团体。他们认为"数"是万物的本源，支配整个自然界和人类社会。因此世间一切事物都可归结为数或数的比例，这是世界所以美好和谐的源泉。他们所说的数是指整数。分数的出现，使"数"不那样完整了。但分数都可以写成两个整数之比，所以他们的信仰没有动摇。但是学派中一个叫希帕索斯的学生在研究1与2的比例中项时，发现没有一个能用整数比例写成的数可以表示它。如果设这个数为X，既然，推导的结果即x2=2。他画了一个边长为1的正方形，设对角线为x ，根据勾股定理x2=12+12=2，可见边长为1的正方形的对角线的长度即是所要找的那个数，这个数肯定是存在的。可它是多少？又该怎样表示它呢？希帕索斯等人百思不得其解，最后认定这是一个从未见过的新数。这个新数的出现使毕达哥拉斯学派感到震惊，动摇了他们哲学思想的核心。为了保持支撑世界的数学大厦不要坍塌，他们规定对新数的发现要严守秘密。而希帕索斯还是忍不住将这个秘密泄露了出去。据说他后来被扔进大海喂了鲨鱼。然而真理是藏不住的。人们后来又发现了很多不能用两整数之比写出来的数，如圆周率 就是最重要的一个。人们把它们写成 π、等形式，称它们为无理数。 有理数和无理数一起统称为实数。在实数范围内对各种数的研究使数学理论达到了相当高深和丰富的程度。这时人类的历史已进入19世纪。许多人认为数学成就已经登峰造极，数字的形式也不会有什么新的发现了。但在解方程的时候常常需要开平方如果被开方数负数，这道题还有解吗？如果没有解，那数学运算就像走在死胡同中那样处处碰壁。于是数学家们就规定用符号"i "表示"-1"的平方根，即i＝，虚数就这样诞生了。"i "成了虚数的单位。后人将实数和虚数结合起来，写成 a＋bi的形式（a、b均为实数），这就是复数。在很长一段时间里，人们在实际生活中找不到用虚数和复数表示的量，所以虚数总让人感到虚无缥缈。随着科学的发展，虚数现在在水力学、地图学和航空学上已经有了广泛的应用，在掌握和会使用虚数的科学家眼中，虚数一点也不"虚"了。 数的概念发展到虚和复数以后，在很长一段时间内，连某些数学家也认为数的概念已经十分完善了，数学家族的成员已经都到齐了。可是1843年10月16日，英国数学家哈密尔顿又提出了"四元数"的概念。所谓四元数，就是一种形如的数。它是由一个标量 （实数）和一个向量（其中x 、y 、z 为实数）组成的。四元数的数论、群论、量子理论以及相对论等方面有广泛的应用。与此同时，人们还开展了对"多元数"理论的研究。多元数已超出了复数的范畴，人们称其为超复数。 由于科学技术发展的需要，向量、张量、矩阵、群、环、域等概念不断产生，把数学研究推向新的高峰。这些概念也都应列入数字计算的范畴，但若归入超复数中不太合适，所以，人们将复数和超复数称为狭义数，把向量、张量、矩阿等概念称为广义数。尽管人们对数的归类法还有某些分歧，但在承认数的概念还会不断发展这一点上意见是一致的。到目前为止，数的家庭已发展得十分庞大。
google (哈，在这里说google会不会被封？)
