Effective subsets under homeomorphisms of \(\mathbb{R}^n\) (Q897661)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Effective subsets under homeomorphisms of \(\mathbb{R}^n\) |
scientific article |
Statements
Effective subsets under homeomorphisms of \(\mathbb{R}^n\) (English)
0 references
7 December 2015
0 references
This paper studies the (non-)preservation of computability of a compact subset of \(\mathbb{R}^n\) under arbitrary (i.e. not necessarily computable) homeomorphisms. Strengthening the result that any non-empty computable compact subset of \(\mathbb{R}^n\) is homeomorphic to a non-computable compact subset of \(\mathbb{R}^n\), the paper proves a conjecture of Braverman. Namely, there is a computably (co-)enumerable compact subset K of \([0,1]^n\) such that under no homeomorphism \(f\) on \(\mathbb{R}^n\) do we have that \(f(K)\) is computable.
0 references
computability
0 references
real numbers
0 references
computable analysis
0 references
Euclidean space
0 references
compact subset
0 references
computable subset
0 references
computably enumerable subset
0 references
computably coenumerable subset
0 references
homeomorphism
0 references
arithmetical hierarchy
0 references