ZC-连续格与可数逼近偏序集的若干性质-基础数学专业论文.docxVIP

I III 目 录 中 文 摘 要 I 英 文 摘 要 II HYPERLINK \l _TOC_250000 J 同 1 第 一 章 强 Way below 关 系 与 完 全 分 配 格 3 1.1 预 备 知 识 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 1.2 基 本 结 论 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 第 二 章 ZC- 连 续 格 6 2.1 预 备 知 识 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6 2.2 ZC- 连 续 格 8 2.3 ZC- 代 数 格 11 2.4 ZC- 连 续 格 的 映 射 性 质 13 第 三 章 可 数 逼 近 偏 序 集 上 的 滤 子 收 敛 结 构 16 3.1 预 备 知 识 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3.2 σ-Scott 拓 扑 与 收 敛 空 间 19 3.3 可 数 交 连 续 偏 序 集 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 参 考 文 献 25 致 谢 27 硕 士 期 间 研 究 成 果 28 PAGE PAGE 16 J 同 Domain 理 论 从 上 世 纪 七 十 年 代 发 展 到 现 在, 己 经 形 成 丰 富 的 知 识 体 系: 由 最 初 的 计 算 机 科 学 程 序 语 言 的 研 究 工 具, 发 展 到 在 范 畴 论, Topos 理 论, 拓 扑 代 数 及 模 糊 数 学 等 领 域 都 得 到 了 广 泛 应 用, 特 别 是 近 十 年, 应 用 Domain 理 论 研 究 的 思 想 与 方 法 能 够 解 决 一 些 经 典 数 学 领 域 中 的 疑 难 问 题, 如 Keimel 教 授 利 用 Domain 理 论 中 的 工 具 来 处 理 概 率 特 性 和 通 常 不 确 定 性 同 时 发 生 的 情 况, Heckmann、Lawson、Martin 等人用闭形式球方法刻画完备度量空间 、将拓扑空间 嵌 入 domain 环 境 的 工 作, Lawson 讨 论 了 拟 连 续 函 数 和 Domain 理 论 的 联 系, 同 时 研 究 了 拟 连 续 函 数 的 广 义 微 分. 对 Domain 理 论 研 究 的 重 要 方 面 就 是 尽 可 能 地 将 连 续 格 (Domain) 理 论 推 广 到 更 为 一 般 的 偏 序 结 构 上 去. 1983 年, 为 了 推 广 连 续 Domain 和 广 义 连 续 格 的 理 论, Gierz、Lawson、Bandelt、Ern′e、Huth 等 人 分 别 引 入 并 研 究 了 超 连 续, 广 义 连 续 格, Z- 连 续 偏 序 集 和 FS- 格, 而 它 们 成 为 了 最 成 功 的 推 广 之 列. 1992 年 剑 桥 大 学 的 赵 东 升 博 士 基 于 半 素 理 想 定 义 了 半 连 续 格 和 强 连 续 格, 并 讨 论 了 它 们 的 一 些 性 质. 2009 年, 基 于 Scott 闭 集, 赵 东 升 等 人 为 系 统 地 研 究 Scott 闭 集 格 的 性 质, 引 入 了 C- 连 续 格 的 概 念 并 较 为 系 统 地 讨 论 了 其 相 关 性 质. 沿 用 他 们 的 思 路, 本 论 文 主 要 做 了 两 方 面 的 工 作. 本 文 的 主 要 工 作 之 一 是 对广义理想子集系统 Z, 引入 ZC- 连续格的概念, 讨论了它们的基本性质, 推广 了 有 关 C- 连 续 格 与 半 Smooth 格 的 相 应 结 论. 本 论 文 的 另 一 主 要 工 作 是 进 一 步 讨 论 韩 国 学 者 所 引 入 的 可 数 逼 近 偏 序 集 的 性 质, 我 们 所 采 用 的 工 具 是 赵 东 升 等人引入的滤子收敛空间 (P, ↓), 其中 ↓ 为 P 中滤子与偏序集 P 之间的关