共查询到20条相似文献,搜索用时 140 毫秒
1.
2.
3.
4.
扩充了Ponomaveev关于“T0满足第一数公理空间必是度量空间的连续开映象”的定理,用m-几乎度量空间刻划局部特征数小于等于m的T0空间类。 相似文献
6.
关于向量空间的定义 总被引:3,自引:0,他引:3
袁振邦 《西南师范大学学报(自然科学版)》1982,(3)
前言 教科书上经常采用的数域P上向量空间的定义是八条公理,文证明了八条公理不独立,其中向量加法的交换律(即下面的公理①)可由其余的公理推出,但是,文证明其余七条公理的独立性时在证明中有错误:第一,证明公理⑥不能由其余七条公理推出时,所用例子虽不满足公理⑥,但也不满足公理⑦;第二,证明公理⑧不能由其余七条公理推出时,所用例子不满足公理⑤(在本文中将分别说明之)。因此,八条公理的独立性如何,仍然是一个没有彻底解决的问题。本文将证明公理⑧是独立的,至于公理⑥,我们发观它的独立性比较有趣,它与数域P的关系密切。本文将证明存在数域P(例如复数域),公理⑥在该数域上是独立的;然而,也存在数域P(例如有理数域),公理⑥在该数域上可由其余公理推出,关于公理⑥的独立性问题,陈重穆教授提出了一个猜想,见本文的后记。 相似文献
7.
8.
李宪年 《汉中师范学院学报》2003,21(2):19-21
研究了P半单BCI-代数的等价公理系,指出公理系间的不可替代性.引入了P-半单拟BCI-代数,并讨论了它的性质,从中得出了结合BCI-代数的一组简单公理系. 相似文献
9.
给出了n维线性空间P^n中两组向量生成的子空间的和与交的维数及基的求法,并把这种方法推广到一般数域P上n维线性空间。 相似文献
10.
在公理化方法定义的几何中引进“平行”关系,然后把结合公理I;改成“平行公理”,我们就得到一种新的几何——仿射几何.本文将证明这种几何同构于某一体(域)上的n维仿射几何,若添加牍序公理,则这种几何同构于某一有序体(域)上的n维仿射几何,最后我们指出:三维仿射几何的结合公理、平行公理和顺序公理就是Hilben公理体系中的结合公理、平行公理和顺序公理。 相似文献
11.
目的引入推理闭包空间的T0,T1,T2,Sober以及Urysohn分离性,研究它们的若干性质。方法利用拓扑学中分离性的思想以及研究方法,讨论推理闭包空间的分离性。结果分别给出了它们的定义及相应的等价刻画,证明了T0,T1,T2及Urysohn分离性是可遗传的且在同胚映射下是保持拓扑不变的,得到了诸分离性之间的关系。结论通过推理闭包空间分离性的建立,展现和丰富了逻辑学的拓扑性质。 相似文献
12.
在Fuzzy拓扑空间中引入了N-T0,N-T1分离性概念,这不仅使分明的T0,T1拓扑空间分别成为N-T0,N-T1拓扑空间的特款,而且揭示了在Fuzzy拓扑空间中的T0,T1分离性与层次分离性(T-1),N-T0,N-T1间的分解关系.文中还讨论了这两个分离性的性质. 相似文献
13.
14.
李尧龙 《河南师范大学学报(自然科学版)》2007,35(4):4-7
定义了L-fuzzy拓扑空间的相对T0与相对T1分离性.给出了相对T0与相对T1分离性等价刻画.研究了相对T0与相对T1分离性的性质,包括遗传性、可乘性,传递性与L-好的推广,对相对T0与相对T1分离性与其他分离性进行了比较. 相似文献
15.
L-fuzzy U-分离公理及其特征 总被引:1,自引:0,他引:1
在LF拓扑空间中引入L-fuzyUi(i=-1,0,1,2,3,4)、L-fuzzyU-正则及L-fuzzyU-正规分离公理.讨论了这些分离公理的特征及其相互关系.证明了这些分离公理是遗传和拓扑不变的等重要性质. 相似文献
16.
17.
陈波 《四川师范大学学报(自然科学版)》2011,34(2)
在L-闭包空间中引入了L-Ti(i=-1,0,1,2)分离性的概念,讨论了L-Ti(i=-1,0,1,2)分离性的基本性质,证明了L一Ti(i=-1,0,1,2)分离性是拓扑不变性及好的推广等性质. 相似文献
18.
定义了L-Lowen空间的紧性和各种分离性,讨论了L-Lowen空间的一些常用性质,如遗传性、可乘性、被映射保持的性质、坐标投射的性质、分离性、紧性等.给出了L-Lowen空间的一种紧化并讨论了L-Lowen空间的Stone-Cech紧化的性质.引入了L-拓扑空间的外Lowen化并证明了L-区间的外Lowen化空间的紧性. 相似文献
19.
研究一类具无限时滞的泛函微分方程的可解性和稳定性。其基本结果是:在某些条件下,非线性泛函微分方程解的指数稳定性可由解的在界性及线性部分的指数稳定性推出。 相似文献
20.