射影有理不变量、机器证明和外余代数

来源 :中国科学院数学与系统科学研究院 | 被引量 : 0次 | 上传用户:z814521
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文主要讨论以下两部分内容:   一、射影几何中有理不变量的重要性和应用;   二、外余代数即Grassmann余代数的性质与应用。   考虑这两个问题的主要动机来自于以下两个方面:   1.射影几何中的有理不变量是低维射影空间中的不变量在高维空间中的延续,在几何表示和计算过程中,其重要性不亚于括号,然而对这一问题还没有深入的研究。   2.Grassmann代数是射影几何定理机器证明的一个重要手段,是完全具有几何意义的证明方法,但对其余代数研究还极少。   基于上面的考虑,我们所得到的主要结果包括两个方面:   第一,我们从对称和反对称化两个方面对有理不变量进行了深入的探讨;提出了两个变换来稳定有理不变量的简化,并给出了相应的算法;以缺省括号和缺省交积的形式,说明了把2维几何定理推广到n维时有理不变量所起的重要作用;最后利用有理不变量证明了很多几何定理。   第二,给出了Grassmann余代数的几何意义;利用Grassmann余代数完善了交积的定义,给出了全交积的定义和几何意义;给出了一些交积的计算公式,利用Grassmann余代数给出了Clifford代数的定义;给出了二元Grassmann-Cayley代数的一些基本性质。
其他文献
在新课程理念下,小学数学概念该如何教学呢?概念是抽象思维的结果,而小学生心智尚不成熟,抽象思维尚待发展,如何能快速有效地理解抽象的数学概念呢?笔者经过试验,总结了一些
学位
本文提出了简约代数群G中一类特殊一维环面构成的根系。初衷在于证明如下结果:如果半单代数群G的正则环面S对应的Weyl群NG(S)/CG(S)是极大的,那么S必然是极大环面(参见定理1.6)
学位
单峰函数是指在其定义区间上只有一个极值点的函数。无论是在实际应用或是在理论研究中,这类函数都有着举足轻重的地位.例如许多数学、物理问题都可以表示为多峰函数的形式,而多
本文通过两种不同的方法,对多孔介质一类Binkman-Forchheimer双向扩散流方程分别在Dirichlet和Neumann边界两种不同条件下结构稳定性进行了研究。首先求得了Binkman-Forchheim
本文主要研究具有平坦度量的orbifold以及与之相对应的有理函数,解释这样的有理函数的Julia集都有光滑的流形结构。另外介绍了Kahn关于Mandelbrot集连通性的一个完全拓扑的证
学位
职业院校是我国高等职业教育的重要组成部分,为国家和社会培养高素质高技能人才,高职院校的教师不光是理论和技能的传输者,同时也是一线技能专家,在培养人才的过程当中,职业
中铁四局施工队伍分布在全国20多个省、市、自治区及蒙古、委内瑞拉等多个国家,点多线长,高度分散,工期短快,流动频繁,给党员集中教育带来了许多困难。同时,信息传播渠道的多
请下载后查看,本文暂不支持在线获取查看简介。 Please download to view, this article does not support online access to view profile.
期刊
班主任的班级管理工作直接关系到学校教育工作的质量,对其管理策略展开探讨十分必要.本文指出了当前高中班主任班级管理工作中存在的问题,并针对这些问题,提出了高中班主任做