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

Let SB be the standard coding for separable Banach spaces as subspaces of $C(\Delta)$. In these notes, we show that if $\mathbb{B} \subset \text{SB}$ is a Borel subset of spaces with separable dual, then the assignment $X \mapsto X^*$ can…

Let $\mathcal{M}$ be a semifinite von Neumann algebra. We equip the associated noncommutative $L_p$-spaces with their natural operator space structure introduced by Pisier via complex interpolation. On the other hand, for $1<p<\infty$ let…

In this paper, we introduce a foundation for computable model theory of rational Pavelka logic (an extension of {\L}ukasiewicz logic) and continuous logic, and prove effective versions of some theorems in model theory. We show how to reduce…

We show that the problem whether every $1$-separably injective Banach space contains an isomorphic copy of $\ell_\infty$ is undecidable. Namely, unlike under the continuum hypothesis, assuming Martin's axiom and the negation of the…

We introduce the notion of a regular mapping on a non-commutative $L_p$-space associated to a hyperfinite von Neumann algebra for $1\le p\le \infty$. This is a non-commutative generalization of the notion of regular or order bounded map on…

A real number is called left-computable if there exists a computable increasing sequence of rational numbers converging to it. In this article we are investigating a proper subset of the left-computable numbers. We say that a real number…

Let $G$ be a semisimple Lie group. We describe the irreducible representations of $G$ by linear isometries on $L_p$-spaces for $p\in (1,+\infty)$ with $p\neq 2.$ More precisely, we show that, for every such representation $\pi,$ there…

We prove that for all 1 \le p \le \infty, p not 2, the Lp spaces associated to two von Neumann algebras M,N are isometrically isomorphic if and only if M and N are Jordan *-isomorphic. This follows from a noncommutative Lp Banach-Stone…

Let $1 \leq p <\infty$. A sequence $\lef x_n \rig$ in a Banach space $X$ is defined to be $p$-operator summable if for each $\lef f_n \rig \in l^{w^*}_p(X^*)$, we have $\lef \lef f_n(x_k)\rig_k \rig_n \in l^s_p(l_p)$. Every norm…

In this paper, we study {\it operator spaces\/} in the sense of the theory developed recently by Blecher-Paulsen [BP] and Effros-Ruan [ER1]. By an operator space, we mean a closed subspace $E\subset B(H)$, with $H$ Hilbert. We will be…

Let $\msp$ be a measure space and let $1 < p < \infty$. The {\em weak $L^p$}\/ space $\wlp$ consists of all measurable functions $f$ such that \[ \|f\| = \sup_{t>0}t^{\frac{1}{p}}f^*(t) < \infty,\] where $f^*$ is the decreasing…

We study 2-local reflexivity of the set of all surjective isometries between certain function spaces. We do not assume linearity for isometries. We prove that a 2-local isometry in the group of all surjective isometries on the algebra of…

We prove a computable version of the Hall Harem Theorem where the matching realizes a unary function with controlled sizes of cycles. We apply it to non-amenable computable coarse spaces. As a result, we obtain a computable version of the…

An arbitrary linear relation (multivalued operator) acting from one Hilbert space to another Hilbert space is shown to be the sum of a closable operator and a singular relation whose closure is the Cartesian product of closed subspaces.…

We analyze the effective content of countable, second countable topological spaces by directly calculating the complexity of several topologically defined index sets. We focus on the separation principles, calibrating an arithmetic…

Let $1<p,\,q<\infty$. It is shown for complex scalars that there are no nontrivial $M$-ideals in $L(L_p[0,1])$ if $p\neq 2$, and $K(\ell_p(\ell_q^n)$ is the only nontrivial $M$-ideal in $L(\ell_p(\ell_q^n)$. This proves a conjecture of…

The purpose of this note is to show that, if $\mcB$ is a uniformly convex Banach, then the dual space $\mcB'$ has a "Hilbert space representation" (defined in the paper), that makes $\mcB$ much closer to a Hilbert space then previously…

For $p \in (1,\infty)\setminus \{2\}$, some properties of the space $\mathscr{M}_p$ of multipliers on $\ell^p_A$ are derived. In particular, the failure of the weak parallelogram laws and the Pythagorean inequalities is demonstrated for…

In a previous paper the second author introduced a compact topology on the space of closed ideals of a unital Banach algebra A. If A is separable then this topology is either metrizable or else neither Hausdorff nor first countable. Here it…

A topological space $X$ is called $\Cal A$-real compact, if every algebra homomorphism from $\Cal A$ to the reals is an evaluation at some point of $X$, where $\Cal A$ is an algebra of continuous functions. Our main interest lies on…