拟序下非连续增算子新的广义不动点定理.pdfVIP

年 月 纯粹数学与应用数学 第 卷 第 期 拟序下非连续增算子新的广义不动点定理 姜鑫 薛西锋 西北大学数学学院 陕西 西安 摘要：运用序方法研究了拟序空间 中具 = 型非连续增算子的广义不动点的 存在性问题, 证明了在拟序空间 中具 = 型非连续增算子存在最小广义不动点 和最大广义不动点. 所得结果推广了相关结论. 关键词：拟序关系; 拟序拓扑空间; 增算子; 广义不动点 中图分类号：O177.91 文献标识码：A 文章编号：1008-5513(2014)04-0406-06 ：10.3969/j.issn.1008-5513.2014.04.010 引引引言言言及及及预预预备备备知知知识识识 算子的不动点定理可以广泛的应用于求解微分方程、积分方程和其他类型的方程 , 在经 济均衡理论中也有着广泛的应用 . 然而, 非线性泛函分析中序集上增算子不动点定理都要求 定理中的序集必须为半序集 . 但是在数学的一些领域中 , 特别是在经济均衡理论中的 序关系并不满足半序关系中的反对称性 , 这种序关系在文献 [5] 中被称为拟序关系, 而在文 献 [6] 中被称为不完全偏好关系. 为方便起见, 本文将这种序关系称为拟序关系. 文献 [6] 研究 了序列相容的不完全偏好空间(或拟序空间) 中非连续增算子的广义不动点, 而本文是在文 献 [6] 的研究基础上, 证明了拟序空间 中具 = 型非连续增算子存在最小广义不动点 和最大广义不动点, 进而推广了文献 [3, 6] 中的主要结果. 定定定义义义 设 为非空集合, 若在 中的某些元素对 之间可以定义一种二元关系, 记为 ≼ , 具有下列性质: (i) 对任给 ∈ , 都有 ≼ ; (ii) 如果 ≼ ≼ , 则 ≼ , 则称 ≼ 为拟序关系, 称 为拟序集. 称 ≼ 为 偏好于. 显然, 半序关系一定是拟序关系, 而拟序关系未必是半序关系. 定定定义义义 设 是拟序集, 若 ≼ 与 ≼ 同时成立, 则称 无差别于 , 记 作 ∼ ; 若 ≼ , 且 , 则称 严格偏好于 , 记作 ≺ , 其中“”表示非无差别关 收稿日期： 基金项目：陕西省自然科学专项基金 作者简介：姜鑫 硕士生 研究方向：非线性泛函分析 第 期 姜鑫等 拟序下非连续增算子新的广义不动点定理 407 系; 设 ⊂ , 若对任给 ∈ , 关系 ≼ 与 ≼ 至少有一个成立, 则称 为 中的 全拟序子集. 定定定义义义 设 为拟序集, 且为Hausdorff 空间, 若对 中任意两个序列{ } 和 { }, 只要 ≼ ( = 1 2 · · · ) → → , 就有 ≼ , 则称 是序列相容的拟序拓扑 空间. 定定定义义义 设 为拟序集, 如果对 中的任何全拟序子集 , 都存在可数