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
    0 references
    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
    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

    Identifiers