Some geometric and topological properties of Banach spaces via ball coverings

By a ball-covering B of a Banach space X, we mean that B is a collection of open (or closed) balls off the origin whose union contains the unit sphere of X; and X is said to have the ball-covering property provided it admits a ball-covering of countably many balls. This paper shows that Gδ property of points in a Banach space X endowed with the ball topology is equivalent to the space X admitting the ball-covering property. Moreover, smoothness, uniform smoothness of X can be characterized by properties of ball-coverings of its finite dimensional subspaces.     

Ball-covering property of Banach spaces that is not preserved under linear isomorphisms

By a ball-covering B of a Banach space X, we mean that it is a collection of open balls off the origin whose union contains the sphere of the unit ball of X. The space X is said to have a ball-covering property, if it admits a ball-covering consisting of countably many balls. This paper, by constructing the equivalent norms on l~∞, shows that ball-covering property is not invariant under isomorphic mappings, though it is preserved under such mappings if X is a Gateaux differentiability space; presents that this property of X is not heritable by its closed subspaces; and the property is also not preserved under quotient mappings.     

A note on ball-covering property of Banach spaces

By a ball-covering B of a Banach space X, we mean that B is a collection of open (or closed) balls off the origin whose union contains the unit sphere SX of X; and X is said to have the ball-covering property (BCP) provided it admits a ball-covering by countably many balls. In this note we give a natural example showing that the ball-covering property of a Banach space is not inherited by its subspaces; and we present a sharp quantitative version of the recent Fonf and Zanco renorming result saying that if the dual X^∗ of X is w^∗ separable, then for every ε>0 there exist a (1+ε)-equivalent norm on X, and an R>0 such that in this new norm SX admits a ball-covering by countably many balls of radius R. Namely, we show that R=R(ε) can be taken arbitrarily close to (1+ε)/ε, and that for X=?₁[0,1] the corresponding R cannot be equal to 1/ε. This gives the sharp order of magnitude for R(ε) as ε→0.     

Ball-covering property of Banach spaces

We consider the following question: For a Banach spaceX, how many closed balls not containing the origin can cover the sphere of the unit ball? This paper shows that: (1) IfX is smooth and with dimX=n<∞, in particular,X=R ⁿ,then the sphere can be covered byn+1 balls andn+1 is the smallest number of balls forming such a covering. (2) Let Λ be the set of all numbersr>0 satisfying: the unit sphere of every Banach spaceX admitting a ball-covering consisting of countably many balls not containing the origin with radii at mostr impliesX is separable. Then the exact upper bound of Λ is 1 and it cannot be attained. (3) IfX is a Gateaux differentiability space or a locally uniformly convex space, then the unit sphere admits such a countable ball-covering if and only ifX ^* isw ^*-separable.     

Distortion theorems for convex mappings on homogeneous balls

Let B be the open unit ball of a complex Banach space X and let B be homogeneous. We prove distortion results for normalized convex mappings f:B→X which generalize various finite dimensional distortion theorems and improve some infinite dimensional ones. In particular, our results are valid for the open unit balls of complex Hilbert spaces and the Cartan domains.     

Pointwise bornological spaces

With each metric space (X,d) we can associate a bornological space (X,Bd) where Bd is the set of all subsets of X with finite diameter. Equivalently, Bd is the set of all subsets of X that are contained in a ball with finite radius. If the metric d can attain the value infinite, then the set of all subsets with finite diameter is no longer a bornology. Moreover, if d is no longer symmetric, then the set of subsets with finite diameter does not coincide with the set of subsets that are contained in a ball with finite radius. In this text we will introduce two structures that capture the concept of boundedness in both symmetric and non-symmetric extended metric spaces.     

Measure of minimal sets for certain discrete dynamical systems

Let X be a separable metric space, μ a complete Borel measure on X that is finite on balls, and f a closed discrete dynamical system on X that preserves μ and has the diameters of all orbits bounded. We prove that almost every point in X (in the sense of measure μ) has its orbit contained in its ω-limit set.     

The notion of o-tightness and C-embedded subspaces of products

We consider the question: when is a dense subset of a space XC-embedded in X? We introduce the notion of o-tightness and prove that if each finite subproduct of a product X = Π_α?AX_α has a countable o-tightness and Y is a subset of X such that π_B(Y) = Π_α?BX_α for every countable B ? A, then Y is C-embedded in X. This result generalizes some of Noble and Ulmer's results on C-embedding.     

Extended (2, 4)-designs

In this paper, the concept of an extended (2, 4)-design is introduced. An extended (2, 4)-design is a pair (X, $\text{B}$) where X is a finite set and $\text{B}$ is a collection of 4-tuples of not necessarily distinct elements of X, such that every pair of not necessarily distinct elements of X is contained in exactly one member of $\text{B}$. It is shown that an extended (2,4)-design of order n exists for every positive integer n except n = 6, 8 and 9. Several inequivalent designs of order n are obtained.     

Boundedness of sublinear operators in Hardy spaces on RD-spaces via atoms

Let p?1 be near to 1 and X be an RD-space, which includes any Carnot-Carathéodory space with a doubling measure. In this paper, the authors prove that a sublinear operator T extends to a bounded sublinear operator from Hardy spaces Hp(X) to some quasi-Banach space B if and only if T maps all (p,2)-atoms into uniformly bounded elements of B.     

On the law of large numbers for stationary sequences

We show that if X_i is a stationary sequence for which $\text{S}{}_{\mathrm{n}}\text{B}{}_{\mathrm{n}}$ converges to a finite non zero random variable of constant sign, where S_n=X₁+X₂+?+X_n and B_n is a sequence of constants, then B_n is regularly varying with index 1. If in addition $\text{Σ}\text{P}\text{(|X}{}_1\text{|>B}{}_{\mathrm{n}}$ is finite, then $\text{E}\text{|X}{}_1\text{|}$ is finite, and if in addition to this X_i satisfies an asymptotic independence condition, $\text{E}\text{X}{}_1\text{≠ 0}$.     

Complete semigroups of binary relations defined by finite XI-semilattices of unions

We give conditions under which the X-semilattice of unions is an XI-semilattice, i.e., let D be a finite X-semilattice of unions. The complete semigroup of binary relation B _X (D) is defined by the XI-semilattice of unions if and only if V (D, ??) = D for some ?? ?? B _X (D).     

Controllability,observability and the solution of AX - XB = C

A closed-form finite series representation of the unique solution X of the matrix equation AX ? XB=C is developed. Using this representation, the image, kernel, and rank of X are related to the controllable and unobservable subspaces of the (A, C) and (C, B) pairs respectively. Bounds on the rank of X are obtainedin terms of the dimensions of these subspaces. In the case that C has unitary rank, an exact calculation of rank X is made. The generic rank of X with A, B fixed and C generic is evaluated.     

Noncontinuous maps and Devaney’s chaos

Vu Dong Tô has proven in [1] that for any mapping f: X → X, where X is a metric space that is not precompact, the third condition in the Devaney’s definition of chaos follows from the first two even if f is not assumed to be continuous. This paper completes this result by analysing the precompact case. We show that if X is either finite or perfect one can always find a map f: X → X that satisfies the first two conditions of Devaney’s chaos but not the third. Additionally, if X is neither finite nor perfect there is no f: X → X that would satisfy the first two conditions of Devaney’s chaos at the same time.     

Weights of boundaries of compact convex sets

Let B be a boundary of a compact convex set X. We prove that the weight of X equals the weight of B provided B is Lindelöf or X is a standard compact convex set and B is the set of extreme points of X.     

Sufficient enlargements of minimal volume for finite-dimensional normed linear spaces

Let BY denote the unit ball of a normed linear space Y. A symmetric, bounded, closed, convex set A in a finite-dimensional normed linear space X is called a sufficient enlargement for X if, for an arbitrary isometric embedding of X into a Banach space Y, there exists a linear projection such that P(BY)⊂A. The main results of the paper: (1) Each minimal-volume sufficient enlargement is linearly equivalent to a zonotope spanned by multiples of columns of a totally unimodular matrix. (2) If a finite-dimensional normed linear space has a minimal-volume sufficient enlargement which is not a parallelepiped, then it contains a two-dimensional subspace whose unit ball is linearly equivalent to a regular hexagon.     

Examples of proper k-ball contractive retractions in F-normed spaces

Assume X is an infinite dimensional F-normed space and let r be a positive number such that the closed ball Br(X) of radius r is properly contained in X. The main aim of this paper is to give examples of regular F-normed ideal spaces in which there is a 1-ball or a (1+ε)-ball contractive retraction of Br(X) onto its boundary with positive lower Hausdorff measure of noncompactness. The examples are based on the abstract results of the paper, obtained under suitable hypotheses on X.     

The Structure of Extended Real-valued Metric Spaces

An extended metric on a set X is a distance function that satisfies the usual properties of a metric except that it can assume values of infinity, in addition to nonnegative real values. Given a metrizable space we exhibit a universal space for all extended metric spaces compatible with the topology. Defining a set in an extended metric space to be bounded if it is contained in a finite union of open balls, we characterize those bornologies on X that can be realized as bornologies of metrically bounded sets. We also consider a second possible definition of bounded set in this setting.     

A local duality principle for the Baire classes of functions

A local dual of a Banach space X is a closed subspace of X^∗ that satisfies the properties that the principle of local reflexivity assigns to X as a subspace of X∗∗. We show that, for every ordinal 1?α?ω₁, the spaces Bα[0,1] of bounded Baire functions of class α are local dual spaces of the space M[0,1] of all Borel measures. As a consequence, we derive that each annihilator Bα^⊥[0,1] is the kernel of a norm-one projection.     

Tilings,packings, coverings,and the approximation of functions

A packing (resp. covering) ? of a normed space X consisting of unit balls is called completely saturated (resp. completely reduced) if no finite set of its members can be replaced by a more numerous (resp. less numerous) set of unit balls of X without losing the packing property (resp. covering property) of ?. We show that a normed space X admits completely saturated packings with disjoint closed unit balls as well as completely reduced coverings with open unit balls, provided that there exists a tiling of X with unit balls. Completely reduced coverings by open balls are of interest in the context of an approximation theory for continuous real‐valued functions that rests on so‐called controllable coverings of compact metric spaces. The close relation between controllable coverings and completely reduced coverings allows an extension of the approximation theory to non‐compact spaces. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)