Related papers: Effective Banach spaces
This paper considers explicit constructions of Auerbach bases in separable Banach spaces. Answering the question of A. Pe{\l}czy{\'n}ski, we prove by construction the existence of Auerbach basis in arbitrary subspace of $c_0$ of finite…
Bloch theorem for a periodic operator is being revisited here, and we notice extra orthogonality relationships. It is shown that solutions are bi-periodic, in the sense that eigenfunctions are periodic with respect to one argument, and…
The concept of ``countable set'' is attributed to Georg Cantor, who set the boundary between countable and uncountable sets in 1874. The concept of ``computable set'' arose in the study of computing models in the 1930s by the founders of…
An infinite binary sequence A is absolutely undecidable if it is impossible to compute A on a set of positions of positive upper density. Absolute undecidability is a weakening of bi-immunity. Downey, Jockusch and Schupp asked whether,…
Let $A$ be an unbounded operator on a Banach space $X$. It is sometimes useful to improve the operator $A$ by extending it to an operator $B$ on a larger Banach space $Y$ with smaller spectrum. It would be preferable to do this with some…
Given a Banach space X and a bounded linear operator T on X, a subspace Y of X is almost invariant under T if TY is a subspace of Y+F for some finite-dimensional ``error'' F. In this paper, we study subspaces that are almost invariant under…
As objects of study in functional analysis, Hilbert spaces stand out as special objects of study as do nuclear spaces in view of a rich geometrical structure they possess as Banach and Frechet spaces, respectively. On the other hand, there…
We show that there exist infinite-dimensional extremely non-complex Banach spaces, i.e. spaces $X$ such that the norm equality $\|Id + T^2\|=1 + \|T^2\|$ holds for every bounded linear operator $T:X\longrightarrow X$. This answers in the…
By strengthening one of the hypotheses of a well-known sufficient condition for the hypercyclicity of linear operators in Banach spaces, we arrive at a sufficient condition for linear chaos and reveal consequences of the latter for…
We investigate different notions of "computable topological base" for represented spaces. We show that several non-equivalent notions of bases become equivalent when we consider computably enumerable bases. This indicates the existence of a…
Problem for the first order differential equation with an unbounded operator coefficient in Banach space and integral nonlocal condition is considered. An exponentially convergent algorithm is proposed and justified for the numerical…
In this paper, we introduce a new class of subsets of bounded linear operators between Banach spaces which is p-version of the uniformly completely continuous sets. Then, we study the relationship between these sets with the equicompact…
We investigate the computational properties of basic mathematical notions pertaining to $\mathbb{R}\rightarrow \mathbb{R}$-functions and subsets of $\mathbb{R}$, like finiteness, countability, (absolute) continuity, bounded variation,…
It is shown that the free energy associated to a finite dimensional Airy structure is an analytic function at each finite order of the $\hbar$ expansion. Semiclassical series itself is in general divergent. Calculations are facilitated by…
We study $M$-ideals of compact operators by means of the property~$(M)$ introduced in \cite{Kal-M}. Our main result states for a separable Banach space $X$ that the space of compact operators on $X$ is an $M$-ideal in the space of bounded…
We construct a hereditarily indecomposable Banach space with dual isomorphic to $\ell_1$. Every bounded linear operator on this space has the form $\lambda I+K$ with $\lambda$ a scalar and $K$ compact.
Several new characterizations of the Gelfand-Phillips property are given. We define a strong version of the Gelfand-Phillips property and prove that a Banach space has this stronger property iff it embeds into $c_0$. For an infinite compact…
We give a number of formal proofs of theorems from the field of computable analysis. Many of our results specify executable algorithms that work on infinite inputs by means of operating on finite approximations and are proven correct in the…
In this article, we extend several relation-theoretic notions to topological spaces. We introduce relation preserving contraction mapping into topological spaces and utilize the same to extend Banach contraction principle in topological…
We consider the problem of determining the complexity of the uniform homeomorphism relation between separable Banach spaces in the Borel reducibility hierarchy of analytic equivalence relations. We prove that the complete $K_{\sigma}$…