Effective subsets under homeomorphisms of R^n
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.
- On homeomorphisms of effective topological spaces
- Negligible subsets in the space of homeomorphisms
- Homeomorphisms of compact sets in certain Hausdorff spaces
- On homeomorphisms of hyperspaces of convex subsets
- scientific article; zbMATH DE number 4015652
- Publication:4946214
- scientific article; zbMATH DE number 3962702
- Expansive homeomorphisms and indecomposable subcontinua
- Effective continuities on effective topological spaces
- Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
- Effective domain representations of \({\mathcal H}(X)\), the space of compact subsets
- Effectiveness for embedded spheres and balls
- Computability of Subsets of Metric Spaces
- COMPUTABLY COMPACT METRIC SPACES
- A non-computable c.e. closed subset of \([0, 1]\)
- A counterexample regarding C.E. closed subsets of \([0, 1]\) under homeomorphisms
- On degree-preserving homeomorphisms between trees in computable topology
This page was built for publication: Effective subsets under homeomorphisms of \(\mathbb{R}^n\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q897661)
