方程与曲线论[23]——演变公理体系

在丰富的几何图形世界中,用运动变化的观点,发现一类未能在《几何原本》和《几何基础》中展示的公理体系——演变形概念,演变公理。该理念在整个欧式几何系统中,不仅具有和谐性,还具有独立性和完备性。本文除运用推理证明公理系的基本问题之外,还列举实例对演变形的存在和其性质进行阐释。     

代数结构与几何基础Ⅳ——仿射几何的公理体系

在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何．本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出：三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。     

浅谈中学几何公理系统

本文将采用近代公理法思想来分析中学几何（包括初中平面几何与高中立体几何）中所出现的公理，论述其公理系统，使读者能居高临下地领会大纲与教材，从而正确理解中学几何公理系统的结构、特点以及欠缺情况，用以指导中学几何的教学。     

物理学中的公理化方法

讨论了公理化方法的发展，公理系统的特点和公理系统的不完备性，公理化方法在物理学中的借鉴，及其在认识论中的地位，还讨论了公理化方法在物理学中应用的限度，及其在自然科学理论中的最基本要求。     

仿射几何的公理体系

本文证明了,在欧氏几何Hilbert公理体系中,如果删去合同关系和合同公理,同时把平行公理强化成V’:“在同一平面上已知直线a和线外一点A。则过A点有且仅有一条直线b与a平行。”则得到三维仿射几何的公理体系。     

相似关系粗糙集理论的一个极小公理组

粗糙集公理化是粗糙集理论研究的一个重要部分,其目的是用可靠且独立的公理组对粗糙集理论进行刻画,从而可以用逻辑和公理系统方法对粗糙集理论进行更为深入的研究．经典的粗糙集理论是基于等价关系的,但现实数据中存在更多的相似关系．为刻画基于相似关系粗糙集理论,给出了公理组S,它含有3个公理．证明了公理组的可靠性,它表明了用所给公理组刻画基于相似关系粗糙集理论的合理性．同时还证明了公理组的极小性,即公理组中每条公理是粗糙不等式且各公理是相互独立的．这些研究有助于粗糙集理论研究的深入和完善．     

用网族的预收敛类刻画预拓扑空间的可数性公理

给出了预拓扑空间中第一、二可数性公理的定义,并利用网族的预收敛类的理论具体刻划满足第一、二可数性公理的预拓扑空间。     

代数结构与几何基础Ⅲ——射影几何的公理体系

在本文中我们将给出只保留结合公理的几何，并证明：这种几何．同构于域上的射影几何．若添加顺序公理．则得到同构于有序域上的射影几何的几何．     

浅谈新课程下初中教材几何公理体系

初中几何是新课改数学教材变化最大的部分。本文以北师大版和浙教版教材为例,研究了中学几何公理公理的处理和方法。     

论选择公理与2~(■_0)≥■_1的关系

那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明2■0≥■1.证明,若ZF AD是和谐的,则没有选择公理,2■0≥■1不成立.从而说明那汤松所提示的证明是不严格的.     

论Hilbert公理体系的解析结构(Ⅱ)——有序仿射几何与无连续公理欧氏几何的解析结构

本文讨论有序仿射几何与有序体上仿射几何之间的联系,以及无连续公理欧氏几何与pythagoras域上欧氏几何之间的联系。     

论选择公理与2(※)0≥(※)1的关系

那汤松(HamaHcoH)在他所著的《实变函数》认为,不需要选择公理就可以证明20≥1.证明, 若ZF+AD是和谐的, 则没有选择公理,2(※)0≥(※)1不成立.从而说明那汤松所提示的证明是不严格的.     

《特选公理杂字》渊源考——略论地方乡土教材中的法律史料

《特选公理杂字》作为古代的字书,又属于明代的"讼师秘本",保留了中国古代有关民间诉讼的重要史料,对研究中国古代法律制度的迁变,宋元以来江西之讼风以及民间社会中的法律生活来说,具有极其重要的史料价值。《特选公理杂字》一书的出现并非历史上的个案,而是前有所承,后有所因,是历史发展中的重要一环,因此,辨析清楚《特选公理杂字》一书的渊源,也具有重要的学术意义。     

加权熵公理构成证明的新方法

对S.Guiasu在《Weighted Entropy)(加权熵)一文中提出的加权熵公理构成理论,进行了简化公理条件的严密的数学证明,并给出关于加权熵函数唯一确定性的一种新的证明方法。不仅简化了加权熵的公理条件和加权熵函数唯一确定性的证明过程,而且使加权熵的公理构成具有合理的物理含意,对改善加权熵公理构成理论具有一定的价值。     

论选择公理与2N0≥N1的关系

那汤松（HamaHcoH）在他所著的《实变函数》认为，不需要选择公理就可以证明2^0≥N1．证明，若ZF＋AD是和谐的，则没有选择公理，2^N0≥N1不成立．从而说明那汤松所提示的证明是不严格的．     

论布尔代数的公理系统与公理的独立性

朱秉涛在文“关于布尔代数公理的独立性问题”中认为由Hunttngton E. V.提出的关于布尔代数的八条公理是相互独立的这一结论是错误的。本文将论证朱的这一结论是错误的,也即Huntington的关于布尔代数的八条公理的确是相互独立的。另外本文还提供关于布尔代数的其它两个公理系统,它们的各公理不但仍是相互独立的,且从某种意义上讲,它们比Huntington的优越。     

Shannon-Khinchin公理的Ulam稳定性

熵作为衡量随机变量的统计期望值,是信息度量的重要方式.典型的香农熵给出了经典概率信息的完美度量标准,但无法完全刻画复杂信息.Havrda-Charvat熵作为香农熵的单参数扩展,在诸如计算机、信息论和统计物理等领域得到广泛研究.这种信息测度可由非扩展系统的多个公理来刻画.研究这些公理中的Shannon-Khinchin公理和一般化公理的Ulam稳定性.证明了某些公理条件的弱可扰动性.     

物理学公理理论体系中公理的提出方法探讨

自古希腊哲学家毕达哥拉斯(Pythagoras,572 BC—497 BC)提出"自然即数"的观点以后[1],物理学得以开创。作为西方文明直至当下人类文明之内核的物理学,其理论物理学秉承毕达哥拉斯的思想,对作为表象的世界的表象[2]和事态作出数量化的本质性和关联性的解释,这其理论体系要求高度的自洽性和有效的预言效性。按照其体系基础和逻辑体系划分,理论物理理论体系主要可以分为公理体系和定律体系两类。定律体系是以实验定律为基础出发通过演绎建立整个理论体系,公理体系是从公理出发通过推测和演绎建立整个理论体系。在经典物理学中,定律体系的典型代表是电磁学理论,公理体系的典范代表是牛顿力学体系。     

关于笛沙格定理的附注

笛沙格定理在平面射影几何中必须选作公理,然而一般的高等几何教科书又都用投到无穷远法或解析法对它加以证明,本文从几何基础的角度指出了这种处理的合理性。     

"线性空间"公理系统的等价性

本在利用群的第一定义和群的第二定义的等价性得出关于“线性空间”的一个简化定义的基础上．给出线性空间另外两个等价的公理系统。同时，对这些公理系统的独立性问题予以探讨。