集压缩增算子的不动点定理

本文在不作任何连续性假定,且对空间的半序要求较弱情形下,获得了一类增算子的不动点定理.因而,改进和推广了增算子不动点的某些近期结果.     

不分明单位区间及其在不分明拓扑中的应用

不分明单位区间是一个十分重要的不分明拓扑空间,在不分明拓扑中有着广泛的应用.国内外学者已发表了不少文章讨论它的各种性质和应用。本文综述了有关这方面的某些主要研究成果.     

中值定理证明中辅助函数构造法及其比较

本文作者结合教学实践总结了微分中值定理证明中辅助函数的各种构造法,并对其进行了比较。     

数列与级数敛散性判定定理

给出了判定一类数列收敛的定理，并由此定理得到一系列结论：(1)级数敛散性的积分判别法；(2)一类收敛数列；(3)级数∑（∞，n=1）f(an)与数列|∫（an，al）f（t）dt|同敛散；(4)估计某些收敛级数和值与广义积分之值．     

微分中值定理中间点的渐近性

本文讨论了拉格朗日微分中值定理及柯西微分中值定理的“中间点”的渐近性质．在较弱的条件下，得到拉格朗日渐近数和柯西渐近数的计算公式．     

导数的介值定理及导数极限的定理的若干推论

本文给出导数的介值定理及导数极限的定理的若干推论,并且利用它们得到微分学中一些定理的新证明,最后指出了导数有关定理之间的联系。     

线性循环细胞自动机的动态分析

本文利用线性循环细胞自动机的线性循环特性,把自动机问题归结为有限环R=F_■[x]/(x~■-1)中的一些纯粹代数问题.即用中国剩余定理,把环R 分解成一些子环的直和.然后将与这些子环相对应的小自动机的功态特性合成为原来自动机的动态特性.     

TRANSFORMATION THEOREMS AMONG CAYLEY-KLEIN GEOMETRIES

A theorem of transformation between two geometries is proved on the basis of Wu's method of mechanical theorem proving.By using this theoremfor Cayley-Klein geometries of dimension two,we prove that the nine Cayley-Klein geometries can be divided into three groups within which the geometries aremutually equivalent in the sense that certain geometry statements are correct inone geometry if and only if they are correct in the other geometries of the samegroup.This means that for each group we only need to choose a model geometryto study and the theorems of other geometries in the same group can be obtainedfrom the model geometry automatically.The three model geometries chosen forthe nine Cayley-Klein geometries are:Euclidean geometry,Riemann geometry,andGalilean geometry.     

关于锥理论和增算子的某些问题

证明了在自反空间中,正规锥和全正则锥是等价的,并证明了增算子的某些不动点定理,改进了〔3〕中的某些结果.本文的部分结果,已在〔2〕中宣布(证明未发表)。     

关于Sato定理的一个注记

去掉了Sato定理中的一个条件,并将该定理推广到一般情况.