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$. Both problems are considered in two variants: isometric and isomorphic ones. Received a full solution of the first problem and the solution, close to final one for the second problem.
A reflexive Banach space $X$ with a basis $(e_i)$ is constructed having the property that every monotone basis is block finitely representable in each block basis of $X$.
We extend the well-known criterion of Lotz for the dual Radon-Nikodym property (RNP) of Banach lattices to finitely generated Banach $C(K)$-modules and Banach $C(K)$-modules of finite multiplicity. Namely, we prove that if $X$ is a Banach space from one of these classes then its Banach dual $X^\star$ has the RNP iff $X$ does not contain a closed subspace isomorphic to $\ell^1$.
Let $G$ be a locally compact group. We prove that the augmentation ideal in $L^1(G)$ is (algebraically) finitely-generated as a left ideal if and only if $G$ is finite. We then investigate weighted versions of this result, as well as a version for semigroup algebras. Weighted measure algebras are also considered. We are motivated by a recent conjecture of Dales and Żelazko, which states that a unital Banach algebra in which every maximal left ideal is finitely-generated is necessarily finite-dimensional. We prove that this conjecture holds for many of the algebras considered. Finally, we use t…
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$. Both problems are considered in two variants: isometric and isomorphic ones. Received a full solution of the first problem and the solution, close to final one for the second problem.
We extend the well known criteria of reflexivity of Banach lattices due to Lozanovsky and Lotz to the class of finitely generated Banach $C(K)$- modules. Namely we prove that a finitely generated Banach $C(K)$-module is reflexive if and only if it does not contain any subspace isomorphic to either $l^1$ or $c_0$.
We continue the study of Uniformly Finitely Extensible Banach spaces (in short, UFO) initiated in Moreno-Plichko, \emph{On automorphic Banach spaces}, Israel J. Math. 169 (2009) 29--45 and Castillo-Plichko, \emph{Banach spaces in various positions.} J. Funct. Anal. 259 (2010) 2098-2138. We show that they have the Uniform Approximation Property of Pełczyński and Rosenthal and are compactly extensible. We will also consider their connection with the automorphic space problem of Lindenstrauss and Rosenthal --do there exist automorphic spaces other than $c_0(I)$ and $\ell_2(I)$?-- showing that a s…
Classes of Banach spaces that are finitely, strongly finitely or elementary equivalent are introduced. On sets of these classes topologies are defined in such a way that sets of defined classes become compact totally disconnected topological spaces. Results are used in the problem of synthesis of Banach spaces, and to describe omittable spaces that are defined below.
The main purpose of the paper is to prove the following results: Let $A$ be a locally finite metric space whose finite subsets admit uniformly bilipschitz embeddings into a Banach space $X$. Then $A$ admits a bilipschitz embedding into $X$. Let $A$ be a locally finite metric space whose finite subsets admit uniformly coarse embeddings into a Banach space $X$. Then $A$ admits a coarse embedding into $X$. These results generalize previously known results of the same type due to Brown-Guentner (2005), Baudier (2007), Baudier-Lancien (2008), and the author (2006, 2009). One of the main steps in th…
We study several properties and applications of the ultrapower $M_{\mathcal U}$ of a metric space $M$. We prove that the Lipschitz-free space $\mathcal F(M_{\mathcal U})$ is finitely representable in $\mathcal F(M)$. We also characterize the metric spaces that are finitely Lipschitz representable in a Banach space as those that biLipschitz embed into an ultrapower of the Banach space. Thanks to this link, we obtain that if $M$ is finitely Lipschitz representable in a Banach space $X$, then $\mathcal F(M)$ is finitely representable in $\mathcal F(X)$. We apply these results to the study of coty…
A separable Banach space $X$ is said to be finitely determined if for each separable space $Y$ such that $X$ is finitely representable (f.r.) in $Y$ and $Y$ is f.r. in $X$ then $Y$ is isometric to $X$. We provide a direct proof (without model theory) of the fact that every finitely determined space $X$ (isometrically) contains every (separable) space $Y$ which is finitely representable in $X$. We also point out how a similar argument proves the Krivine-Maurey theorem on stable Banach spaces, and give the model theoretic interpretations of some results.
In this paper, we give simplified and equivalent characterizations of Banach limit functional, which is the minimum requirement to characterize strong almost convergence. With this machinery, we show that Hajdukovic's quasi-almost convergence is equivalent to strong almost convergence.
Based on the recently introduced uniform $λ-$adjustment for closed subspaces of Banach spaces we extend the concept of the strictly singular and finitely strictly singular operators to the sequences of closed subspaces and operators in Banach spaces and prove theorems about lower semi--Fredholm stability. We also state some new open questions related to strict singularity and the geometry of Banach spaces.
Given a finite measure space $(Ω,Σ,μ)$, we show that any Banach space $X(μ)$ consisting of (equivalence classes of) real measurable functions defined on $Ω$ such that $f χ_A \in X(μ) $ and $ \|f χ_A \| \leq \|f\|, \, f \in X(μ), \ A \in Σ$, and having the subsequence property, is in fact an ideal of measurable functions and has an equivalent norm under which it is a Banach function space. As an application we characterize norms that are equivalent to a Banach function space norm.
We study Fourier convolution operators $W^0(a)$ with symbols equivalent to zero at infinity on a separable Banach function space $X(\mathbb{R})$ such that the Hardy-Littlewood maximal operator is bounded on $X(\mathbb{R})$ and on its associate space $X'(\mathbb{R})$. We show that the limit operators of $W^0(a)$ are all equal to zero.
In the article is introduced a new class of Banach spaces that are called sub B-convex. Namely, a Banach space X is said to be B -convex if it may be represented as a direct sum l_1+ W, where W is B-convex. It will be shown that any separable sub B-convex Banach space X may be almost isometrically embedded in a separable Banach space G(X) of the same cotype as X, which has a series of properties. Namely, G(X) is an approximate envelope, i.e. any separable Banach space which is finitely representable in G(X) may be almost isometrically embedded into G(X); G(X)is almost isotropic; G(X) is existe…
We address the following two questions regarding the maximal left ideals of the Banach algebra $\mathscr{B}(E)$ of bounded operators acting on an infinite-dimensional Banach pace $E$: (Q1) Does $\mathscr{B}(E)$ always contain a maximal left ideal which is not finitely generated? (Q2) Is every finitely-generated, maximal left ideal of $\mathscr{B}(E)$ necessarily of the form \{T\in\mathscr{B}(E): Tx = 0\} (*) for some non-zero $x\in E$? Since the two-sided ideal $\mathscr{F}(E)$ of finite-rank operators is not contained in any of the maximal left ideals given by (*), a positive answer to the se…
A Banach space X is superreflexive if each Banach space Y that is finitely representable in X is reflexive. Superreflexivity is known to be equivalent to J-convexity and to the non-existence of uniformly bounded factorizations of the summation operators S_n through X. We give a quantitative formulation of this equivalence. This can in particular be used to find a factorization of S_n through X, given a factorization of S_N through [L_2,X], where N is `large' compared to n.
We prove that a Hilbert space frame $\fti$ contains a Riesz basis if every subfamily $\ftj , J \subseteq I ,$ is a frame for its closed span. Secondly we give a new characterization of Banach spaces which do not have any subspace isomorphic to $c_0$. This result immediately leads to an improvement of a recent theorem of Holub concerning frames consisting of a Riesz basis plus finitely many elements.
We characterise those Banach spaces $X$ which satisfy that $L(Y,X)$ is octahedral for every non-zero Banach space $Y$. They are those satisfying that, for every finite dimensional subspace $Z$, $\ell_\infty$ can be finitely-representable in a part of $X$ kind of $\ell_1$-orthogonal to $Z$. We also prove that $L(Y,X)$ is octahedral for every $Y$ if, and only if, $L(\ell_p^n,X)$ is octahedral for every $n\in\mathbb N$ and $1<p<\infty$. Finally, we find examples of Banach spaces satisfying the above conditions like $\Lip(M)$ spaces with octahedral norms or $L_1$-preduals with the Daugavet propert…
In recent years the coincidence of the operator relations equivalence after extension and Schur coupling was settled for the Hilbert space case, by showing that equivalence after extension implies equivalence after one-sided extension. In this paper we investigate consequences of equivalence after extension for compact Banach space operators. We show that generating the same operator ideal is necessary but not sufficient for two compact operators to be equivalent after extension. In analogy with the necessary and sufficient conditions on the singular values for compact Hilbert space operators …
The purpose of this paper is to construct a new class of separable Banach spaces $\K^p[\mathbb{B}], \; 1\leq p \leq \infty$. Each of these spaces contain the $ \mcL^p[\mathbb{B}] $ spaces, as well as the space $\mfM[\R^\iy]$, of finitely additive measures as dense continuous compact embeddings. These spaces are of interest because they also contain the Henstock-Kurzweil integrable functions on $\mathbb{B}$. Finally, we offer a interesting approach to the Fourier transform on $\K^p[\mathbb{B}].$
Let $E$ be a $(\mathrm{IV})$-polyhedral Banach space. We show that, for each $ε>0$, $E$ admits an $ε$-equivalent $\mathrm{(V)}$-polyhedral norm such that the corresponding closed unit ball is the closed convex hull of its extreme points. In particular, we obtain that every separable isomorphically polyhedral Banach space, for each $ε>0$, admits an $ε$-equivalent $(\mathrm{V})$-polyhedral norm such that the corresponding closed unit ball is the closed convex hull of its extreme points.
We give examples of two Banach spaces. One Banach space has no spreading model which contains $\ell_p$ ($1\le p<\infty$) or $c_0$. The other space has an unconditional basis for which $\ell_p$ ($1\le p<\infty$) and $c_0$ are block finitely represented in all block bases.
We present a construction that enables one to find Banach spaces $X$ whose sets $NA(X)$ of norm attaining functionals do not contain two-dimensional subspaces and such that, consequently, $X$ does not contain proximinal subspaces of finite codimension greater than one, extending the results recently provided by Read and Rmoutil. Roughly speaking, we construct an equivalent renorming with the requested properties for every Banach space $X$ where the set $NA(X)$ for the original norm is not "too large". The construction can be applied to every Banach space containing $c_0$ and having a countable…
In finitely-dimensional spaces the sum range of a series has to be an affine subspace. It is long known this is not the case in infinitely dimensional Banach spaces. In particular in 1984 M.I. Kadets and K. Wozniakowski obtained an example of a series the sum range of which consisted of two points, and asked whether it is possible to obtain more than two, but finitely many points. This paper answers the question positively, by showing how to obtain an arbitrary finite set as the sum range of a series in any infinitely dimensional Banach space.
We prove a generalized implicit function theorem for Banach spaces, without the usual assumption that the subspaces involved being complemented. Then we apply it to the problem of parametrization of fibers of differentiable maps, the Lie subgroup problem for Banach-Lie groups, as well as Weil's local rigidity for homomorphisms from finitely generated groups to Banach-Lie groups.
We study star-finite coverings of infinite-dimensional normed spaces. A family of sets is called star-finite if each of its members intersects only finitely many other members of the family. It follows by our results that an LUR or a uniformly Fréchet smooth infinite-dimensional Banach space does not admit star-finite coverings by closed balls. On the other hand, we present a quite involved construction proving existence of a star-finite covering of $c_0(Γ)$ by Fréchet smooth centrally symmetric bounded convex bodies. A similar but simpler construction shows that every normed space of countabl…
We show that finite dimensional Banach spaces fail to be uniformly non locally almost square. Moreover, we construct an equivalent almost square bidual norm on $\ell_\infty.$ As a consequence we get that every dual Banach space containing $c_0$ has an equivalent almost square dual norm. Finally we characterize separable real almost square spaces in terms of their position in their fourth duals.
We consider general Markov chains with discrete time in an arbitrary measurable (phase) space and homogeneous in time. Markov chains are defined by the classical transition function which within the framework of the operator treatment generates a conjugate pair of linear Markov operators in the Banach space of measurable bounded functions and in the Banach space of bounded finite additive measures. It is proved that the well-known Doeblin condition $ (D) $ of ergodicity (quasi\-compactness) of the Markov chain is equivalent to the condition $ (*) $: all finitely additive invariant measures of …
We prove two theorems about differentiable functions on the Banach space C(K), where K is compact. (i) If C(K) admits a non-trivial function of class C^m and of bounded support, then all continuous real-valued functions on C(K) may be uniformly approximated by functions of class C^m. (ii) If C(K) admits an equivalent norm with locally uniformly convex dual norm, then C(K) admits an equivalent norm which is of class C^infty (except at 0).
In this paper, we investigate homological properties of Banach algebras. We show that retractions Banach algebras preserve biprojectivity, contractibility and biflatness. We also prove that contractibility of second dual of a Banach algebra implies contractibility of the Banach algebra. For a Banach algebra $A$ with $Δ(A)\neq\emptyset$, let $\frak{F}(X, A)$ be one of the Banach algebras $C_b(X, A)$, $C_0(X, A)$, $\hbox{Lip}_α(X, A)$ or $\hbox{lip}_α(X, A)$. In the following, we study homological properties of Banach algebra $\frak{F}(X, A)$, especially contractibility of it. We prove that cont…
In this article we study bounded operators $T$ on Banach space $X$ which satisfy the discrete Gomilko Shi-Feng condition $$\int_{0}^{2π}|\langle R(re^{it},T)^{2}x,x^*\rangle |dt \leq \frac{C}{(r^2-1)}\norme{x}\norme{x^*},\quad r>1, x\in X, x^* \in X^*. $$ We show that it is equivalent to a certain derivative bounded functional calculus and also to a bounded functional calculus relative to Besov space. Also on Hilbert space discrete Gomilko Shi-Feng condition is equivalent to power-boundedness. Finally we discuss the last equivalence on general Banach space involving the concept of $γ$-boundedn…
This paper contains results concerning the Borel reduction of the relation $E_0$ of eventual agreement between sequences of 0's and 1's, to the relation of permutative equivalence between basic sequences in a Banach space. For more clarity in this abstract, we state these results in terms of classification by real numbers. If $R$ is some (analytic) equivalence relation on a Polish space $X$, it is said that $R$ is classifiable (by real numbers) if there exists a Borel map $g$ from $X$ into the real line such that $x R x'$ if and only if $g(x)=g(x')$. If $R$ is not classifiable, there must be $…
We extend to the non separable setting many characterizations of the Banach spaces admitting an equivalent norm with the property $(β)$ of Rolewicz. These characterizations involve in particular the Szlenk index and asymptotically uniformly smooth or convex norms. This allows to extend easily to the non separable case some recent results from the non linear geometry of Banach spaces.
The hierarchy of the block bases of transfinite normalized averages of a normalized Schauder basic sequence is introduced and a criterion is given for a normalized weakly null sequence in C(K), the Banach space of scalar valued functions continuous on the compact metric space K, to admit a block basis of normalized averages equivalent to the unit vector basis of c_0, the Banach space of null scalar sequences. As an application of this criterion, it is shown that every normalized weakly null sequence in C(K), for countable K, admits a block basis of normalized averages equivalent to the unit ve…
Steinhaus proved that given a~positive integer $n$, one may find a circle surrounding exactly $n$ points of the integer lattice. This statement has been recently extended to Hilbert spaces by Zwoleński, who replaced the integer lattice by any infinite set that intersects every ball in at most finitely many points. We investigate Banach spaces satisfying this property, which we call (S), and characterise them by means of a new geometric property of the unit sphere which allows us to show, e.g., that all strictly convex norms have (S), nonetheless, there are plenty of non-strictly convex norms s…
We introduce the class of Orlicz-Pettis polynomials between Banach spaces, defined by their action on weakly unconditionally Cauchy series. We give a number of equivalent definitions, examples and counterexamples which highlight the differences between these polynomials and the corresponding linear operators.
If $X$ is an almost transitive Banach space with amenable isometry group (for example, if $X=L^p([0,1])$ with $1\leqslant p<\infty$) and $X$ admits a uniformly continuous map $X\oversetϕ\longrightarrow E$ into a Banach space $E$ satisfying $$\inf_{\|x-y\|=r} \| ϕ(x)-ϕ(y)\|>0 $$ for some $r>0$, then $X$ admits a simultaneously uniform and coarse embedding into a Banach space $V$ that is finitely representable in $L^2(E)$.
In this paper, we give a necessary and sufficient condition for which a finitely generated group has a property like Kazhdan's Property $(T)$ restricted to one isometric representation on a strictly convex Banach space without non-zero invariant vectors. Similarly, we give a necessary and sufficient condition for which a finitely generated group has a property like Property $(FH)$ restricted to the set of the affine isometric actions whose linear part are one isometric representation on a strictly convex Banach space without non-zero invariant vectors. If the Banach space is the $\ell^p$ space…
We give an intrinsic characterisation of the separable reflexive Banach spaces that embed into separable reflexive spaces with an unconditional basis all of whose normalised block sequences with the same growth rate are equivalent. This uses methods of E. Odell and T. Schlumprecht.
We study almost square Banach spaces under a topological point of view. Indeed, we prove that the class of Banach spaces which admits an equivalent norm to be ASQ is that of those Banach spaces which contain an isomorphic copy of $c_0$. We also prove that the symmetric projective tensor products of an almost square Banach space have the strong diameter two property
It is shown that a separable Banach space $X$ can be given an equivalent norm $|\!|\!|\cdot |\!|\!|$ with the following properties:\quad If $(x_n)\subseteq X$ is relatively weakly compact and $\lim_{m\to\infty} \lim_{n\to\infty}\break |\!|\!| x_m + x_n |\!|\!| = 2\lim_{m\to\infty} |\!|\!| x_m|\!|\!|$ then $(x_n)$ converges in norm. This yields a characterization of reflexivity once proposed by V.D.~Milman. In addition it is shown that some spreading model of a sequence in $(X, |\!|\!|\cdot |\!|\!|)$ is 1-equivalent to the unit vector basis of $\ell_1$ (respectively, $c_0$) implies that $X$ con…
the main goal of this paper is to prove that any Banach space X, that every dual ball in X** is weak* -separable, or every weak* -closed convex subset in X** is weak* -separable, or every norm-closed convex set in X* is constructible, admits an equivalent Frechet differentiable norm.
A Banach space operator $T\in B(X)$ is left polaroid if for each $λ\in\hbox{iso}σ_a(T)$ there is an integer $d(λ)$ such that asc $(T-λ)=d(λ)<\infty$ and $(T-λ)^{d(λ)+1}X$ is closed; $T$ is finitely left polaroid if asc $(T-λ)<\infty$, $(T-λ)X$ is closed and $\dim(T-λ)^{-1}(0)<\infty$ at each $λ\in\hbox{iso }σ_a(T)$. The left polaroid property transfers from $A$ and $B$ to their tensor product $A\otimes B$, hence also from $A$ and $B^*$ to the left-right multiplication operator $τ_{AB}$, for Hilbert space operators; an additional condition is required for Banach space operators. The finitely le…
We develop tools to produce equivalent norms with specific local geometry around infinitely many points in the sphere of a Banach space via an inductive procedure. We combine this process with smoothness results and techniques to solve two open problems posed in the recently published monograph [GMZ22] by A. J. Guirao, V. Montesinos and V. Zizler. Specifically, on the one hand we construct in every separable Banach space admitting a $C^k$-smooth norm an equivalent norm which is $C^k$-smooth but fails to be uniformly Gâteaux in any direction; and on the other hand we produce in $c_0(Γ)$ for any…
We show that for each natural $n>1$ it is consistent that there is a compact Hausdorff space $K_{2n}$ such that in $C(K_{2n})$ there is no uncountable (semi)biorthogonal sequence $(f_ξ,μ_ξ)_{ξ\in ω_1}$ where $μ_ξ$'s are atomic measures with supports consisting of at most $2n-1$ points of $K_{2n}$, but there are biorthogonal systems $(f_ξ,μ_ξ)_{ξ\in ω_1}$ where $μ_ξ$'s are atomic measures with supports consisting of $2n$ points. This complements a result of Todorcevic that it is consistent that each nonseparable Banach space $C(K)$ has an uncountable biorthogonal system where the functionals ar…
