Computable copies of ℓ p 1

DOI10.3233/COM-160065MaRDI QIDQ4601032zbMATH OpenFDO

Authors Timothy H. McNicholl

Publication date 18 January 2018

Published in Computability (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1504.04664

zbMATH Keywords

computable analysiscomputable model theory\(\ell^p\) spaces

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Computable structure theory, computable model theory (03C57) Sequence spaces (including Köthe sequence spaces) (46A45) Applications of computability and recursion theory (03D80)

Abstract: �egin{abstract} Suppose $p$ is a computable real so that $pgeq1$. It is shown that the halting set can compute a surjective linear isometry between any two computable copies of $el{l}^p$. It is also shown that this result is optimal in that when $peq2$ there are two computable copies of $el{l}^p$ with the property that any oracle that computes a linear isometry of one onto the other must also compute the halting set. Thus, $el{l}^p$ is $Delt{a}_2^0$-categorical and is computably categorical if and only if $p=2$. It is also shown that there is a computably categorical Banach space that is not a Hilbert space and that $el{l}^p$ is linearly isometric to a computable Banach space if and only if $p$ is computable. These results hold in both the real and complex case.

Recommendations

• The isometry degree of a computable copy of ℓ p 1
• The isometry degree of a computable copy of ^p
• L^p‐Computability
• scientific article; zbMATH DE number 5064948
• L p -Computability in Recursive Analysis
• \(sQ_1\)-degrees of computably enumerable sets
• Computability and the Connes embedding problem
• Computability on Subsets of Locally Compact Spaces
• Computability of Følner sets
• On \(p\)-reducibility of computable numerations

Cited in

(18)

• A semilattice of degrees of computable metrics
• New degree spectra of Polish spaces
• The isometry degree of a computable copy of ℓ p 1
• Computably and punctually universal spaces
• Analytic computable structure theory and \(L^p\) spaces
• Analytic computable structure theory and \(L^p\)-spaces. II
• Computable presentations of C*-algebras
• Degrees of and lowness for isometric isomorphism
• Computing the exponent of a Lebesgue space
• Computability of Polish spaces up to homeomorphism
• ON THE COMPLEXITY OF CLASSIFYING LEBESGUE SPACES
• scientific article; zbMATH DE number 1124612 (Why is no real title available?)
• Computable Stone spaces
• The isometry degree of a computable copy of \(\ell^p\)
• Computing on the Banach space C [ 0 , 1 ]
• Computable reducibility of metrics on the reals
• All Functions $$g: \mathbb{N} \rightarrow \mathbb{N}$$ Which have a Single-Fold Diophantine Representation are Dominated by a Limit-Computable Function $$f: \mathbb{N}\setminus \{0\} \rightarrow \mathbb{N}$$ Which is Implemented in MuPAD and Whose Computability is an Open Problem
• Computable analysis and classification problems

This page was built for publication: Computable copies of ℓ p 1

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4601032)