关于向量空间的定义

前言 教科书上经常采用的数域P上向量空间的定义是八条公理,文证明了八条公理不独立,其中向量加法的交换律(即下面的公理①)可由其余的公理推出,但是,文证明其余七条公理的独立性时在证明中有错误:第一,证明公理⑥不能由其余七条公理推出时,所用例子虽不满足公理⑥,但也不满足公理⑦;第二,证明公理⑧不能由其余七条公理推出时,所用例子不满足公理⑤(在本文中将分别说明之)。因此,八条公理的独立性如何,仍然是一个没有彻底解决的问题。本文将证明公理⑧是独立的,至于公理⑥,我们发观它的独立性比较有趣,它与数域P的关系密切。本文将证明存在数域P(例如复数域),公理⑥在该数域上是独立的;然而,也存在数域P(例如有理数域),公理⑥在该数域上可由其余公理推出,关于公理⑥的独立性问题,陈重穆教授提出了一个猜想,见本文的后记。     

向量空间定义中运算公理的独立性

解决向量空间中8条运算公理在有理数域Q上的独立性问题,并指出[1]中一不足之处。     

■(x)与C(x)的初等等价问题

Jensen在[1]中提出了一个问题:■(x)与C(x)是否初等等价,其中■是全体代数数构成的数域,C是复数域,■(x)与C(x)分别是■与C上的一个变数x的有理函数域。本文将利用共轭复数概念证明■(x)与C (x)不是初等等价的。为了叙述上的方便,以下设N,Q,■,C分别表示自然数集,有理数域,全体代数数构成的域,复数域;F(x)表示数域F上一个变数x的有理函数域。1■(x)与C(x)的初等等价问题为了证明主要定理,先列举一些有关的概念及引理。定义1 设F是一个数域,如果F■■_x■_Y■(x~2+Y~2=z~2),则称F是一个Pythagoras数域。     

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

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

L-smooth拓扑空间的弱T2分离性

以L-smooth拓扑空间中的远域为工具,在L-smooth拓扑空间中引入弱T2分离公理,给出它的等价刻划及其与T2、T1-分离公理之间的关系.证明了弱T2分离性是L-smooth可遗传的、L-smooth可乘的、弱L-smooth同胚的.     

关于对整系数多项式在有理数域内不可约问题的研究

研究了通过未定元替换应用Eisenstein判别法的等价条件,并借鉴Eisenstein判别法的研究思路,给出了一类整系数多项式在有理数域上不可约的判别方法.     

整系数多项式在有理数域上不可约判别法

在艾森斯坦因判别法的基础上,证明了整系数多项式在有理数域上不可约的一个判定定理,再利用模p剩余类域知识对整系数多项式的系数进行了进一步的讨论,给出了一个整系数多项式在有理数域上不可约的新的判别法。     

籍闭缩区间套原理构造实数系统

常见扩张有理数域成实数域的方法有Dedekind分割法,Cantor基本序列法和公理系统法等,各以实数连续性的某种等价形式作依据。本文试以闭缩区间套原理作依据构造一实数系统,并证明这个系统满足实数连续性公理且与Dedekind实数系统等价。下面用N表示自然数集,Q表示有理数集。Q上的有关概念均按已知对待。     

三角范畴中八面体公理的几个等价刻画

在三角范畴中,与好三角同构的三角是好三角,对于预三角也得到了预三角在同构下是封闭的结论.三角范畴是一个带有自同构的加法范畴,并且满足4条公理,其中1条重要的公理是八面体公理,文章给出了三角范畴中八面体公理的几个等价刻画.     

有理数域上多项式不可约的判定

艾森斯坦因判别法和它的等价判定定理都只是判定有理数域上多项式不可约的充分条件,不能用于判断形式下的多项式是否可约,针对这种情况给出了艾森斯坦因判别法的推广定理,并通过例题说明了它们之间没有必然的包含关系。     

描述拓扑空间的几种方法

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

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

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

基于Markov链的群体决策排序方法

本文根据决策个体关于选择方案的排序权向量，利用Ｍａｒｋｏｖ链的性质构造了一种求群体排序权向量，从而给出一种解决决策排序的方法。我们证明了此方法满足安全性、Ｐａｒｔｅｔｏ最优性、非独裁性等社会选择公理，在一定条件下，也满足独立性公理。在决策方案数和决策个体数不相等的情况时，本文通过引进虚拟决策方案或虚拟决策个体，使所构造的方法具有通用性。最后，本文给出一个数值例子以说明此方法的技巧和过程。     

闭G-V模糊拟阵的模糊圈公理

采用类似拟阵圈公理的方法, 讨论闭G V模糊拟阵的模糊圈公理. 首先给出G-V模糊拟阵模糊圈的若干性质； 然后利用这些性质, 讨论如何利用初等模糊圈集确定G-V模糊拟阵； 最后提出并证明闭G V模糊拟阵的模糊圈公理. 由该公理可知, 一个初等模糊集族、 一组有限数列和一个模糊集映射, 在满足一定条件下可唯一确定一个闭G-V模糊拟阵.     

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

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

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

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

有序域上仿射几何之同构

本文首先给出了仿射几何的公理构造法、一般体(或域)上的仿射几何以及体(或域)K上的仿射几何之同构的意义。进而又给出了有序仿射几何、有序域上的仿射几何的意义。最终论证了仿射几何的基本问題:每一个同公理化定义的仿射几何与有序域上仿射几何的同构问題。     

无限时滞抽象泛函微分方程的可解性及稳定性

研究一类具无限时滞的泛函微分方程的可解性和稳定性。其基本结果是：在某些条件下，非线性泛函微分方程解的指数稳定性可由解的在界性及线性部分的指数稳定性推出。     

一种不一致本体的可废止推理系统

利用可废止逻辑的非单调知识表示和推理能力、线性的计算复杂性和易于实现等优点,整合描述逻辑和可废止逻辑,提出了一种不一致本体的可废止推理系统（简称为DeRS）.DeRS使用描述逻辑定义的本体和可废止理论对领域问题进行混合建模,将TBox划分为最大的一致公理集和最小的不一致公理集,并进行初始化;然后利用转换算法,将一致公理集的公理和不一致公理集的公理分别映射为硬性规则和可废止规则,并添加到可废止理论中;最后利用新定义的可废止推理规则进行非单调可废止推理,由此解决了不一致本体的推理问题,弥补了描述逻辑在非单调性方面的不足.结果表明DeRS具有协调性、易处理性、可判定性、可靠性等基本性质.