推广的Urysohn引理的改进证明

文[1]中给出Urysohn引理的一种推广,给出的证明是参考[2]中的证明.文章给出了该推广的改进证明.     

关于可测集的定义和开长方体可测性定理的证明

<正> 文[3]曾经指出文献[1]在证明“可测集的并集为可测集”时出现了不定式.该定理的证明又得到文献[2]的引用.本文对文献[2]在测度理论的有关定义和定理的证明提出一些看法,并给出测度理论中一个重要定理的重新证明.     

关于б域上测度的构造

本文提出了一个新的集类“S——代数”,并建立了其上的测度扩张理论,使[1]、[2]中有关结果得到了统一和推广.同时指出了[2]中一定理证明的错误.     

关于图论中混合形式的Menger定理的证明

文献[1]中的定理2被称为图论中混合形式的Menger定理,文献[2]指出该定理的证明是错误的.本文给出了该定理的一个直接证明.     

《试论积分第一中值定理》一文的更正

本文指出文[1]中的引理2是错的,并且给出了一个命题来代替文[1]中的引理2,同时对文[1]中引理3的叙述与证明作了些修改,使之更完美,这样也就对文[1]中相应的有关叙述作了些调整.     

关于Jordan环的Levitzki根的存在定理的证明

在[1]中我们证明了 Jordan 环的 Levitzki 根的存在的定理,其中用了[2]中的一个结果。在[3]中用了一章专门介绍;中关于此问题的证明。由于一些原因,1965年写成的[1]发表在[4]之后。由于简报形式的限制,在[1]中我们略去了关于 Jordan 环部分的证明,又由于[2]中被[1]引用的关于 Jordan 环的结果其证明在计算中有误,故觉得有必     

关于Lewis的模态系统S5的几个注记

本文分三个部分:其一,将应用作者在文献[4]和[5]中得到的关于S5(即S_e)和S5(即S_e)的单纯完全性定理来证明Barcan公式和Prior的导出规则RLM可以分别在S5和S5中推出.这一事实已由Prior在文献[9]中指出,但本文给出的语义证明比[9]中的语法证明要简捷一些;其二,考虑了由S5添加命题量词而得的系统S5的判定问题;Kaplan在文摘[6]中已证明S5(在[6]中记为S5Q)为可判定的.在本文中我们采用Rasiowa和Sikorski在[10]中对一大类带命题量词演算S引进的代数语义方法并具体用到Ackermann在[1]中给出的关于二阶一目谓词演算P_m~2判定问题的一些事实得到更多的结果;其三,我们再次应用S5的单纯完全性定理重新证明S5具有6个模态辞.此事系由O.Becker首先于1930年在文[3]中证明的,本文中的语义证明比Becker[3]中的语法证明似要精致一些.     

关于冲激函数的一个性质

冲激函数δ(t)是一种奇异函数,它在"信号与系统"课程中占有很重要的地位.本文得到了冲激函数δ(t)的异数与复合函数δ(φ(t))之间的一个性质,推广了文献[3]中相应的结论.此外,本文还简化了文献[2]中的定理1的证明并更正了文献[3]的定理1的证明中存在的错误.     

Fuzzy映象的不动度

最近,张石生在文献[1]、[2]中给出了关于Fuzzy映象不动点的几个定理,这些工作改进并推广了Heilpern[3]的结果。但[1]、[2]中主要定理的证明较为繁锁,可以简化。本文利用所引进的Fuzzy映象的不动度的概念,将[1]、[2]中给出的几个不动点定理推广为更一般的形式,并给出简洁的证明。     

关于李三系或反李三系的幂零性

仿照N.C.Hopkins文章[3]中的幂零定义,给出一种与N.C.Hopkins及Noriaki Kamiya的定义方法均不相同的定义方法(最后证明,事实上这种定义的方式在本质上等价于Noriak Kamiya的定义方法[2]).更重要的是,在Noriaki Kamiya的定理3的证明[2]过程中存在着明显的不完善之处,这里作者利用新的方法定义了一种完善而且简洁的证明.