m+1阶波斯特代数公理化的讨论

本文对m 1阶波斯特代数进行了公理化的讨论，通过讨论，清楚地看到了m 1阶逻辑代数具有代数的可靠性定理和完全性定理。     

关于R0代数公理系统的简化与独立性的修正

目的简化R0代数的定义。方法修正并利用《R0代数公理系统的简化与独立性》一文的主要结果来考察R0代数的原始定义及其性质。结果给出了R0代数一个新的特征定理并证明了该定理中各条件相互独立。结论所给出的（弱）R0代数的简化定义已是最简。     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

Fuzzy熵算子与有限Fuzzy集的熵

§1 引言 Fuzzy集的熵的概念最早由L.A.Zadeh 在文〔5〕中提到,1972年A.DeLuca,S.Termini 在文〔2〕中用最必需的条件,以“公理化”形式规定了一个有限Fuzzy 集的Fuzzy 性的度量概念,即熵的定义。然而,这些条件是应得到适当的补充。后来。文〔3〕,〔7〕,特别是文〔4〕,关于适合De Luca,Termini 意义的各种熵的性质有了进一步的研究。本文将在§2中提出一个较完整而合理的“公理化”定义,并给出它的几何意义;§3中我们证明相当广泛的一类Fuzzy 熵算子将导出一系列有意义的熵,并从各种熵的比较问题出发提出了熵的“精细”(finer),“粗糙”(cearser)的概念,以期引起更深入的讨论。     

关于拟次加泛函的一点讨论

本文的目的是:1、指出文〔1〕§4.6定理1证明中的某一步可以简化;2、文〔2〕§2定理1和定理2关于泛函拟次加性的要求实际上可以放宽;3、给出在某种条件下广义拟次加泛函的一个特征。 下面分别说明以上三点。 一、在文〔1〕§4.6的定理1中,定义,而在文〔2〕中定义V_1=     

质点力学的公理化体系

本文是在运动学基础上建立的质点力学的公理化体系，即由若干个公理，定义出发推导出若干定理，推论，公式的逻辑体系。     

质点力学的公理化体系

本文是在运动学基础上建立的质点力学的公理化体系，即由若干个公理、定义出发推导出若干定理、推论、公式的逻辑体系．     

区间集上R_0-代数的特征性质及其简化表示定理

论证区间集上R0-代数的一组有趣特征性质及任意元与其相应的补的最小蕴涵关系式。在引入两个新的运算算子的基础上,进一步讨论区间集上R0-代数的又一组基本特征性质。运用公理化思想简化了区间集上R0-代数表示形式的公理条数,以彰显其公理系统的相对独立性。     

Fuzzy 理想子环的运算

0.引言Zadth 定义的Fuzzy 子集的概念〔1〕,已经被应用于代数理论的研究中。〔2〕中Rosenfeld 定义的Fuzzy 子群已在〔3〕,〔5〕,〔6〕,〔7〕等文中得到进一步讨论。在〔7〕中我们还定义了Fuzzy 子环,Fuzzy 想的概念。本文是〔7〕的继续,并将讨论建立在更为广泛的完全分配格的基础上。本文的主要工作是:§2中给出Fuzzy 理想的交、和、积、商的适当定义;§3中引入介     

论代数公理化体系与中小学数学教学

数学公理化方法是研究数学的重要方法,代数公理体系是数学公理体系中的子系统.代数系统是集合连同满足某个公理体系的运算合称.中小学数学中处处体现公理化思想,因此在中小学数学教学中讲授代数公理化体系必要且可行.本文从公理化方法、代数公理体系、中小学代数教育及代数公理化在中小学教学中的作用几个方面来阐述.     

公理化方法及其内在局限性

讨论了公理化方法的基本轮廓及其在与数学相关学科中的应用,进而讨论了它对力学的影响;着重介绍了John Losee的牛顿公理化的三阶段及其对应规则,指出公理系统存在的意义是在于其实际中的意义,最后根据Church不可判定性定理和Goedel不完全性定理指出了公理化方法的哲学意义及其内在局限性.     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

2——距离空间中的平均非扩张映象不动点存在定理

1963年 G(?)hler 在文献〔1〕中引入2—距离空间,1976年 Isékj 等在〔2〕中首先讨论了2—距离空间中压缩映象不动点定理,之后许多作者对2—距离空间的映象不动点定理进行了讨论,将 Banach 空间中的映象不动点定理推广到2—距离空间中.本文讨论2—距离空间中的平均非扩张映象不动点,得到一些不动点存在定理,将〔4〕中重要结论定理1推广到2—距离空间中.定义 T 是2—距离空间(X,d)的自映象,若对一切 x,y∈X,和每个 a∈X,有     

关于Artin行列式公理化定义的两点注记

主要指出Ａｒｔｉｎ的行列式公理化定义中三条公理的独立性及Ａｒｔｉｎ定义与普通行列式定义的等价性问题．     

行列式定义及其等价性

本文对行列式的三种不同形式的定义，给出了它们是相互等价的证明，并证明公理化定义中三个公理的独立性。     

广义函数的中值定理

本文拟在文〔1〕、〔2〕的基础上,对广义函数的导数继续进行讨论并建立广义函数的一些中值定理。§1 广义函教的极限设广义数 x 表为     

复半单李代数的有限阶外自同构

<正> 由于全文较长,这里只给出摘要而不给出证明。 作者在〔5〕中给出了复半单李代数的有限阶内自同构的共轭分类。本文是〔5〕的继续,讨论的是有限阶外自同构,从而完成了复半单李代数有限阶自同构的共轭分类。〔1〕中用Z—graded李代数的方法讨论过这个问题,但那里的方法比较复杂,而且篇幅比较长。本文的讨论是从Gantmacher关于自同构的标准形定理出发,利用表示理论和扩     

S─测度及其扩张

本文主要给出了代数R上的S-测度的定义,讨论了它的性质,并解决了一类S-测度的扩张问题(定理3.1,3.2,3.3),而这类S-测度包括了〔2〕中所研究的拟测度。     

局部凸空间中集值K映像的Schaefer定理

本文将赋范空间中单值连续映像的Schaefer定理推广到了局部凸空间中集值K映像的情形。 文〔1〕是在假设局部凸空间中存在零元的有界邻域的条件下得到了局部凸空间中K映像的Schaefer定理,然而文〔1〕作者忽略了一个重要事实,即具有有界零邻域的局部凸空间是赋范空间这一点,因此文〔1〕实质上是在赋范空间中得到了集值K映像的Schaefer定理,并未将Schaefer定理推广到局部凸空间。     

Fuzzy映射族的公共不动点定理

Heilpern〔1〕首先把Banach压缩映射不动点定理推广到Fuzzy映射的情形。Euzzy映射不动点定理的进一步讨论可见Butnariu〔2〕,张石生〔3〕—〔5〕,王戈平〔6〕等等。最近,方锦暄〔7〕引入了Fuzzy映射不动度的概念,将文献〔1〕〔3〕〔4〕中的某些结果进行了推广。本文对不动度概念做某些讨论,并且给出Fuzzy映射族的一个新的公共不动点定理。