论文部分内容阅读
我们给出了不同于传统的用到稠密性质的对度量空间之完备化空间的定义，并证明此定义与传统定义等价。此定义用范畴论的语言给出，使其可以在任意的范畴中推广。
度量空间的完备化空间的等价刻划
【摘 要】
：
我们给出了不同于传统的用到稠密性质的对度量空间之完备化空间的定义，并证明此定义与传统定义等价。此定义用范畴论的语言给出，使其可以在任意的范畴中推广。
【机 构】
：
北京师范大学数学科学学院
【出 处】
：
世界科技研究与发展
【发表日期】
：
2008年4期
【基金项目】
：
致谢：本文是在杨大春教授的悉心指导与袁文博士的无私帮助下完成的,在此对杨大春教授与袁文博士表示衷心的感谢.
其他文献
本文介绍计算机自动生成微结构制造流程的技术。微结构器件的种类繁多，不同器件的加工特点都不相同。即以中等复杂程度的CMOS结构而吉，其制造流程就达到了几百个步骤之多，因此流
目的探讨大鼠骨髓单个核细胞的最佳分离方法,观察不同培养条件对内皮祖细胞的生长情况、抗原表达的影响。方法健康SD大鼠水合氯醛麻醉后断尾放血,从其骨髓中分离单个核细胞,
对于粘性土液性指数，传统做法是：通过测试天然含水率和液、塑限含水率，然后利用公式计算得到液性指数；本文依据液、塑限联合测定法基本理论，事先建立液性指数和锥沉深度关系曲线，在
高性能雷达伺服控制器是雷迭设计中的一个重要问题。在这篇文章中，采用ARM＋FPGA结构设计了一种高性能的雷达伺服控制器，设计了ARM的最小系统，在这基础上添加了必要的外围设备，包括
本文运用O-U过程刻画环境变化性，在Edoardo Beretta基础上构造了有色噪声影响下的随机时滞的传染病模型。运用一般Lyapunonv方法研究了有色噪声对该系统的影响并得到系统正平
在手术、创伤、应激等因素所致的炎症中，细胞因子起着重要作用。炎性细胞因子产生和释放过多，破坏了致炎因子和抗炎因子的平衡，从而引起炎症反应。适当的炎症反应可以起到抵抗损
[摘 要] 视频标注工具（Video Annotation Tool，VAT）在师范生教学技能培训中的作用日益凸显。但是，国内外现行的VAT辅助于微格教学，在功能与语言环境上有诸多不尽人意的地方。为此，我们设计开发了新型微格教学视频标注系统（Microteaching Video Annotation System，MVAS）。该系统采用HTML5作为前台技术，运用Java+MySQL作为后台技术