代数的局部完备集范畴和FS-局部dcpo范畴的笛卡儿闭性.pdfVIP

第35卷第4期 数 学 进 展 Vbl．35．No．4 2006年8月 ADVANCESINMATHEMATICS Aug．，2006 代数的局部完备集范畴和 FS一局部dcpo范畴的笛卡儿闭性 徐爱军术， 王戈平 (徐州师范大学数学系，徐州，江苏，221116) 摘要：本文引入了代数的局部完备集， FS一局部dcpo，局部稳定映射等概念．主要结果是： 以局部Scott连续映射为态射的代数的局部完备集范畴，以局部稳定映射为态射的代数的局部完备 集范畴以及以曷部Scott连续映射为态射的FS一局部dcpo范畴都是笛卡儿闭范畴． 关键词：局部完备集； FS一局部dcpo；局部稳定映射；笛卡儿闭范畴 MR(1991)主题分类；06835；54899／中图分类号：0189．1；0153．1 文献标识码：A 文章编号：1000-0917(2006)04—0485-08 1引言与预备 Latticesand 《continous 基本且结构最丰富的实数集碾与自然数集N不能作为连续偏序集，更不用说连续格．徐罗山在 [11]中，引入了相容定向完备集的概念．管雪冲在[2]中，从局部化的思路出发，引入了局部定 向完备集的概念．他们将自然数集和实数集引入到研究对象中来，得到了一系列很好的结果．本 范畴、以局部稳定映射为态射的代数的局部完备集范畴和以局部Scott连续映射为态射的FS一 局部dcpo范畴都是笛卡儿闭范畴． 定义1．1[1]设(D，≤)是偏序集．D的非空子集A称为定向集，若对任意o，6∈A，存 A． 定向集的上确界记为Vl 定义1．2[2】设(D，≤)是偏序集．若Vd∈D，上d为dcpo，其中J，d={z∈DJ。≤d)， A表示定向集A在山d中的上确界． 则称D是局部定向多专备集，记为局部dcpo．以后用V5 若Vd∈D，上d为完备格，则称D为局部完备集． 定义1．3[2】设D是局部dcpo，。，可∈D．若对D中任意一个有上界的定向集B与它的 任一上界d，当可≤V：B时，存在6∈B，使得o≤6，则称z局部双小于可，简记为z《L!，． z《L 定义1．4[2】设D是局部dcpo．若对每个d∈D，{z∈Dd)为定向集，且 z《L d=Vl{z∈D 的局部完备集． 2005—04—04． 收稿日期： 2004—10一15．收到修改稿日期： 基金项目：国家自然科学基金(No． E-mail：木guanxc@etang．com；}木gepwang@public．xz．js．cn 万方数据 数 学 进 展 o 定义1．5【2】 设D，E是局部dcpo，函数，：DE是单调的．若对D的任一有上界的定 D到E的所有局部Scott连续函数的集合记为[Do明． 定义1．6【2】 设D是局部dcpo，u∈D，若满足条件： (1)U为上集，即若n∈U，且o≤6，则6∈U； nu≠o， (2)对D中任一有上界的定向集A及其任意上界d，当V；A∈u时，有A 则称U为局部Scott开集．局部Scott开集的补集称为局部Scott闭集． 注1．7 A∈F． 且A∈F，则对于A的任一上界d，有Vj Scott拓扑． 个局部dcpo．但集合上c却不是定义1．6中的局部Scott闭集． 2代数的局部dcpo 本