超拟阵和模糊拟阵-应用数学专业论文.docx

I I 西安电子科技大学 学位论文独创性（或创新性）声明 秉承学校严谨的学风和优良的科学道德，本人声明所呈交的论文是我个人在导师指 导下进行的研究工作及取得的研究成果。尽我所知，除了文中特别加以标注和致谢中所 罗列的内容以外，论文中不包含其他人已经发表或撰写过的研究成果；也不包含为获得 西安电子科技大学或其它教育机构的学位或证书而使用过的材料。与我一同工作的同志 对本研究所做的任何贡献均已在论文中做了明确的说明并表示了谢意。 申请学位论文与资料若有不实之处，本人承担一切的法律责任。 本人签名： 日 期： 西安电子科技大学 关于论文使用授权的说明 本人完全了解西安电子科技大学有关保留和使用学位论文的规定，即：研究生在校 攻读学位期间论文工作的知识产权单位属西安电子科技大学。学校有权保留送交论文的 复印件，允许查阅和借阅论文；学校可以公布论文的全部或部分内容，可以允许采用影 印、缩印或其它复制手段保存论文。同时本人保证，毕业后结合学位论文研究课题再攥 写的文章一律署名单位为西安电子科技大学。 （保密的论文在解密后遵守此规定） 本学位论文属于保密，在 年解密后适用本授权书。 本人签名： 导师签名： 日 期： 日 期： I III 摘 要 拟阵作为一种同时推广了图和线性代数中某种相关性的概念，由 Whitney 于 1935 年引入. 拟阵理论现在已经发展成为组合数学的一个重要分支. 拟阵的推广研究是拟 阵理论研究的一个重要部分，本学位论文侧重于拟阵的推广研究. 拟阵是定义在有限集合上的一种组合结构. 根据拟阵的各种推广所定义的承载集 是否是有限集（有限偏序集），我们将拟阵的推广分为有限推广和无限推广. 在有限推 广方面, 超拟阵和广义拟阵是最重要的两种有限推广，本文主要研究模格上超拟阵的公 理系统；对于拟阵的无限推广，本文主要研究各种模糊推广之间的关系，及一类特殊的 模糊拟阵的连通性质. 主要内容概况如下： 1. 以超拟阵为主，系统介绍了拟阵的各种有限推广及其与超拟阵的关系. 2. 对于分配超拟阵的公理系统进行了推广，建立了模格上的拟阵的独立集公理和 基公理. 举例说明半模格上相应的性质不能成立. 研究了超拟阵中圈的性质，指出了已 有文献中的错误，重新直接证明了圈的消去性. 这些结论为我们建立圈的传递性定理， 从而研究分配超拟阵的连通性奠定了基础. 3. 首次引入了 G-V 模糊拟阵连通性的概念. 证明了 G-V 模糊拟阵的圈传递性定理, 定义了一类满足圈传递性定理条件的 G-V 模糊拟阵—加细 G-V 模糊拟阵. 证明了加细 G-V 模糊拟阵的正规性. 研究了加细 G-V 模糊拟阵的连通性. 4. 研究了五种模糊拟阵的关系. 5. 由多项拟阵导出了一类模糊拟阵，并且指出这类导出模糊拟阵和 H 模糊拟阵有 着密切的联系. 利用多项拟阵的方法, 将三点集上的模糊集看做是欧几里得空间中的 点集, 从而定义了一类特殊的 H 模糊拟阵. 进而举例说明 H 模糊拟阵的水平截结构未必 是拟阵, 这样就解决了关于 H 模糊拟阵和模糊预拟阵关系的公开问题. 此外还给出了两 点集上所有 H 模糊拟阵的图示. 关键词：拟阵 广义拟阵 超拟阵 模糊拟阵 多项拟阵 偏序集拟阵 凸几何 反拟 阵 几何格 模格 交分配格 IV IV ABSTRACT Matroids, as an abstract theory of dependence of graphs and linear algebra, was first introduced by Whitney in 1935. Matroid theory now becomes an important branch of combinatorial mathematics. Generalizaitons of matroids have been an important aspect in matroid study. This thesis concentrates on the generalizations of matroids. Matroids are combinatorial structures defined on finite sets. According to wether the structured-sets are finite sets (posets), we divide the existed generalizations of matroids into two cases: finite generalizations and infinite generalizations. As for finite cases, superma