三明会议的讲稿-高等代数课件

,单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,广义行列式及其应用,谭宜家,（福州大学）,厦门，集美，2013.11,福建省高等代数与线性代数课程建设,第十五次研讨会,广义行列式及其应用 谭宜家厦门，集美，2013.11 福,1,一、引言,对于数域上一个给定的,n,阶方阵 ，,的行列式是,其中 是集合 中所有置换组成的集合。,表示置换 的逆序数。,矩阵的行列式在线性代数中起着重要的作用，它有很多有趣的性质。,一、引言其中 是集合 中,2,实际上，,行列式,、,矩阵,和,线性方程组的解,是紧密地联系在一起的;利用行列式，可直接找到可逆矩阵的逆矩阵的计算公式。Cramer法则是利用行列式解线性方程组。我们说，以上事实对于,交换环上矩阵的行列式,都是成立的，,不同的,是,数域上的一个方阵可逆当且仅当它的行列式不等于0,，而,交换环上矩阵可逆当且仅当它的行列式在环中可逆,（参看10）。,实际上，行列式、矩阵和线性方程组的解是紧密地联系在一起,3,矩阵的,积和式,类似于矩阵的行列式。对于数域上一个给定的n阶矩阵 ，的,积和式,是,其中 是集合 中所有置换组成的集合。由于矩阵积和式不涉及到负号，所以矩阵积和式在一般交换半环上也可以定义。,矩阵的积和式类似于矩阵的行列式。对于数域上一个给定的,4,矩阵积和式的概念,首先,由Binet1 和 Cauchy 3引入。自那以后，出版了大量关于积和式理论的研究工作。1978年,H.Minc 11给出了关于积和式理论和应用的一些论述。自1980年以来，许多数学工作者研究了,一些特殊半环上矩阵的积和式,(例如，参看5,7,8,9,13,16,18).这些特殊半环包括了,模糊代数,，,分配格,和,坡代数,。,矩阵积和式的概念首先由Binet1 和,5,由上述可以看出，,矩阵的行列式,只能在,交换环,上定义，而,积和式,可以在,一般交换半环,上定义。,那么，是否有一个方法可以将行列式与积和式统一起来呢？,本文将引入一般交换半环上矩阵的行列式（或称,广义行列式,），并讨论它的一些基本性质。同时利用行列式给出半环上矩阵的可逆条件，并在半环上建立Cramer法则所得的主要结论推广了,交换环,上矩阵的行列式10（特别是数域上矩阵的行列式），,模糊矩阵,的积和式9,13,格矩阵,的积和式18以及,坡矩阵,的积和式8中相应的结果。,由上述可以看出，矩阵的行列式只能在交换环上定义，而积和式,6,二、基本概念与记号,定义1,6.一个代数系统 称为一个,半环,。如果 是一个交换幺半群（其恒等元为0），是另一个幺半群（其恒等元为1）；同时 ,均有,并且 .,设 是一个半环。称为,交换,的，如果,均有 ；,二、基本概念与记号 设 是一个半环。,7,称为一个,零和自由半环,6，如果 ,由 可推出 .零和自由半环又称为,反环,14，17。,一个半环,称为,加法幂,均有,任何加法幂等半环是零和自由半环。,等,的6，如果,。显然，,半环的例子是相当丰富的,。例如，任何带有单位元的环都是半环，它不是零和自由的。特别地，我们所熟知的,整数环,，,有理数域,，,实数域,与,复数域,都是半环（实际上，它们都是特殊的环）。,称为一个零和自由半环6，如果,8,又如，每一个,布尔代数,，,模糊代数,，每一个,有界分配格,以及任何,坡代数,都是半环2（实际上，它们均为,加法幂等半环,，但它们不是环）。再如，max-plus 代数 和min-plus代数 都是交换半环，它们均为加法幂等半环4,19，但它们不是环。另外，所有非负实数组成之集对于普通的加法与乘法构成一个半环 称为,非负实数半环,。显然，非负实数半环既不是加法幂等半环也不是环。,又如，每一个布尔代数 ，模糊代,9,设 是一个半环，。,称为,加法可逆,的，如果存在 ，使得 ，称为 的,负元,。,加法可逆元构成的集合。,设 表示半环 中所有,仅当 是零和自由半环，而 当且,仅当 是一个环。,显然，当且,设 是一个交换半环，表示 上所有 矩阵组成之集。,对于任意,用,表示,中,处的元素，,并记,的,设 是一个半环，。,10,转置为 .,设,，,.定义,设,是一个交换半环，,，,表示,中所有偶置换构成的集合，,表示,中所有奇置换构成的集合。,定义 的,正行列式,和,负行列式,如下,转置为 .设，.定义 设是一个交换半环，表,11,显然 。,当,是一个交换环时，,设,是一个半环，,上的一个映射,称为,上的一个,-函数,如果对于任意,均有,显然,显然 。当是,12,注1,：任何半环 至少有一个 -函数，因为 上的恒等映射：是 上的一个 -函数。如果 是一个交换环，那么映射：是 上的一个 -函数。,定义2,.设,是一个交换半环，,是,一个,-函数，,。,上的,定义 的 -,行列式,如下,其中,是集合,中所有置换组成的集合，,表示置换,的逆序数。,注1：任何半环 至少有一个 -函数，因为,13,定义为,是正整数,。,因为,，所以,注2,：如果,是一个交换环，,那么映射,：,是,上的一个,-函数。此时,注3,：,对于任何交换半环,，,恒等映射：,是,R上的一个,-函数。此时,定义为 是正整数。因为，所以注2：如果是一个交,14,三、基本结论,1.定理1,：对于任何 ，我们有,(1)如果矩阵B是由A的某一行（或一列）乘以 中的一个元素 而得到，那么,(2)如果A的第i行（或第i列）是矩阵B的第i行（或第i列）与矩阵C的第i行（或第i列）的和，而它们其他的行（或列）都相同，那么,三、基本结论(2)如果A的第i行（或第i列）是矩阵B的第,15,(3),(4)如果矩阵B是由A交换两行（或两列）而得到，那么,(5)如果A的某两行（或两列）相同，那么,(6),如果矩阵,B,是由,A,的第,i,行乘以,一个元素,加到,A,的第,j,行而得到，,那么,中的,其中 表示由A的第i行代替A的第j行而得到的矩阵。,(3)(6)如果矩阵B是由A的第i行乘以一个元素加到,16,2.,定理2,：设 ，那么对于任何,这里 表示A中划去第i行第j行所得到的 阶矩阵。,3.,定理3,：对于任何 ，存在 使得,2.定理2：设 ，那么对于任何,17,4.,定理4,：设 是一个交换半环，是 上的一个 -函数，,那么对于任何,当且仅当,交换环并且,对于任何,是一个,均有,设 是一个交换半环，是 上的一个 -函数，,定义 的 -,伴随矩阵,如下,4.定理4：设 是一个交换半环，是 上的,18,5.,定理5,：对于任何 ，我们有,（1）,（2）,6.,定理6,:对于任何 ，存在,，使得,这里,如果 是一个交换环，那么映射：,是 上的一个 -函数。此时,由定理6,我们有,5.定理5：对于任何,19,推论1,：如果 是一个交换环，那么对于任何 ,均有,7.,定理7,：对于任何 ，我们有,（1）,其中 表示由A的第i列代替A的第j列,而得到的矩阵。,（2）存在 ，使得,推论1：如果 是一个交换环，那么对于任何,20,由定理7，我们有,推论2,：如果 是一个交换环，那么对于任何 ，均有,（1）,（2）,由定理7，我们有,21,四、两个应用,1.交换半环上可逆矩阵的一个等价刻画。,设 是一个半环，。称为,可逆,的，果存在 ，使得 。称为,的,逆元,，记为,设 ，称为,可逆,的，,如果存在 ，使得 。称为 的,逆矩阵,，记为 。,四、两个应用 1.交换半环上可逆矩阵的一个等价刻画。设,22,定理8,：设 是一个交换半环，是 上的一个 -函数满足对于任意 ，均有 ，那么，对于任何,（1）可逆当且仅当 在 中可逆并且对于任何 ，均有 在 中加法可逆。,（2）可逆当且仅当 在 中可逆并且对于任何 ，均有 在 中加法可逆。,如果 可逆，那么,定理8：设 是一个交换半环，是,23,由定理8，我们有,推论3,：如果 是一个交换环，那么对于任何 ，可逆当且仅当 在 中可逆,特别地,当 是一个域(数域)时,可逆当且仅当 。如果 可逆，那么,由定理8，我们有,24,2.交换半环上的Cramer法则,定理9,：设 是一个交换半环，是 上的一个 -函数满足对于任意 ，均有 ，是 上的 维列向量。如果 可逆，那么矩阵方程 有唯一解,其中 ，是由 中第 列用向量 代替所得到的矩阵。,2.交换半环上的Cramer法则 定理9：设 是一,25,由定理9，我们有,推论4,：设 是一个交换环，是 上的 维列向量。如果 可逆，那么矩阵方程 有唯一解,其中 ，是由 中第 列用向量 代替所得到的矩阵。,由定理9，我们有,26,五、意义与价值,1.,理论意义,：统一了行列式与积和式，方法需要创新。,2.,应用价值,：在许多应用学科领域（例如：并行计算机系统、形式语言理论、最优化理论、自动化理论、离散动力系统、流程图模式分析以及开关电路分析等）涉及到的代数系统除了环（或域）之外，还涉及大量的其他类型的半环，如布尔代数，模糊代数，分配格，坡代数格，max-plus 代数和min-plus代数以及非负实数半环等。,五、意义与价值,27,3.,教学参考,：对于本科生，研究生论文的选题具有一定的参考价值。,六、参考文献,1 J.P.M.Binet,Me moire sur un systeme de formules analytiques,et leur application a des considerations geometriques,J.Ec.Polyt.9(1812)280-302,2 Z.Q.Cao,K.H.Kim,F.W.Roush,Incline Algebra andApplications,John Wiley,New York,1984,3.教学参考：对于本科生，研究生论文的选题具有一定的参考价值,28,3 A.L.Cauchy,Memoire sur les fonctions qui ne peuvent obtenir que deux valeurs egales et de signes contraires par suite des traspositions operees entre les variables quelles renferment,J.Ec.Polyt.10(1812)29-11220,4 R.A.Cuninghame-Green,Minimax algebra,Lecture Notes in Economics and Mathematical Systems 166,Springer-Verlag,Berlin,1979,5 J.S.Duan,The transitive closure,convergence of powers and adjoint of generalized fuzzy matrices.Fuzzy Sets and Systems 145(2004)301-311,3 A.L.Cauchy,Memoire sur,29,6 J.S.Golan,Semirings and Their Applications,Kluwer Academic Publishers,1999,7 S.C.Han,H.X.Li,Invertible incline matrices and Cramers rule over inclines,Linear Algebra and its Applications 389(2004)121-138,8 Y.Huang,Y.J.Tan,A problem on incline matrices,J.of Fuzhou University 37(2009)12-18(in Chinese),9 J.B.Kim,A.Baartmans,N.S.Sahadin,Determinant theory for fuzzy matrices,Fuzzy Sets and Systems 29(1989)349-356.,6 J.S.Golan,Sem