منابع مشابه
Computable Banach Spaces via
This paper extends the order-theoretic approach to computable analysis via continuous domains to complete metric spaces and Banach spaces. We employ the domain of formal balls to deene a computability theory for complete metric spaces. For Banach spaces, the domain specialises to the domain of closed balls, ordered by reversed inclusion. We characterise computable linear operators as those whic...
متن کاملPolish spaces, computable approximations, and bitopological spaces
Answering a question of J. Lawson (formulated also earlier, in 1984, by Kamimura and Tang [Theoret. Comput. Sci. 34 (1984) 275–288]) we show that every Polish space admits a bounded complete computational model, as defined below. This results from our construction, in each Polish space 〈X,τ 〉, of a countable family C of non-empty closed subsets of X such that: (cp) each subset of C with the fin...
متن کاملConstructive Equivalence Relations on Computable Probability Measures
A central object of study in the field of algorithmic randomness are notions of randomness for sequences, i.e., infinite sequences of zeros and ones. These notions are usually defined with respect to the uniform measure on the set of all sequences, but extend canonically to other computable probability measures. This way each notion of randomness induces an equivalence relation on the computabl...
متن کاملEffective Randomness for Computable Probability Measures
Any notion of effective randomness that is defined with respect to arbitrary computable probability measures canonically induces an equivalence relation on such measures for which two measures are considered equivalent if their respective classes of random elements coincide. Elaborating on work of Bienvenu [1], we determine all the implications that hold between the equivalence relations induce...
متن کاملComputable functional analysis: compact operators on computable banach spaces and computable best approximation
The present thesis deals with computable functional analysis and in this context, especially, with compact operators on computable Banach spaces. For this purpose, the representation based approach to computable analysis (TTE) is used. In the first part, computable Banach spaces with computable Schauder bases are introduced and two representations each are defined for the dual space of a comput...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Mathematica
سال: 1960
ISSN: 0001-5962
DOI: 10.1007/bf02546526