- 在线时间
- 0 小时
- 最后登录
- 2009-2-10
- 注册时间
- 2009-2-8
- 听众数
- 4
- 收听数
- 0
- 能力
- 0 分
- 体力
- 36 点
- 威望
- 0 点
- 阅读权限
- 20
- 积分
- 14
- 相册
- 0
- 日志
- 0
- 记录
- 0
- 帖子
- 6
- 主题
- 4
- 精华
- 0
- 分享
- 0
- 好友
- 0
升级   9.47% 该用户从未签到
 |
线性代数
2 |1 T7 E6 z9 V由于研究关联着多个因素的量所引起的问题,则需要考察多元函数。如果所研究的关联性是线性的,那么称这个问题为线性问题。历史上线性代数的第一个问题是关于解线性方程组的问题,而线性方程组理论的发展又促成了作为工具的矩阵论和行列式理论的创立与发展,这些内容已成为我们线性代数教材的主要部分。最初的线性方程组问题大都是来源于生活实践,正是实际问题刺激了线性代数这一学科的诞生与发展。另外,近现代数学分析与几何学等数学分支的要求也促使了线性代数的进一步发展。+ T& [$ y/ A) M0 b1 y5 H. P
矩阵和行列式 行列式出现于线性方程组的求解,它最早是一种速记的表达式,现在已经是数学中一种非常有用的工具。行列式是由莱布尼茨和日本数学家关孝和发明的。 1693 年4 月,莱布尼茨在写给洛比达的一封信中使用并给出了行列式,并给出方程组的系数行列式为零的条件。同时代的日本数学家关孝和在其著作《解伏题元法》中也提出了行列式的概念与算法。 8 a8 q. T7 v& |7 Y3 Q- I
' v' b. ^7 |6 W3 B
1750 年,瑞士数学家克莱姆 (G.Cramer,1704-1752) 在其著作《线性代数分析导引》中,对行列式的定义和展开法则给出了比较完整、明确的阐述,并给出了现在我们所称的解线性方程组的克莱姆法则。稍后,数学家贝祖 (E.Bezout,1730-1783) 将确定行列式每一项符号的方法进行了系统化,利用系数行列式概念指出了如何判断一个齐次线性方程组有非零解。
0 w% Z8 f" N. G6 t. Y: k) V
1 m) N" u+ E& u6 Z 总之,在很长一段时间内,行列式只是作为解线性方程组的一种工具使用,并没有人意识到它可以独立于线性方程组之外,单独形成一门理论加以研究。 , V7 Q- d+ ]9 p8 R" L* l
/ x' u2 c+ C2 Y7 c6 c" `, M 在行列式的发展史上,第一个对行列式理论做出连贯的逻辑的阐述,即把行列式理论与线性方程组求解相分离的人,是法国数学家范德蒙 (A-T.Vandermonde,1735-1796) 。范德蒙自幼在父亲的知道下学习音乐,但对数学有浓厚的兴趣,后来终于成为法兰西科学院院士。特别地,他给出了用二阶子式和它们的余子式来展开行列式的法则。就对行列式本身这一点来说,他是这门理论的奠基人。 1772 年,拉普拉斯在一篇论文中证明了范德蒙提出的一些规则,推广了他的展开行列式的方法。 6 h4 S, D# q: |, J
# _# I) m' w c 继范德蒙之后,在行列式的理论方面,又一位做出突出贡献的就是另一位法国大数学家柯西。 1815 年,柯西在一篇论文中给出了行列式的第一个系统的、几乎是近代的处理。其中主要结果之一是行列式的乘法定理。另外,他第一个把行列式的元素排成方阵,采用双足标记法;引进了行列式特征方程的术语;给出了相似行列式概念;改进了拉普拉斯的行列式展开定理并给出了一个证明等。
* z5 p9 U+ ?; V& o' R
3 f" ~! c2 c& G5 K 19 世纪的半个多世纪中,对行列式理论研究始终不渝的作者之一是詹姆士·西尔维斯特 (J.Sylvester,1814-1894) 。他是一个活泼、敏感、兴奋、热情,甚至容易激动的人,然而由于是犹太人的缘故,他受到剑桥大学的不平等对待。西尔维斯特用火一般的热情介绍他的学术思想,他的重要成就之一是改进了从一个 次和一个 次的多项式中消去 x 的方法,他称之为配析法,并给出形成的行列式为零时这两个多项式方程有公共根充分必要条件这一结果,但没有给出证明。
3 @4 e+ C. f5 c4 e
& A: A: F4 L9 V% q1 i& _3 W# K% J 继柯西之后,在行列式理论方面最多产的人就是德国数学家雅可比 (J.Jacobi,1804-1851) ,他引进了函数行列式,即“雅可比行列式”,指出函数行列式在多重积分的变量替换中的作用,给出了函数行列式的导数公式。雅可比的著名论文《论行列式的形成和性质》标志着行列式系统理论的建成。由于行列式在数学分析、几何学、线性方程组理论、二次型理论等多方面的应用,促使行列式理论自身在19世纪也得到了很大发展。整个19 世纪都有行列式的新结果。除了一般行列式的大量定理之外,还有许多有关特殊行列式的其他定理都相继得到。
0 P; L7 ]& o M" e7 h3 j& v2 x[编辑本段]
: o% L0 A0 W% ~7 G$ V0 q矩 阵 矩阵是数学中的一个重要的基本概念,是代数学的一个主要研究对象,也是数学研究和应用的一个重要工具。“矩阵”这个词是由西尔维斯特首先使用的,他是为了将数字的矩形阵列区别于行列式而发明了这个述语。而实际上,矩阵这个课题在诞生之前就已经发展的很好了。从行列式的大量工作中明显的表现出来,为了很多目的,不管行列式的值是否与问题有关,方阵本身都可以研究和使用,矩阵的许多基本性质也是在行列式的发展中建立起来的。在逻辑上,矩阵的概念应先于行列式的概念,然而在历史上次序正好相反。 # [# O$ b4 c# s1 U& b# n
. Q% }: ~' o7 k) ? 英国数学家凯莱 (A.Cayley,1821-1895) 一般被公认为是矩阵论的创立者,因为他首先把矩阵作为一个独立的数学概念提出来,并首先发表了关于这个题目的一系列文章。凯莱同研究线性变换下的不变量相结合,首先引进矩阵以简化记号。 1858 年,他发表了关于这一课题的第一篇论文《矩阵论的研究报告》,系统地阐述了关于矩阵的理论。文中他定义了矩阵的相等、矩阵的运算法则、矩阵的转置以及矩阵的逆等一系列基本概念,指出了矩阵加法的可交换性与可结合性。另外,凯莱还给出了方阵的特征方程和特征根(特征值)以及有关矩阵的一些基本结果。凯莱出生于一个古老而有才能的英国家庭,剑桥大学三一学院大学毕业后留校讲授数学,三年后他转从律师职业,工作卓有成效,并利用业余时间研究数学,发表了大量的数学论文。
8 H2 m# X7 v5 \, z( J, Y; D* s0 n0 a. Z
1855 年,埃米特 (C.Hermite,1822-1901) 证明了别的数学家发现的一些矩阵类的特征根的特殊性质,如现在称为埃米特矩阵的特征根性质等。后来 ,克莱伯施 (A.Clebsch,1831-1872) 、布克海姆 (A.Buchheim) 等证明了对称矩阵的特征根性质。泰伯 (H.Taber) 引入矩阵的迹的概念并给出了一些有关的结论。 ! S# \7 {, g+ N6 S: b9 E
0 R) `( e$ l, w
在矩阵论的发展史上,弗罗伯纽斯 (G.Frobenius,1849-1917) 的贡献是不可磨灭的。他讨论了最小多项式问题,引进了矩阵的秩、不变因子和初等因子、正交矩阵、矩阵的相似变换、合同矩阵等概念,以合乎逻辑的形式整理了不变因子和初等因子的理论,并讨论了正交矩阵与合同矩阵的一些重要性质。 1854 年,约当研究了矩阵化为标准型的问题。 1892 年,梅茨勒 (H.Metzler) 引进了矩阵的超越函数概念并将其写成矩阵的幂级数的形式。傅立叶、西尔和庞加莱的著作中还讨论了无限阶矩阵问题,这主要是适用方程发展的需要而开始的。
1 N# G. y1 ~% \2 K7 F
, ?7 o9 b8 n' T3 A2 g& f 矩阵本身所具有的性质依赖于元素的性质,矩阵由最初作为一种工具经过两个多世纪的发展,现在已成为独立的一门数学分支——矩阵论。而矩阵论又可分为矩阵方程论、矩阵分解论和广义逆矩阵论等矩阵的现代理论。矩阵及其理论现已广泛地应用于现代科技的各个领域。 0 V$ {0 _4 |& @- l
( ~3 b' W0 n2 H- e; D% H线性方程组 线性方程组的解法,早在中国古代的数学著作《九章算术 方程》章中已作了比较完整的论述。其中所述方法实质上相当于现代的对方程组的增广矩阵施行初等行变换从而消去未知量的方法,即高斯消元法。在西方,线性方程组的研究是在 17 世纪后期由莱布尼茨开创的。他曾研究含两个未知量的三个线性方程组组成的方程组。麦克劳林在 18 世纪上半叶研究了具有二、三、四个未知量的线性方程组,得到了现在称为克莱姆法则的结果。克莱姆不久也发表了这个法则。 18世纪下半叶,法国数学家贝祖对线性方程组理论进行了一系列研究,证明了 元齐次线性方程组有非零解的条件是系数行列式等于零。
; y( p7 L0 F* L
9 J- h+ Z. s9 J/ d1 R& g% t2 { 19 世纪,英国数学家史密斯 (H.Smith) 和道奇森 (C-L.Dodgson) 继续研究线性方程组理论,前者引进了方程组的增广矩阵和非增广矩阵的概念,后者证明了 个未知数 个方程的方程组相容的充要条件是系数矩阵和增广矩阵的秩相同。这正是现代方程组理论中的重要结果之一。
5 F# h3 V( [( C7 C1 y. R! Y
7 M: k: B2 I7 l/ H. N5 U 大量的科学技术问题,最终往往归结为解线性方程组。因此在线性方程组的数值解法得到发展的同时,线性方程组解的结构等理论性工作也取得了令人满意的进展。现在,线性方程组的数值解法在计算数学中占有重要地位。 / _; W0 {2 w& `0 D' M; z2 K
[编辑本段]3 y6 g! ^! _, Q9 x3 m
二次型 二次型也称为“二次形式”,数域 ?上的 ?元二次齐次多项式称为数域 ?上的 ?元二次型。二次型是我们线性代数教材的后继内容,为了我们后面的学习,这里对于二次型的发展历史我们也作简单介绍。二次型的系统研究是从 18 世纪开始的,它起源于对二次曲线和二次曲面的分类问题的讨论。将二次曲线和二次曲面的方程变形,选有主轴方向的轴作为坐标轴以简化方程的形状,这个问题是在 18 世纪引进的。柯西在其著作中给出结论:当方程是标准型时,二次曲面用二次项的符号来进行分类。然而,那时并不太清楚,在化简成标准型时,为何总是得到同样数目的正项和负项。西尔维斯特回答了这个问题,他给出了 个变数的二次型的惯性定律,但没有证明。这个定律后被雅可比重新发现和证明。 1801 年,高斯在《算术研究》中引进了二次型的正定、负定、半正定和半负定等术语。
( h0 q8 t" }5 N+ v
& J, m. j; }8 N3 M3 L+ l7 S 二次型化简的进一步研究涉及二次型或行列式的特征方程的概念。特征方程的概念隐含地出现在欧拉的著作中,拉格朗日在其关于线性微分方程组的著作中首先明确地给出了这个概念。而三个变数的二次型的特征值的实性则是由阿歇特 (J-N.P.Hachette) 、蒙日和泊松 (S.D.Poisson,1781-1840) 建立的。
3 m7 ?6 n2 e+ T/ j) ^3 c& z4 t
9 K9 }9 n0 ]5 ~( n 柯西在别人著作的基础上,着手研究化简变数的二次型问题,并证明了特征方程在直角坐标系的任何变换下不变性。后来,他又证明了 个变数的两个二次型能用同一个线性变换同时化成平方和。 7 n6 l+ |' W5 R3 b
: |9 S% F: n: X, e$ k/ s* d C# k |
zan
|