资源描述:
《高等代数中概念、实例、定理的内涵、背景与应用》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、高等代数中概念、实例、定理的内涵、背景与应用陈尔明华侨大学数学系高等代数教学内容中,有一些内容表面上是孤立的,但实际上很多这样的内容都有其生动的背景与应用.这反映了数学个学科间的广泛联系.了解有关的联系,提高我们的综合数学修养,会使我们得到对教学内容更精确与深入的理解,更好的掌握教学,得到更丰富的与学生交流的素材.下面我们列举若干这类内容,以说明这方面的问题.1.向量空间的概念我们常把向量空间的概念与中学里平面解析几何的内容做类比.但有的学生也问:为什么向量空间的理论中不研究坐标平移.实际上向量空间的概念是纯代数的.回答上面的问题,我们需要其几何化的概念,这就是仿射空间的概念.在微分流
2、形、张量分析的教材中有相应的公理化的定义.D.[1]设V是n维向量空间,A是一个非空集,A中的元素称为点,如果存在映射,使得A中任意一对有序点P,Q映为V中的一个向量,且满足:(1)(2)存在唯一的一点,使得(3)恒成立则称A是n维仿射空间.V是其伴随的向量空间.在A中任取一点P,及V中一个基底,则为A中一个标架.利用n维仿射空间的理论与中学里平面解析几何内容相类比,就可以很好的回答上面的问题了.2.Vandermonde行列式的应用在一般教材中,Vandermonde行列式常作为一个行列式计算的实例而出现.实际上它本身有许多重要的应用.我们举一例.把Vandermonde
3、行列式应用于下面拓扑学定理的证明,可以得到非常简洁的陈述.下述定理中的n维单纯复形K是指:次数不超过n的一些不同维数的单形的集合,他们要规则放置.定理[2]任意n维单纯复形K可以嵌入中.证明:因为K可以与一个抽象复形同胚,我们考虑K为抽象复形.设K的全部顶点为,选择中m+1个点,他们有性质:其中有2n+2个是独立的.注意m可能比n大很多.这件事这样办到:取m个点,.利用Vandermonde行列式可知:方程组:只有0解,所以上面m+1个点中任意2n+2个都是独立的.也称为这m+1个点处于一般位置.然后把这m+1个点与K的m+1个顶点对应,再按K的单形相对应的单形.这些单形是否构成一复
4、形,只需证明:任意两个单形的交如果不空,则其交是他们的公共面.由于复形K是n维的,其单形的最大维数是n,所以两个单形的顶点的总和不超过2n+2,从而在我们构造中是独立的.他们张成中一个单形,上面所述两单形是此单形的两个面,这两个面的交当然是这两个面的公共面,如同正4面体的任意2个2维面的交若不空,是1维的公共棱,或0维的公共顶点,而不会是其它的任意的情形.证毕.这个结论是比较深刻的.他体现在复形的维数固定,他的顶点个数可以是任意大的有限数,所以其证明有一定难度.3.对称变换的一个背景在高等代数教材中,对称变换是欧氏空间中的一个内容,在教材中他的出现是比较孤立的.但是他实际是一
5、些具体现象的抽象.在若干具体背景中微分几何中的背景是较生动的一个.首先来看对称变换的定义:D.欧氏空间中对任意,满足关系:的的线性变换,称为对称变换.微分几何中有一种重要的映射,称为Weingarten映射.为此首先明确Gauss映射.D.曲面每一点有一个单位法向量n(u,v),将其起点平移至原点O,我们就得到Gauss映射g,它使g(r(u,v))=n(u,v)则Weingarten映射为:W=-.易知W是对称变换.对称变换具有下列性质:Th.n维欧氏空间的一个对称变换的属于不同本征值的本征向量彼此正交.这个性质对应着微分几何中在曲面上一点处,有两个正交的共轭方向.而共轭方向
6、是描述一点的邻近处曲面的形状的重要概念.了解了与对称变换相关的具体现象,我们就有了更生动的理解.4.Jordan分解、标准型的应用Jordan分解是关于线性变换的较深刻的结论.他有很多重要应用.其中,有两方面的应用意义重大.(1)在动力系统中的应用自治型微分方程是最简单最重要的方程.当我们可以经坐标变换使方程变形,当A经坐标变换化为Jordan标准型,我们就可以定性的判断方程解的动力形态.(2)在Lie代数中的应用我们知道Lie代数中有一种重要运算,Poisson括号积.由两个线性变换A,B构成的线性变换AB-BA即为一括号积.所以有限维空间上线性变换以此为积构成Lie代数,这
7、是最重要最基本的Lie代数.对此Lie代数研究其半单子代数与线性变换分解为半单的与幂零的线性变换密切相关,且任意Lie代数又都有伴随表示,即与一个线性变换构成的Lie代数同态.所以,把一个线性变换分解为半单的与幂零的线性变换的和是非常重要的,从而Jordan分解及向量空间按一线性变换分解为根子空间的直和是经常需要的.5.多元多项式教材中对多元多项式的介绍一般不多.但是多元多项式的理论对现代数学的发展至关重要.了解一些