不动点集为Dold流形P(2,15)的对合

为了研究不动点集为Dold流形的对合的等变协边分类，针对一个特定的Dold流形F=P(2,15),确定了以F为不动点集的所有带对合的流形(M,T)的等变协边分类。首先，给出了P(2,15)上切丛和法丛的Stiefel-Whitney示性类。其次，根据Kosniowski-Stong定理，构造合适的对称多项式函数，出现矛盾，证明假设错误，对合不存在；或者证明对任意对称多项式函数都满足Kosniowski-Stong定理，说明对合的存在性。最后，得到以P(2,15)为不动点集的对合(M,T)协边。结果表明，存在以F=P(2,15)不动点集的对合，且能够确定对合的等变协边分类。研究结果推广了不动点集为F=P(2,n)(n=1,3,5)的对合的研究结论，丰富了不动点集为Dold流形的对合的等变协边分类问题，也为研究不动点集其他特殊流形的对合提供了借鉴和参考。     

不动点集是∪(HPi(4n))(from i=1 to m)的对合

1　引言设ＨＰ(4ｎ)是 4ｎ维的四元数射影空间 ,(Ｍｒ,Ｔ)为一个具有光滑对合Ｔ :Ｍｒ →Ｍｒ的ｒ维光滑闭流形 ,对合的不动点集是Ｆ =∪ｍｉ =1ＨＰｉ(4ｎ) ,其中ｎ ≥ 1.作者证明了下面的定理 :定理　设 (Ｍｒ,Ｔ)是一个具有光滑对合Ｔ的ｒ维光滑闭流形 ,对合的不动点集是Ｆ =∪ｍｉ=1ＨＰｉ(4ｎ) ,其中ｎ≥ 1,那么有 :(1)当ｒ=32ｎ时 ,(Ｍ ,Ｔ)协边于 (Ｆ×Ｆ ,ｔｗｉｓｔ) ;(2 )当ｒ >16ｎ ,且ｒ≠ 32ｎ时 ,(Ｍ ,Ｔ)协边于零 ;(3)当ｒ=16ｎ时 ,(Ｍ ,Ｔ)协边于 (Ｆ ,恒同映射 ) .2　定理的证明当ｒ =16ｎ时 ,(Ｍｒ,Ｔ)显然协边于 (Ｆ ,恒…     

公理化模糊集合的特征及其分类

基于模糊划分和公理化模糊集合的定义，研究公理化模糊集合的特征和分类．定义公理化模糊集合的2种规范形式：模交模糊集范式和模并模糊集范式，并证明带Zadeh算子、强否定算子的公理化模糊集合的规范形式存在定理．在此基础之上，给出带Zadeh算子、强否定算子的公理化模糊集合隶属函数的特征定理，依据特征定理给出公理化模糊集合的一种分类方式，最后分析在此分类下的类之间的关系．     

不动点集为RP^5×RP^2s的对合流形

设（M，T）是一个带有光滑对合T的光滑闭流形，T在M上的不动点集为F.考虑F=RP^5×RP^2s带有对合的闭流形（M，T）的等变协边分类，给出了完全决定非协边于零的带有对合的闭流形（M，T）的维数及等变协边类。     

不动点集为RP(8)∪P(8,2n-1)的对合

设（M，T）是一个在闭流形上的对合，它的不动点集为F＝RP（8）∪P（8，2^n-1)，作者给出了它的所有带对合的协边类。     

不动点集为RP5×RP2s的对合流形

设(M,T)是一个带有光滑对合T的光滑闭流形, T在M上的不动点集为F. 考虑F=RP⁵×RP^2s带有对合的闭流形(M,T)的等变协边分类, 给出了完全决定非协边于零的带有对合的闭流形(M,T)的维数及等变协边类.     

带量词的合一算法

Ｒｏｂｉｎｓｏｎ于 １９６５年提出了归结原理，其主要工作是 Ｕｎｉｆｉｃａｔｉｏｎ算法。这个算法只能处理不带量词的子句公式，它不能用来发现定理的自然演绎证明。本文的算法能处理量词，它能用在基于自然演绎的定理证明系统上。文中给出合一定理的证明，基于此算法的自动自然演绎系统已实现，用它证明了Ａｎｄｒｅｗｓ；Ｂｌｅｄｓｏｅ和Ｐｅｌｌｏｔｉｅｒ挑战性问题。     

图生成树棵数的一种求法

本文提出了对给定图 G来说 ,计算它的所有的生成树棵数的一种方法 ,即由 Cayley定理与 Binet-Cauchy定理来推导一个公式τ(G) =det(KKT) ,为了证明此公式的成立 ,还证明了从一个图的完全关联矩阵 M(G)中删去任意一行后 ,得到的矩阵 K和 K的转置 KT满足 Binet-Cauchy条件。公式τ(G) =det(KKT)的证明是由一个图的生成树的棵数公式τ(G) =τ(G -e) τ(G . e)与具有以上性质的矩阵 K与 KT且 det(KKT) =∑ Ki Ki=∑K2i 合起来证明。     

Menelaus逆定理浅探

l定理钱探Menelaus定理是初等几何中证明共线点的一个有力工具，为了证明它，一般我们先证明了以下的Menelaus逆定理．定理1设面ABC的三边（所在直线）BC、CA、AB被一直线分别截子点X、Y、Z（图1），则有：此定理在初等几何中有很广泛的应用，介于接受能力，中学数学并未提及此定理．下面，我们由它得出如下一个易于中学生接受，同时在中学几何又很有用的定理，以体现高等数学对中学数学的指导．定理2设过凸ABC的一个顶点C任作一直线，分别分对边AB及不过此顶点的中线AD（或BM）为两部分，其分点分别为F、E，则（如图2）：此定理…     

不动点集是∪m i=1CPi(2n)的对合

本文旨在证明具有光滑对合 T的 r维闭流形 M,如果对合的不动点集为 F =∪mi=1 CPi(2 n) ,其中 n≥ 1 ,那么有 :(1 )当 r =4 n时 ,(M,T)协边于 (F,恒同映射 ) ;(2 )当 r=8n时 ,(M,T)协边于 (F× F ,twist) ;(3 )当r>4 n,且 r≠ 8n时 ,(M,T)协边于零     

任意数列一般项公式的证明与应用

给出任意数列一般项公式的一种证明,并应用该公式证明k阶等差数列前n项和公式.     

关于曲面自映射的Reidemeister迹

1981年4月,Fadell提出了曲面自映射提升的Reidemeister迹的一个公式,没有给出证明。本文给出了Fadell公式的证明。构造出上述自映射的一个特殊的胞腔式逼近,并应用群环的Fox运算的性质。     

微积分基本公式的简明证法及其应用

微积分基本公式在微积分的理论和应用中占有十分重要的地位,使学生怎样掌握该公式的证明和应用一直是教学的关键点和难点。其主要原因在于目前教科书中的证明要借助于积分上限的函数及其导数,过于复杂和抽象,使学生难以理解和掌握,因此,它无疑成为长期以来困扰教与学的瓶颈问题。为此,笔者给出该公式的一种简明证法,并讨论了该公式的新用途。主要包括:定积分的值与积分变量的选择无关性;积分上限函数的求导法则的新证法等。这种简明证法和应用具有的实际意义是:该证法使学生易理解和掌握,既克服了现行教科书中的不足,又为教学提供了一条有效途径。     

常用数值求积分公式的直接证明及收敛性的证明

考虑数值积分公式的直接证明问题,利用微分中值定理给出了数值积分的矩形公式和梯形公式的直接证明,然后给出了数值积分公式的收敛性的证明．     

级数理论在余元公式证明中的应用

用级数的方法对余元公式给出一个新的证明。     

三阶变系数发展方程的局部问题

提出三阶变系数发展方程的的局部问题,按文章里的方法来推出问题解的黎曼函数表示的公式,然后用黎曼方法证明解的唯一性.     

三重积分换元公式的一个新证法

利用在线性空间上推广混合积的思想,建立微分线性空间、引入广义向量外积,给出三重积分换元公式的一个简单证法.     

曲面论高斯方程公式的几种形式的推导方法

考虑曲面论高斯方程公式的表示问题.运用曲面上基本方程的矩阵表示法,给出高斯方程直接的显式公式表示;指出高斯曲率简化公式的推导来源,揭示出高斯曲率隐式公式的发现过程,并给出了Liouville形式的高斯方程的证明过程.     

磁控管测量比荷公式的证法探讨

比荷e/me是电子的一个重要参数,磁控管法是测量电子比荷的一种经典方法。文献[1]中用“二分之三次方定律”证明比荷公式有些欠妥。本文给出电子比荷公式的一种严格证明和一种非严格证法,并分析“二分之三次方定律”不能适用的原因。     

多重圈张量乘积的联结数

本文给出了多重圈张量乘积的联结数的计算公式,并给出了证明。