线性空间公理化定义研究及反例

讨论线性空间定义中 8条公理之间的关系 ,给出公理 1的一个充分条件和公理 5的两个等价条件 ,证明公理 6与公理 8在有理数域上是等价的 ,因此它们在有理数域上不独立 ;给出所有只满足 8条公理中部分公理的四元组(V ,P , , )的例子 ,特别是构造了一个例子来说明公理 8在复数域上是独立的以及说明公理 1 ,8不成立和说明公理 1 ,6 ,8不成立的例子     

描述拓扑空间的几种方法

从映射的角度定义了内部运算、邻域系运算、邻域基运算及相应的公理,分别由它们导出了拓扑与拓扑空间,证明了闭集公理、内部公理、邻域基公理与所定义拓扑的三个条件等价,举反例说明了在等价前提下公理条件存在的必要性,最后讨论了导集的一些性质。     

关于群公理的注记

本文首先介绍了群各种定义的等价性,并给出第Ⅲ种与第Ⅵ种定义等价的证明.其次,本文从左幻群定义出发,证明了左幻群与A.B.Clifford给出的满足公理Ⅱ_1′、Ⅲ_2′或Ⅱ_1′、Ⅷ的代数体系等价,并给出了左幻群的一些性质.最后,本文对左幻群的结构进行了探讨.     

拓扑学的几个公理系统的独立性

本文证明了:度量空间、拓扑空间、同胚映射、拓扑群和线性拓扑空间的公理系统的独立性。     

线性空间的邻域结构

A·kos Csa′sza′r在[1]中先赋予非空集合一个邻域结构,在此基础上定义了与从开集公理体系导入的拓扑等价的拓扑结构,由邻域结构确定了一类较拓扑空间更为广泛的空间对象——邻域空间[1]。本文在线性空间中赋予相容的邻域结构,推广了拓扑线性空间的概念,讨论了邻域线性空间的一些初步性质。此外,由于定义相容的加法和数乘运算的需要,还引入了邻域空间的乘积和乘积邻域结构的概念。     

可分离公理的三空间性

在拓扑代数一些基本定义及基本性质的基础上,讨论了拓扑群中的群扩张理论,研究了可分离公理的三空间性质.利用逆纤维性质,得出了满足T_1公理是三空间性质;给出了T_2公理和T_3公理成为三空间性质的条件.结果表明:T_2T_3公理在不变子群是既开又闭的条件下可以扩张到整个拓扑群上.     

用外部运算和边界运算定义的拓扑空间

本文证明了存在唯一的拓扑，使得由公理定义的外部运算和边界运算与该拓扑空间中的外部映射及边界映射等价．     

量子力学的公理化

我们提出的量子力学唯一公理是：普朗克能量等于爱因斯坦能量：h·v=E=m·c2用纯文字来表达就是：频率与能量等价——因为大自然并不理会单位制的选择。广义相对论并没有把选用何种数学工具列入公理,本文也然。公理化方案的优点是：既然公理是可信和可理解的,那么公理的一切推论也都是可信和可理解的,最终的判决是实验。大道至简。我们遵守“奥卡姆剃刀”原则。在量子力学的语境中每一个物理量都必须而且能够重新定义,即使仍然使用同样的词。量子化替换是公理化的推论。历来的讲法是：量子力学的数学基础是Hilbert空间理论。而我们认为量子力学的数学基础是Hilbert空间的群表示论。区别在于,实验物理学家生活在4度时空,而群表示论是4度时空与Hilbert空间之间的桥梁。     

二元运算表为群的一个判定

本文给出群的一个没有结合公理的等价命题,利用此等价命题容易从一个Cayley表上看出,它是否为群的判定方法     

T—型拓扑空间

关于拓扑空间的分离性公理,已有T_0、T_1、T_2等,本文提出T分离性,它比T-1强而比T_2,弱,讨论了T—型拓扑空间的某些性质,证明了对于满足第一可数公理的拓补空间来说,T和T_2的等价性。最后指出关肇直先生给出的局部紧性之定义与J·Kelley所给的定义在T—型拓扑空间上是一致的。定义一拓扑空间(X,T)叫做T—型的,是指X的一切紧子集都是闭的。若以D表     

关于数学分析教学中的一些体会

章先讨论了数学的研究方法和数学分析所基于的公理系统，其次给出了有理指数乘幂的性质的证明。     

中介逻辑与中介公理集合论的综述

以中介逻辑演算系统和中介公理集合论为主要内容的中介数学系统是一种在数学基础意义上将精确性量性对象扩展到模糊量性对象的系统,它对数学的逻辑基础和集合论研究产生了重要影响.文中主要从下面3个方面论述:中介数学系统的研究背景;中介数学系统的基本内容及其与经典数学系统的关系,其中简要介绍了中介概念、中介原则、中介逻辑演算系统、中介公理集合论和中介数学系统的研究现状;有关中介逻辑的学术争论,特别围绕中介逻辑是不是一个新逻辑引用了正反双方的意见.此外,还展望了中介数学系统的应用前景.     

中介公理集合论框架下的粗糙集

利用中介公理集合论来讨论粗糙集。首先给出中介化算子的公理化定义,讨论它的一些重要性质;其次给出与等价关系相对应的中介化算子的构造性定义,并指出它满足上述公理;再由中介化算子出发,构造出相应的等价关系。最后讨论中介化算子与等价关系之间的联系,证明两者是相互惟一确定的,用等价关系将集合改造成粗糙集与用相应的中介化算子将集合化为中介集,这两者是等效的。本文将粗糙集纳入中介公理系统理论框架之下,为研究粗糙集奠定了坚实的数学理论基础。     

广义粗集公理化的一个注记

广义粗集理论是基于等价关系的粗集理论的各种拓广。本文讨论了基于一般二元关系的广义粗糙集的公理化,通过实例分析了确定二元关系的必要公理组条件,并给出了各公理组的充分条件。     

局部有限超空间的弱紧性和第一可数性

研究了拓扑空间 X上的非空闭子集超空间CL （X）的Kuratowski-Painleve-收敛与τlocfin-收敛的等价性,给出了 CL（X）赋予局部有限拓扑τlocfin的三类弱紧性：ω-有界性,-紧性和-伪紧性,利用空间 X的分解方法得到了（CL（X）,τlocfin ）满足第一可数公理的等价证明。     

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

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

微分矩阵中含不确定的离散奇异系统鲁棒稳定化（I）

讨论了离散奇异系统微分矩阵E中含时不变参数不确定的鲁棒状态反馈稳定化问题的一种特殊情形 ,在不要求系统正则的条件下 ,阐述了其和一个不确定正常线性离散系统的鲁棒状态反馈稳定化问题的等价关系 ;利用线性矩阵不等式 (LMI)方法 ,给出了控制器存在的一个充分必要条件及控制器的一族解     

统计规律的公理性特征

统计规律一直被认为是统计学的基本研究对象 ,但是尚未有人对此概念给出过一个规范的科学定义 .本文通过对统计规律的数量性质的深入分析得出结论 :各类统计规律都可规结为“平均数规律”,并可表述为一个大数公理 .这种结论进一步表明 ,对科学真理的实践或实验检验是一个无限的过程 .