Related papers: Banach Spaces as Data Types
We describe all metric spaces that have sufficently many affine functions. As an application we obtain a metric characterization of linear-convex subsets of Banach spaces.
Computational problems are classified into computable and uncomputable problems. If there exists an effective procedure (algorithm) to compute a problem then the problem is computable otherwise it is uncomputable. Turing machines can…
We give complete characterisation of topologically injective (bounded below), topologically surjective (open mapping), isometric and coisometric (quotient mapping) multiplication operators between $L_p$ spaces defined on different…
We propose a definition of quantum computable functions as mappings between superpositions of natural numbers to probability distributions of natural numbers. Each function is obtained as a limit of an infinite computation of a quantum…
In this paper, we embed metric space endowed with a convex combination operation, named convex combination space, into a Banach space and the embedding preserves the structures of metric and convex combination. For random element taking…
Let $H$ be a reflexive, dense, separable, infinite dimensional complex Hilbert space and let $B(H)$ be the algebra of all bounded linear operators on $H$. In this paper, we carry out characterizations of norm-attainable operators in normed…
In this article we call a sequence $(a_n)_n$ of elements of a metric space nearly computably Cauchy if for every strictly increasing computable function $r:\mathbb{N}\to\mathbb{N}$ the sequence $(d(a_{r(n+1)},a_{r(n)}))_n$ converges…
Given a Banach space $E$, we ask which closed subspaces may be realised as the kernel of a bounded operator $E \rightarrow E$. We prove some positive results which imply in particular that when $E$ is separable every closed subspace is a…
Usually, for extension of local maps, one uses multiplication by so called bump functions. However, majority of infinite-dimensional linear topological spaces do not have smooth bump functions. Therefore, in \cite{BR} we suggested a new…
Our goal of this note is to give an easy proof that spaces of predictable processes with values in a Banach space are isomorphic to spaces of progressive resp. adapted, measurable processes. This provides a straightforward extension of the…
The space of Bloch functions on bounded symmetric domains is extended by considering Bloch functions $f$ on the unit ball $B_E$ of finite and infinite dimensional complex Banach spaces in two different ways: by extending the classical Bloch…
In this paper, we study spaceability of subsets of generalized Orlicz and Lebesgue spaces associated to Banach function space. Also, we give some sufficient conditions for spaceability of subsets of a general Banach space which improves an…
We determine the computational complexity of the Hahn-Banach Extension Theorem. To do so, we investigate some basic connections between reverse mathematics and computable analysis. In particular, we use Weak Konig's Lemma within the…
We revisit the definition of effective local compactness, and propose an approach that works for arbitrary countably-based spaces extending the previous work on computable metric spaces. We use this to show that effective local compactness…
In this survey, we consider Banach spaces of analytic functions in one and several complex variables for which: (i) polynomials are dense, (ii) point-evaluations on the domain are bounded linear functionals, and (iii) the shift operator…
We analyze a definition of product of Banach spaces that is naturally associated by duality with an abstract notion of space of multiplication operators. This dual relation allows to understand several constructions coming from different…
We study universal approximation of continuous functionals on compact subsets of products of Hilbert spaces. We prove that any such functional can be uniformly approximated by models that first take finitely many continuous linear…
Let $X$ be a real separable normed space $X$ admitting a separating polynomial. We prove that each continuous function from a subset $A$ of $X$ to a real Banach space can be uniformly approximated by restrictions to $A$ of functions which…
Given a Boolean algebra $A$, we construct another Boolean algebra $B$ with no uncountable well-ordered chains such that the Banach space of real valued continuous functions $C(K_A)$ embeds isometrically into $C(K_B)$, where $K_A$ and $K_B$…
There are numerous cases of discrepancies between results obtained in the setting of real Banach spaces and those obtained in the complex context. This article is a modern exposition of the subtle differences between key results and…