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
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 construct equivalent semi-norms of non-local Dirichlet forms on the Sierpiński gasket and apply these semi-norms to a convergence problem and a trace problem. We also construct explicitly a sequence of non-local Dirichlet forms with jumping kernels equivalent to $|x-y|^{-α-β}$ that converges exactly to local Dirichlet form.
In this note we give a simple proof that every subspace of L_p, 2<p<infinity, with an unconditional basis has an equivalent norm determined by partitions and weights. Consequently L_p has a norm determined by partitions and weights.
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.
Angular equivalence is introduced and shown to be an equivalence relation among the norms on a fixed real vector space. It is a finer notion than the usual (topological) notion of norm equivalence. Angularly equivalent norms share certain geometric properties: A norm that is angularly equivalent to a uniformly convex norm is itself uniformly convex. The same is true for strict convexity. Extreme points of the unit balls of angularly equivalent norms occur on the same rays, and if one unit ball is a polyhedron so is the other. Among norms arising from inner products, two norms are angularly equ…
Tsirelson's space $T$ is known to be distortable but it is open as to whether or not $T$ is arbitrarily distortable. For $n\in {\Bbb N}$ the norm $\|\cdot\|_n$ of the Tsirelson space $T(S_n,2^{-n})$ is equivalent to the standard norm on $T$. We prove there exists $K<\infty$ so that for all $n$, $\|\cdot\|_n$ does not $K$ distort any subspace $Y$ of $T$.
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 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 paper under some growth condition we investigate the connection between RBMO and the Morrey spaces. We do not assume the doubling condition which has been a key property of harmonic analysis. We also obtain another type of equivalent norms.
We give a new class of equivalent norms for modulation spaces by replacing the window of the short-time Fourier transform by a Hilbert-Schmidt operator. The main result is applied to Cohen's class of time-frequency distributions, Weyl operators and localization operators. In particular, any positive Cohen's class distribution with Schwartz kernel can be used to give an equivalent norm for modulation spaces. We also obtain a description of modulation spaces as time-frequency Wiener amalgam spaces. The Hilbert-Schmidt operator must satisfy a nuclearity condition for these results to hold, and we…
We consider Lorentz-Karamata spaces, small and grand Lorentz-Karamata spaces, and the so-called $\mathcal{L}$, $\mathcal{R}$, $\mathcal{LL}$, $\mathcal{RL}$, $\mathcal{RL}$, and $\mathcal{RR}$ spaces. The quasi-norms for a function $f$ in each of these spaces can be defined via the non-increasing rearrangement $f^*$ or via the maximal function $f^{**}$. We investigate when these quasi-norms are equivalent. Most of the proofs are based on Hardy-type inequalities. As application we demonstrate how our general results can be used to establish interpolation formulae for the grand and small Lorentz…
Angular equivalence of norms is introduced by Kikianty and Sinnamon (2017) and is a stronger notion than the usual topological equivalence. Given two angularly equivalent norms, if one norm has a certain geometrical property, e.g. uniform convexity, then the other norm also possesses such a property. In this paper, we show further results in this direction, namely angular equivalent norms share the property of uniform non-squareness, and that angular equivalence preserves the exposed points of the unit ball. A discussion on the (equivalence of the) dual norms of angularly equivalent norms is a…
In this paper, we study norm almost periodic measures on locally compact Abelian groups. First, we show that the norm almost periodicity of $μ$ is equivalent to the equi-Bohr almost periodicity of $μ*g$ for all $g$ in a fixed family of functions. Then, we show that, for absolutely continuous measures, norm almost periodicity is equivalent to the Stepanov almost periodicity of the Radon--Nikodym density.
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).
Let $X$ be an Asplund space. We show that the existence of an equivalent norm on $X$ having a strictly convex dual norm is equivalent to the dual unit sphere $S_{X^*}$ (equivalently $X^*$) possessing a non-linear topological property called ($*$), which was introduced by J. Orihuela, S. Troyanski and the author.
Let $A$ and $B$ be compact operators over a topological space $X$ and suppose that these operators are normal and have same distinct eigenvalues at each point. By obstruction theory, we establish a necessary and sufficient condition for $A$ and $B$ to be strongly unitarily equivalent. When $X=S^1$, we also give a sufficient condition for $A$ and $B$ to be approximately unitarily equivalent with some assumption on their eigenvalues.
Relatively recently it was proved that if $Γ$ is an arbitrary set, then any equivalent norm on $c_0(Γ)$ can be approximated uniformly on bounded sets by polyhedral norms and $C^\infty$ smooth norms, with arbitrary precision. We extend this result to more classes of spaces having uncountable symmetric bases, such as preduals of the `discrete' Lorentz spaces $d(w,1,Γ)$, and certain symmetric Nakano spaces and Orlicz spaces. We also show that, given an arbitrary ordinal number $α$, there exists a scattered compact space $K$ having Cantor-Bendixson height at least $α$, such that every equivalent n…
It is proved that if a Banach space $X$ has a basis $(e_n)$ satisfying every spreading model of a normalized block basis of $(e_n)$ is 1-equivalent to the unit vector basis of $\ell_1$ (respectively, $c_0$) then $X$ contains $\ell_1$ (respectively, $c_0$). Furthermore Tsirelson's space $T$ is shown to have the property that every infinite dimensional subspace contains a sequence having spreading model 1-equivalent to the unit vector basis of $\ell_1$. An equivalent norm is constructed on $T$ so that $\|s_1+s_2\|<2$ whenever $(s_n)$ is a spreading model of a normalized basic sequence in $T$.
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…
We first investigate concentration and vanishing phenomena concerning Moser type inequalities in the whole plane which involve complete and reduced Sobolev norms. In particular we show that the critical Ruf inequality is equivalent to an improved version of the subcritical Adachi-Tanaka inequality which we prove to be attained. Then, we consider the limiting space $\mathcal{D}^{1,2}(\mathbb{R}^2)$, completion of smooth compactly supported functions with respect to the Dirichlet norm $\|\nabla\cdot\|_2$, and we prove an optimal Lorentz-Zygmund type inequality with explicit extremals and from wh…
Equivalent conditions that make the normal cone maximal monotone are investigated in the general settings of locally convex spaces. Some consequences such as Bishop Phelps and sum representability results are presented in the last part.
We show that every infinite-dimensional Banach space with separable dual admits an equivalent norm which is weakly locally uniformly rotund but not locally uniformly rotund.
It is well known that an ordered normed vector space $X$ with normal cone $X_+$ has an order-preserving norm that is equivalent to the original norm. Such an equivalent order-preserving norm is given by \begin{equation} \sharp x \sharp = \max \{ d(x, X_+), d(x, - X_+)\}, \qquad x \in X. \end{equation} This paper explores the properties of this norm and of the half-norm $ψ(x) = d(x,-X_+)$ independently of whether or not the cone is normal. We use $ψ$ to derive comparison principles for the solutions of abstract integral equations, derive conditions for point-dissipativity of nonlinear positive …
We prove that an asymmetric normed space is never a Baire space if the topology induced by the asymmetric norm is not equivalent to the topology of a norm. More precisely, we show that a biBanach asymmetric normed space is a Baire space if and only if it is isomorphic to its associated normed space.
Let $A$ be a dual Banach algebra with predual $A_\ast$ and consider the following assertions: (A) $A$ is Connes-amenable; (B) $A$ has a normal, virtual diagonal; (C) $A_\ast$ is an injective $A$-bimodule. For general $A$, all that is known is that (B) implies (A) whereas, for von Neumann algebras, (A), (B), and (C) are equivalent. We show that (C) always implies (B) whereas the converse is false for $A = M(G)$ where $G$ is an infinite, locally compact group. Furthermore, we present partial solutions towards a characterization of (A) and (B) for $B(G)$ in terms of $G$: For amenable, discrete $G…
G. Godefroy asked whether, on any Banach space, the set of norm-attaining functionals contains a 2-dimensional linear subspace. We prove that a recent construction due to C.J. Read provides an example of a space which does not have this property. This is done through a study of the relation between the following two sentences where X is a Banach space and Y is a closed subspace of finite codimension in X: (A) Y is proximinal in X. (B) The annihilator of Y consists of norm-attaining functionals. We prove that these are equivalent if X is the Read's space. Moreover, we prove that any non-reflexi…
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.
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 $…
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 introduce a Banach rearrangement invariant (tail) quasy-norm by means of Hardy's (Cesaro) average on the (measurable) functions defined on some measurable space which is a slight generalization of classical Lorentz-Marcinkiewicz norm and find for it an equivalent norm expression.
We show that for a sequence in a Banach space, the property of being stable under large perturbations characterizes the property of being equivalent to the unit vector basis of $l_1$. We show that a normalized unconditional basic sequence in $l_1$ that is semi-normalized in $l_\infty$ is equivalent to the standard unit vector basis of~$l_1$.
In [K--S 1] it was shown that $$ \underset π \to {\text{Ave}} (\sum_{i=1}^{n}|x_i a_{π(i)}|^2)^{\frac {1}{2}} $$ is equivalent to an Orlicz norm whose Orlicz function is 2-concave. Here we give a formula for the sequence $a_1, a_2,....,a_n$ so that the above expression is equivalent to a given Orlicz norm.
We consider a normalized basis in a Banach space with the following property: any normalized block sequence of the basis has a subsequence equivalent to the basis. We show that under uniformity or other natural assumptions, a basis with this property is equivalent to the unit vector basis of $c_0$ or $\ell_p$. We also address an analogous problem for spreading models.
For each ordinal $ξ$ and each $1<p<\infty$, we offer a natural, ismorphic characterization of those spaces and operators which admit an equivalent $ξ$-$p$-asymptotically uniformly smooth norm. We also introduce the notion of $ξ$-asymptotically uniformly flat norms and provide an isomorphic characterization of those spaces and operators which admit an equivalent $ξ$-asymptotically uniformly flat norm. Given a compact, Hausdorff space $K$, we prove an optimal renormong theorem regarding the $ξ$-asymptotic smoothness of $C(K)$ in terms of the Cantor-Bendixson index of $K$. We also prove that for …
Let $X$ be a WCG Banach space admitting a $C^k$-Fr\' echet smooth norm. Then $X$ admits an equivalent norm which is simultaneously $C^1$-Fr\' echet smooth, LUR, and a uniform limit of $C^k$-Fr\' echet smooth norms. If $X=C([0,α])$, where $α$ is an ordinal, then the same conclusion holds true with $k=\infty$.
This article studies constructions of reproducing kernel Banach spaces (RKBSs) which may be viewed as a generalization of reproducing kernel Hilbert spaces (RKHSs). A key point is to endow Banach spaces with reproducing kernels such that machine learning in RKBSs can be well-posed and of easy implementation. First we verify many advanced properties of the general RKBSs such as density, continuity, separability, implicit representation, imbedding, compactness, representer theorem for learning methods, oracle inequality, and universal approximation. Then, we develop a new concept of generalized …
The aim of this note is to present two results that make the task of finding equivalent polyhedral norms on certain Banach spaces, having either a Schauder basis or an uncountable unconditional basis, easier and more transparent. The hypotheses of both results are based on decomposing the unit sphere of a Banach space into countably many pieces, such that each one satisfies certain properties. Some examples of spaces having equivalent polyhedral norms are given.
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…
A new general Hormander type condition involving anisotropies and mixed norms is introduced, and boundedness results for Fourier multi- pliers on anisotropic Besov and Triebel-Lizorkin spaces of distributions with mixed Lebesgue norms are obtained. As an application, the continuity of such operators is established on mixed Sobolev and Lebesgue spaces too. Some lifting properties and equivalent norms are obtained as well.
In this paper, we study some features of n-normed spaces with respect to norms of its quotient spaces. We define continuous functions with respect to the norms of its quotient spaces and show that all types of continuity are equivalent. We also study contractive mappings on n- normed spaces using the same approach. In particular, we prove a fixed point theorem for contractive mappings on a closed and bounded set in an n-normed space.
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 introduce a linearly ordered set Z and use it to prove a necessity condition for the existence of a Gâteaux smooth norm on C(T), where T is a tree. This criterion is directly analogous to the corresponding equivalent condition for Fréchet smooth norms. In addition, we prove that if C(T) admits a Gâteaux smooth lattice norm then it also admits a lattice norm with strictly convex dual norm.
One considers Hilbert space valued measures on the Borel sets of a compact metric space. A natural numerical valued integral of vector valued continuous functions with respect to vector valued functions is defined. Using this integral, different norms (we called them Monge-Kantorovich norm, modified Monge-Kantorovich norm and Hanin norm) on the space of measures are introduced, generalizing the theory of (weak) convergence for probability measures on metric spaces. These norms introduce new (equivalent) metrics on the initial compact metric space.
The aim of this paper is to present a tool used to show that certain Banach spaces can be endowed with $C^k$ smooth equivalent norms. The hypothesis uses particular countable decompositions of certain subsets of $B_{X^*}$, namely boundaries. Of interest is that the main result unifies two quite well known results. In the final section, some new corollaries are given.
We prove that, any problem of minimization of proper lower semicontinuous function defined on a normal Hausdorff space, is canonically equivalent to a problem of minimization of a proper weak * lower semicontinuous convex function defined on a weak * convex compact subset of some dual Banach space. We estalish the existence of an bijective operator between the two classes of functions which preserves the problems of minimization.
We prove that if K is a Gruenhage compact space then C(K)* admits an equivalent, strictly convex dual norm. As a corollary, we show that if X is a Banach space and X* is the |.|-closed linear span of K, where K is a Gruenhage compact in the w*-topology and |.| is equivalent to a coarser, w*-lower semicontinuous norm on X*, then X* admits an equivalent, strictly convex dual norm. We give a partial converse to the first result by showing that if T is a tree, then C(T)* admits an equivalent, strictly convex dual norm if and only if T is a Gruenhage space. Finally, we present some stability proper…
In this article, we characterize the $UMD$--property of a Banach space $X$ by ideal norms associated with trigonometric orthonormal systems. The asymptotic behavior of that numerical parameters can be used to decide whether or not $X$ is a $UMD$--space. Moreover, in the negative case, we obtain a measure that shows how far $X$ is from being a $UMD$--space. The main result is, that all described parameters are equivalent also in the quantitative setting.
We introduce a new topological property called (*) and the corresponding class of topological spaces, which includes spaces with $G_δ$-diagonals and Gruenhage spaces. Using (*), we characterise those Banach spaces which admit equivalent strictly convex norms, and give an internal topological characterisation of those scattered compact spaces $K$, for which the dual Banach space $C(K)^*$ admits an equivalent strictly convex dual norm. We establish some relationships between (*) and other topological concepts, and the position of several well-known examples in this context. For instance, we show…