集映射、拓扑交和对影序的存在性.pdf

收稿日期:.基金项目:江西省文化科学规划资助(Y G );国家社科基金资助项目(B J L )作者简介:卢美华(),女,硕士,副教授.E m a i l:q q c o m.通信作者:高晓波(),男,硕士,讲师.E m a i l:g x b c o m.卢美华,高晓波集映射、拓扑交和对影序的存在性J南昌大学学报(理科版),():L U M H,G AOXBS e t v a l u e do r d e r、t o p o l o g y i n t e r s e c t i o na n d t h e e x i s t e n c eo f b a c kp r o j e c t i o nJJ o u r n a l o fN a n c h a n gU n i v e r s i t y(N a t u r a lS c i e n c e),():集映射、拓扑交和对影序的存在性卢美华,高晓波(江西科技学院理科部,江西 南昌 ;江西农业大学计算机与信息工程学院,江西 南昌 )摘要:以集映射刻画序关系,提出并以无条件性拓扑交刻画社会选择函数“逆向构造”的对影序,以拓扑交构造对影序,以拓扑交刻画对影的部分性质,并特别刻画了集序等价族分解的全部特征,对影中左、右分影能达到序向严格化,并给出了对影存在性的构造性证明.从而,偏好集结中以拓扑交构造的序关系能够严格形式化,本质上还可联系孔多塞循环和轮换.从框架的可拓性上,考虑无条件性拓扑交的约束公理加载,形成序关系拓扑体系的完整框架,具有重要理论意义.关键词:集序;对影;拓扑交中图分类号:O ;C 文献标志码:A文章编号:()S e t v a l u e do r d e r,t o p o l o g y i n t e r s e c t i o na n dt h e e x i s t e n c eo fb a c kp r o j e c t i o nL U M e i h u a,GAOX i a o b o(S c h o o l o fS c i e n c e,J i a n g x iU n i v e r s i t yo fT e c h n o l o g y,N a n c h a n g ,C h i n a;C o l l e g eo fC o m p u t e ra n dI n f o r m a t i o nE n g i n e e r i n g,J i a n g x iA g r i c u l t u r a lU n i v e r s i t y,N a n c h a n g ,C h i n a)A b s t r a c t:T h eo r d e rr e l a t i o nw a sd e s c r i b e db ys e t v a l u e dm a p p i n g,a n da nu n c o n d i t i o n a l t o p o l o g i c a l i n t e r s e c t i o nw a sp r o p o s e dt oc h a r a c t e r i z e t h e a n t i s h a d o wo r d e r o f t h e s o c i a l c h o i c e f u n c t i o n“r e v e r s e c o n s t r u c t i o n”A l l t h e c h a r a c t e r i s t i c so f t h ed e c o m p o s i t i o no f t h es e t o r d e re q u i v a l e n c e f a m i l yc a na c h i e v e t h es t r i c to r d e r i n go f t h e l e f t a n dr i g h t s h a d o w s i nt h es h a d o w,a n dac o n s t r u c t i v ep r o o fo f t h ee x i s t e n c eo f t h es h a d o ww a sg i v e n T h e r e f o r e,t h eo r d e rr e l a t i o nc o n s t r u c t e db yt o p o l o g i c a l i n t e r s e c t i o n i np r e f e r e n c ea g g r e g a t i o nc a nb es t r i c t l yf o r m a l i z e d,a n di tc a na l s ob er e l a t e dt oC o n d o r c e tc y c l ea n dr o t a t i o ni ne s s e n c e F r o mt h e e x t e n s i o no f t h e f r a m e,i tw a so f g r e a t t h e o r e t i c a l s i g n i f i c a n c e t oc o n s i d e r t h e c o n s t r a i n t a x i o ml o a d i n go f t h eu n c o n d i t i o n a l t o p o l o g i c a l i n t e r s e c t i o nt of o r mac o m p l e t e f r a m eo f t h e t o p o l o g i c a l s y s t e mo fo r d e r r e l a t i o n K e yW o r d s:s e t v a l u e do r d e r;b a c kp r o j e c t i o n;t o p o l o g y i n t e r s e c t i o n序拓扑理论是当前应用拓扑发展的重要方向,诸多新方法、新思维已经应用于并更新了序拓扑空间、广义度量空间的理论局面.序拓扑空间及其在经济领域的应用获得了国家自然科学基金群聚焦式资助.稍早,师维学在三个国家自然科学项目形成项目群的资助下,解决了序拓扑空间上广义度量的构造等诸多问题,当然,标度序族的集结不在其自然科学基金群的研究之中.虽然标准形式理性一般能严格效用函数化,有限理性也可效用扰动化,但序拓扑却更方便刻画理性的有限性、不完全性等,特别是集体理性、群理性等等.众所周知,“共识”作为标度序族的某种一致性也受到广泛研究,群决策共识和一致性同样受到国家自然科学基金群的资助下,但从其概念体系到约束体系公理化的研究却十分不足.即使对各种不同类型序(各种偏好关系),虽然都可以建立迭代算法以确定“共识”,但迭代算法中个体理性、群体理性难以相容,迭代算法破坏着个体理性.文献 总结的系列研究结论,发现符合一般研究范式的“共识理论”应该统一“交互共识”和“优化共识”,本质上通向社会选择理论,并为社会选择理论和共识协商形成了概念连接.事实上,社会选择理论一直是公理化群序及其集结形式化理论的典范.当前,几何社会选择理论和拓扑社会选择理论确实拓宽了社会选择理论的进第 卷第期 年月南昌大学学报(理科版)J o u r n a l o fN a n c h a n gU n i v e r s i t y(N a t u r a lS c i e n c e)V o l N o A u g 路,但是约束公理相容性配置却一直处于争执之中.如果分析文献总结的系列方法,可以发现集结落实到单纯算法层面上,则约束公理配置确实是内化到运算之中,从而其一般研究范式具有统一性,但也产生了算法统一性问题.本文力求仅在运算层面上实现概念刻画和集结特征判断,并集中考察社会选择函数集结中的对影判别和性质;一方面,以交运算统一刻画和描述,形成算法统一性.另一方面,进行序性严格化,消除群序集结中形式混乱.其结论可以证明弱序集结空间和强序集结空间构造的等价性,其中的关键在于对影分解和结合,理清对影的性质,并合理的判别对影.知识准备和符号说明在文献 提出了强序新的刻画.而近期卢进一步提出集序、群序,并基于集序、群序刻画了偏好集结,获得了诸多良好得结论.其方法体系是用集值映射刻画序,在集值映射上装载各约束形式并对应地刻画出强序、弱序、全序、偏序,乃至锥序;在集序构造下发现群序集结可等价于群强序集结.同时,高、卢在文献 提出对影概念,并研究了对影判别和性质.而且,卢文献 把集序、群序集结应用于社会选择理论得基础构造.这里基础构造理论联系广阔,诺贝尔经济学奖获得者马斯金在机制研究中,从连续统空间得测度等分构造选择主体,以此构造考察约束公理得强弱,并给出一个约束公理系统得包含关系.一旦采用卢提出得集序、群序方法,约束公理得加载将更为便利.本质上,卢的方法体系是避免约束公理加载而前置在运算层面上考察一般集结性质,这避免了后置约束公理不相容性的缺陷,例如A r r o w不可能性.在基本集结性质清晰后,加载约束公理的强弱性就能自明.为此,下面给出基本概念.关系及其属性是形式决策理论的起点.给定X集合,以范数|X|表示集合元素个数.设RXX,以该子集R表示集合X上元素的关系,若(x,y)R,称x关系R于y,此时也可记为x R y.同时,装载了关系后集合记为(X,R).对于(X,R),称R为自反性关系,若任何x都有x R x.对应地,若任何x都有x R x(表示x R x不成立),则可称R为非自反性关系.称R为传递性关系,若任何x,y,z,由x R y及y R z能推出x R z.称R为对称性关系,对任何不同的x、y,x R y能推出y R x;称R为反对称性关系,对任何不同的x、y,x R y能推出y R x;称R为完全性关系,若对任何不同的x、y,x R y能推出y R x.另外,基于关系属性可定义特定关系,例如(X,R)为弱序集,若关系R是自反性、传递性关系;而后续主要采用集值映射定义各类关系.定义设集合X上集值映射F:XX满足()aX,aF(a);()bF(a)有F(b)F(a);()若aF(b)则bF(a);则称F:SS为集序映射,简称为集序,同时记X为(X,F).显然,依据集序把bF(a)记为关系ba,则“”是传递性关系.另外由“bF(a)”推导出“F(b)F(a)”刻画了集序映射收缩性,该映射收缩性与关系传递性互为判断,并且映射收缩性刻画“优向”判断;反之,映射刻画集序的扩张性能为关系“劣向”提供判断.对于(X,F)的X中任何X,记F()|F(),映射是扩张的,称为逆象集.另外,仍可依据集序来刻画关系对称性、关系完全性.例如,称集序F是对称的,如果对任何两个a、bX,aF(b)能推出bF(a);反对称性即aF(b)能推出bF(a).称集序F是完全的,对任何两个a、bX,aF(b)能导出bF(a);集序属性显然是自明的.同时,以FX表示X上全体集序形成的集合,称FX为X的集序空间,简称集序空间.显然,FXF:XX|F满足aF(a),bF(a)F(b)F(a).为形式化地综合考虑社会选择理论、机制设计理论,需要准确定义文献 所指称的集结,即把一个标度集下的偏好组合映射为社会偏好.为方便直接记V,m 直接表示标度集,并定义社会选择函数如下:定义标度集V对集合X建立了集序组合形成组合空间FX V(F,F,Fm)|FiFX.即FX VFXFXFX为m个FX形成笛卡尔积,并称FX V为标度集V标度集序空间,简称为标度集序空间.在(V,FX)的标度集序空间FX V中,称S C F:FXVFX为V标度集下X的群序集结,简称群序集结.文献 采用循环群在等价族上定序,而当采用拓扑运算定序将和和集结具有一致性.为此,本文再提出单元收缩映射保证在等价族上一致性定序.定义称T:XX为单元收缩映射,若T满足X有T()及|T()|.对于一单元收缩映射T,称T循环收缩直至形成空集终止而形成的套链T(X)、T(T(X)、T(T南昌大学学报(理科版)年(X)为T的承接链;同时,称T对AX循环收缩直至形成空集终止而形成的套链T(A)、T(T(A)、T(T(A)为(T,A)承接链,在自明情形下可简称承接链.显然,每个单元收缩映射T对X都有唯一确定的承接链,并且在循环收缩T(T(X)中正好收缩|X|次.T对X也有唯一确定承接链,在循环收缩T(T()中正好收缩|次,可称收缩次数为收缩阶.并且可定义FT(T()T()、FT(XT(X)T(X).可定义FT(T(),FT(XT(X)T(X).这将直接运算出文献 定义诸多概念.为此,可即社会选择函数对影的构造框架为(X,V,FXV,FX,T).主要结论一般地,考察偏好集结的社会选择函数框架为(X,V,FX V,FX),但偏好严格化涉及对影集结,从而扩充框架为(X,V,FXV,FX,T).另 外,S C F:FXVFX中偏好集结需要遵循约束公理,并且,阿罗、森、马斯金在其诺贝尔获奖成果中都配置过不同的约束公理系统;为此,既然不研究约束公理的配置合理性,本文仅依据马斯金在文献 的配置模式记一般性约束公理系统为A S,在考虑集结过程中充分回避配置约束公理仅采用基础运算进行形成刻画,将主要形成以下定理.其中,需要运用逆象、单元收缩等运算.定理在(X,F)中作F()F()F(),则F()|X 重合合并后能形成X的一个分划,即XXF(),其中并元F()、F()或者交空,或者相等.证明(X,F)中集序F是自反和传递的,则X都有F(),从而有F().综合则有F()F(),也即F(),则任何F()都非空;由以上的任意性,必有XXF(),那么必然是XXF().余下要证明F()|X 能形成X的一个分划,其关键在于证明任何两个有差异的F()交空.、X考察F()、F().情形一,若F()F(),即两者已交空.情形二,若F()F(),则需证明F()F(),即F()、F()有没有差异.为此,设F()F(),则可取定cF()F()并考虑两个方面.一方面,对任意一个F(),可证明必然有F().由于cF()及F()可以展开为cF()、F(c)、F()、F(),那么可以形成不同组合.由组合F(c)、F()并利用集序收缩性必然有F(c);而再由cF()、F()同样利用集序收缩性可得到cF()F()即cF().另一方面,由F(c)、cF()及cF()、F(c)也可以构造不同组合并运用集序收缩性,则有F(c)、cF()F();cF()、F(c)F().这就有F()、F(),也就是有F()、F(),即F()F(),从而证明了F()成立.于是必然有F()F()成立.考虑到证明过程的对称性,同样的道理必有F()F().结合已证结论,全面综合后必然有F()F()成立.综合以上整个证明,显然定理成立.一般地,按文献称F()|X 为(X,F)等价族划分.同时有文献证明F()|X 形成划分可以用(F()及各F(a)形成非空最小收缩方式达成.该定理中,F()F()能推导到F()F(),这和该文献中的非空最小收缩子的结论是一致的.另外,从集序空间FX与空间RX的等价性上,后续研究仅仅只需在集序空间FX上进行即可.进一步,考虑集序空间FX形成划分的集序特征,任何集序F对X的划分只能是两种情形,即从F()来看,或者F()为单点集,或者F()、为非单点集.在单点集F(),文献 对影是简单的,其对影集结困难性源于非单点集F()、.同时,文献正是依据对影集结发现了社会选择函数面临孔多塞循环时可能导致集结不可能性,这一情形揭示了孔多塞循环和轮换循环之间存在本质联系;孔多塞循环就是多次轮换的推广.文献 在构造对影RR,R时,其要点在于A/、k 的商空间上分析Ak的构成,在非单点的上才需要对影构造.而一旦严格以运算进攻相关刻画,在(X,F)上作F()|X划分,并不需要繁复地定义对影,而直接运算出对影来.下面依据文献 给出对影偏好的定义,对(X,F)采用集序刻画划分对F()|X 中非单点集F()中任何两点、的对影如下:称集序对F,F为F在两点、上的有序对影集序,简称对影,记为FF,F,并分别称F、F为左右分影,若F、F满足:()任何、若F第期卢美华等:集映射、拓扑交和对影序的存在性()F(),若F()(此时必有F()则对F、F分别规定,F()、F()以及F()、F();()任何、若F()F(),且F()F(),则对F、F分别规定,F()、F()及F()、F();()任何、若F()F(),且F()F().由于F()F()F()F()且、F(),此时对F、F两方面分别规定:一方面,F()、F(),其他任何不同于、的F(),F()、F();另一方面,F()、F(),其他任何不同于、的F(),F()、F().以上定义FF,F是基于集序F决定的分划中一个具体分划集中确定的两个等价元而形成的对影;当然,其中选择的两个等价元、具有自由度,并且后续将看到按对影定义取定的等价元是实质性的,本质上F可记为F.另外,其中获得的对影中两个分影都为集值映射,而且FFX、FFX,即F、F也在集序空间之中.由FFX,也可再选定集序F决定的分划中一个具体分划集中任意确定的两个等价元而形成的对影,具有左右分影;这里任意等价元确定后,由FFX,集序F决定的分划和F决定的分划是相同的分划,F依据已经确定了两个等价元也可形成的对影,具有左右分影.显然,F的左分影和F的右分影能形成对影,这在文献 中已经证明.累次把对影的左右分影做对影分解,左分影的下次左分影和右分影的下次右分影未必能形成对影,但是左右分影决定的划分是相同的,只要以相同的确定等价元作下次的左右分影,下次左分影和下次右分影能构造出对影.为此,文献 提出了整个F的对影(F).显然,整个F的对影(F)在F决定的分划中具有自由度,从而造成构造路径的分歧.显然,以轮换映射来构造偏好序的对影,十分繁复,但以一个具体的T:XX单元收缩映射来构造整个F的对影(F),其中等价元的选择也具有自由度,表现为T:XX单元收缩映射的自由性.但是,只要T:XX单元收缩映射前置性确定了,整个F的对影(F)是确定的.为此,采用单元收缩映射构造和刻画对影是确定的并且非常简单.为方便论证,先给出单元收缩映射的一个引理.引理在(X,F)上以F()|X 形成X的分划上取F()|X.若为非单点集,不妨设、,并作F在两点、上的有序对影集序FF,F,则 F()|X 同时为两个集序(X,F)等价族划分和(X,F)等价族分划.而为非单点集记T(),为单点集,记T(),则可扩出某个单元收缩映射T:XX.该引理无需证明.按照文献,以及本文对影形成集序刻画,引理是自明的.而采用R及等符号定义对影必须依据两元刻画并记FF,但从 F()|X 来看F可记为F,后续集序方法构造更为便利,为此采用单元对影也更准确,从而采用之.同时,这个引理说明:一个对影中的左右分影形成的等价族分划是相同的,一个对影还精细化了和细化了等价族分划.对影的逐步分影分解正对应着等价族分划的细分过程.如果,考虑单元收缩映射和等价族分划,显然不同的单元收缩映射可能在对影分解为左右分影中产生相同的收缩效果.这说明单元收缩映射的构造比对影分解构造更为广泛.在(X,F)上加载某单元收缩映射T:XX,取F()|X 为X分划的一个等价族,记s u pF(T()F(T(),并记F:XX和F:XX如下:F(x)F(x)xF(x)F(x)T()xT()xT()()F(x)F(x)xF(x)T()F(x)xT()xT()()定理在(X,F)上加载某个单元收缩映射T:XX,在F()|X 取T(),则由式()、式()决定的F,FF.式()、式()构造了F在点上的有序对影集序.证明按定理结论,需要证明式()、式()中集值映射是集序,并且构成的对影.本质上,明式()、式()的构造中实在F(x)收缩,即总有F(x)F(x)、F(x)F(x)成立.先证明式()、式()中F:XX、F:XX为集序,即要整证F、F适合自反性、完全性和传递性.以F为例试证,由于xX,xF(x),注意到式()中F(x)三个部分,故而只需考虑xT()情形.再按定理中标定的T(),而又按单元收缩映射定义,T(),故xT()情形中x,其F(x)对应情形F(x)T()中仅排除T(),即仅排除,而没有排除南昌大学学报(理科版)年x.故xF(x)仍保证了xF(x)T().故而,式()定义的F(x)的三种情形都适应xF(x),适合自反性.再证式()定义的F(x)适合传递性,即要证xX以及其中任何F(x),均有F()F(x).同样要注意式()中F(x)三种情形,前两种情形中F(x)F(x),而式()中构造性总能保证F()F()成立,从而对于式()中F(x)前两种情形x或xT()中,总有F()F()F(x)F(x)成立,即总有F()F(x).为此,只要证明式()中F(x)为式()第三种xT()情形,F(x)也适合传递性.此时F(x)在F(x)上收缩了,但仅仅只收缩了单点,即F(x)F(x)T()F(x).从而,考察xT()时的任何F(x)及对应F(),若F()本身不含(即F(),结合F()F()性质,总有F()F()F(x),必然有F()F(x),那么F()F(x)已经成立.而当xT()及F(x)时,若F()本身包含(F(),那么由式()中F(x)构造的第三情形中F(x)T()排除了,所以此时F()不在式()的F(x)构造第二情形中,即(即T();此时,只能是T()或,对应记为第一种情况、第二种情况;并且后续将证明这里第二种情况将产生矛盾,从而只能是第一种情况.对于第一种情况T(),F()F()T()排除,这就矛盾与F()本身包含.从而只能是第二种情况,而且xT()及F(x),F(),这将导致矛盾.因为,是在(X,F)等价族划分之中,既然T(),F()F()F(),从而F()中是F()或者F(),不过其中的“F()”可以排除.为排除“F()”,结合xT()及F(x),xT()F()保证了xF()且F(x),而集序又保证了F(x)F()且F()F(x),则F(x)F().再由F(x)F(x),结合F(x)F(),排除“F().从而F()中只能是F().在第二种情况下,只能是F(),结合集序F的完全性,F()推导出F(),那么F()F(),那么F()这直接于在第二种情况的前提假设F()矛盾.于是,第二种情况并不出现.第一种情况F已经适合了传递性.综上所述,在F的三种构造情形种,F确实都是适合传递性的.下面证明F适合完全性.为此,取任意的、X,并设F(),只需要证明F().F()按式()的F三种构造,即第一种情形,F()F()时F();第二种情形T(),F()F()时F();第三种情形T(),F()F()T()时F().第一种情形,F()F()时F(),当然F(),那么由F完全性,F();再由,则F(),从而无论F()处于式()的何种情况都有F().第二种情形T(),F()F()时F();当然F()(也即F(),那么由F完全性有F()(也即F();按式()F三种情形考察F(),前两种情形在F()F(),总有F()成立.而一旦F()按第三种情形构造时,当然为T()(即且)F()F(),但这将不会出现.因为此时,T()中虽然实质上且,但按照等家族的属性,T()显然与F()本身矛盾;毕竟,T()保证了T()F()F()F().第三种情形T(),F()F()T()时F().这时,即使F()也会出现而导致F(),但这是仍然可证F().因为在时,T()由是等价族F(),这至少保证了F(),以及由T()推出,从而F(),结合,当然有F(),那至少在按式()第三情形也有F().而第三种情形T(),F()F()T()时F(),即使,也可证明F().显然,若时F()在即使其中F()扩充也成立,即(F()成立,则按式()构造,无论何种的T()都会有F()成立.那么由集序F的完全性,F()保证了F(),再结合,当然有F().于是按式()无论何种形式F()时,都有F().合并以上三种情形的论证,都有F()能导出F(),F的完全性得证.综上所述,F是适合自反性、传递性、完全性,那么“F是集序”成立.如果比较式()的F构造和式()的F构造,第期卢美华等:集映射、拓扑交和对影序的存在性F与F都是在F的特定点上压缩,F是特定点上一次压缩,而F是在特定点上多次压缩.一方面,从对称性上可以断定F集序;另一方面,在上逐次特定压缩F,按照以上证明都保证了每次压缩后的集序性,也可以断定F集序.余下即证明F,F(F)即可.依据文献 对影定义比较繁琐,而直接从对应的集序刻画的定义则极为方便.为此,证明F,F(F)只需以及对影集序特征,充分分析式()式()的构造即可,也即分三种情况分析即可.按对影集序:()若任何、满足F()F(),则显然、不同时在(即F()之中.若、都不在中,按式()、式()规定的F()F()F()以及F()F()F(),显然由F()(此时必有F()能导出F()、F()以及F()、F().而即使若、只有一个在中,以而为例,按式()、式()规定的F()F()F(),显然由F()(此时必有F()仍然能导出F()、F()以及F()、F().按对影集序:()若任何、若F()F(),且F()F();此时必有F()F(),F()F(),F()F(),这将有、都不在中.按式()、式()规定的F()F()F()以及F()F()F(),结合F()F()直接就F()、F()以及F()、F().按对影集序:()若任何、为不同元素,满足F()F()且还满足F()F()时,则F()F()F()且、F(),F().此时,按式()、式()规定F()、F()可能会不等于F(),F()、F()可能会不等于F(),需要分类判断式()、式()的F、F能否符合对影的集序特征.此时,既然、F(),那么,可能、,或者、仅一个为.先考虑当、时,即、T(),按照式()、式()的构造,有F()F()、F()F(),而F()F()、F()F().一方面,显然有、F()F()F(),但F()F(),F()F(),并且结合以前结论F()F()F(),并即使F()、F()都排除后得到F()、F(),但结合、,仍然有F()、F()成立.另一方面,由于有F()F()、F()F(),同样结合以前结论F()F()F(),F(),并再次注意到F()F()T(),从而有F()、F()及、F(),以及F()、F()同时成立.再考虑、仅一个为,例如以、为例,但此时按“对影集序刻画”需要验证得“集序关系”事实上都在论证中得以验证了.从而,更符合“对影定义”.从而式()、式()所规定得F、F确实适合对影定义”,F,FF.全面综合以上所述,本定理得证.定理在(X,F)形成的集序空间FX上,对于任何一个集序FFX,均有F的对影(F)F,F存在.同时,对影(F)中F,F并不唯一,可以以单元缩减构造.说明,本定理是定理的顺延,无需特别证明.只要把定理中的单点对影构造F进行逐次循环构造即可,也即累次把对影的左右分影做对影分解,左分影的下次左分影和右分影的下次右分影未必能形成对影,但是左右分影决定的划分是相同的,只要以相同的确定等价元作下次的左右分影,下次左分影和下次右分影能构造出对影.余论上文考察了社会选择函数集结中的对影的构造和部分性质,其中对影中的左右分影能到序向的严格化.这就给出了弱序偏好的强序化路径,强序化为分影偏好,但集结中的一个弱序是等价于一组强序.上文通过分析对影的部分基本性质,在对影的判别中是可以联系孔多塞循环和轮换,但是,在对影构造上单元收缩映射更为普遍,在对影判别上轮换、等价族分解却更为方便.另外,从文献 总结的系列方法,以及文献 的投影分析上,可以发现集结落实到单纯算法层面上,则约束公理配置确实是内化到运算之中,从而其一般研究范式具有统一性,但也产生了算法统一性问题.仅在运算层面上实现概念刻画和集结特征判断,显然能解决群决策中约束公理配置的混乱.例如,如果进一步完善偏好的严格化构造,则文献 所讨论的不完全偏好下的决策能完美解决了.基于以上拓扑构造的探索,后续进一步开拓共识的算法研究具有广阔的前景,文献 中的一些共识算法可再粗糙地构造,从而具有更普遍地适用性.(下转第 页)南昌大学学报(理科版)年 XUYI s h i k a w aa n dM a n ni t e r a t i v ep r o c e s s e sw i t he r r o r s f o rn o n l i n e a r s t r o n g l ya c c r e t i v eo p e r a t o r e q u a t i o n sJ M a t h A n a l A p p l (),张树义赋范线性空间中渐进拟伪压缩映像不动点的修改的 广义I s h i k a w a迭 代逼 近J应用 数 学 学 报,():刘洁,赵秀兰B a n a c h空间中带误差修改的不动点迭代逼近J 数学学报中文版,():荆平,唐艳B a n a c h空间中伪压缩映射和增生映射的强收敛定理J河北师范大学学报(自然科学版),():CHANGSS S o m ep r o b l e m sa n dr e s u l t si nt h es t u d yo fn o n l i n e a ra n a l y s i sJ N o n l i n e a rA n a l y s i s,:(上接第 页)R A S S I A SM T h,YAN GBC,R A I GO R D S K I IA T w ok i n d so ft h er e v e r s e H a r d y t y p ei n t e g r a li n e q u a l i t i e sw i t ht h ee q u i v a l e n t f o r m sr e l a t e dt ot h ee x t e n d e dR i e m a n nz e t af u n c t i o nJ A p p l i c a b l eA n a l y s i sa n dD i s c r e t eM a t h e m a t i c s ():R A S S I A S M i c h a e lT H,YANGBC,R A I GO R D S K I IA n d r e i O na m o r ea c c u r a t er e v e r s e H i l b e r t t y p ei n e q u a l i t y i nt h ew h o l ep l a n eJJM a t hI n e q u a l,():洪勇,吴春阳,陈强一类非齐次核的最佳H i l b e r t型积分不等式的最佳搭配参数条件J吉林大学学报(理学版),():HONGY,HUAN GQL,YAN GBC,e t a l T h en e c e s s a r ya n ds u f f i c i e n tc o n d i t i o n sf o rt h ee x i s t e n c eo fak i n do fH i l b e r t t y p em u l t i p l ei n t e g r a li n e q u a l i t yw i t ht h en o n h o m o g e n e o u sk e r n e la n di t sa p p l i c a t i o n sJJ o u r n a l o f I n e q u a l i t i e sa n dA p p l i c a t i o n s,():HEB,HON GY,L IZ C o n d i t i o n sf o rt h ev a l i d i t yo fac l a s so f o p t i m a lH i l b e r t t y p em u l t i p l e i n t e g r a l i n e q u a l i t i e sw i t hn o n h o m o g e n e o u sk e r n e l sJJ o u r n a lo fI n e q u a l i t i e sa n dA p p l i c a t i o n s,():L I AOJQ,HON G Y,YANGBC E q u i v a l e n tC o n d i t i o n so fa H i l b e r t T y p e M u l t i p l eI n t e g r a lI n e q u a l i t yH o l d i n gJJ o u r n a l o fF u n c t i o nS p a c e s,V o l u m e ,A r t i c l e I D ,p a g e s WANGAZ,YANGBC,CHE NQE q u i v a l e n tp r o p e r t i e so f ar e v e r s eh a l f d i s c r e t eH i l b e r t s i n e q u a l i t yJJ I n e q u a lA p p l,():(上接第 页)参考文献:师维学,序拓扑空间和广义度量空间若干问题的研究D B/O L(科技成果数据库)江苏省,南京大学,俞建,贾文生有限理性研究的博弈论模型J中国科学:数学,():徐玖平复杂群决策共识一致性理论与方法D B/O L(科技成果数据库)四川省,四川大学,胡卫群选举几何学M北京:科学出版社,P A T T Y,P E NN EM Ad e f e n s eo fA r r o w si n d e p e n d e n c eo f i r r e l e v a n ta l t e r n a t i v e sJ P u b l i cC h o i c e,():X I AO L i n a,L U M e i h u a T h ep r e f e r e n c es t r o n go r d e rc h a r a c t e r i z a t i o na n de q u i v a l e n c eo fs o c i a lc h o i c ef o r ms p a c eJJ o u r n a lo fJ i a n g x iN o r m a lU n i v e r s i t y(N a t u r a lS c i e n c e),():卢美华,高晓波形式无约束下偏好集映射、拓扑交和一致性J江西师范大学学报(自然科学版),():高晓波,卢美华社会选择函数集结中的对影判别和性质J南昌大学学报(理科版),():马斯金选择的悖论:阿罗不可能定理与社会选择真相M北京:中信出版社,罗云峰,肖人彬社会选择的理论与进展M北京:科学出版社,YU,N N Ao n e s h o tp r o o fo fA r r o wsi m p o s s i b i l i t yt h e o r e mJE c o n o mT h e o r y,(),P OU Z E T M Ap r o j e c t i o np r o p e r t ya n dA r r o w si m p o s s i b i l i t yt h e o r e mJd i s c r e t em a t h e m a t i c s,():C a t o,SB r i e f p r o o f so fA r r