首页> 外文会议>Logic and Theory of Algorithms >Factoring Out Intuitionistic Theorems:Continuity Principles and the Uniform Continuity Theorem
【24h】

Factoring Out Intuitionistic Theorems:Continuity Principles and the Uniform Continuity Theorem

机译:排除直觉定理:连续性原理和一致连续性定理

获取原文
获取原文并翻译 | 示例

摘要

We prove the equivalence between some intuitionistic theorems and the conjunction of a continuity principle and a compactness principle over Bishop's Constructive Mathematics within the programme of Constructive Reverse Mathematics. To clarify our line of thought, we first point out the relation between quasi-equicontinuity, quasi-uniform convergence, and the continuity principle saying that the limit of a convergent sequence of continuous functions is again continuous. Finally, as a spin-off, we conclude that we have found a new, more economic proof of the statement that every convergent sequence of functions on a compact metric space converges uniformly.
机译:我们在构造逆数学程序中证明了一些直觉定理之间的等价性以及Bishop构造数学的连续性原理和紧致性原理的结合。为了阐明我们的思路,我们首先指出准等连续性,准均匀收敛和连续性原理之间的关系,即连续函数的收敛序列的极限再次是连续的。最后,作为衍生产品,我们得出的结论是,我们发现了一种新的,更经济的证据,证明了紧凑度量空间上函数的每个收敛序列均会收敛。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号