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$ contains an isomorph of $\ell_1$ (respectively, $c_0$).
In this paper we show that by renorming an ordered Banach space, every cone P can be converted to a normal cone with constant K = 1 and consequently due to this approach every cone metric space is really a metric one and every theorem in metric space valid for cone metric space automatically.
Megrelishvili defines \emph{light groups} of isomorphisms of a Banach space as the groups on which the Weak and Strong Operator Topologies coincide, and proves that every bounded group of isomorphisms of Banach spaces with the Point of Continuity Property (PCP) is light. We investigate this concept for isomorphism groups $G$ of classical Banach spaces $X$ without the PCP, specially isometry groups, and relate it to the existence of $G$-invariant LUR or strictly convex renormings of $X$.
The problems connected with equivalent norms lie at the heart of Banach space theory. This is a short survey on some recent as well as classical results and open problems in renormings of Banach spaces.
We prove that in every separable Banach space $X$ with a Schauder basis and a $C^k$-smooth norm it is possible to approximate, uniformly on bounded sets, every equivalent norm with a $C^k$-smooth one in a way that the approximation is improving as fast as we wish on the elements depending only on the tail of the Schauder basis. Our result solves a problem from the recent monograph of Guirao, Montesinos and Zizler.
We study the problem of totally smooth renormings of Banach spaces and provide such renormings for spaces which are weakly compactly generated. We also consider renormings for $(a,B,c)$-ideals.
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 prove that every separable Banach space containing $\ell_1$ can be equivalently renormed so that its bidual space is octahedral, which answers, in the separable case, a question by Godefroy in 1989. As a direct consequence, we obtain that every dual Banach space, with a separable predual, failing to be strongly regular (that is, without convex combinations of slices with diameter arbitrarily small for some closed, convex and bounded subset) can be equivalently renormed with a dual norm to satisfy the strong diameter two property (that is, such that every convex combination of slices in its …
We introduce a new diametral notion for points of the unit sphere of Banach spaces, that naturally complements the notion of Delta-points, but is weaker than the notion of Daugavet points. We prove that this notion can be used to provide a new geometric characterization of the Daugavet property, as well as to recover -- and even to provide new -- results about Daugavet points in various contexts such as absolute sums of Banach spaces or projective tensor products. Finally, we show that this notion leads to powerful new ideas for renorming questions, and that those ideas can be combined with pr…
Using the game approach to fragmentability, we give new and simpler proofs of the following known results: (a) If the Banach space admits an equivalent Kadec norm, then its weak topology is fragmented by a metric which is stronger than the norm topology. (b) If the Banach space admits an equivalent rotund norm, then its weak topology is fragmented by a metric. (c) If the Banach space is weakly locally uniformly rotund, then its weak topology is fragmented by a metric which is stronger than the norm topology.
We study several classical concepts in the topic of strict convexity of norms in infinite dimensional Banach spaces. Specifically, and in descending order of strength, we deal with Uniform Rotundity (UR), Weak Uniform Rotundity (WUR) and Uniform Rotundity in Every Direction (URED). Our first three results show that we may distinguish between all of these three properties in every Banach space where such renormings are possible. Specifically, we show that in every infinite dimensional Banach space which admits a WUR (resp. URED) renorming, we can find a norm with the same condition and which mo…
We prove that the spaces $\ell_p$, $1<p<\infty, p\ne 2$, and all infinite-dimensional subspaces of their quotient spaces do not admit equivalent almost transitive renormings. This is a step towards the solution of the Banach-Mazur rotation problem, which asks whether a separable Banach space with a transitive norm has to be isometric or isomorphic to a Hilbert space. We obtain this as a consequence of a new property of almost transitive spaces with a Schauder basis, namely we prove that in such spaces the unit vector basis of $\ell_2^2$ belongs to the two-dimensional asymptotic structure and w…
A Banach space X with closed unit ball B is said to have property 2-beta, repsectively 2-NUC if for every \ep > 0, there exists δ> 0 such that for every \ep-separated sequence (x_n) in the unit ball B, and every x in B, there are distinct indices m and n such that ||x + x_m + x_n|| < 3(1 - δ), respectively, ||x_m + x_n|| < 2(1 - δ). It is shown that a Banach space constructed by Schachermayer has property 2-beta but cannot be renormed to have property 2-NUC.
We prove that if $Y$ is a closed subspace of a Banach space $X$ such that $Y$ and $X/Y$ admit an equivalent asymptotically uniformly smooth norm, then $X$ also admits an equivalent asymptotically uniformly smooth norm. The proof is based on the use of the Szlenk index and yields a few other applications to renorming theory.
A Banach space (or its norm) is said to have the diameter $2$ property (D$2$P in short) if every nonempty relatively weakly open subset of its closed unit ball has diameter $2$. We construct an equivalent norm on $L_1[0,1]$ which is weakly midpoint locally uniformly rotund and has the D$2$P. We also prove that for Banach spaces admitting a norm-one finite-co-dimensional projection it is impossible to be uniformly rotund in every direction and at the same time have the D$2$P.
We study the problem of improving the greedy constant or the democracy constant of a basis of a Banach space by renorming. We prove that every Banach space with a greedy basis can be renormed, for a given $\vare>0$, so that the basis becomes $(1+\vare)$-democratic, and hence $(2+\vare)$-greedy, with respect to the new norm. If in addition the basis is bidemocratic, then there is a renorming so that in the new norm the basis is $(1+\vare)$-greedy. We also prove that in the latter result the additional assumption of the basis being bidemocratic can be removed for a large class of bases. Applicat…
A result of G. Godefroy asserts that a Banach space $X$ contains an isomorphic copy of $\ell_1$ if and only if there is an equivalent norm $|||\cdot|||$ such that, for every finite-dimensional subspace $Y$ of $X$ and every $\varepsilon>0$, there exists $x\in S_X$ so that $|||y+r x|||\geq (1-\varepsilon)(|||y|||+\vert r\vert)$ for every $y\in Y$ and every $r\in\mathbb R$. In this paper we generalize this result to larger cardinals, showing that if $κ$ is an uncountable cardinal then a Banach space $X$ contains a copy of $\ell_1(κ)$ if and only if there is an equivalent norm $|||\cdot|||$ on $X$…
Garling sequence spaces admit a renorming with respect to which their standard unit vector basis is 1-greedy. We also discuss some additional properties of these Banach spaces related to uniform convexity and superreflexivity. In particular, our approach to the study of the superreflexivity of Garling sequence space provides an example of how essentially non-linear tools from greedy approximation can be used to shed light into the linear structure of the spaces.
Trees are very agreeable objects to work with, offering a diversity of behaviour within a structure that is sufficiently simple to admit precise analysis. Thus we are able to offer fairly satisfactory necessary and sufficient conditions on a tree $Υ$ for the existence of equivalent LUR or strictly convex norms on $\C_0(Υ)$ and for norms with the Kadec Property. In particular, we show that for a {\sl finitely branching} tree $Υ$ the space $\C_0(Υ)$ admits a Kadec renorming. Since some finitely branching trees fail the condition for strictly convex renormability, we obtain an example of a Banach…
We are concerned about improvements of the modulus of convexity by renormings of a super-reflexive Banach space. Typically optimal results are beyond Pisier's power functions bounds $t^p$, with $p \geq 2$, and they are related to the notion of generalized cotype. We obtain an explicit upper bound for all the modulus of convexity of equivalent renormings and we show that if this bound is equivalent to $t^2$, the best possible, then the space admits a renorming with modulus of power type $2$. We show that a UMD space admits a renormings with modulus of convexity bigger, up to a multiplicative co…
We characterize non-reflexive Banach spaces by a low-distortion (resp. isometric) embeddability of a certain metric graph up to a renorming. Also we study non-linear sufficient conditions for $\ell_1^n$ being $(1+\varepsilon)$-isomorphic to a subspace of a Banach space $X$.
We study some generalized metric properties of weak topologies when restricted to the unit sphere of some equivalent norm on a Banach space, and their relationships with other geometrical properties of norms. In case of dual Banach space $X^*$, we prove that there exists a dual norm such that its unit sphere is a Moore space for the weak$^*$-topology (has a G$_δ$-diagonal for the weak$^*$-topology, respectively) if, and only if, $X^*$ admits an equivalent weak$^*$-LUR dual norm (rotund dual norm, respectively).
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 study the existence of pointwise Kadec renormings for Banach spaces of the form $C(K)$. We show in particular that such a renorming exists when $K$ is any product of compact linearly ordered spaces, extending the result for a single factor due to Haydon, Jayne, Namioka and Rogers. We show that if $C(K_1)$ has a pointwise Kadec renorming and $K_2$ belongs to the class of spaces obtained by closing the class of compact metrizable spaces under inverse limits of transfinite continuous sequences of retractions, then $C(K_1\times K_2)$ has a pointwise Kadec renorming. We also prove a version of t…
We continue with the study of greedy-type bases in quasi-Banach spaces started in [3]. In this paper, we study partially-greedy bases focusing our attention in two main results: -Characterization of partially-greedy bases in quasi-Banach spaces in terms of quasi-greediness and different conservative-like properties. -Given a $C$-partially-greedy basis in a quasi-Banach space, there exists a "renorming" such that the basis is $1$-partially-greedy.
We study four asymptotic smoothness properties of Banach spaces, denoted $\textsf{T}_p,\textsf{A}_p, \textsf{N}_p$ and $\textsf{P}_p$. We complete their description by proving the missing renorming theorem for $\textsf{A}_p$. We prove that asymptotic uniform flattenability (property $\textsf{T}_\infty$) and summable Szlenk index (property $\textsf{A}_\infty$) are three space properties. Combined with the positive results of the first named author, Draga, and Kochanek, and with the counterexamples we provide, this completely solves the three space problem for this family of properties. We also …
We provide some new consequences on the Lipschitz numerical radius and index which were introduced recently. More precisely, we give some renorming results on the Lipschitz numerical index, introduce a concept of Lipschitz numerical radius attaining functions in order to show that the denseness fails for an arbitrary Banach space, and study a Lipschitz version of Daugavet centers. Furthermore, we discuss the Lipschitz numerical index of vector-valued function spaces, absolute sums of Banach spaces, the Köthe-Bochner spaces, and Banach spaces which contain a dense union of increasing family of …
On each nonreflexive Banach space X there exists a positive continuous convex function f such that 1/f is not a d.c. function (i.e., a difference of two continuous convex functions). This result together with known ones implies that X is reflexive if and only if each everywhere defined quotient of two continuous convex functions is a d.c. function. Our construction gives also a stronger version of Klee's result concerning renormings of nonreflexive spaces and non-norm-attaining functionals.
We prove some rather precise renorming theorems for Banach spaces with Szlenk index $ω_0$. We use these theorems to show the invariance of certain quantitative Szlenk-type indices under uniform homeomorphisms.
We prove that a Banach space of continuous functions $C(K)$ has a renorming that is uniformly rotund in every direction (URED) if and only if the compact space $K$ supports a strictly positive measure
The paper is concerned with the problem whether a nonseparable Banach space must contain an uncountable set of vectors such that the distances between every two distinct vectors of the set are the same. Such sets are called equilateral. We show that Martin's axiom and the negation of the continuum hypothesis imply that every nonseparable Banach space of the form $C(K)$ has an uncountable equilateral set. We also show that one cannot obtain such a result without an additional set-theoretic assumption since we construct an example of nonseparable Banach space of the form $C(K)$ which has no unco…
Let $X$ be a Banach space with separable dual. It is proved that for every $\varepsilon\in (0,1)$, $X$ embeds isometrically into a Banach space $W$ with a shrinking basis $(w_n)$ which is $(1+ \varepsilon)$-monotone. Moreover, if $X$ has further an FDD $(E_n)$ whose strong bimonotonicity projection constant is not larger than $\mathcal{D}$, then $(w_n)$ has strong bimonotonicity projection constant not exceeding $\mathcal{D}(1 +\varepsilon)$. Further, if $(E_n)$ is $\mathcal{C}$-unconditional then $(w_n)$ is $\mathcal{C}(1 + \varepsilon)$-unconditional. The proof uses renorming and skipped blo…
The main result is a submetric characterization of the class of Banach spaces admitting an equivalent norm with Rolewicz's property ($β$). As applications we prove that up to renorming, property ($β$) is stable under coarse Lipschitz embeddings and coarse quotients.
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 prove the symmetric version of Kottman's theorem, that is to say, we demonstrate that the unit sphere of an infinite-dimensional Banach space contains an infinite subset $A$ with the property that $\|x\pm y\| > 1$ for distinct elements $x,y\in A$, thereby answering a question of J. M. F. Castillo. In the case where $X$ contains an infinite-dimensional separable dual space or an unconditional basic sequence, the set $A$ may be chosen in a way that $\|x\pm y\| \geqslant 1+\varepsilon$ for some $\varepsilon > 0$ and distinct $x,y\in A$. Under additional structural properties of $X$, such as no…
For k being the first uncountable cardinal w_1 or k being the cardinality of the continuum c, we prove that it is consistent that there is no Banach space of density k in which it is possible to isomorphically embed every Banach space of the same density which has a uniformly Gâteaux differentiable renorming or, equivalently, whose dual unit ball with the weak* topology is a subspace of a Hilbert space (a uniform Eberlein compact space). This complements a consequence of results of M. Bell and of M. Fabian, G. Godefroy, V. Zizler that assuming the continuum hypothesis, there is a universal spa…
We extend a precise renorming result of Godefroy, Kalton, and Lancien regarding asymptotically uniformly smooth norms of separable Banach spaces with Szlenk index $ω$. For every ordinal $ξ$, we characterize the operators, and therefore the Banach spaces, which admit a $ξ$-asymptotically uniformly smooth norm with power type modulus and compute for those operators the best possible exponent in terms of the values of $Sz_ξ(\cdot, \varepsilon)$. We also introduce the $ξ$-Szlenk power type and investigate ideal and factorization properties of classes associated with the $ξ$-Szlenk power type.
In the first part of our paper, we show that $\ell_\infty$ has a dense linear subspace which admits an equivalent real analytic norm. As a corollary, every separable Banach space, as well as $\ell_1(\mathfrak{c})$, also has a dense linear subspace which admits an analytic renorming. By contrast, no dense subspace of $c_0(ω_1)$ admits an analytic norm. In the second part, we prove (solving in particular an open problem of Guirao, Montesinos, and Zizler) that every Banach space with a long unconditional Schauder basis contains a dense subspace that admits a $C^{\infty}$-smooth norm. Finally, we …
We define and discuss transfinite asymptotic notions of smoothability, type, and equal norm type. We prove distinctness of these notions for a proper class of ordinals and that each class is an ideal. We also extend some results of Godefroy, Kalton, and Lancien to operators and ordinals greater than zero regarding the equivalence of equal norm asymptotic type and uniform renormings with power type smoothness. Finally, we discuss an extension of a non-linear result for quasi-reflexive, asymptotically $p$-smoothable Banach spaces to quasi-reflexive Banach spaces with asymptotic equal norm type $…
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 this work, we obtain some necessary and some sufficient conditions for a space to be nicely smooth, and show that they are equivalent for separable or Asplund spaces. We obtain a sufficient condition for the Ball Generated Property (BGP), and conclude that Property $(II)$ implies the BGP, which, in turn, implies the space is nicely smooth. We show that the class of nicely smooth spaces is stable under $c_o$ and $\ell_p$ sums and also under finite $\ell_1$ sums; that being nicely smooth is not a three space property; and that the Bochner $L_p$ spaces are nicely smooth if and only if $X$ is b…
We study the general measures of non-compactness defined on subsets of a dual Banach space, their associated derivations and their $ω$-iterates. We introduce the notions of convexifiable and sublinear measure of non-compactness and investigate the properties of its associated fragment and slice derivations. We apply our results to the Kuratowski measure of non-compactness and to the study of the Szlenk index of a Banach space. As a consequence, we obtain that the Szlenk index and the convex Szlenk index of a separable Banach space are always equal. We also give, for any countable ordinal $α$, …
The maximal roundness of a metric space is a quantity that arose in the study of embeddings and renormings. In the setting of Banach spaces, it was shown by Enflo that roundness takes on a much simpler form. In this paper we provide simple computations of the roundness of many standard Banach spaces, such as $\ell^{p}$, the Lebesgue-Bochner spaces $\ell^{p}(\ell^{q})$ and the Schatten ideals $S_{p}$. We also introduce a property that is dual to that of roundness, which we call coroundness, and make explicit the relation of these properties to the geometric concepts of smoothness and convexity …
A recent result of T.~Abrahamsen, P.~Hájek and S.~Troyanski states that a separable Banach space is almost square if and only if there exists $h\in S_{X^{****}}$ such that $\|x+h\|=\max\{\|x\|,1\}$ for all $x\in X$. The proof passes through a sequential version of being almost square which we call being \textit{sequentially almost square}. In this article we study these conditions in the nonseparable setting. On one hand, we show that a Banach space $X$ contains a copy of $c_0$ if and only if there exists an equivalent renorming $| \cdot |$ on $X$ for which there exists $h\in S_{X^{****}}$ suc…
