Related papers: Computability of the Hahn-Banach Theorem Revisited

We give a sufficient condition for a pair of Banach spaces $(X,Y)$ to have the following property: whenever $W_1 \subseteq X$ and $W_2 \subseteq Y$ are sets such that $\{x\otimes y: \, x\in W_1, \, y\in W_2\}$ is weakly precompact in the…

We give a streamlined proof of the multiplicative ergodic theorem for quasi-compact operators on Banach spaces with a separable dual.

The existence of a Banach limit as a translation invariant positive continuous linear functional on the space of bounded scalar sequences which is equal to 1 at the constant sequence (1,1,...,1,...) is proved in a first course on functional…

For $i=1,2$, let $E_i$ be a reflexive Banach lattice over $\mathbb{R}$ with a certain parameter $\lambda^+(E_i)>1$, let $K_i$ be a locally compact (Hausdorff) topological space and let $\mathcal{H}_i$ be a closed subspace of…

The aim of this paper is to determine the logical and computational strength of instances of the Bolzano-Weierstra{\ss} principle (BW) and a weak variant of it. We show that BW is instance-wise equivalent to the weak K\"onig's lemma for…

In this paper, we study a class of Banach spaces, called \phi-spaces. In a natural way, we associate a measure of weak compactness in such spaces and prove an analogue of Sadovskii fixed point theorem for weakly sequentially continuous…

We provided an analogue Banach-Alaoglu theorem for Hilbert $H^*$-module. We construct a $\Lambda$-weak$^*$ topology on a Hilbert $H^*$-module over a proper $H^*$-algebra $\Lambda$, such that the unit ball is compact with respect to…

We investigate integral representation of vector-valued function spaces, i.e., of subspaces $H\subset C(K,E)$, where $K$ is a compact space and $E$ is a (real or complex) Banach space. We point out that there are two possible ways 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…

We prove that given a locally compact Hausdorff space, $K$, and a compact C$^*$-algebra, $\mathcal{A}$, the C$^*$-algebra $C(K, \mathcal{A})$ satisfies that every convex combination of slices of the closed unit ball is relatively weakly…

This is an attempt to build Banach space valued theory for certain singular integrals on Hamming cube. Of course all estimates below are dimension independent, and we tried to find ultimate sharp assumptions on the Banach space for a…

We prove that a Banach space has the uniform approximation property with proportional growth of the uniformity function iff it is a weak Hilbert space.

We use a method similar to ultraproducts to study the common fixed point of a left reversible semitopological semigroup acting on a Banach space. As an application, we prove a Bruck-type theorem for nearly uniformly convex Banach spaces to…

A Banach space $X$ is said to have property (K) if every $w^*$-convergent sequence in $X^*$ admits a convex block subsequence which converges with respect to the Mackey topology. We study the connection of this property with strongly weakly…

Let $H$ be a Hilbert space that can be embedded as a dense subspace of a Banach space $X$ such that the norm of the embedding is equal to $1$. We consider the following statements for a nonzero vector $\varphi$ in $H$: (A) $\|\varphi\|_X =…

We introduce the operators "modified limit" and "accumulation" on a Banach space, and we use this to define what we mean by being internally computable over the space. We prove that any externally computable function from a computable…

There has been a long-standing conjecture in Banach algebra that every amenable operator is similar to a normal operator. In this paper, we study the structure of amenable operators on Hilbert spaces. At first, we show that the conjecture…

In this paper we present another proof of the analytic version of the Hahn-Banach theorem in terms of convex functionals.

It is an open problem whether an infinite-dimensional amenable Banach algebra exists whose underlying Banach space is reflexive. We give sufficient conditions for a reflexive, amenable Banach algebra to be finite-dimensional (and thus a…

For a new class of topological vector spaces, namely $\kappa $-normed spaces, and associated quasisemilinear topological preordered space is defined and investigated. This structure arise naturally from the consideration of a $\kappa…