当前位置: X-MOL 学术Ann. Pure Appl. Logic › 论文详情
Our official English website, www.x-mol.net, welcomes your feedback! (Note: you will need to create a separate account there.)
On equivalence relations generated by Cauchy sequences in countable metric spaces
Annals of Pure and Applied Logic ( IF 0.8 ) Pub Date : 2020-06-25 , DOI: 10.1016/j.apal.2020.102854
Longyun Ding , Kai Gu

Let X be the set of all metrics on ω, and let Xcpt be the set of all metrics r on ω such that the completion of (ω,r) is compact. We define the Cauchy sequence equivalence relation Ecs on X as: rEcss iff the set of Cauchy sequences in (ω,r) is same as in (ω,s). We also denote Ecsc=EcsXcpt.

We show that Ecs is a Π11-complete equivalence relation, while Ecsc is a Π30 equivalence relation. We also show that Ecsc is Borel bireducible to an orbit equivalence relation. Furthermore, we investigate the Borel reducibility between Ecsc and some benchmark equivalence relations. For instance, we show that =+ and Rω/c0 are Borel reducible to Ecsc, and E1 is not. Restrictions of Ecsc on some special invariant subsets of Xcpt are also considered.



中文翻译:

关于可数度量空间中柯西序列产生的等价关系

Xω上所有度量的集合,并令Xcpt是集合所有指标[Rω使得完成ω[R紧凑。我们定义柯西序列等价关系ËcsX 如: [RËcss 如果在其中的柯西序列集 ω[R 与中相同 ωs。我们也表示Ëcsc=ËcsXcpt

我们证明 Ëcs 是一个 Π1个1个-完全等价关系,而 Ëcsc 是一个 Π30等价关系。我们还表明ËcscBorel可归约为一个轨道等价关系。此外,我们研究了Ëcsc以及一些基准等效关系。例如,我们表明=+[Rω/C0 Borel可还原为 ËcscË1个不是。的限制Ëcsc 在...的一些特殊不变子集上 Xcpt 也被考虑。

更新日期:2020-06-25
down
wechat
bug