范畴CL中的等化子和余等化子.pdfVIP

第20卷第4期 纺 织 高 校 基 础 科 学 学 报 Vo1．20，NO．4 2007年12月 BASIC SCIENCES JOURNAL OF TEXTILE UNIVERSITIES Dec．，2007 文章编号：1006—8341(2007)04—0352—05 范畴CL中的等化子和余等化子 李海洋 ，路玲霞 (1．西安工程大学 理学院．陕西 西安 710048；2．石家庄经济学院 理学院，河北 石家庄 050031) 摘要：设L是闭集格(即，对每个z∈L，]B Copr(L)，使得z—V B )，这也等价于L。 是空 间式locale．闭集格以及闭集格间保任意并、保余素元的映射组成的范畴记作CL．引入了通过并 半格构造闭集格的方法——并半格的闭集格化，并且利用这种方法给出了闭集格范畴CL中等 化子、余等化子的具体构造． 关键词：闭集格；闭集格化；等化子；余等化子 中图分类号：O 153．1 文献标识码：A 1 引言及预备知识 设L是完备格，Copr(L)是L的非0余素元之集．若V z∈L，]B Copr(L)，使得z—V B ，则称 L是闭集格(或分子生成格)．可以证明D-2J，一个完备格L是闭集格的充要条件是L与某个拓扑空间x的 闭集之格(称为空间x的闭拓扑)同构(这也等价于L。 是空间式locale[3 )．文献E4-1给出了闭集格的极小 集刻画，证明了完备格L成为闭集格的一个充分必要条件是L的每一个元都有 极小集．将闭集格以及 闭集格间保任意并、保余素元的映射组成的范畴记作CL．本文通过并半格的闭集格化研究了闭集格范畴 CL中的等化子和余等化子的具体构造． 定义1[1 设L是完备格，若 2 满足 (i) L的任意有限子集属于 (-．) 若x 一{ I ∈J )∈ V ∈J)，则{^z ，“ I厂∈兀’，i)∈ 菌 (iii) 若 X ∈ (V ∈J)，{supX I ∈J}∈ ，则 U X ∈ i∈， 易见 一n{ I 2 且 满足以上3条)也满足以上3条．若 ^(V z；)一 V (^zf“ )成 i∈i J∈Ji f∈II Ji i∈i f∈J 立(其中{x )是 的任意子集，各{x )如(ii)所记)，则称L满足 分配律． 定义2[1 设L是分配的完备格．定义n b当且仅当b—V C (其中C∈ 时，]c∈C，使得n≤ c．对每个z∈L，记 z一{ ∈L I z)． 引理1[1 设L是分配的完备格，则以下各条等价：(．)L是闭集格；(ii)L与某一拓扑空间E的闭 集之格F(E)完备格同构；(iii)L与某个由集合组成的格交同构；(iV)L是 分配格；(V)z—V i}z (V z∈L)；(Vi)L的每个元素n都有 极小集． 引理2[2 设L是闭集格，VⅡ，b∈L，Ⅱ b当且仅当] ∈Copr(L)，使得Ⅱ≤ ≤b． 命题 1[4 闭集格L上二元关系， 具有以下性质 (V n，b，c，d∈L)： (1) 若Ⅱ b，则Ⅱ≤b； 收稿日期：2007-04-12 基金项目：西安工程大学校管科研资助项目(2006XG40) 通讯作者：李海洋(1975一)，男，陕西省富平县人，西安工程大学讲师．E-mail：fplihaiyang@126．corn 第4期 范畴CL中的等化子和余等化子 353 (2) 若a≤6 c≤d，则a d，即 具有传递性； (3) 若a≠o，则o a； (4) 若a≤b，且a∈Copr(L)或b∈Copr(L)，则a b，从而{z∈Copr(L)I