1、收稿日期：基金项目：国家社会科学基金（）和江西省文化科学规划课题（）资助项目作者简介：卢美华（），女，江西都昌人，副教授，主要从事决策理论、模糊数学等研究：卢美华，高晓波 形式无约束下偏好集映射、拓扑交和一致性 江西师范大学学报（自然科学版），（）：，（），（）：文章编号：（）形式无约束下偏好集映射、拓扑交和一致性卢美华，高晓波（江西科技学院理科部，江西 南昌；江西农业大学计算机与信息工程学院，江西 南昌）摘要：该文采用集映射刻画偏好序，并采用拓扑交运算刻画标度偏好序的共识、一致性等概念，以及刻画其基本特征 在序理论的广阔体系上，聚焦于偏好序构造的基本体系，即共识运算存在性、偏好序完全性、拓扑
2、交严格性特征、偏好序分解的拓扑交，并获得了基本结论，在基础层面上为序拓扑理论及其构造性应用提供了逻辑支撑 同时，严格采用拓扑交以体系化编撰偏好序的重要方面，将为偏好序的“一致性研究”后续拓扑加载提供广阔的空间关键词：无约束运算；择优映射；共识形式运算中图分类号：文献标志码：引言中国拓扑学自身发展尤有特点，甚至可以说，拓扑学在中国的发展达到了一种自为的状态 拓扑在技术特征上粗糙性和可精细性能够灵活协调，从而在社会科学理论构造中具有十分突出的作用序拓扑的发展已经具有体系化成果 事实上，正是由于交叉发展的需要，所以序拓扑受到了多个国家自然科学基金项目的支持 序拓扑空间能超越一般度量并更适用于弱性空间
3、，序拓扑空间在选择理论中的基础性地位也更为突出 序方法在决策理论甚至物理社会理论、结构社会理论中都有广泛的应用 当然，在决策理论中的一些基本概念正是运用序方法才得以开拓 如理性是决策理论的基础，运用序方法给出了有限理性的构造方式另外，在结构上的序拓扑性质显然独立于其刻画方式 但是，序的结构性拓扑加载却因序刻画方式的不同而产生不同的便利性，因此序刻画方式在决策理论约束公理的配置中甚为重要 文献表明：群决策共识和一致性的研究同样在系列国家自然科学基金的资助下获得了深度研究，但一致性公理化有待于进一步推进 然而，若引入集值映射来刻画序，则一致性可表现为某种无条件运算，序的集映射刻画的便利性十分明显，
4、后续约束公理的加载更灵活广阔 当然，由于序拓扑的性质在结构上显然独立于刻画方式，所以其共识、一致性未必存在，这将在运算上有所表现，即表现为全局交空、定点交空，进而一致性（共识运算）失效 即使这样，交运算为形式刻画一致性构造了一个普适性框架，这将给出一致性研究的一种新路径 当然，一致性是美国国家工程院院士 于 年从权重比例的相容性提出的；该“一致性”概念、一致性度量在层次分析法和统计决策中应用最为广泛，但最初的目的是从群决策方向上解决社会选择的 不可能问题 从而，融合序拓扑和决策具有重要的理论和实践意义本文采用集映射来刻画偏好序，基于标度空间考察标度偏好序的共识运算、一致性运算的拓扑交形式刻画；
5、拓扑交是一种无条件运算，从而能形成在基底层面上的结论 在序理论的广阔体系上，本文聚焦于偏好序构造的基本体系，即共识运算存在性、偏好序完全性、严格性拓扑交特征、偏好序分解的拓扑交，并获得了基本结论，为序拓扑理论及其构造性应第 卷 第 期 江西师范大学学报（自然科学版）年 月 （）用在基底层面上形成了逻辑支撑 同时，严格采用拓扑交以体系化编撰偏好序的重要方法，将为偏好序的“一致性研究”后续拓扑加载提供广阔的空间 当然，本文所言及的共识和一致性是同一个概念，仅仅是要因袭不同文献而同时采用 基本概念和集序框架设（，）中“”关系满足传递性，称“”为偏序；一般地，当（，）中传递性关系“”还满足自反性时，可
6、记：为择优映射，其中（）另外，传递自反性偏序集（，）可以分解，在（，）中记“且 ”，记“且 ”显然（，）也是偏序集，是（，）严格化，由此可导出严格择优 当偏序集（，）中偏序满足传递性、非自反性时，称之为严格偏序 记：为（），称之为严格择优映射，也称之为 导出的严格择优映射 另外，可定义“”“”，“”“”等，其含义是能自明的 再者，在仅仅满足传递性的偏好集（，）中，偏好关系不是完全的；但一些完全性偏好集（，）集结后会部分丧失“”的完全性，不过依然保持上界关系，这就是偏好格虽然后续“一致性”概念以数值测算广泛应用于量化决策理论和实践之中，但 最初却是通过“解决其群体基础偏好的相容性和一致性”来解决
7、 不可能性问题 徐玖平等系列研究提出了各种复杂偏好信息的表征与处理策略，并且在一定程度上突破了共识（一致性）成本和共识（一致性）决策行为过程难以刻画的瓶颈，吴志彬从多种结构提出了“共识（一致性）”测度 但是，这些研究特别是文献 的各种结构下“共识（一致性）”需要纳入统一框架，并且这本身也在寻求某种共识（一致性）显然，从无条件运算上构造界定“一致性”的框架将具有最广泛的容纳性为此，通过集映射刻画偏好序并用集值交运算刻画一致性、共识就十分便利，这是一个新框架，不妨称之为集序框架 当然，集映射刻画偏好序和集值交未必能达到数值测算一致性，但若增加拓扑结构则可以达到 另外，无论是在何种映射空间上定义度量
8、，或者加载拓扑，虽然可以测算“映射对”之间的差异，但均无法测算“映射族”上的差异，而集映射刻画偏好序和集值交在强拓扑结构下测算“映射族差异性”却十分便利 因此，集映射序和集值交在共识测度上比在度量测度上更具适应性刻画集序框架，可知该框架具有普适性、可精细性、一致性 参照文献 的方式，设 为备择物（）集，对于其中决策群体，可简化为标度性集 ，对每个 ，在 中装载偏好序记为（，），并以集映射：刻画择优映射，其中（）同时，导出的严格择优映射为，其中（）基于偏好序组合（，）形成（，），为此，按照偏好序的传递性、自反性可直接定义如下问题空间定义对于备择物集 ，、标度集 ，及每个 ，称集值映射：为择优映射
9、，若 ，则 （），且（），于是（）（）同时，称 ：为择优映射 为择优映射空间，被简称为择优空间 对 ，为择优空间，则称 为 标度择优空间 称：为共识映射，（，），其中：为（）（）显然，共识映射是一种社会选择函数，若：刻画了某个偏好，则共识映射就集结了偏好更一般地，共识映射结合约束公理还解决了从个体偏好到群体偏好的可集结问题 当然，：是非空的；不过，共识映射未受任何规范约束；再者，在集序上也可以加载约束公理，在强约束公理下，如何保障：的非空性是公理配置机制的核心，也是协调规则的关键之处 为后续方便，记集序框架为（，）主要结果在集值映射刻画偏好中和在以共识映射确定标度集序的共识中，并没有施加规范约
10、束公理，共识运算也是粗糙的，甚至不能保证共识存在 当然，无论是按照社会选择理论加载规范约束公理，还是按文献 测算共识，集序框架都是普适的，且共识存在也均是弱性条件的 另外，通过共识运算及其强弱化过程可以刻画框架（，）的整体特征 共识运算存在性定理在（，）中，共识运算 存在第 期卢美华，等：形式无约束下偏好集映射、拓扑交和一致性且是非空的 若（，）恰为恒等映射，则（，）（）（），即共识运算是冗余的证 在（，）中，对每一 ，在 中装载偏好序为：，其必然满足 有 （）共识映射：为（，），其中（）（），那么，（），显然有（），即（）从而 有 （），这保证了共识映射在（，）中的非空性 从而，要证 存在且
11、非空，即证明 为 证 明 ，任 取 （），则（）从而对于每个 ，（），且，按照择优映射空间定义，必有（）（）因此对于必有（）（）由（，）确定（）（），也就是（）（）（）（）综上可知，有 （），且（），则（）（），即证明了 于是，本定理余下部分只需证明当（，）为恒等映射时运算的冗余性，冗余性除去单点分解性外就是（，）（）（）显然，当（，）为恒等映射时，均有（）而，按择优映射空间定义，均有 （），从而 （），（）（），即证明了当（，）为恒等映射时共识运算的冗余性定理 得证注 定理 表明：集值映射刻画偏好序，对于标度集上的偏好序可以做集值映射交运算，这一运算是无条件的，从而具有广泛适应性 这也说明标
12、度偏好序集值映射交运算直接就完成了偏好集结 当然，这一交运算在粗偏好上总可进行集结，但可能是冗余性集结 若对标度偏好序进行严格化，则这一交运算未必能真实实现 一般地，在群决策中，协调个体偏好加总的规范原则形式化为约束公理，这就是相当于将：施加公理约束，某些情况需要重构、个空间 另外，若在共识映射（，）集结后 为恒等映射，则其中的集结是冗余的 本质上，考虑在各个 严格化的 上偏好集结更具有实质意义另外，若序集（，）满足完全性、传递性、自反性，则其：为择优映射必满足、，必有（）（）若在中每个标度偏好序 都是完全的，则在每个，经过适当重排为，后，可保证标度 有（）（）（），但（）、（）、（）却未必有
13、包含链 不过，严格序在交运算后仍然可以判断当任何 个（）与（）交不空时要么为包含关系（即（）（）或（）（），要么集合相等关系（）（）为此，定义 ：为完全偏好序的择优映射 显然，为一般择优空间的子集，称 为全序择优空间 对于 ，若为全序择优空间，则称 为 标度全序择优空间 但是，把共识映射限制在 标度全序择优空间 上，其映像未必是在全序择优空间 中，从而在 上的共识运算未必是内射的，故仍然为：标度全序择优空间的框架为（，），并且在此框架中 仍保留着偏好序的自反性，从而有如下推论成立推论 当 标度全序择优空间的框架为（，）时，共识运算 存在且是非空的 完全性、严格择优特征在考察完全偏好序中，在全序
14、择优空间上共识运算仍然能存在且非空，毕竟全序择优空间是择优空间的子集 但是，在严格偏好序构造的择优空间上，共识运算的非空存在性并不直接得到保证，毕竟严格偏好序是一般偏好序的分解而不是分类 考察在严格偏好序上共识运算特性，需要考察严格择优特征，需要在（，）中严格化每个 为，即为 导出的严格择优映射；为此，在（，）的中分解出，其中 ，称：为传递非自反偏好序的择优映射 为严格择优空间，并形成框架（，）按照择优映射导出严格择优映射的逻辑，框架（，）显然是（，）的严格化定理 在（，）中，共识运算 非空，则 能保持偏好序的严格性，从而：；若江西师范大学学报（自然科学版）年 进一步限制到完全偏好序 中，其中
15、 （，），是完全严格偏好序空间，仍然是：；同时，对于任何 个、，（）（）并 且（）（），则 处于偏好格中证 在（，）中 分解出，对于任何（，），证明共识运算 能保持偏好序的严格性需要考虑（，），：为（）（）一方面，在任何一个（）中，有 （），从而必有（），即（），：满足非自反性，共识运算 能保持偏好序的严格性另一方面，显然可证明：满足传递性 任取（），则（）于是，对于每个，（），且 ，按严格择优映射空间 定义，必有（）（）从而对于 有（）（）由（，）确 定（）（），也 就 是（）（）（）（）这即证明：满足传递性 因此，有 ，即证明：共识映射在（，）中为：，并在（，）中为：那么，在一系列的分类限
16、制后，限制 为，仍然有：并且，显然有反例可证明：并不一定成立 如部分孔多塞循环的集结即可表明：不能成立为证明当（）（）并且（）（）时 处于偏好格中，虽然在标度集 ，中，并非是数值标度，但对的标度进行数值排序能提供证明的方便 由于（）（），即（）（）（）（），所以（）（），从而必存在某个 使得（）（），为证明方便可对标度集 进行标度重排，并保证此处 处于数字标度的 另外，由于（）（），所以（）（）那么，依据标度进行（）（）既然每个 是完全严格偏好序空间，（）（），则（）（）、（）（）、（）（）者必居其一；并且由于（）（）即（）（）与（）（）同时成立，所以为方便总可以把（）（）归类到（）（）之中 并且在保证处于数字标度的重排标度集过程中，总可以保持（）（）的标度 是从 依次后继到，并且（）（）的标度 是从 依次后继到，并且在 依次后继到 的标度下为（）（）这里（）（）和（）（）将标度集划分 其中可能并不出现从 依次后继到，从而（）（）的标度直接从 依次后继到，并且在 依次后继到 的标度下为（）（）其中也可能并不出现（）（），而是（）（）的标度 是从 依次后继到，且在 依次后继到 的标度下为
