Related papers: Computable copies of $\ell^p$

While there is a well-established notion of what a computable ordinal is, the question which functions on the countable ordinals ought to be computable has received less attention so far. We propose a notion of computability on the space of…

In this paper we use infinitary Turing machines with tapes of length $\kappa$ and which run for time $\kappa$ as presented, e.g., by Koepke \& Seyfferth, to generalise the notion of type two computability to $2^{\kappa}$, where $\kappa$ is…

We investigate computable metrizability of Polish spaces up to homeomorphism. In this paper we focus on Stone spaces. We use Stone duality to construct the first known example of a computable topological Polish space not homeomorphic to any…

We carry out a systematic study of decidability for theories of (a) real vector spaces, inner product spaces, and Hilbert spaces and (b) normed spaces, Banach spaces and metric spaces, all formalised using a 2-sorted first-order language.…

This thesis addresses Pour-El and Richards' fourth question from their book "Computability in analysis and physics", concerning the relation between higher order recursion theory and computability in analysis. Among other things it is shown…

Let $\msp$ be a purely non-atomic measure space, and let $1 < p < \infty$. If $\weakLp\msp$ is isomorphic, as a Banach space, to $\weakLp\mspp$ for some purely atomic measure space $\mspp$, then there is a measurable partition $\Omega =…

The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space $\mathcal{H}$. In terms of the Hilbert lattice $\mathcal{L}$ of closed linear subspaces of $\mathcal{H}$ the notions of state and…

We show that if $p>1$ every subspace of $\ell_p(\Gamma)$ is an $\ell_p$-sum of separable subspaces of $\ell_p$, and we provide examples of subspaces of $\ell_p(\Gamma)$ for $0<p\leq 1$ that are not even isomorphic to any $\ell_p$-sum of…

It is shown that every Banach space either contains $\ell ^1$ or it has an infinite dimensional closed subspace which is a quotient of a H.I. Banach space.Further on, $L^p(\lambda )$, $1<p<\infty $, is a quotient of a H.I Banach space.

We construct an example of a real Banach space whose group of surjective isometries has no uniformly continuous one-parameter semigroups, but the group of surjective isometries of its dual contains infinitely many of them. Other examples…

This is an expository note on non-amenabilty of the Banach algebra B(\ell_p) for p=1,2. These were proved respectively by Connes (p=2) and Read (p=1) via very different methods. We give a single proof which reproves both.

The class of abelian $p$-groups are an example of some very interesting phenomena in computable structure theory. We will give an elementary first-order theory $T_p$ whose models are each bi-interpretable with the disjoint union of an…

We study best approximations to compact operators between Banach spaces and Hilbert spaces, from the point of view of Birkhoff-James orthogonality and semi-inner-products. As an application of the present study, some distance formulae are…

Theories of classification distinguish classes with some good structure theorem from those for which none is possible. Some classes (dense linear orders, for instance) are non-classifiable in general, but are classifiable when we consider…

We study existence of linear isometric embedding of $\ell_p^m$ into $S_\infty,$ for $1\leq p< \infty$ and unique operator space structure on two dimensional Banach spaces. For $p\in(2,\infty)\cup\{1\},$ we show that indeed $\ell_p^2$ does…

By the Riesz representation theorem using the Riemann-Stieltjes integral, linear continuous functionals on the set of continuous functions from the unit interval into the reals can either be characterized by functions of bounded variation…

For a locally compact group $G$ and $p \in (1,\infty)$, we define $B_p(G)$ to be the space of all coefficient functions of isometric representations of $G$ on quotients of subspaces of $L_p$ spaces. For $p =2$, this is the usual…

We show that, if $E$ is a Banach space with a basis satisfying a certain condition, then the Banach algebra $\ell^\infty({\cal K}(\ell^2 \oplus E))$ is not amenable; in particular, this is true for $E = \ell^p$ with $p \in (1,\infty)$. As a…

For every $ 1 < p < \infty $ an isomorphically polyhedral Banach space $E_p$ is constructed having an unconditional basis and admitting a quotient isomorphic to $\ell_p$. It is also shown that $E_p$ is not isomorphic to a subspace of a…

Let $H$ and $H'$ be a complex Hilbert spaces. For $p\in(1, \infty)\backslash\{2\}$ we consider the Banach space $C_p(H)$ of all $p$-Schatten von Neumann operators, whose unit sphere is denoted by $S(C_p(H))$. We prove that every surjective…