选择公理

作品数：43被引量：40H指数：3
导出分析报告
相关领域：理学哲学宗教更多>>
相关作者：王习娟杨旭高迎刘应明贺伟更多>>
相关机构：陕西师范大学南京师范大学南京大学北京航空航天大学更多>>
相关期刊：《移动信息》《高等数学研究》《中国学术期刊文摘》《南京大学学报（自然科学版）》更多>>
相关基金：国家自然科学基金安徽省高校省级自然科学研究项目国家社会科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
利用群作用构造一类不可测集
《应用数学进展》2024年第4期1334-1337,共4页梁亚华 
本文研究了群作用和Zermelo选择公理构造出一类一维不可测集,为了得到主要结果,进行了n维不可测集的构造,在群作用和Zermelo选择公理的前提下,用构造的方法给出了n维不可测集,从而证明了一类n维不可测集的存在性,且给出了该类型不可测...
关键词：不可测集 Zermelo选择公理 群作用 
选择公理的一些刻画及其应用举例
《高等数学研究》2022年第4期48-51,共4页甘爱萍 杨义川 
国家自然科学基金(12171022,11801239).
本文对选择公理及其等价的一些形式进行了小结,并辅以应用实例.以帮助初学者更好的理解、学习和应用选择公理.
关键词：选择公理 ZORN引理 Hausdorff极大原理 良序原理 偏序集 极小元 
选择公理与Tukey引理等价性的机器证明被引量：1
《北京邮电大学学报》2019年第5期1-7,共7页孙天宇 郁文生 
国家自然科学基金项目(61571064,61936008).
基于计算机证明辅助工具Coq,提出一种选择公理与Tukey引理等价性的形式化证明.在公理化集合论形式化系统基础上,给出选择公理与Tukey引理的形式化描述,这是Tukey引理的首次形式化.完成了选择公理与Tukey引理等价性的证明代码,并在Coq中...
关键词：机器证明 形式化数学 选择公理 Tukey引理 
模糊范畴fuz中的选择公理被引量：2
《模糊系统与数学》2019年第4期21-27,共7页王潇扬 王宝山 王拥军 周恒 
国家自然科学基金资助项目(11371044)
Topos结构是范畴论中刻画集合论的强有力工具,AC1和AC2是topos中选择公理的两种表达形式.模糊范畴fuz不是topos,仅有一个弱topos的结构,在fuz中有两个相对应的等价的选择公理WAC1和WAC2.在此基础上,本文给出两个加强的选择公理WAC1′和W...
关键词：范畴论 TOPOS 模糊集 选择公理 
Vitali集与Bernstein集之间的关系
《通讯世界》2019年第4期221-222,共2页沈佳婧 
为了研究勒贝格不可测集之间的关系,本文基于勒贝格可测集和不可测集的定义,运用了选择公理与良序定理构造了Vitali集与Bernstein集,并讨论了两者之间的关系,得出了在[0,1]上存在既是Vitali集又是Bernstein集的不可测集,也存在既不是Vit...
关键词：勒贝格可测集 勒贝格不可测集 Vitali集 Bernstein集 选择公理 
选择公理在现实中的实际应用
《新经济》2016年第23期46-47,共2页石夫磊 高迎 董文秀 
本文对选择公理及其等价命题做了简要的介绍及证明,并且比较详细地论述了选择公理在现实中的实际应用。
关键词：选择公理 等价命题 
浅谈选择公理及其等价命题
《移动信息》2016年第3期63-64,68,共3页高迎 石夫磊 
对选择公理的背景知识及其在数学中的地位与作用以及若干等价命题作了比较系统的论述.
关键词：选择公理 集合 函数 代数 
Topos中选择公理的一个等价刻画被引量：3
《山东大学学报（理学版）》2015年第12期54-57,64,共5页卢涛 王习娟 贺伟 
国家自然科学基金资助项目(11171156);安徽省高校自然科学研究重点项目(KJ2015A064)
基于Topos中的偏序对象,以及相应的完备格对象定义,证明了选择公理的一个新刻画:选择公理成立当且仅当连续格对象等价于构造性连续格对象。
关键词：TOPOS 偏序对象 完备格对象 选择公理 
论数学知识的主体维度及其范式张力被引量：2
《自然辩证法研究》2015年第10期114-119,共6页黄秦安 
柏拉图主义者和实在论者把数学知识设想为理念世界的一部分,人的认识作用被仅仅局限在发现的范围之内。然而,数学知识除了其客观性之外,还具有不可忽视的主观性品质。这种主观性显现在主体内在性和主体间性这两个维度上。前者主要凸显...
关键词：主体内在性 主体间性 分形 选择公理 范式张力 
选择公理在数学分析演绎推理中的作用和意义
《安阳工学院学报》2013年第2期89-90,共2页张明会 高婷婷 
每一个正确的数学演绎证明的逻辑结构,就是一个逻辑定理;反之每一个逻辑定理反映了一个正确的数学演绎推理规则。数学分析也不能例外,因各门学科都有自己的特点,所以运用这些逻辑定理的侧重点也不一样。因此,通过实例来探讨选择公理在...
关键词：选择公理 演绎推理 数学分析 作用 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部