Annals of Pure and Applied Logic 162 (3):182-193 (2010)

We discuss computability properties of the set of elements of best approximation of some point xX by elements of GX in computable Banach spaces X. It turns out that for a general closed set G, given by its distance function, we can only obtain negative information about as a closed set. In the case that G is finite-dimensional, one can compute negative information on as a compact set. This implies that one can compute the point in whenever it is uniquely determined. This is also possible for a wider class of subsets G, given that one imposes additionally convexity properties on the space. If the Banach space X is computably uniformly convex and G is convex, then one can compute the uniquely determined point in . We also discuss representations of finite-dimensional subspaces of Banach spaces and we show that a basis representation contains the same information as the representation via distance functions enriched by the dimension. Finally, we study computability properties of the dimension and the codimension map and we show that for finite-dimensional spaces X the dimension is computable, given the distance function of the subspace
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2010.09.011
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,410
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Unique Solutions.Peter Schuster - 2006 - Mathematical Logic Quarterly 52 (6):534-539.
Borel Complexity and Computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.
Computational Complexity on Computable Metric Spaces.Klaus Weirauch - 2003 - Mathematical Logic Quarterly 49 (1):3-21.
Corrigendum to “Unique Solutions”.Peter Schuster - 2007 - Mathematical Logic Quarterly 53 (2):214-214.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Decidable Subspaces and Recursively Enumerable Subspaces.C. J. Ash & R. G. Downey - 1984 - Journal of Symbolic Logic 49 (4):1137-1145.
Borel Complexity and Computability of the Hahn–Banach Theorem.Vasco Brattka - 2008 - Archive for Mathematical Logic 46 (7-8):547-564.
Computability on Finite Linear Configurations.Thomas H. Payne - 1975 - Notre Dame Journal of Formal Logic 16 (3):354-356.
Order‐Free Recursion on the Real Numbers.Vasco Brattka - 1997 - Mathematical Logic Quarterly 43 (2):216-234.
Quantum Logics and Hilbert Space.Sylvia Pulmannová - 1994 - Foundations of Physics 24 (10):1403-1414.
Approximation Representations for Δ2 Reals.George Barmpalias - 2004 - Archive for Mathematical Logic 43 (8):947-964.


Added to PP index

Total views
8 ( #1,010,489 of 2,519,809 )

Recent downloads (6 months)
2 ( #270,824 of 2,519,809 )

How can I increase my downloads?


My notes