构造性测度论中的集合族
逻辑
2022-07-11 v1
摘要
我们给出了构造性 Bishop-Cheng 测度论的可预测性重建的初步步骤。在 Bishop 集合论的一种半形式化阐述中工作，并引入集合-indexed 子集族（给定集合的）这一概念，我们得到了预积分空间与预测度空间的概念。随后我们构造了与预测度空间相关联的简单函数的预积分空间，以及预积分空间的 -完备化。与 Bishop-Cheng 测度论的标准表述不同，我们的展开完全是可预测的，并避免了可数选择公理。
引用
@article{arxiv.2207.04000,
title = {Families of Sets in Constructive Measure Theory},
author = {Max Zeuner},
journal= {arXiv preprint arXiv:2207.04000},
year = {2022}
}