搜索到38 篇“ TYCHONOFF乘积 “的相关文章
基于Coq的Tychonoff乘积 定理的机器证明 布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用交互式定理证明工具Coq,可以完整构建这三大母结构的形式化系统.本文在初等集论形式化的基础上,给出点集拓扑学形式化的构架,通过对拓扑、基、子基、积空间及紧致性等... 糟晓燕关键词:COQ 拓扑 文献传递 完全正则狭义拟仿紧空间的逆极限及Tychonoff乘积 定理 2013年 狭义拟仿紧空间是广义仿紧空间类的重要空间,文章在附加完全正则的条件下讨论了狭义拟仿紧空间的逆极限定理和Tychonoff乘积 定理,得到以下主要结论:(1)设X=←lim{xσ,πσρ,Σ},并且每一个投射πσ:Χ→Xσ是开满射,设X是Σ-仿紧空间,其中Σ>2,若每一个Χσ是完全正则狭义拟仿紧空间,则Χ也是完全正则狭义拟仿紧空间;(2)记X=∏α∈ΛXα是Λ-仿紧空间,则Χ是完全正则狭义拟仿紧空间当且仅当σ∈Σ,Χ=∏α∈σΧα是完全正则狭义拟仿紧空间,其中:Σ=Λ。文章的证明方法以及得出的结论使狭义拟仿紧空间的逆极限的保持性及其乘积 性更加清楚,同时所讨论的内容也使得狭义拟仿紧空间类的一些性质在应用时更加方便。 孙文 杨茜 纪晓阳关于弱次meso紧空间的无限Tychonoff乘积 2011年 得到了弱次meso紧空间的无限Tychonoff乘积 的两个等价刻画,然后用类似的方法,得到了遗传弱次meso紧空间的的无限Tychonoff乘积 的类似结果。 李卫平 朱培勇关键词:TYCHONOFF乘积 关于强遗传meso紧空间的等价刻画与Tychonoff乘积 被引量:2 2011年 首先证明:X是强遗传meso紧空间当且仅当X的每个开子空间的每个散射分解在X上有紧有限的开膨胀;然后推出关于强遗传meso紧空间的1个充要条件和1组等价刻画;最后获得了强遗传meso紧空间的1个Ty-chonoff乘积 定理. 李卫平 朱培勇关键词:散射分解 subortho-紧空间的无限Tychonoff乘积 性质 被引量:1 2011年 证明了如下结果:(1)如果X=multiply from t∈∑ Xτ是∑-仿紧空间,则X是subortho-紧空间当且仅当F∈[∑]〈ε,X=multiply from τ∈F Xτ是subortho-紧空间.(2)设X=multiply from i∈ω Xi是可数仿紧的,则下列3y条等价:X是subortho-紧的;F∈[ω]〈ω,X=multiply from i∈F Xi是subortho-紧的;n∈ω,multiply from i≤n Xi是subortho-紧的. 纪广月关键词:可数仿紧 超仿紧空间的无限Tychonoff乘积 2009年 证明了超仿紧空间具有现有的σ-积结果和逆极限结果的Tychonoff乘积 性质.定理1设X=multiply from σ∈Σ to (Xσ)是|Σ|-超仿紧空间,则X是超仿紧空间当且仅当F∈[Σ]<ω,multiply from σ∈F to (Xσ)是超仿紧空间.定理2设X=multiply from i∈ω to (Xn)是可数超仿紧空间,则下列各条等价:(1)X是超仿紧空间;(2)F∈[ω]<ω,multiply from i∈F to (Xi)是超仿紧空间;(3)n∈ω,multiply from i 史国民 朱培勇关于遗传超仿紧空间的Tychonoff乘积 性质 2009年 本文主要证明:(1)如果X=Πσ∈ΣXσ是遗传|Σ|-超仿紧空间,则X是遗传超仿紧空间当且仅当F∈Σ,Πσ∈FXσ是遗传超仿紧空间.(2)设X=Πσ∈ΣXσ是遗传可数超仿紧空间,则下列三条等价:X是遗传超仿紧空间;F∈[ω]<ω,Πi∈FXi是遗传超仿紧空间;n∈ω,Πi≤nXi是遗传超仿紧空间. 史国民 朱培勇拓扑空间的逆极限及Tychonoff乘积 空间 1990年,日本著名拓扑学家K.Chiba证明了在λ-仿紧条件下正规、集体正规等拓扑空间的逆极限运算是保持不变的.最近十多年来,我国拓扑学者熊朝晖、蒋继光等在正规σ集体正规、δ-正规以及狭义拟仿紧等用覆盖刻画的拓扑空间上... 王建军关键词:拓扑空间 TYCHONOFF乘积 文献传递 弱subortho-紧空间的无限Tychonoff乘积 被引量:2 2007年 文章证明了如下结果:(1)如果X=Πσ∈ΣXσ是│Σ│-仿紧空间,则X是弱subortho-紧空间当且仅当F∈[Σ]<ω,X=Πσ∈F Xσ是弱subortho-紧空间。(2)X=Πi∈ωXi是可数仿紧的,则下列三条等价:X是弱subortho-紧的;F∈[ω]<ω,∏i∈F Xi是弱subortho-紧的;n∈ω,Πi≤n Xi是弱subortho-紧的。 纪广月关键词:可数仿紧 正规弱次亚紧空间Tychonoff乘积 的刻画 被引量:1 2007年 文章主要证明了如下结果:(1)如果X=∏α∈Λ的当且仅当F∈[Λ]<ω,∏α∈FXα是正规弱次亚紧的;(2)如果X=i∈∏ωXi是可数仿紧的,则下列三条等价:X是正规弱次亚紧的;F∈[ω]<ω,∏i∈FXi是正规弱次亚紧的;n∈ω,i≤∏nXi是正规Xα是|Λ|仿紧空间,则X是正规弱次亚紧弱次亚紧的。 曹金文 宋际平 杨家会关键词:可数仿紧