Tychonoff乘积定理相关论文
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用交互式定理证明工具Coq,可以完整构建这三大母结构的形式化系统.本......
在非标准扩大模型下,讨论了模糊拓扑空间中有限覆盖性质的非标准刻画.将模糊集合扩张为非标准模糊集合,并定义了模糊点的单子.借助......
拓扑系统是目前最广泛的拓扑学研究对象，它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例，用它可研究计算机程序......
狭义拟仿紧空间是广义仿紧空间类的重要空间，文章在附加完全正则的条件下讨论了狭义拟仿紧空间的逆极限定理和Tychonoff乘积定理，得......
首先证明了强次亚紧空间的一个逆极限定理;然后,利用此逆极限定理导出了强次亚紧空间的具有无限个乘积因子的两个Tychonoff乘积定......
本文主要证明了如下一些结果:(1)设X=Lim{Xσ,πσρ,∑}并且每个投射πσ是开满映射,如果X是|∑|-仿紧的且每个Xσ是正规狭义拟仿......
在闭包空间中借助于开集,给出了开覆盖的概念,运用逻辑吸取式结构给出了紧集和紧空间的概念,证明了Tychonoff乘积定理成立。......
