Dyck分离定理与Preiss分离定理的统一形式
逻辑
2017-03-21 v1
摘要
我们关注关于解析集的两个分离定理：Dyck定理涉及Cantor空间的正定子集，Preiss定理涉及有限维Banach空间的Borel凸子集。我们通过引入相应的分离树，证明这两个结果都允许构造性证明。这使我们能够给出这些分离定理的统一形式，并作为推论导出类似于由Souslin-Kleene定理提供的“HYP是有效双解析的”这一基本事实的结果。
引用
@article{arxiv.1703.06480,
title = {The Dyck and the Preiss separation uniformly},
author = {Vassilios Gregoriades},
journal= {arXiv preprint arXiv:1703.06480},
year = {2017}
}
备注
42 pages, preprint