咨询与建议

限定检索结果

文献类型

  • 6 篇 期刊文献
  • 1 篇 学位论文

馆藏范围

  • 7 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 7 篇 理学
    • 7 篇 数学
  • 1 篇 哲学
    • 1 篇 哲学

主题

  • 7 篇 tychonoff乘积定理...
  • 2 篇 逆极限
  • 1 篇 强次亚紧空间
  • 1 篇 拓扑空间
  • 1 篇 有限覆盖性质
  • 1 篇 可数仿紧空间
  • 1 篇 frame
  • 1 篇 闭包空间
  • 1 篇 正规狭义拟仿紧
  • 1 篇 可数乘积
  • 1 篇 模糊拓扑学
  • 1 篇 拓扑学
  • 1 篇 单子
  • 1 篇 布尔巴基学派
  • 1 篇 alexander子基定理...
  • 1 篇 紧性
  • 1 篇 遗传狭义拟仿紧
  • 1 篇 非标准扩大模型
  • 1 篇 逆极限定理
  • 1 篇 狭义拟仿紧空间

机构

  • 2 篇 西南民族学院
  • 1 篇 上海师范大学
  • 1 篇 伊犁师范大学
  • 1 篇 成都理工大学
  • 1 篇 四川大学
  • 1 篇 临沂职业学院
  • 1 篇 西安培华学院
  • 1 篇 西安建筑科技大学

作者

  • 2 篇 朱培勇
  • 1 篇 纪晓阳
  • 1 篇 陈仪香
  • 1 篇 凌思兰
  • 1 篇 糟晓燕
  • 1 篇 史艳维
  • 1 篇 孙文
  • 1 篇 马春晖
  • 1 篇 杨茜

语言

  • 7 篇 中文
检索条件"主题词=Tychonoff乘积定理"
7 条 记 录,以下是1-10 订阅
排序:
基于Coq的tychonoff乘积定理的机器证明
基于Coq的Tychonoff乘积定理的机器证明
收藏 引用
作者: 糟晓燕 伊犁师范大学
学位级别:硕士
布尔巴基学派的序、代数、拓扑三大母结构是现代数学的基础.利用交互式定理证明工具Coq,可以完整构建这三大母结构的形式化系统.本文在初等集论形式化的基础上,给出点集拓扑学形式化的构架,通过对拓扑、基、子基、积空间及紧致性等相关... 详细信息
来源: 同方学位论文库 同方学位论文库 评论
拓扑系统范畴完备性与tychonoff乘积定理
收藏 引用
上海师范大学学报(自然科学版) 1998年 第3期27卷 20-27页
作者: 陈仪香 上海师范大学数学科学学院 上海200234
拓扑系统是目前最广泛的拓扑学研究对象,它以点集拓扑空间、Locale的空间化、模糊拓扑空间与拓扑分子格为特例,用它可研究计算机程序设计语言指称语义的Domain理论.本文旨在建立拓扑系统范畴的乘积结构与等子结构,表明拓扑系统范畴... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
完全正则狭义拟仿紧空间的逆极限及tychonoff乘积定理
收藏 引用
四川理工学院学报(自然科学版) 2013年 第6期26卷 80-82页
作者: 孙文 杨茜 纪晓阳 成都理工大学管理科学学院 成都610059
狭义拟仿紧空间是广义仿紧空间类的重要空间,文章在附加完全正则的条件下讨论了狭义拟仿紧空间的逆极限定理tychonoff乘积定理,得到以下主要结论:(1)设X=←lim{xσ,πσρ,Σ},并且每一个投射πσ:Χ→Xσ是开满射,设X是Σ-仿紧空间,... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
L-闭包空间的tychonoff乘积定理
收藏 引用
网友世界 2014年 第13期 264-264页
作者: 凌思兰 临沂职业学院
在闭包空间中借助于开集,给出了开覆盖的概念,运用逻辑吸取式结构给出了紧集和紧空间的概念,证明了tychonoff乘积定理成立。
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
正规狭义拟仿紧的乘积性质
收藏 引用
数学年刊(A辑) 2001年 第3期22卷 369-374页
作者: 朱培勇 四川大学数学学院 西南民族学院 成都610041
本文主要证明了如下一些结果:(1)设X=Lim并且每个投射πσ是开满映射,如果X是-仿紧的且每个 Xσ是正规狭义拟仿紧的,则 X是正规狭义拟仿紧的;如果 X是遗传-仿紧的且每个 Xσ是遗传正规狭义拟仿紧的.则 X是遗传正... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
模糊拓扑空间中有限覆盖性质的非标准刻画
收藏 引用
纺织高校基础科学学报 2012年 第3期25卷 324-326页
作者: 史艳维 马春晖 西安培华学院基础部 陕西西安710125 西安建筑科技大学理学院 陕西西安710055
在非标准扩大模型下,讨论了模糊拓扑空间中有限覆盖性质的非标准刻画.将模糊集合扩张为非标准模糊集合,并定义了模糊点的单子.借助模糊点的单子给出了有限覆盖性质的非标准刻画,并在此基础上得到了有限覆盖空间的非标准刻画.证明了有限... 详细信息
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
强次亚紧的乘积性质及其与次亚紧的关系
收藏 引用
西南师范大学学报(自然科学版) 2002年 第6期27卷 823-827页
作者: 朱培勇 西南民族学院数学系 成都610041
首先证明了强次亚紧空间的一个逆极限定理;然后,利用此逆极限定理导出了强次亚紧空间的具有无限个乘积因子的两个tychonoff乘积定理;最后,证明了遗传强次亚紧性和遗传次亚紧性是等价的.
来源: 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论