拓扑系统的子系统.pdfVIP

2007年 4月 四川大学学报 (自然科学版) Apr．2007 第44卷第2期 JournalofSichuanUniversity(NaturalScienceEdition) V01．44 No．2 文章编号： 0490．6756(2007)02—0229—07 拓扑系统的子系统 刘 菡l’2，贺 伟 (1．南京师范大学数学与计算机科学学院，南京 210097；2．徐州师范大学数学系，南京 221116) 摘 要：给出了拓扑系统的子系统、开子系统与闭子系统的定义．证明了在拓扑系统范畴中， 拓扑系统的任意子系统都是正则单子对象．最后证明了一个拓扑系统D的全部子系统所构成 的集合S(D)在包含序下是一个完备的Heyting代数． 关键词：拓扑系统；子系统；开子系统；闭子系统 中图分类号：O153．1，O189．1 文献标识码：A Subsystemsofatopologicalsystem LIUHan1-一 HEWe／1 ． (1．SchoolofMathematicsandComputerScience，NnajingNormalUniversity，Nnajing210097，CNna； 2．DepartmentofMa thematics，XuzhouNormalUniversity，Xuzhou221116，China) Abstract：Theauthorsintroducetheconceptsofsubsystems，opensubsystemsandclosedsubsystemsofa topologicalsystem，andshowthatanysubsystemDofatopologicalsystemEisaregularsubobjectinthecat— egoryoftopologicalsystems．Moreover，theyprovethatthesetS(D)ofallsubsystems ofatopologicalsys— tem D isacompleteHeytingalgebra． Keywords：smalltopologicalsystems ，subsystems ，opensubsystems ，closedsubsystems (2000MSCO6D2O。54D35) atopologicalsystem，nad osmeproperties ofthe 1 Introduction subsystems rae investigatde ．Moroever，wehsow Topologicalsystems isintroduced by Vickers thatnaysubsystemD ofaotpobgicalsystemE isa forpurtxx~ ofalogicalgeneralizationoftopological regulra subobjectintheactegory oftopologicalsys— spacesinRef．[1]．Topologicalsystems hasbeen terns．Finally，weprovethatthesetS(D)ofall widelystudide by manyauthors．Thetopolog iacl subsystems ofatopolog icalsystem D partiallyor— system isacommongeneraliaztion