偏序集拟阵的偏序集性质及其应用

通过对偏序拟阵的偏序集性质和广义拟阵通的偏序集性质的分别研究，得到了偏序集拟阵和广义拟阵二的关系，即每个偏序集拟阵均为广义拟阵，但反之不然。又利用这种关系得出拟阵中的贪心算法能够推广到偏序集拟阵进而组合格式中，并阐述了利用这种关系对于研究偏序集拟阵理论和广义拟阵理论的一些其他作用。     

偏序集拟阵与广义拟阵的关系

研究了偏序集拟阵与广义拟阵的关系.利用偏序集拟阵秩闭包算子的性质与广义拟阵闭包算子性质的比较得出:偏序集拟阵为广义拟阵;通过广义拟阵自同构群的公理系统与偏序集拟阵相应性质的比较得出:广义拟阵不一定为偏序集拟阵.     

偏序集拟阵间强映射的交换性质

首先给出偏序集拟阵上秩的概念，并由此产生了偏序集拟阵间(秩)强映射的概念，这种强映射满足交换性质．然而，之后给出的(平坦)强映射却不满足交换性质．说明拟阵间的强映射之交换性质是不能直接推广到偏序集拟阵上．     

偏序集广义拟阵的闭包公理

在偏序集拟阵的基础上,引入了偏序集广义拟阵的函数,定义了偏序集广义拟阵的闭包算子,讨论了偏序集广义拟阵的一系列性质.最后得到了偏序集广义拟阵的闭包公理.     

偏序集拟阵中的三类算子及十四滤子定理

在具有逆序对舍对应的有限偏序集上的偏序集拟阵中定义了闭包、内部和取补3种算子，研究了这3种算子的一些性质，最后证明了偏序集拟阵中的十四滤子定理。     

偏序集与不同种广义拟阵间的包含关系

众所周知,偏序集理论在研究广义拟阵论中起着重要作用.但是偏序集理论与不同种广义拟阵间的包含关系的直接联系是什么呢?怎样运用偏序集理论的手法去解决该问题呢?为得到答案,首先对于定义在同一集上的全体广义拟阵构造一个偏序关系,运用这种偏序关系讨论不同种的广义拟阵间的包含关系.多数结论是以构造方式给出,因此也使其在理论和运用方面更加简捷明了.     

闭模糊拟阵导出独立集的等价描述

利用闭模糊拟阵可由基本序列和导出拟阵序列唯一确定的方法, 提出并证明一个子集族、 一个数列和由该子集族到该数列的一个满射, 在满足规范性、 继承性、 强单调减和增长性的条件下唯一确定一个闭模糊拟阵, 反之亦然. 该等价描述建立了普通集族与模糊独立集族的联系.     

关于偏序集拟阵与闭包算子的关系

给出了偏序集拟阵的闭包算子和闭集的定义，并讨论了其相关性质，推广了拟阵理论中的有关结果，同时指出闭包算子和闭集在偏序集拟阵理论与拟阵理论中的区别和联系。     

偏序集上有限维闭空间的秩函数

集合上的有限维闭集空间这一有趣的研究课题是由Batten引入的.本文研究了更一般的情形,即对偏序集上的有限维闭集卒间进行了探讨.利用了一个比偏序拟阵秩函数更一般的整值函数,给出了一个刻画偏序集闭空间的充分必要条件,而且当考虑的是有限偏序集时,该刻画可以加以改进.     

任意基数集上的拟阵的约束

根据Betten和Wenzel于2003年提出的任意基数集上的拟阵的定义,将有限拟阵的约束的概念推广到无限,并讨论此类无限拟阵的约束所具有的性质,最后利用图论知识,定义一个无限拟阵,验证该推广的正确性.     

紧生成的偏序集

本文根据格上紧元的定义,在偏序集中给出了紧元的三种定义方法,并对其等价性进行了证明。在偏序集中紧元定义的基础上,得到证明了紧元的相关性质。然后在偏序集中给出了格中没有的强紧元的定义,在此定义的基础上,分别提出证明了:满足升链条件的偏序集是强紧元的;强紧元的偏序集不一定是紧生成的偏序集。并推广证明了格中紧元的相关性质:如紧生成偏序集的子集一定是紧生成的偏序集;每个紧生成的偏序集P都是弱原子的;若偏序集中的元都是紧元当且仅当偏序集满足升链条件。给出了偏序集中上连续、下连续的概念,并证明了每个紧生成的偏序集都是上连续的。     

强理想及其在有限偏序集上的应用

在偏序集上引入强集和强理想的概念,进而从另一个角度给出有限偏序集上元素之间的一种等价关系:连通关系,从而将有限偏序集分为连通和非连通两类.此外,在不交并偏序集上给出分支、可分分支和不可分分支等概念,并在有限偏序集上探讨强理想、非连通偏序集和不交并偏序集之间的关系.     

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

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

剩余偏序集及其与FI代数的关系

给出了剩余偏序集的定义,导出了剩余偏序集的一些性质.证明了如果FI-代数上有二元运算满足（ab）→c=a→（b→c）,那么FI-代数是剩余偏序集;正则FI-代数与正则剩余偏序集是相同的代数结构.通过剩余偏序集细化了FI-代数与其它常见逻辑代数之间的联系,并绘制了剩余偏序集与其它相近逻辑代数之间联系的网络图.     

关于有限偏序集的不动点性质

一、前言如果一个偏序集P的每个自身保序映射都有不动点,则称P具有不动点性质。(有限)偏序集具有不动点性质的充分必要条件是什么?这就是所谓偏序集的不动点性质问题。当偏序集是格的情形,不动点性质等阶于格的完备性(Tarski[1],Davis[2])。但在一般情形下这一问题的难度要比格的情形大得多。因此,从这一问题提出到现在将近三十年的时间中,只有Rival[3]对长度为1的有限偏序集的情形解决了这一问题。一般情形即使是有限情形下的这一问题,迄今仍未得出多少结论。     

关于有限集上L-fuzzifying拟阵独立集系的基数

目的研究当L为菱形格时基数小于或等于3的有限集E上的L-fuzzifying拟阵独立集系之集与其上的由拟阵独立集系组成的L-cotower之集的基数。方法列举法(即通过列举E上的全部L-fuzzifying拟阵独立集系及期上的由拟阵独立集系组成的全部L-cotower,进而得到它们所构成集合的基数)。结果证明了|Ⅱ(E,2,L)|=|Ⅱct(E,L)|,其中Ⅱ(E,2,L)是E上的L-fuzzifying拟阵独立集系的全体,Ⅱct(E,L)是E上的由拟阵独立集系组成的L-cotower的体。结论所给出的等式|Ⅱ(E,2,L)|=|Ⅱct(E,L)|推广了分明拟阵中的结论。     

广义Z-拟连续偏序集的若干性质

讨论了广义Z-拟连续偏序集的一些性质.利用伴随给出了广义Z-拟连续偏序集的等价刻画.证明了当Z是具有有限族并性质的Rudin子集系统时,Z-交连续的广义Z-拟连续偏序集是Z-拟连续偏序集.     

关系粗糙拟阵的一些性质

关系粗糙拟阵的概念最早是由祝峰教授等人最先提出的,是作为一种同时推广了粗糙集和拟阵的概念.在他们工作的基础上,本文将进一步对关系粗糙拟阵的性质进行研究.首先,研究了基于关系的可定义集的一些性质.特别地,基于一个自反关系上的可定义集关于集合的包含运算作成一个格;其次,探究了关系粗糙拟阵的一些性质,并且给出了一些特殊关系粗糙拟阵的等价描述.     

偏序集上关联蕴涵代数的性质

偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象．在偏序集关联蕴涵代数概念的基础上，本文对其性质进行了一定的讨论，给出了它与其它逻辑代数结构间的关系．     

模糊拟阵基集的一些特征

模糊拟阵是在一般拟阵的基础上建立起来的,有很多的相似性。文章类似于一般拟阵的基公理讨论模糊集族构成模糊基集所要满足的一些条件。