共查询到20条相似文献,搜索用时 15 毫秒
1.
仝道荣 《河海大学学报(自然科学版)》1991,(2)
在这篇文章中我们讨论了一个半序集的内禀拓扑的紧性和连通性,以及内禀拓扑与其在子集中的导出拓扑之间的关系,主要结果有:1.格L的区间拓扑是紧的,当且仅当L是备的;2.局部有限散度半序集P的区间拓扑是连通的,当且仅当P是稠的且条件备;3.格L中设M=[←,p],则M的区间拓扑(开区间拓扑)和L的区间拓扑(开区间拓扑)在M的导出拓扑等价. 相似文献
2.
董荣森 《江西师范大学学报(自然科学版)》1984,(2)
作者在对紧拓扑Boole格(特别是非备的紧拓扑Boole格)的研究中,发现引入“Boole格B的子集复盖B的某一元”的概念,是建立紧拓扑Boole格的一些重要结果的有力工具.基于这一点,本文对格复盖的若干性质及其在紧拓扑Boole格上的应用作了初步探索,其中的定理4指出了Boole格的复盖与分划是一对孪生的概念,也是它们之间最本质的关系.至于本文叙述的紧拓扑Boole格上一些性质,将在作者以后的文章中使用到. 相似文献
3.
王文良 《江西师范大学学报(自然科学版)》2004,28(3):237-239
含n个命题变元的合式公式A(P1,P2,…,Pn)组成的集合M关于命题公式的等值关系←→构成的商集M/←→{CA|A↓B∈CA包含M,A←→B}关于如下代数运算∨和序关系≤是一个特殊的双格半群,即F格半群:CA∨CB=CA∨B;CB=CA∧B;CA≤CB当且仅当A的每一成真赋值都是B的成真赋值(A↓CA,CB∈M/←→),这里的∧运算是∨的对偶运算,而M上的∧、∨运算分别是逻辑“或”逻辑“与”,同时给出了它的分子结构,并指出该F格半群与n元真值函数集构成的F格半群是同构的。 相似文献
4.
5.
《江西师范大学学报(自然科学版)》1986,(4)
文[3]中引入“Boole格B的子集复盖B的某一元”的概念及其若干性质,并在紧拓扑Boole格上作了研究。本文的主要结果是把文[3]的某些结果推广到一般Boole格上去,并对文[3]中在紧拓扑Boole格上的应用作了一些推广,在定理4中指出了一般Boole格的元的覆盖与容这对概念的关系。 相似文献
6.
7.
8.
设A是一个集, G是A里的一个序关系,那么,〈A,G〉称做一个序集(或“有序集”),A依G成半序或全序·特别,设∑是一个集族,若P∈∑,Q∈∑,P(?) Q,则规定P小于Q( Q大于P),这就得到∑里的一个序关系,记做(?) 〈F,(?)〉成半序族或全序族。 Zorn小定理 如果半序集〈A,G〉的每个全序子集都有上界,则〈A,G〉必有极大元· 相似文献
9.
10.
Z-拟代数Domain 总被引:1,自引:0,他引:1
对一般的子集系统Z,引入Z-拟代数domain的概念,证明了Z-domain P是Z-拟代数的当且仅当P上的Z-Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z-拟代数domain P上的Z-Scottg拓朴σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质. 相似文献
11.
格上点式p.q(P.)度量理论的若干进展 总被引:5,自引:0,他引:5
彭育威 《四川大学学报(自然科学版)》1990,27(3):275-281
介绍了近期关于拓扑分子格度量理论方面的工作.基于完全分配格上的分子和一般集的点在代数结构上的差别,讨论分子集的序关系对格上p.q(p.)度量公理的影响,显示建立在非Boole格上的这种度量理论的某些特色,文中的部份结果是我们最近才得到的. 相似文献
12.
目的研究形式背景的建格问题。方法由形式背景中对象集的每一个等价类所拥有的属性子集之间的包含关系出发构建Hasse图。结果由此Hasse图可直接得到形式背景的概念格和面向属性概念格的并稠密子集。结论提出的方法能较快速地找到概念格和面向属性概念格的并稠密子集,进一步利用并不可约元的性质得到全部的概念。 相似文献
13.
为了刻画强L-凸结构,本文借助L-子集之间的模糊包含关系和由其决定的模糊下确界,分别引入了L-格序凸结构、L-格序凸包算子和L-封闭关系,并建立它们与强L-凸结构之间的关系.结果表明,强L-凸空间范畴、L-格序凸空间范畴、L-格序凸包空间范畴和L-封闭空间范畴是同构的. 相似文献
14.
董荣森 《江西师范大学学报(自然科学版)》1990,14(4):117-118
[1]指出.拓扑空间的积能否推广到古典拓扑Boole格上是一个未解决的问题.本文证明这一推广是可以的. 设{B_1}_1∈△是一族Boole格,用IB表示一切形式为x={x_1)_1∈△(x_1∈B_1)的元的集.设y={y_1}_1∈△(y∈_1∈B_1)是IB的另一元,规定xI=y当且仅当对1∈△,有x_=y_1,规定了这样相等关系的集IB称作{B_1}_1∈△作为集族时的(I)积,记作:IB=(I) B_(1或IB= B_1)·如果(I)积IB中元x={x_1}_1∈△.对某个l_0∈△,有x_(10)=O_(10)是B_(10)中最小元),把所有这样的x看成是相同元, 相似文献
15.
蔡天文 《上海交通大学学报》1991,25(1):113-121
所谓一个BIB设计B[k,λ,v]是指一个序对(X,■),其中X 是一个v元集合,■是由X的某些k元子集(称为区组)组成的集族,使得X的每个2元子集恰好包含在λ个区组中.本文证明了特征不为2的有限域上正交几何的几个计数定理,利用它们构造了几种BIB设计,并计算出参数. 相似文献
16.
汪定国 《重庆师范大学学报(自然科学版)》2003,20(1):13-16,21
对于两个有限集C、D的一个包含关系A (C×D),及C的一个序σ,由序σ所决定的包含关系的关联矩阵,可以构造一个拟阵M(σ)。首先给出了M(σ)的一些简单性质。并在文献[1]中提出的有关M(σ)的猜想的基础上,作了一些进一步的工作,提出了一种可能解决这个猜想的思路。 相似文献
17.
董荣森 《江西师范大学学报(自然科学版)》1988,(2)
偏序集 L 到偏序 L_1上的同态Φ称作是上(或下)可逆的当且仅当:对ξ∈L_1,L 的子集{x|Φ(x)=ξ}有最大(或小)值。本文证得以下结果设Φ是一般 Boole 格 L 到格 L_1上的同态,那末(1)Φ是上可逆的当且仅当它的核是主幻.(2)当 L 是 Boole 格时,Φ是上可逆的充要条件为:Φ是下可逆的.(3)Φ是上可逆的可以推得Φ是下可逆的,反之不真. 相似文献
18.
在形式背景的对象集合幂集P(G)和属性集合幂集P(M)上定义了偏序关系.证明了偏序集(P(C),≤)或(P(M),≤)与概念格U(K)之间存在序同构关系.给出了一种利用序同构关系构造U(K)中所有概念的内涵和外延的方法.所得的若干定理拓展了文献中的研究结果. 相似文献
19.
20.
基于格序偏好结构的研究,证明了格序决策方案集中的同层不可比关系是等价关系,提出了将具有格序结构的决策方案集按层分类,该方案集在等价类间的优劣关系下构成了一个链结构,即偏好结构链化,使格序结构向全序或非对称弱序结构转化. 相似文献