The following strengthening of the Elton-Odell theorem on the existence of a $(1+ε)-$separated sequences in the unit sphere $S_X$ of an infinite dimensional Banach space $X$ is proved: There exists an infinite subset $S\subseteq S_X$ and a constant $d>1$, satisfying the property that for every $x,y\in S$ with $x\neq y$ there exists $f\in B_{X^*}$ such that $d\leq f(x)-f(y)$ and $f(y)\leq f(z)\leq f(x)$, for all $z\in S$.
Let $X$ be a finite-dimensional Banach space; we introduce and investigate a natural generalization of the concepts of Hadwiger number $H(X)$ and strict Hadwiger number $H'(X)$. More precisely, we define the antipodal Hadwiger number $H_α(X)$ as the largest cardinality of a subset $S \subseteq S_X$, such that $\forall x \neq y \in S \,\,\, \exists f \in B_{X^*}$ with \[1 \le f(x)-f(y) \,\,\, \textrm{and} \,\,\, f(y) \le f(z) \le f(x) \,\,\, \textrm{for} \,\,\, z \in S.\] The strict antipodal Hadwiger number $H'_α(X)$ is defined analogously. We prove that $H'_α(X)=4$ for every Minkowski plane a…
We study the horofunction boundaries of Hilbert and Thompson geometries, and of Banach spaces, in arbitrary dimension. By comparing the boundaries of these spaces, we show that the only Hilbert and Thompson geometries that are isometric to Banach spaces are the ones defined on the cone of positive continuous functions on a compact space.
We show that every Banach space $X$ containing an isomorphic copy of $c_0$ has an infinite equilateral set and also that if $X$ has a bounded biorthogonal system of size $α$ then it can be renormed so as to admit an equilateral set of equal size. If $K$ is any compact non metrizable space, then under a certain combinatorial condition on $K$ the Banach space $C(K)$ has an uncountable equilateral set.
We find a class of metric structures which do not admit bilipschitz embeddings into Banach spaces with the Radon-Nikodým property. Our proof relies on Chatterji's (1968) martingale characterization of the RNP and does not use the Cheeger's (1999) metric differentiation theory. The class includes the infinite diamond and both Laakso (2000) spaces. We also show that for each of these structures there is a non-RNP Banach space which does not admit its bilipschitz embedding. We prove that a dual Banach space does not have the RNP if and only if it admits a bilipschitz embedding of the infinite dia…
An example of an infinite dimensional and separable Banach space is given, that is not isomorphic to a subspace of l1 with no infinite equilateral sets.
We prove that a Banach space X is not super-reflexive if and only if the hyperbolic infinite tree embeds metrically into X. We improve one implication of J.Bourgain's result who gave a metrical characterization of super-reflexivity in Banach spaces in terms of uniforms embeddings of the finite trees. A characterization of the linear type for Banach spaces is given using the embedding of the infinite tree equipped with a suitable metric.
We study the existence of zeroes of mappings defined in Banach spaces. We obtain, in particular, an extension of the well-known Bolzano-Poincaré-Miranda theorem to infinite dimensional Banach spaces. We also establish a result regarding the existence of periodic solutions to differential equations posed in an arbitrary Banach space.
We construct a purely unrectifiable set of finite $\mathcal H^1$-measure in every infinite dimensional separable Banach space $X$ whose image under every $0\neq x^*\in X^*$ has positive Lebesgue measure. This demonstrates completely the failure of the Besicovitch-Federer projection theorem in infinite dimensional Banach spaces.
A problem of Banach asks whether every infinite-dimensional Banach space which is isomorphic to all its infinite-dimensional subspaces must be isomorphic to a separable Hilbert space. In this paper we prove a result of a Ramsey-theoretic nature which implies an interesting dichotomy for subspaces of Banach spaces. Combined with a result of Komorowski and Tomczak-Jaegermann, this gives a positive answer to Banach's problem. We then generalize the Ramsey-theoretic result and deduce a further dichotomy for Banach spaces with an unconditional basis.
We prove a number of decoupling inequalities for nonhomogeneous random polynomials with coefficients in Banach space. Degrees of homogeneous components enter into comparison as exponents of multipliers of terms of certain Poincaré-type polynomials. It turns out that the fulfillment of most of types of decoupling inequalities may depend on the geometry of Banach space.
A distortion lower bound of $Ω(\log(h)^{1/p})$ is proven for embedding the complete countably branching hyperbolic tree of height $h$ into a Banach space admitting an equivalent norm satisfying property $(β)$ of Rolewicz with modulus of power type $p\in(1,\infty)$ (in short property ($β_p$)). Also it is shown that a distortion lower bound of $Ω(\ell^{1/p})$ is incurred when embedding the parasol graph with $\ell$ levels into a Banach space with an equivalent norm with property ($β_p$). The tightness of the lower bound for trees is shown adjusting a construction of Matoušek to the case of infin…
A banach space X is a normed vector space, which is complete with respect to the metric induced by the norm. Given a bounded linear operator T acting on a banach space X, T is said to attain its norm if there is a unit vector z in X, such that the norm of Tz equals the norm of T. The existence of an infinite dimensional banach space X, in which each bounded linear operator acting on X attains its norm, is still undetermined. This question was posed by M.I. Ostrovskii at St. John's University. In this paper we show that if an infinite dimensional banach space is considered over GF(2), then it i…
[REVISED VERSION] The aim of this paper is to state a sharp version of the König supremum theorem, an equivalent reformulation of the Hahn--Banach theorem. We apply it to derive statements of the Lagrange multipliers, Karush-Kuhn-Tucker and Fritz John type, for nonlinear infinite programs. We also show that a weak concept of convexity coming from minimax theory, infsup-convexity, is the adequate one for this kind of results.
The Banach-Mazur problem, which asks if every infinite-dimensional Banach space has an infinite-dimensional separable quotient space, has remained unsolved for 85 years, but has been answered in the affirmative for special cases such as reflexive Banach spaces. It is also known that every infinite-dimensional non-normable Fréchet space has an infinite-dimensional separable quotient space, namely $\mathbb{R}^ω$. It is proved in this paper that every infinite-dimensional Fréchet space (including every infinite-dimensional Banach space), indeed every locally convex space which has a subspace whic…
In this paper structure of infinite dimensional Banach spaces is studied by using an asymptotic approach based on stabilization at infinity of finite dimensional subspaces which appear everywhere far away. This leads to notions of asymptotic structures and asymptotic versions of a given Banach space. As an example of application of this approach, a class of asymptotic $l_p$-spaces is introduced and investigated in detail. Some properties of this class, as duality and complementation, are analogous to properties of classical $l_p$ spaces, although the latter is more ``regular'' than its classic…
Let $X$ be an infinite dimensional uniformly smooth Banach space. We prove that $X$ contains an infinite equilateral set. That is, there exists a constant $λ>0$ and an infinite sequence $(x_i)_{i=1}^\infty\subset X$ such that $\|x_i-x_j\|=λ$ for all $i\neq j$.
We present partial results to the following question: Does every infinite dimensional Banach space have an infinite dimensional subspace on which one can define an operator which is not a compact perturbation of a scalar multiplication?
In this note we study the endomorphisms of certain Banach algebras of infinitely differentiable functions on compact plane sets, associated with weight sequences M. These algebras were originally studied by Dales, Davie and McClure. In a previous paper this problem was solved in the case of the unit interval for many weights M. Here we investigate the extent to which the methods used previously apply to general compact plane sets, and introduce some new methods. In particular, we obtain many results for the case of the closed unit disc. This research was supported by EPSRC grant GR/M31132
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 subset. These examples are strictly convex renormings of $\ell_1([0,1])$. A wider class of renormings of $\ell_1([0,1])$ which admit no uncountable equilateral sets is also considered.
We continue our investigation, from \cite{dh}, of the ring-theoretic infiniteness properties of ultrapowers of Banach algebras, studying in this paper the notion of being purely infinite. It is well known that a $C^*$-algebra is purely infinite if and only if any of its ultrapowers are. We find examples of Banach algebras, as algebras of operators on Banach spaces, which do have purely infinite ultrapowers. Our main contribution is the construction of a "Cuntz-like" Banach $*$-algebra which is purely infinite, but whose ultrapowers are not even simple, and hence not purely infinite. This algeb…
This paper is devoted to providing a unifying approach to the study of the uniqueness of unconditional bases, up to equivalence and permutation, of infinite direct sums of quasi-Banach spaces. Our new approach to this type of problem permits us to show that a wide class of vector-valued sequence spaces have a unique unconditional basis up to a permutation. In particular, solving a problem from [F. Albiac and C. Leránoz, Uniqueness of unconditional bases in nonlocally convex $\ell_1$-products, J. Math. Anal. Appl. 374 (2011), no. 2, 394--401] we show that if $X$ is quasi-Banach space with a str…
This article is a continuation of a paper of the first author \cite{F} about complex structures on real Banach spaces. We define a notion of even infinite dimensional real Banach space, and prove that there exist even spaces, including HI or unconditional examples from \cite{F} and $C(K)$ examples due to Plebanek \cite{P}. We extend results of \cite{F} relating the set of complex structures up to isomorphism on a real space to a group associated to inessential operators on that space, and give characterizations of even spaces in terms of this group. We also generalize results of \cite{F} about…
A Banach space $X$ is called subprojective if any of its infinite dimensional subspaces $Y$ contains a further infinite dimensional subspace complemented in $X$. This paper is devoted to systematic study of subprojectivity. We examine the stability of subprojectivity of Banach spaces under various operations, such us direct or twisted sums, tensor products, and forming spaces of operators. Along the way, we obtain new classes of subprojective spaces.
We study the invertibility nonsmooth maps between infinite-dimensional Banach spaces. To this end, we introduce an analogue of the notion of pseudo-Jacobian matrix of Jeyakumar and Luc in this infinite-dimensional setting. Using this, we obtain several inversion results. In particular, we give a version of the classical Hadamard integral condition for global invertibility in this context.
In this paper, we study different kinds of normal properties for infinite system of arbitrarily many convex sets in a Banach space and provide the dual characterization for the normal property in terms of the extended Jamenson property for arbitrarily many weak*-closed convex cones in the dual space. Then, we use the normal property and the extended Jamenson property to study CHIP, strong CHIP and linear regularity for the infinite case of arbitrarily many convex sets and establish equivalent relationship among these properties. In particular, we extend main results in [3] on normal property, …
In this note a large class of primary Banach spaces is characterized. Namely, it will be demonstrated that under the Continuum Hypothesis the ultrapower of any infinite dimensional nonsuperreflexive Banach space is always primary. Consequently, any infinite dimensional nonsuperreflexive Banach space can be isometrically embedded into its primary ultrapowers.
A short review on infinite-dimensional Grassmann-Banach algebras (IDGBA) is presented. Starting with the simplest IDGBA over $K = {\bf R}$ with $l_1$-norm (suggested by A. Rogers), we define a more general IDGBA over complete normed field $K$ with $l_1$-norm and set of generators of arbitrary power. Any $l_1$-type IDGBA may be obtained by action of Grassmann-Banach functor of projective type on certain $l_1$-space. In non-Archimedean case there exists another possibility for constructing of IDGBA using the Grassmann-Banach functor of injective type.
We show that if $X$ is an infinite-dimensional separable Banach space (or more generally a Banach space with an infinite-dimensional separable quotient) then there is a continuous mapping $f\colon X\to X$ such that the autonomous differential equation $x'=f(x)$ has no solution at any point.
The purpose of this paper is to lay the foundations for the study of the problem of when $\Ext^n(X, Y)=0$ in Banach/quasi-Banach spaces. We provide a number of examples of couples $X,Y$ so that $\Ext^n(X,Y)$ is (or is not ) $0$, including the first example of a separable Banach space $\mathscr K$ so that $\Ext^n(\mathscr K, \mathscr K)\neq 0$ for all $n\in \N$. Such space moreover provides the first example of Banach spaces with infinite homological dimension/codimension. We also show that the homological dimension/codimension of Hilbert spaces is infinite. The final section is devoted to comp…
We investigate the value function of an infinite horizon variational problem in the infinite-dimensional setting. Firstly, we provide an upper estimate of its Dini--Hadamard subdifferential in terms of the Clarke subdifferential of the Lipschitz continuous integrand and the Clarke normal cone to the graph of the set-valued mapping describing dynamics. Secondly, we derive a necessary condition for optimality in the form of an adjoint inclusion that grasps a connection between the Euler--Lagrange condition and the maximum principle.
We investigate infinitesimal properties of sets of ordered $n$-uples of idempotents in a symmetric Banach $*$-algebra. These sets are called flag manifolds and carry several interesting bundles that hold an important role in some areas of operator theory. In this direction, we introduce and study Stiefel bundles on flag manifolds, which are extensions of the well known Stiefel bundles on Grassmannians. The main ingredient of our investigation is the notion of connection on an infinite-dimensional bundle, and we survey some equivalent ocurrences of such a notion in the literature.
Motivated by the study of dynamics of interacting spins for infinite particle systems, we consider an infinite family of first order differential equations in a Euclidean space, parameterized by elements $x$ of a fixed countable set. We suppose that the system is row-finite, that is, the right-hand side of the $x$-equation depends on a finite but in general unbounded number $n_x$ of variables. Under certain dissipativity-type conditions on the right-hand side and a bound on the growth of $n_x$, we show the existence of the solutions with infinite life-time, and prove that they live in an incre…
We prove that if X is a separable infinite dimensional Banach space then its isomorphism class has infinite diameter with respect to the Banach-Mazur distance. One step in the proof is to show that if X is elastic then X contains an isomorph of c_0. We call X elastic if for some K < infinity for every Banach space Y which embeds into X, the space Y is K-isomorphic to a subspace of X. We also prove that if X is a separable Banach space such that for some K < infinity every isomorph of X is K-elastic then X is finite dimensional.
The main result of this article is a rigidity result pertaining to the spreading model structure for Banach spaces coarsely embeddable into Tsirelson's original space $T^*$. Every Banach space that is coarsely embeddable into $T^*$ must be reflexive and all its spreading models must be isomorphic to $c_0$. Several important consequences follow from our rigidity result. We obtain a coarse version of an influential theorem of Tsirelson: $T^*$ does not coarsely contain $c_0$ nor $\ell_p$ for $p\in[1,\infty)$. We show that there is no infinite dimensional Banach space that coarsely embeds into eve…
The Banach Poisson geometry of multi-diagonal Hamiltonian systems having infinitely many integrals in involution is studied. It is shown that these systems can be considered as generalizing the semi-infinite Toda lattice which is an example of a bidiagonal system, a case to which special attention is given. The generic coadjoint orbits of the Banach Lie group of bidiagonal bounded operators are studied. It is shown that the infinite dimensional generalization of the Flaschka map is a momentum map. Action-angle variables for the Toda system are constructed.
A quojection (projective limit of Banach spaces with surjective linking mappings) without infinite dimensional Banach subspaces is constructed. This results answers a question posed by G.Metafune and V.B.Moscatelli.
A Banach space $X$ with a Schauder basis is defined to have the restricted quotient hereditarily indecomposable (QHI) property if $X/Y$ is hereditarily indecomposable (HI) for any infinite codimensional subspace $Y$ with a successive finite-dimensional decomposition on the basis of $X$. A reflexive space with the restricted QHI property is in particular HI, has HI dual, and is saturated with subspaces which are HI and have HI dual. The following dichotomy theorem is proved: any infinite dimensional Banach space contains a quotient of subspace which either has an unconditional basis, or has the…
It is shown that every Banach space either contains $\ell ^1$ or it has an infinite dimensional closed subspace which is a quotient of a H.I. Banach space.Further on, $L^p(λ)$, $1<p<\infty $, is a quotient of a H.I Banach space.
We introduce and study the following modified version of the Invariant Subspace Problem: whether every operator T on a Banach space has an almost invariant half-space, that is, a subspace Y of infinite dimension and infinite codimension such that Y is of finite codimension in T(Y). We solve this problem in the affirmative for a large class of operators which includes quasinilpotent weighted shift operators on l_p (1 \le p < \infty) or c_0.
We prove that the unit sphere of every infinite-dimensional uniformly convex Banach space with modulus of convexity $δ$ contains a $(1+\frac12δ(\frac23))$-separated sequence.
A Banach space E is c_0-saturated if every closed infinite dimensional subspace of E contains an isomorph of c_0. A c_0-saturated Banach space with an unconditional basis which has a quotient space isomorphic to l^2 is constructed.
A {\em hereditarily indecomposable (or H.I.)} Banach space is an infinite dimensional Banach space such that no subspace can be written as the topological sum of two infinite dimensional subspaces. As an easy consequence, no such space can contain an unconditional basic sequence. This notion was first introduced in 1993 by T.Gowers and B.Maurey, who constructed the first known example of a hereditarily indecomposable space. Gowers-Maurey space is reflexive, however it is not uniformly convex. In this article, we provide an example of a uniformly convex hereditarily indecomposable space, using …
The condensation rank associates any topological space with a unique ordinal number. In this paper we prove that the condensation rank of any infinite dimensional injective Banach space is equal to or greater than the first uncountable ordinal number.
We consider the following two-player game played on a separable, infinite-dimensional Banach space X. Player S chooses a positive integer k_1 and a finite-codimensional subspace X_1 of X. Then player P chooses x_1 in the unit sphere of X_1. Moves alternate thusly, forever. We study this game in the following setting. Certain normalized, 1-unconditional sequences (u_i) and (v_i) are fixed so that S has a winning strategy to force P to select x_i's so that if the moves are (k_1,X_1,x_1,k_2,X_2,x_2,...), then (x_i) is dominated by (u_{k_i}) and/or (x_i) dominates (v_{k_i}). In particular, we show…
We prove that if X is an infinite-dimensional Banach space with C^p smooth partitions of unity, then X and X\K are C^p diffeomorphic, for every weakly compact subset K of X.
In this study, we introduce a new iterative processes to approximate common fixed points of an infinite family of quasi-nonexpansive mappings and obtain a strongly convergent iterative sequence to the common fixed points of these mappings in a uniformly convex Banach space. Also we prove that this process to approximate zeros of an infinite family of accretive operators and we obtain a strong convergence result for these operators. Our results improve and generalize many known results in the current literature.
We construct infinitely differentiable norms and partitions of unity for a class of Banach spaces which includes all spaces $\C(K)$ with $K$ a countable compact space, and all spaces $\C_0[0,Ω)$ with $Ω$ an ordinal.
