关于半格的一个定理

文中给出了如下定理：设（Ｌ，∨，∧，Π，Σ），ＡＬ，则（Ａ，∨，∧，Σ）＝（Ａ，∨，∧，Π，Σ）ｉｆｆ（Ｌ，∧）上的内部算子Ｉ，使得Ａ＝｛ｘ：Ｉ（ｘ）＝ｘ｝＝ｒａｎｇｅ（Ｉ）＆ＢＡ，Ｉ∧ｂ∈Ｂｂ＝∧ｂ∈ＢＩ（ｂ）．另外，还给出［１］中定理１的一个改进证明．     

格上的幂半格与幂格

研究了格上的幂半格及其性质,建立了格上的幂半格与幂格的关系。     

关于一致半格的注记

首先证明了满足极大条件的无限链一定是一致半格.其次,通过探究一致半格与极大条件之间的关系,给出了一致半格为满足极大条件的无限链的充分必要条件.最后,讨论了一致半格与极小条件以及反一致半格与极大条件之间的内在关系,并且给出了相应的例子.     

广义半Smooth格

引入了广义半Smooth格和广义半Smooth代数格的概念,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是拟连续的广义半Smooth格。     

幂半格与半群

给出了半格上的幂半格的概念,讨论了幂半格的相关性质,建立了半格上的幂半格与半群之间的联系。     

罗尔定理的一个证明

本文利用连续函数的极值原理、介值定理以及极限的两边夹定理,给出了罗尔(Rolle)中值定理一个简洁证明。由于该方法迴避了运用(未被编入工科高等数学教程中的)区间套原理,从而比《美国数学月刊1979(86)》发表的Hans Samelson[1]和Alexander Abian[2]的两个新证明,在我国理工科数学有关的教学实践中更为通用。特别地,本文的方法还避免了使用文[1]所引用的P.Lévy平行弦定理[3]。     

半素环的一个交换性条件

本证明了以下定理：一个半素环是交换的当且仅当以下条件之一成立：(1)[x^my^n xy^nx,x]=0，(2)[x^sy^t yx^s,x]=0．其中x，y为R的任意元，m,n，s，t为正整数。     

自由格的若干定理

格的一个等式类Ｋ上由一个弱偏格生成的自由格的定义可以仿照Ｋ上由偏格生成的自由格的定义来给出．本文给出了Ｋ上由弱偏格生成的自由格的存在定理，并对任一非序集生成的自由分配格的结构作了两点刻画．     

关于J.Hersch的一个定理

我们证明在与典型n维球面（S^n,g0)共形的n维球面上,成立不等式λ≤n(VOL(S^n,g0)VOL(S^n,g)2/n,这推广了Hersch关于拉普拉斯算子第一特征值λ1的一个定理。     

解对初值连续依赖定理的一个新的证明方法

《常微分方程》传统的教材均先证明Bellman引理,然后利用Bellman引理完成"解对初值连续依赖定理"的证明.本文用曲线平移的方法构造出比较函数,从而给出了解对初值连续依赖定理的一种新的且具有几何直观性的证明方法.     

一个带变号的半线性两点边值问题的正解存在定理

文中建立了带变号的半线性两点边值问题的一个正解存在定理。     

一个满射定理及其应用

基于α凹算子与α凸算子在一定条件下可能互相转化这一想法，通过一个满射定理建立了它们之间的关系，并利用这一关系给出了α凸算子的若干结论。     

半格与Domain的表示

引入一种半格———Ｄ 半格，建立了Ｄ－半格的表示理论，利用它得到了Ｌ ｄｏｍａｉｎ（即局部代数格）的表示理论；证明了Ｌ ｄｏｍａｉｎ与稳定映射范畴对偶等价于稳定Ｄ 半格与Ｄ－半格同态范畴．     

关于海伦三角形的一个有趣定理

文中杨之用拟合的方法给出了诺尔曼——埃尔德什定理（即：平面上存在不共线的n个点，其中任两个点间的距离都是整数）的一个初等证明．但证明复杂，且其中有n-1个点都在一条直线上．本文将用构造性方法证明更有趣的结论。     

半连续格和半代数格的映射性质

研究了半连续格及半代数格的一些映射性质,讨论了强连续格的函数空间,给出了强连续格到方体的嵌入定理.     

关于上半连续性和Kakutani不动点定理

本文给出了集值映象的弱上半连续而非准上半连续的例子,证明了对于闭凸的集值映象弱上半连续和准上半连续等价,并把Kakutani不动点定理推广到非闭凸的弱上半连续的情形.     

关于减算子的正不动点定理

本给出了减算子的两个正不动点定理，这些结果是非线性算子理沦中的新结果。