利用普通拟阵来研究模糊拟阵,得到用有限数列、子集族和映射来描述闭模糊拟阵的一个充要条件.首先根据模糊拟阵的导出圈的连贯性,定义了导出圈映射;然后,详细讨论了闭模糊拟阵的基本序列、导出圈集和导出圈映射的性质与相互关系,并从中抽取出规范性、导出圈映射、反包含性、合成性和遗传性5个关键性质,通过这5个关键性质提出并证明了闭模糊拟阵的导出圈公理;最后得到:只要满足上述5个关键性质,可以用有限数列、子集族和该集族上的映射唯一确定一个闭模糊拟阵,反之也然.可以预见,利用这个公理,可以在闭模糊拟阵的理论研究、设计构造、实例应用等多方面开展进一步工作.
拟阵 圈公理 模糊拟阵 导出圈集 导出圈映射 导出圈公理