论文部分内容阅读
拟阵是组合数学和离散数学的重要组成部分.拟阵的概念已被不同的人用不同的方式加以推广,推广之后的概念主要有偏序集拟阵,广义拟阵和模糊拟阵.由于有限偏序集类和有限分配格类之间存在某种对应关系,我们可以用格的语言建立偏序集拟阵的概念,称之为组合概型.本文中拟阵的推广理论指偏序集拟阵(组合概型)和模糊拟阵.在拟阵理论中,我们可以通过限制,收缩,截短,延伸等运算从一个拟阵生成新的拟阵.本文将主要研究偏序集拟阵(组合概型)和模糊拟阵中的这些生成运算,要点及主要内容如下:
一、给出了限制和收缩作用相等的一个充要条件,显示了秩函数在研究偏序集拟阵中的重要作用.详细的讨论了组合概型中的五种生成运算,并研究了它们的一些性质.在一类特殊的偏序集拟阵中,定义了三种算子,研究了这三种算子的一些性质,证明了类似于拓扑空间中Kuratowski十四集定理的结论.
二、研究了模糊独立集系统的生成运算.举例说明了模糊独立集系统的正规性、基本列与它的限制和收缩的正规性、基本列之间没有必然的联系.定义了模糊拟阵的水平限制、水平截短和垂直截短,证明了模糊拟阵的限制的基本列包含于它的基本列,而这一点对模糊独立集系统来说并不成立.证明了模糊拟阵中圈的传递性定理,为进一步研究模糊拟阵的连通性提供了可能.
三、给出了闭模糊拟阵的一个等价刻画,从而指出了HFM(即Yuang-ChehHsuesh在文献[17]中给出的模糊化拟阵)和模糊拟阵的联系.提出了模糊拟阵生成空间的概念,证明了一个模糊拟阵是闭的当且仅当它的生成空间是列紧的.