Effective zero-dimensionality for computable metric spaces

DOI10.2168/LMCS-11(1:11)2015MaRDI QIDQ5246716zbMATH OpenFDO

Authors Robert Kenny

Publication date 22 April 2015

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1501.03783

zbMATH Keywords

computable analysisdimension theoryzero-dimensional

Mathematics Subject Classification ID

Applications of computability and recursion theory (03D80) Constructive and recursive analysis (03F60) Metric spaces, metrizability (54E35) Dimension theory in general topology (54F45)

Abstract: We begin to study classical dimension theory from the computable analysis (TTE) point of view. For computable metric spaces, several effectivisations of zero-dimensionality are shown to be equivalent. The part of this characterisation that concerns covering dimension extends to higher dimensions and to closed shrinkings of finite open covers. To deal with zero-dimensional subspaces uniformly, four operations (relative to the space and a class of subspaces) are defined; these correspond to definitions of inductive and covering dimensions and a countable basis condition. Finally, an effective retract characterisation of zero-dimensionality is proven under an effective compactness condition. In one direction this uses a version of the construction of bilocated sets.

Recommendations

• Effective dimension in some general metric spaces
• Effective dispersion in computable metric spaces
• Effective Hausdorff dimension in general metric spaces
• On a metric generalization of the \(tt\)-degrees and effective dimension theory
• On computably locally compact Hausdorff spaces

Cited in

(5)

• Effective dispersion in computable metric spaces
• scientific article; zbMATH DE number 1746046 (Why is no real title available?)
• Computability of Subsets of Metric Spaces
• Effective aspects of Hausdorff and Fourier dimension
• On a metric generalization of the \(tt\)-degrees and effective dimension theory

This page was built for publication: Effective zero-dimensionality for computable metric spaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5246716)