半序集的内禀拓扑(Ⅱ)

在这篇文章中我们讨论了一个半序集的内禀拓扑的紧性和连通性,以及内禀拓扑与其在子集中的导出拓扑之间的关系,主要结果有:1.格L的区间拓扑是紧的,当且仅当L是备的;2.局部有限散度半序集P的区间拓扑是连通的,当且仅当P是稠的且条件备;3.格L中设M=[←,p],则M的区间拓扑(开区间拓扑)和L的区间拓扑(开区间拓扑)在M的导出拓扑等价.     

复盖与紧拓扑Boole格

作者在对紧拓扑Boole格(特别是非备的紧拓扑Boole格)的研究中,发现引入“Boole格B的子集复盖B的某一元”的概念,是建立紧拓扑Boole格的一些重要结果的有力工具.基于这一点,本文对格复盖的若干性质及其在紧拓扑Boole格上的应用作了初步探索,其中的定理4指出了Boole格的复盖与分划是一对孪生的概念,也是它们之间最本质的关系.至于本文叙述的紧拓扑Boole格上一些性质,将在作者以后的文章中使用到.     

命题逻辑的序结构

含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格半群是同构的。     

拓扑一般Boole格的元之复盖

文[3]中引入“Boole格B的子集复盖B的某一元”的概念及其若干性质,并在紧拓扑Boole格上作了研究。本文的主要结果是把文[3]的某些结果推广到一般Boole格上去,并对文[3]中在紧拓扑Boole格上的应用作了一些推广,在定理4中指出了一般Boole格的元的覆盖与容这对概念的关系。     

关于备Boole格的支柱

本文证明了备Boole格可以是没有支柱的。     

关于(T_1)型拓扑Boole格若干定理及其证明的修改

本文对[2]中的几个定理及其证明作了修订.[2]P.146定理5如下:为了拓扑Boole代数B是(T_1)型,必须且只须其中每元是一些闭元的结,或必须且只须每元是它的一切开邻域的交.先看一个例子.例.设仅由最大元1与最小元0组成的二元Boole格.这个Boole格按最粗的拓扑结构构成的拓扑Boole格B是(T_1)型的,这只要直接验证就可以了.但1是闭元,而不是开     

强Boole环

我们知道,任一阶数大于1的有限Boole环B,均存在某个自然数n,使B=A_i,其中每个A_i是单纯理想(参见〔1〕)。 自然会猜测,对于一般的Boole环B,应有结论 B=A_i或B=A_i,其中每个A_i是单纯理想。遗憾的是,这种猜测是错误的,有例子表明,甚至还存在一些Boole环,它们不包含任何单纯理想(参见〔2〕)。 会产生这些怪现象的一个重要原因就是一般Boole环的极大理想未必是直和项。 本文将引进所谓强Boole环的概念,来解决一类特殊的Boole环的结构问题,     

Zorn小定理的一个等价命题

设A是一个集, G是A里的一个序关系,那么,〈A,G〉称做一个序集(或“有序集”),A依G成半序或全序·特别,设∑是一个集族,若P∈∑,Q∈∑,P(?) Q,则规定P小于Q( Q大于P),这就得到∑里的一个序关系,记做(?) 〈F,(?)〉成半序族或全序族。 Zorn小定理 如果半序集〈A,G〉的每个全序子集都有上界,则〈A,G〉必有极大元·     

2×2矩阵代数保持对合的映射

设F是特征不为2热且不为Z3的域,M2是F上的2×2矩阵代数,Γ2是包含M2全体对合元的子集,M2上的变换φ满足A-λB∈Γ2当且仅当φ(A)-λφ(B)∈Γ2,则φ的形式是(A)=εPAP-1,A∈M2,或φ(A)=εPAtP-1,A∈M2,其中P∈M2非奇异,ε∈{-1,1}.     

Z-拟代数Domain

对一般的子集系统Z,引入Z-拟代数domain的概念,证明了Z-domain P是Z-拟代数的当且仅当P上的Z-Scott拓扑σz(P)在集包含序下是代数的超连续格,即超代数格;Z-拟代数domain P上的Z-Scottg拓朴σz(P)是Sober的当且仅当空间(P,σz(P))具有弱Rudin性质．     

一种基于并不可约元的建格新方法

目的研究形式背景的建格问题。方法由形式背景中对象集的每一个等价类所拥有的属性子集之间的包含关系出发构建Hasse图。结果由此Hasse图可直接得到形式背景的概念格和面向属性概念格的并稠密子集。结论提出的方法能较快速地找到概念格和面向属性概念格的并稠密子集,进一步利用并不可约元的性质得到全部的概念。     

格上点式p.q（P.）度量理论的若干进展

介绍了近期关于拓扑分子格度量理论方面的工作.基于完全分配格上的分子和一般集的点在代数结构上的差别,讨论分子集的序关系对格上p.q(p.)度量公理的影响,显示建立在非Boole格上的这种度量理论的某些特色,文中的部份结果是我们最近才得到的.     

关于拓扑Boole格的积（Ⅰ）

[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看成是相同元,     

利用正交几何构造BIB设计

所谓一个BIB设计B[k,λ,v]是指一个序对(X,■),其中X 是一个v元集合,■是由X的某些k元子集(称为区组)组成的集族,使得X的每个2元子集恰好包含在λ个区组中.本文证明了特征不为2的有限域上正交几何的几个计数定理,利用它们构造了几种BIB设计,并计算出参数.     

关联矩阵与拟阵

对于两个有限集C、D的一个包含关系A (C×D),及C的一个序σ,由序σ所决定的包含关系的关联矩阵,可以构造一个拟阵M(σ)。首先给出了M(σ)的一些简单性质。并在文献[1]中提出的有关M(σ)的猜想的基础上,作了一些进一步的工作,提出了一种可能解决这个猜想的思路。     

一般Boole格同态可逆性的若干结果

偏序集 L 到偏序 L_1上的同态Φ称作是上(或下)可逆的当且仅当:对ξ∈L_1,L 的子集{x|Φ(x)=ξ}有最大(或小)值。本文证得以下结果设Φ是一般 Boole 格 L 到格 L_1上的同态,那末(1)Φ是上可逆的当且仅当它的核是主幻.(2)当 L 是 Boole 格时,Φ是上可逆的充要条件为:Φ是下可逆的.(3)Φ是上可逆的可以推得Φ是下可逆的,反之不真.     

概念格上一类新的序同构关系

在形式背景的对象集合幂集P(G)和属性集合幂集P(M)上定义了偏序关系.证明了偏序集(P(C),≤)或(P(M),≤)与概念格U(K)之间存在序同构关系.给出了一种利用序同构关系构造U(K)中所有概念的内涵和外延的方法.所得的若干定理拓展了文献中的研究结果.     

与Erds猜想相关的问题

Erds曾提出下面猜想:对实直线的任何无限子集A,必存在正测度的可测集M,它不包含A的任何相似集.     

格序偏好结构的链化

基于格序偏好结构的研究,证明了格序决策方案集中的同层不可比关系是等价关系,提出了将具有格序结构的决策方案集按层分类,该方案集在等价类间的优劣关系下构成了一个链结构,即偏好结构链化,使格序结构向全序或非对称弱序结构转化.     

初论拓扑BOOLE格的积

在1929年和1935年定义了拓扑空间的积,提出了积的一系列性质。从而,积的概念成了现代拓扑学的重要概念之一。本文提出了近似于拓扑空间的积的拓扑Boole格的积的定义,讨论了这种积的存在与权数问题。设τ是拓扑Boole格B的所有闭元的集,则τ称作B的拓扑结构。此时B也记作 设与是两个拓扑Boole格,若τ_1τ_2,则称拓扑结构τ_1比拓扑结构τ_2