拓扑空间的计算环境

来源 :四川大学学报:自然科学版 | 被引量 : 0次 | 上传用户:esinstra
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
讨论了Tychonoff空间的计算环境.主要结论有:Choquet完备的弱domain,其极大点空间也是Choquet完备的;拓扑空间X是Tychonoff空间当且仅当X有一有界完备的弱环境;Tychonoff空间的Hausdorff紧化可以通过其计算环境实现.
其他文献
林下经济能统筹民生林业和生态林业的协调发展,是一种绿色经济、低碳经济、循环经济,它既是保护森林资源的有力抓手,又是实现绿色增长的有效途径,让广大林农在坐拥青山绿水的
针对目前数字媒体安全所面临的严重状况,提出并实现了针对数字媒体运行环境的一种轻量级的可信增强安全平台.为了确保系统的实用性,本平台着重于在现有计算机系统上,通过软件的方
摘 要:该文分析了广德县耕地肥力出现的问题,总结了提高土壤肥力的总体途径,并针对性提出了广德县具体土壤改良措施。  关键词:土壤培肥;肥力;途径;措施  中图分类号 S158 文献标识码 A 文章编号 1007-7731(2016)18-0071-02  广德县地处皖东南,地貌呈“七山一水一分田,一分道路和庄园”的格局,是一个山区农业县,主要以种植水稻、油菜、小麦为主。改革开发以来,农业生产得到快
摘 要:该文研究总结了皖南烟区田间养烟技术的实施效果、成本效益、技术标准及操作要点,主要包括:深翻耕、深移栽、深挖沟、高起垄、水肥平衡、揭膜培土、减少操作技术。  关键词:皖南;烤烟;田间养烟技术;推广  中图分类号 S572 文献标识码 A 文章编号 1007-7731(2016)22-0042-03  Abstract:The research summarizes the implement
甘蓝型油菜波利马(Brassica napusp pol.)细胞质雄性不育系是一种很有实用价值的油菜不育类型.目前关于其分子机制的研究已证实,线粒体ATP合成酶的一个亚基ATP6与其雄性不育相关.本
摘 要:在全面深化改革的大背景下,农村的信息化是建设新农村的重要一环。正确把握农村信息化的发展现状,找出农村信息化存在的问题是农村信息化建设的重要内容。采用鱼骨分析法分析了农村信息化现状以及存在的问题,并给出了相应的解决对策,为进一步加快农村信息化建设提供了保障。  关键词:农村信息化;鱼骨分析法;问题;对策  中图分类号 F323.3 文献标识码 A 文章编号 1007-7731(2016)06
高温等离子体状态方程是热核聚变实验和理论的重要参数.对于高温低密的等离子体,经典集团展开求解是最佳途径之一.但在应用中会遇到库仑相互作用的长程与短程发散困难,为了解决短
讨论了拟线性抛物型方程具有第三非线性边界条件的混合问题的解的爆破行为,得到几种拟线性抛物方程解的爆破条件.
采用密度泛函理论的B3LYP方法,在6.31G。基组水平下研究了6-羟基-1-菲基-哌啶-2-酮脱羟基生成吡咯里西啶类生物碱的微观反应机理.优化了反应过程中的反应物、中间体、过渡态和产
利用Hoelder不等式,时滞差分不等式以及非负矩阵谱半径的性质,得到了一类具有变时滞的随机向量差分方程的均方指数稳定的充分条件.