选择公理的两个等价形式

本文目的是证明选择公理的两个等价形式,它们分别是Hausdorff极大原理和Zorn引理的“推广”。我们首先给出确切定义,然后证明等价性,最后举例说明:有时不能直接应用Zorn引理,却可应用我们提出的等价形式。     

关于Zorn引理的若干等价命题

本文列出了十多种常见的Zorn引理的等价命题,并给出了一种新的环路证明     

增算子不动点定理的一个注解

人们对于增算子不动点的存在性研究逐渐深入,并得到大量的不动点存在性的结论但其证明大多依赖于Zorn引理.文章给出了关于Banach空间中的一类全正则锥条件下增算子不动点定理独立于Zorn引理的新证明,使之前的定理更加绝对化.     

分析学中几个定理证明的严密性

Zermelo选择公理的提出对近代数学的发展和逻辑的严密性起了很大的推动作用,而且它几乎渗透到每一个数学分支。分析学中一些定理及命题的证明都要以它为依据,例如,它使得下面几个定理的证明成为可能。     

实数连续性的等价命题

Dedekind分划基本定理、确界存在定理、单调有界定理、闭区间套定理、聚点定理、Cauchy收敛准则、有限复盖定理等七个实数连续性的等价命题是数学分析的理论基础,也是现代数学的重要工具。它们的等价性一般都是循环证明的。为了加深对这些命题的理解,掌握应用这些命题证题的规律,进行仿射证明是非常有益的。在文献[1——8]中已给出     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

关于极大可测选择定理

利用Zorn引理，在Polish空间中，给出了一个关于随机算子的极大可测选择存在定理。     

QBL-代数及其与BL-代数的等价性

根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征, 将基础逻辑系统BL中的部分公理代数化, 建立一种新的代数结构QBL-代数, 并证明了QBL-代数与BL-代数的等价性, 以两种二元运算,→为基础在一般集合上给出了基础逻辑代数BL的表示定理.     

关于第二连续归纳法原理

我国著名的数学家、数学教育家张景中院士,在1986年提出了关于实数理论的“连续归纳法原理”[1].这是一个相当简单、便于应用和掌握的定理。这个定理,可以作为刻画实数的连续性的公理,以代替实数理论中的其它公理;从它出发,可以用统一模式推出已知的一系列关于实数的定理;从它出发,可以用统一模式证明微积分中涉及连续性的各个命题[2].这是张景中院士关于教育数学的一项重要成果.但是,对于一些仅仅局限于一个区间的有关性质,常常需要将所须证明的命题Px由区间[a,b]拓广到整个数轴,成为一个新命题Px,再利用连续归纳法加以证明.例如,在运用连续     

数学推理规则及其应用

§1.概说一数学系统的原始概念、公理、定义和定理等都需表述为命题的形式。建立命题与命题之间的关系,即定理的证明,需以逻辑推理作工具。命题演算是数理逻辑的一个基础分支,它的功用之一是研究数学中使用的演绎推理的性质,并建立判定推理有效性的准则。在命题演算中采用五种逻辑联结诃     

向量值Ekeland变分原理

自从 Ekeland 发表著名的近似变分原理以来,国内外对它及其应用的研究十分活跃.业已证明它与空间的完备性,Caristi 不动点定理等非线性分析中的基本定理等价或有密切关系.同时还在最优化,数学规划,控制论,大范围分析等一系列领域中有广泛的应用.本文把数值的 Ekland 变分原理这个基本工具推广到取值于 Dedekind 备的 Banach 格的情况,并证明了若干等价命题.     

互反命题等价与反证法

反证法是数学证题中常用的方法。互反命题等价在一些书中也被论及。本文进一步给出了一个“互反命题等价”的较规范完善的逻辑证明方法。同时,深入揭示了反证法的各种推理形式都能化为原命题的反命题形式。从而使人们深刻理解到“互反命题等价”是反证法的基础定理,它“间接证明”的可靠性也是不容置疑的。     

三角范畴定义中八面体公理的等价命题及其应用

三角范畴是一个带有自同构的加法范畴,并且满足4条公理,其中的1条重要公理是八面体公理.由Grothendick-Verdier在上个世纪60年代提出的八面体公理相对于其它3条公理形式比较复杂,应用起来比较不方便.因此研究八面体公理的其它等价命题引起了人们的兴趣.本文在王济荣工作的基础上给出八面体公理的第1个等价命题,再利用对偶的思想导出八面体公理的第2个等价命题.最后利用homotopy cartesian得到八面体公理的第3个等价命题,并利用第3个等价命题简化Peng和Tan的证明.     

交錯二次代数的一个性質的証明

交错二次代数有一个性质:每个交错二次代数必有对合.利用这个性质,可以大大简化交错环的主要结构定理的证明.(参看)R.D.Schafer在中曾提到这一性质(他将其写成两个引理),但他在证明它的时候,一方面用到代数的维数有限的假定;同时对一个代数的特征多项式与极小多项式不加区别,所以他的证明是通不过的.本文,将给出这条性质的完整证明。     

关于几何基础中的一个命题

在希尔伯特的几何基础书中第二章§12后面有一个未附证明的命题: 若存在某一个三角形的三个内角和大于、等于或小于两个直角,则每一个三角形的三个内角和也必都如此。 希尔伯特指出了在初等几何公理系统的前三组关联、次序和全合公理基础之上可以证明。为了证明此命题导入下列诸引理,在证明的过程中将用到希尔伯特几何基础第1§1—6。     

关于实数连续性的注记

证明了描述数直线和坐标平面的连续性的一些命题的等价性, 如在坐标平面上,用致密性定理证明Cauchy收敛准则;用Cauchy收敛准则证明闭矩形套定理等,以弥补现行教材之不足.     

关于实数连续性的注记

证明了描述数直线和坐标平面的连续性的一些命题的等价性,如在坐标平面上,用致密性定理证明Cauchy收敛准则;用Cauchy收敛准则证明闭矩形套定理等,以弥补现行教材之不足．     

偏好、强序刻画和社会选择形式空间等价

为研究一般社会选择函数的构造机制,该文通过一般性偏好的运算形成偏好的强序刻画,并基于此证明在形式背景下社会选择函数全空间的一些等价性和自等价性.但是在强序刻画下,社会选择函数的存在性定理(Arrow定理)的构造相对简化,约束公理系统的配置也简化,这为全面形式化处理Arrow定理提供了有力工具.     

一种命题形式系统的等价性证明

Lukasiewicz提出的一个命题形式系统与两个常见的命题形式系统之间的等价性证明关键就在于在Lukasiewicz系统中证明公理模式A→(B→A)和(A→(B→C))→((A→B)→(A→C))。而要证明这两个公理模式其关键又在于证明若干重要的中间公式,如A→((﹁B→B)→B)以及皮尔士律、吸收律、段定律等。就此,在Lukasiewicz给出的证明的基础上,讨论了一种不同的、相对简单一些的证明过程。     

对《初等代数研究》的研究

本文就全面师专数学教育教材《初等代数研究》中的若干问题进行了探讨，对单调有界序列定理的证明、解析式恒等的定义、利用合分比定理解分式方程和正弦玄数的超越必的证明等提出了修改意见，它有利于教材向思维的严密性和方法的简捷性方面发展。