JUCS - Journal of Universal Computer Science 15(6): 1145-1161, doi: 10.3217/jucs-015-06-1145
On the Effective Existence of Schauder Bases
expand article infoVolker Bosserhoff
‡ Universität der Bundeswehr, Munich, Germany
Open Access
Abstract
We construct a computable Banach space which possesses a Schauder basis, but does not possess any computable Schauder basis.
Keywords
computatable functional analysis, Schauder basis