Exact半连续格的若干性质-基础数学专业毕业论文.pdfVIP

目 录 中文摘要 I 英文摘要 II 引言 1 第 一 章 预 备 知 识 3 1 . 1 连 续 偏 序 集 、Exact偏 序 集 、超 连 续 偏 序 集 3 1.2 Raney偏 序 集 和 强 Raney偏 序 集 5 1 . 3 半 连 续 格 的 基 本 性 5 第二 章 几种偏序集的点可分离式刻画 8 2 . 1 超 连 续 偏 序 集 、连 续 偏 序 集 8 2.2 可 数 逼 近 偏 序 集 9 2 . 3 半 连 续 格 9 第 三 章 Exact半连续格的性 11 3.1 Exact半 连 续 格 11 3.2 Exact半 基 与 局 部 Exact半 基 16 3.3 Exact 半连续 dcpo 19 参考文献 22 致谢 23 硕士期间研究成果 24 III 言 弓 上 世 纪 70年 代 早 期 ，在 理 论 计 算 机 科 学 领 域 ，Scott为 解 决 函 数 式 语 言 的 语 义 学 模 型 问 题 而 发 现 了 连 续 格 . 大 约 在 同 一 时 期 ，在 纯 数 学 的 研 宄 中 ，Law­ son 、Hoffman和 Stralka等 人 也 发 现 了 连 续 格 和 代 数 格 的 结 构 .他 们 从 两 种 不 同 的 背 景 出 发 ，导 致 了 同 一 对 象 的 发 现 ，大 大刺 激 了 连 续 格 理 论 的 发 展 .连 续 格 理 论 一 经 形 成 ，人 们 很 快 发 现 它 处 于 代 数 、逻 辑 、拓 扑 和 理 论 计 算 机 科 学等 学 科 的 交 汇 处 ，是当 前 极 为 活 跃 的 研 宄 领 域 . 早 在 1952年 ，Raney在 他 的 几 篇 经 典 论 文 中 讨 论 了 完 全 分 配 格 的 一 些 性 质， 并 证 明 了 完 备 格 L 是 完 全 分 配 格