论文部分内容阅读
给出了拓扑系统的子系统、开子系统与闭子系统的定义.证明了在拓扑系统范畴中,拓扑系统的任意子系统都是正则单子对象.最后证明了一个拓扑系统D的全部子系统所构成的集合S（D）在包含序下是一个完备的Heyting代数.
拓扑系统的子系统
【摘 要】
：
给出了拓扑系统的子系统、开子系统与闭子系统的定义.证明了在拓扑系统范畴中,拓扑系统的任意子系统都是正则单子对象.最后证明了一个拓扑系统D的全部子系统所构成的集合S（D）在
【机 构】
：
南京师范大学数学与计算机科学学院,徐州师范大学数学系
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2007年2期
【基金项目】
：
国家自然科学基金（10331010）
其他文献
广播技术有着漫长的发展史,历经了一代又一代人的生活。在发展中经历着变革。即便在互联网多媒体高速发展的年代,广播技术依然得到人们的重视。但在现代社会,广播事业想要有
【目的】研究不同日粮精粗比对荷斯坦青年公牛生长和肉质的影响，为荷斯坦公牛育肥肉用提供理论依据。【方法】选择9头6月龄体质量相近的荷斯坦公牛，随机分为Ⅰ、Ⅱ、Ⅲ3组，分别
网络环境下高性能计算的可视化在宇宙物理学、大数据统计、遥感数据处理等领域发挥重要作用,包括数据管理、数据调度、数据处理与交互等环节,二维可视化技术越来越成熟,目前
【目的】对狗舌草体积分数60％乙醇提取物的毒理学安全性进行评价。【方法】利用C57L—L小鼠，以生理盐水为阴性对照，环磷酰胺为阳性对照，进行狗舌草体积分数60％乙醇提取物的90d长期
随着时代的发展,现代经济建设速度突飞猛进,而目前经济的发展早已离不开电力行业的大力支撑,经济建设对电力的需求也越来越大,使得电力运输工程量也随之增多,而在这一过程中,
为了进一步满足社会生产、生活的能源需求,我国的能源部门加强了石油资源的开采以及利用。在这样的状况下,为了确保我国石油行业的可持续发展,实现石油开采质量以及效率的提
DAM10k W中波发射机的输出监测电路肩负着发射机的重要故障检测,是保护发射机免遭雷击和自身电击损坏的重要防线。本文对输出监测板电路可能出现的故障,保护原理和出现“VSWR
【目的】检测78株油樟内生真菌（其中根内生真菌43株，茎内生真菌11株，叶内生真菌24株）代澍产物的组分。【方法】78株油樟内生真菌经PDA液体培养基摇床培养8d后，取液体发酵产物，采用G
电力无线虚拟专网能够向电力企业提供视频、图像、数据以及语音业务无线接入功能,本文通过对电力无线虚拟专网的组网技术以及结构特征展开研究,分析与电力无线虚拟专网相适应
本文在分析地区配电通信网现状的基础上, 指出了存在的问题, 并提出采用 UAPS 技术予以解决.事实证明, 通过 UAPS保护, 实现了物理链路层和数据链路层的双重保护, 有效保证了