搜索到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是正规弱次亚紧弱次亚紧的。
曹金文宋际平杨家会
关键词:可数仿紧

相关作者

朱培勇
作品数:87被引量:162H指数:8
供职机构:电子科技大学数学科学学院
研究主题:拓扑空间 连续自映射 半拓扑空间 混沌 乘积性质
王建军
作品数:67被引量:46H指数:4
供职机构:湖南第一师范学院
研究主题:信息安全 安全内核 差分 晶体管 传输门
李卫平
作品数:2被引量:2H指数:1
供职机构:电子科技大学
研究主题:MESO紧空间 MESO TYCHONOFF乘积 子空间 散射分解
徐忠昌
作品数:22被引量:28H指数:3
供职机构:中国人民解放军海军工程大学理学院
研究主题:奇异积分 声散射 回声强度 差分格式 拓扑空间
任萍
作品数:1被引量:0H指数:0
供职机构:成都理工大学
研究主题:TYCHONOFF乘积 广义度量空间 拓扑空间 ORTHO