格中上确界映射的性质.pdfVIP

青海师专学报(自然科学) JOURNALOFQINGHAIJUNIORTEACHERS’COLLEGE (Natm-mISd伯 ceEdition) 1997年第 1期 N v4．1997 格中上确界映射的性质 一 D 周武能 (=)』 嘲北荆州师范高等专科学校 荆沙 434104 摘 要 在上半格中定义了上确界映射，讨论了它的诸 多性蕨，并用之刻捌了布尔代数。 关■调 格 伴随 布尔代数 — — 一 、 — - — — — - — ～ 上南骨映射 莲壤格． 1 引言及预备 文献[1]研究了下面界映射及其性质，它们在连续格理论中起着非常重要的作用。在格论中上 确界概念与下确界处于完全平等的位置。因此，对上确界映射的研究显得很有必要。本文将在上半 格中定义上确界映射，讨论它的诸多性质，并用之刻划布尔代数。 为方便起见，先给出如下概念与结果。 定义 1、1Ⅲ 设s和T是两偏序集，gts—T，d：T—s是两映射。称(g，d)为g与 d间的G一联 络，如果它们满足以下条件： (1) g和d都是保序的。 (2) 对任意(s，t)∈S~T，g(s)≥t当且仅当s≥d(t)． 在G一联络 (g，d)中，称 g为上伴随，d为下伴随。 引理 1、2E 设 s和T是两偏序集，g：s—T，dT—s是两映射，则(g，d)是G一联络当且仅当 g是保序的且对任意 tT∈，d(tJ=raing (十t)． 引理 1、3c” 上伴随保任意下确界，下伴随保任意上确界。 引理 1、4Et 设 s是完备格，T为偏序集。则g：s—T保任意下确界当且当g保序且有一个下 伴随。 2 上确界映射及其性质 定义2、1 设 s是一个上半格(即任意非空有限子集有上确界)，x∈S．称g：s—s为上确界映 射，若对任意s∈S，g(s)一xVs． 定理2、2 在上半格s中，以下两条等价 ： (1) 对任意xES，gx有一个下伴随。 (2) 对任意x，t∈S，min{s∈S：xVs∈≥t)存在。 (1)或 (2)蕴含 (3) 对 s的任意存在下确界的元索族 {x，：j∈J)及任意x∈S，第二无限分配律成立，即 xV(^{x．：j∈J))一^{xVX，：j∈J) 收稿 日期 1997—02—64 18 青海师专学报 (自然科学) 如果S是格，则(3)蕴含第二分配律 xV(yAz)=(xVy)A(xVz)。如果S是完备格，则 (1)(2) (3)等价。 证明 设x∈S，若g有一个下伴随d：s—s，则据引理 1、2知．g是保证序的，且对任意 tES， d(t)=mine (十t)，而 ’(+t)一{sES：xVs≥t)，故对任意x，t∈S，rain{S∈S：xVs≥t)=d(t) 存在 反之，若对任意x，tES，rain{S∈S：xVs~t}存在，则rain (+t)，令d(t)=raing (+t)，又 g 显然是单调的，据引理 1，2知，(g，d)是G一联络。从而对任意x∈S．g有一个下伴随。若(1)或 (2)成立，则由引理 1、3知 (3)成立。若S是格，则S中任意两元存在上下确界，从而若(3)成立，则第 二分配律成立。此时第一分配律也成立，即对任意x，y，z∈S，xA(yVz)=(xAy)V(x^z)若S是 完备格，则据引理 1、4知，(1)(2)(3)等价。 设 s是一个格，且满足定理 2、2中的1)或(2)对任意y∈S，记Y在上确界映射 g的下伴随下 的象d(y)=x—y，即x—y—d(y) min{sES：xVs≥y)．由定义 1、1知，xVy~z当且仅当y≥x—z． 由此知对任意a∈S，a—a是S的最小元0。若S有最大元 I，记 i一(a—I)~min{SES：aVs=I}(a ∈s)，此时显然有 0=I且 1=