English
Related papers

Related papers: Effective Banach spaces

200 papers

We present a reflexive Banach space with an unconditional basis which is quasi-minimal and tight by range, i.e. of type (4) in Ferenczi-Rosendal list within the framework of Gowers' classification program of Banach spaces, but contrary to…

Functional Analysis · Mathematics 2013-04-01 A. Manoussakis , A. Pelczar-Barwacz

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…

Functional Analysis · Mathematics 2020-03-31 Enrique A. Sanchez-Perez

The uncountability of the real numbers is one of their most basic properties, known (far) outside of mathematics. Cantor's 1874 proof of the uncountability of the real numbers even appears in the very first paper on set theory, i.e. a…

Logic · Mathematics 2022-06-28 Sam Sanders

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…

Logic in Computer Science · Computer Science 2015-07-01 Klaus Weihrauch , Tahereh Jafarikhah

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…

Functional Analysis · Mathematics 2016-09-06 Gilles Pisier

This preprint concerns Banach spaces of functions converging at infinity. In particular, spaces of continuous functions, Lebesgue spaces and sequence spaces. In each framework we show versions of Riesz's representation theorem.

Functional Analysis · Mathematics 2020-09-01 Nico Tauchnitz

We examine the convergence properties of sequences of nonnegative real numbers that satisfy a particular class of recursive inequalities, from the perspective of proof theory and computability theory. We first establish a number of results…

Logic · Mathematics 2023-05-02 Morenikeji Neri , Thomas Powell

A subset of a Banach space is called equilateral if the distances between any two of its distinct elements are the same. It is proved that there exist non-separable Banach spaces (in fact of density continuum) with no infinite equilateral…

Functional Analysis · Mathematics 2021-05-25 Piotr Koszmider , Hugh Wark

The main purpose of this note is to show that the question posed in the paper of Sinha D.P. and Karn A.K.("Compact operators which factor through subspaces of $l_p$ Math. Nachr. 281, 2008, 412-423; see the very end of that paper) has a…

Functional Analysis · Mathematics 2010-04-27 Oleg Reinov , Qaisar Latif

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…

Functional Analysis · Mathematics 2021-04-30 Debmalya Sain

In the paper is considered two problems on extension of operators whose range space for the first problem (or domain space for the second one) belongs to the fixed class of finite equivalence, which is generated by a given Banach space $X$.…

Functional Analysis · Mathematics 2007-05-23 Eugene Tokarev

Causality serves as an abstract notion of time for concurrent systems. A computation is causal, or simply valid, if each observation of a computation event is preceded by the observation of its causes. The present work establishes that this…

Logic in Computer Science · Computer Science 2026-03-03 Clément Aubert , Jean Krivine

We show that operators on a separable infinite dimensional Banach space $X$ of the form $I +S$, where $S$ is an operator with dense generalised kernel, must lie in the norm closure of the hypercyclic operators on $X$, in fact in the closure…

Functional Analysis · Mathematics 2014-10-28 James Boland

We consider various collections of functions from the Baire space X into itself naturally arising in (effective) descriptive set theory and general topology, including computable (equivalently, recursive) functions, contraction mappings,…

Logic · Mathematics 2013-09-13 Luca Motto Ros

This manuscript is concerned with the approximate controllability of fractional nonlinear differential equations with nonlocal conditions of order $1<q<2$ in Banach spaces. As far as we know, few articles have investigated this issue. The…

Optimization and Control · Mathematics 2024-11-19 Ahmed Aberqi , Zoubida Echchaffani , Touria Karite

We show that any bounded operator $T$ on a separable, reflexive, infinite-dimensional Banach space $X$ admits a rank one perturbation which has an invariant subspace of infinite dimension and codimension. In the non-reflexive spaces, we…

Functional Analysis · Mathematics 2012-08-30 Alexey I. Popov , Adi Tcaciuc

Let X be a separable metric space and let \beta be the strict topology on the space of bounded continuous functions on X, which has the space of \tau-additive Borel measures as a continuous dual space. We prove a Banach-Dieudonne\'{e} type…

Functional Analysis · Mathematics 2016-09-06 Richard Kraaij

We study the class of compact spaces that appear as structure spaces of separable Banach lattices. In other words, we analyze what $C(K)$ spaces appear as principal ideals of separable Banach lattices. Among other things, it is shown that…

Functional Analysis · Mathematics 2023-01-25 Antonio Avilés , Gonzalo Martínez Cervantes , Abraham Rueda Zoca , Pedro Tradacete

In this paper, we consider the structure of maximally monotone operators in Banach space whose domains have nonempty interior and we present new and explicit structure formulas for such operators. Along the way, we provide new proofs of the…

Functional Analysis · Mathematics 2012-03-07 Jonathan M. Borwein , Liangjin Yao

This paper shows that, even at the most basic level, the parallel, countable branching and uncountable branching recurrences of Computability Logic (see http://www.cis.upenn.edu/~giorgi/cl.html) validate different principles.

Logic in Computer Science · Computer Science 2012-01-04 Giorgi Japaridze