Metric criteria for Banach and Euclidean spaces
An ellipse in R2 can be defined as the locus of points for which the sum of the Euclidean distances from the two foci is constant. In this paper we will look at the sets that are obtained by considering in the above definition distances induced by arbitrary norms.
Let X be a closed subspace of c₀. We show that the metric projection onto any proximinal subspace of finite codimension in X is Hausdorff metric continuous, which, in particular, implies that it is both lower and upper Hausdorff semicontinuous.
We show that a geodesic metric space which does not admit bilipschitz embeddings into Banach spaces with the Radon-Nikodým property does not necessarily contain a bilipschitz image of a thick family of geodesics. This is done by showing that no thick family of geodesics is Markov convex, and comparing this result with results of Cheeger-Kleiner, Lee-Naor, and Li. The result contrasts with the earlier result of the author that any Banach space without the Radon-Nikodým property contains a bilipschitz...
A metric space (M,d) is said to have the small ball property (sbp) if for every ε₀ > 0 it is possible to write M as the union of a sequence (B(xₙ,rₙ)) of closed balls such that the rₙ are smaller than ε₀ and lim rₙ = 0. We study permanence properties and examples of sbp. The main results of this paper are the following: 1. Bounded convex closed sets in Banach spaces have sbp only if they are compact. 2. Precisely the finite-dimensional Banach spaces have sbp. (More generally: a complete metric...
We investigate several aspects of almost 1-unconditionality. We characterize the metric unconditional approximation property (umap) in terms of “block unconditionality”. Then we focus on translation invariant subspaces and of functions on the circle and express block unconditionality as arithmetical conditions on E. Our work shows that the spaces , p an even integer, have a singular behaviour from the almost isometric point of view: property (umap) does not interpolate between and . These...
Properties of metrically convex functions in normed spaces (of any dimension) are considered. The main result, Theorem 4.2, gives necessary and sufficient conditions for a function to be metrically convex, expressed in terms of the classical convexity theory.
We obtain theorems of metrization and quasi-metrization for several topologies of weak* type on the unit ball of the dual of any separable quasi-normed cone. This is done with the help of an appropriate version of the Alaoglu theorem which is also obtained here.
We study the problem of whether , the space of n-homogeneous polynomials which are weakly continuous on bounded sets, is an M-ideal in the space (ⁿE) of continuous n-homogeneous polynomials. We obtain conditions that ensure this fact and present some examples. We prove that if is an M-ideal in (ⁿE), then coincides with (n-homogeneous polynomials that are weakly continuous on bounded sets at 0). We introduce a polynomial version of property (M) and derive that if and (E) is an M-ideal in...
By a ball-covering of a Banach space X, we mean a collection of open balls off the origin in X and whose union contains the unit sphere of X; a ball-covering is called minimal if its cardinality is smallest among all ball-coverings of X. This article, through establishing a characterization for existence of a ball-covering in Banach spaces, shows that for every n ∈ ℕ with k ≤ n there exists an n-dimensional space admitting a minimal ball-covering of n + k balls. As an application, we give a new...
We say that a function from is k-convex (for k ≤ L) if its kth derivative is nonnegative. Let P denote a projection from X onto V = Πₙ ⊂ X, where Πₙ denotes the space of algebraic polynomials of degree less than or equal to n. If we want P to leave invariant the cone of k-convex functions (k ≤ n), we find that such a demand is impossible to fulfill for nearly every k. Indeed, only for k = n-1 and k = n does such a projection exist. So let us consider instead a more general “shape” to preserve....