构造实数区间的连通性类型
逻辑
2021-09-30 v3 一般拓扑
摘要
我们研究构造性度量空间的不同连通性概念。它们的区别在于连通分量的类型以及不同分量之间如何相互关联。这些概念在经典点集拓扑中是等价的，但在构造性框架下却有所不同。具体而言，构造实数区间在使用某些连通空间定义时表现为连通的，而在使用其他定义时则不连通。本研究是作者先前工作的延续，其灵感源于 Andrej Bauer 关于局部常值函数性质的问题。
引用
@article{arxiv.2108.11189,
title = {Types of connectedness of the constructive real number intervals},
author = {Viktor Chernov},
journal= {arXiv preprint arXiv:2108.11189},
year = {2021}
}
备注
8 pages, references updated