sl(2,F)PBW定理的另一种证明

设F是任意域,L是F上任意一个李代数,文献[1]给出了关于L的PBW定理及证明.本文对L=sl(2,F)我们给出了PBW定理的另一种证明方法.     

不添辅助线证明Steiner-Lehmer定理并将其推广

1Steiner-Lehmer定理的源流及新证Steiner-Lehmer定理即如下的定理1.定理1如果一个三角形的两条内角平分线相等,则该三角形是等腰三角形.这虽然是个初等几何中的定理,其名气却非常响亮.1840年在C.L.Lahmus给C.F.Sturm(1803-1855)的信中,向他请教这一命题的证明.后者也没能给出证明,就在数学界广泛征解.当时得到了几种证法,但都是间接证明,也都比较繁琐.此后100多年来,寻找其简洁的直接证明一直     

Lagrange、Cauchy、积分中值定理与Taylor公式的统一证明

通过一个定理的结论,给出L agrange、C auchy、积分中值定理和T ay lor公式的统一证明,同时得出计算不定型极限的L′Hosp ita l法则的推广定理.     

关于离散形式结点域定理证明的几点注记

本文指出了文[1]的主要定理(定理4与定理6)证明中的错误,并对其进行了修正,给出了正确的证明.     

微积分中Fejér核的性质及应用

介绍微积分中Fejér核的概念,给出其性质,实例展示其在习题解答和定理证明中的具体应用,并分别给出Fejér定理与Weierstrass第二逼近定理的一种新证明.     

二阶Volterra系统对平稳正态激励的统计响应的表示定理的数学证明

1974年,Neal根据Kac和Siegert的思想,给出了一个在电子工程、海洋工程、建筑工程、航空工程、自动控制的随机振动中有重要应用的二阶Volterra非线性系统对平稳正态输入的统计响应的表示定理.1984年,Naess对此定理又给出了一个数学证明.经过研究后发现,他们对定理条件的叙述都是模糊的,而且其数学证明都是有问题的.本文重新讨论了这个表示定理,给出了明确的定理条件及严格的数学证明,为它的广泛应用奠定了理论基础.     

带约束导数值域的L逼近

1972年J.A.Roulier和G.D.Taylor研究了带约束导数值域的一致逼近,在文章最后,他们提出了一个未解决的问题,就是关于带约束导数值域的L逼近问题.本文研究了这个问题,得到与[1]平行的结果.这个结果同时也推广了 R.A.Lorentz的工作. 第一节给出存在定理,第二节证明若干特征定理,第三节给出一个唯一性定理.     

Leray-Schauder不动点定理的一个新证明

给出Leray-Schauder不动点定理的一个新证明.我们首先给出集值映射的焊接引理,利用集值映射的焊接引理和Kakutani不动点定理证明Leray-Schauder不动点定理,并证明Leray-Schauder不动点定理与Brouwer不动点定理等价.     

T样条函数空间的局部支集基

Ｓｃｈｕｍａｋｅｒ，Ｌ．Ｌ．在其名著《ＳｐｌｉｎｅＦｕｎｃｔｉｏｎ：ＢａｓｉｃＴｈｅｏｒｙ》中第九章给出了Ｔｃｈｅｂｙｓｈ－ｅｆ样条函数空间的局部支集基定理，可惜其证明却是错的，本文给出了上述定理的正确证明．     

Mazur-Orlicz定理的一个初等证明

在文献[1]中，作为矩阵求和法的一个重要定理——Mazur—Orlicz定理，其证明是借助于许多工具与手段给出的，十分繁琐。现用初等方法给出一个简化而直接的证明。     

含参量积分的一条定理及其应用

给出了含参量积分的一条定理,借助其完善了积分交换顺序定理的证明,并且通过一个具体的例子刻画了这条定理的应用.     

关于z.Ditzian定理

1987年Z.Ditzian提出了反映Bernstein算子收敛阶与所逼近函数光滑模之间关系的一个定理,并在α+β≤2情形下给出了这个定理的证明.对于α+β》2情形,Z.Ditzian给出了猜想.1992年周定轩证明了Z.Ditzian的猜想,完成了Z.Ditzian定理的证明.本文对于Z.Ditzian定理给出了一个新的直接证明,这个证明不需要讨论α,β的情况,而且还将Z.Ditzian定理拓广到Bernstein算子线性组合上.     

用区间套定理证明Darboux定理

Darboux定理是数学分析中的一个重要定理.在已有文献的基础上,对该定理作了进一步的研究,利用区间套定理给出了它的新的证明方法.证明思路与现有的其它证明思路是不同的.     

范德蒙行列式推广形式的多项式证法

本文给出了范德蒙行列式推广形式的多项式证明，其方法不同于文［１］的定理１证明方法。     

超凸空间中的连续选择定理与耦合定理

本文给出了超凸空间中的连续选择定理与耦合定理，并得到了它们的证明,作为应用，我们给出了超凸空间中的不动点定理与截口定理．     

半连续格的半素极小集与序同态扩张

对完备格引入半素极小集的概念,证明完备格L为半连续格当且仅当L中的每个元在L中存在半素极小集,给出半连续格的两个序同态扩张定理.     

任务逻辑中的定理

基于任务逻辑的语义语构理论,提出模仿策略的概念,详细讨论任务逻辑形式系统L中的定理并给出其证明,得到许多有趣的结果。     

柯西中值定理的一个证法

柯西中值定理是微分学中最主要定理之一,通常是利用罗尔定理来证明的。其证明难点在于构造辅助函数。本文给出了柯西中值定理的另一个证法:先给出一个简单的引理,再利用关于导函数的介值性的达布定理,证明柯西中值定理,从而可把罗尔定理和拉格朗日中值定理作为特殊情形。同时,在证明中构造的辅助函数,也较易于接受。     

关于Z.Ditzian定理

1987年Z.Ditzian提出了反映Bernstein算子收敛阶与所逼近函数光滑模之间关系的一个定理,并在α+β≤2情形下给出了这个定理的证明,对于α+β>2情形,Z.Ditziall给出了猜想,1992年周定轩证明了Z.Ditzian的猜想,完成了Z.Ditzian定理的证明,本文对于Z.Ditzian定理给出了一个新的直接证明,这个证明不需要讨论α,β的情况,而且还将Z.Ditzian定理拓广到Bernstein算子线性组合上。     

L-模糊拓扑中广义Tychonoff定理的新证明

利用赵虎等人介绍的(L, L)-模糊拓扑乘积空间的结构,对L-模糊拓扑中的广义Tychonoff定理给出直接的证明,从而使研究者较容易地理解这一定理.