拟阵是一种图和矩阵的同时推广的概念,而覆盖粗糙集是经典粗糙集的推广.广义粗糙集与拟阵的结合已被广泛研究.通过结合拟阵中的基公理和覆盖中的友元,一方面,用友元构造出一个集族并且证明其满足拟阵的独立集公理,从而建立了一种覆盖的拟阵结构,并且介绍了一种拟阵即友元拟阵;另一方面,在此结构下,讨论了拟阵的相关集、极小圈、秩函数和闭包等表达形式,进一步还讨论了由不同覆盖能导出相同覆盖的条件,以及由覆盖导出拟阵的闭包和覆盖上近似的关系.
Matroids is an extension to graph and matrix,while covering rough set is a generalization of finite rough sets. The combination of matroids and generalized rough sets based on relations has been studied from the viewpoint of linear independence of matrices. This paper constructs a matroidal structure of covering based rough sets,which establishes a close relationship between coverings and matroids. On the one hand, a family of sets is constructed through indiscernible neighborhood in covering-based rough sets, and the family of sets is proved to satisfy independent sets axioms;in other word, a type of matroid, namely friends matroid, is induced. On the other hand, some characteristics of friends matroid, such as dependent sets, circuits, rank functions, are investigated with rough set approaches. Moreover, the relationship between the upper approximation operator of a set and its closure operator is investigated.