RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2021 Volume 62, Number 5, Pages 1013–1038 (Mi smj7611)

This article is cited in 3 papers

A semilattice of degrees of computable metrics

R. A. Kornev

Sobolev Institute of Mathematics, Novosibirsk, Russia

Abstract: Under study is the ordering $\mathcal{{CM}}_c(\mathbf{X})$ of $c$-degrees of computable metrics on a Polish space $\mathbf{X}$ with a distinguished dense subset. We prove that this ordering forms a lower semilattice. If, for a computable metric $\rho$ on $\mathbf{X}$, there is a computable limit point in $(X,\rho)$; it is possible to construct a computable metric $\rho'<_c\rho$. Under the same assumption, there exists a computable metric $\widehat{\rho}$ such that $\deg_c(\rho)$ and $\deg_c(\widehat{\rho})$ have no common upper bounds in $\mathcal{{CM}}_c(\mathbf{X})$; thus, in this case $\mathcal{{CM}}_c(\mathbf{X})$ is neither an updirected poset nor an upper semilattice.

Keywords: computable metric space, Cauchy representation, reducibility of representations, computable analysis.

UDC: 510.5

MSC: 35R30

Received: 02.06.2021
Revised: 02.06.2021
Accepted: 11.06.2021

DOI: 10.33048/smzh.2021.62.505


 English version:
Siberian Mathematical Journal, 2021, 62:5, 822–841

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024