The quasi-metric of complexity convergence

For any weightable quasi-metric space (X, d) having a maximum with respect to the associated order ≤ _d , the notion of the quasi-metric of complexity convergence on the the function space (equivalently, the space of sequences) X^ω , is introduced and studied. We observe that its induced quasi-uniformity is finer than the quasi-uniformity of pointwise convergence and weaker than the quasi-uniformity of uniform convergence. We show that it coincides with the quasi-uniformity of pointwise convergence if and only if the quasi-metric space (X, d) is bounded and it coincides with the quasi-uniformity of uniform convergence if and only if X is a singleton. We also investigate completeness of the quasi-metric of complexity convergence. Finally, we obtain versions of the celebrated Grothendieck theorem in this context.     

Wijsman and Hit-and-Miss Topologies of Quasi-Metric Spaces

The relationship between the Wijsman topology and (proximal) hit-and-miss topologies is studied in the realm of quasi-metric spaces. We establish the equivalence between these hypertopologies in terms of Urysohn families of sets. Our results generalize well-known theorems and provide easier proofs. In particular, we prove that for a quasi-pseudo-metrizable space (X,T) the Vietoris topology on the set P ₀(X) of all nonempty subsets of X is the supremum of all Wijsman topologies associated with quasi-pseudo-metrics compatible with T. We also show that for a quasi-pseudo-metric space (X,d) the Hausdorff extended quasi-pseudo-metric is compatible with the Wijsman topology on P ₀(X) if and only if d ^–1 is hereditarily precompact.     

On turbulent, erratic and other dynamical properties of Zadeh’s extensions

Let (X, d) be a compact metric space and f : X → X a continuous function. Consider the hyperspace (K(X),H) of all nonempty compact subsets of X endowed with the Hausdorff metric induced by d, and let (F(X),d_∞) be the metric space of all nonempty compact fuzzy set on X equipped with the supremum metric d_∞ which is calculated as the supremum of the Hausdorff distances of the corresponding level sets. If is the natural extension of f to (K(X),H) and is the Zadeh’s extension of f to (F(X),d_∞), then the aim of this paper is to study the dynamics of and when f is turbulent (erratic, respectively).     

Vietoris topology on partial maps with compact domains

The space PK of partial maps with compact domains (identified with their graphs) forms a subspace of the hyperspace of nonempty compact subsets of a product space endowed with the Vietoris topology. Various completeness properties of PK, including ?ech-completeness, sieve completeness, strong Choquetness, and (hereditary) Baireness, are investigated. Some new results on the hyperspace K(X) of compact subsets of a Hausdorff X with the Vietoris topology are obtained; in particular, it is shown that there is a strongly Choquet X, with 1st category K(X).     

Properties of the normed cone of semi-Lipschitz functions

Summary We obtain several properties of the normed cone of semi-Lipschitz functions defined on a quasi-metric space (X,d) that vanish at a fixed point x₀∈X. For instance, we prove that it is both bicomplete and right K-sequentially complete, and the unit ball is compact with respect to the topology of quasi-uniform convergence. Furthermore, it has a structure of a Banach space if and only if (X,d) is a metric space.     

On hyperspace topologies via distance functionals in quasi-metric spaces

Summary Let (X,d) be a quasi-pseudo-metric space. We investigate hyperspace topologies on P₀(X) defined by distance functionals. In particular, the K-topology is introduced and compared with other hyperspace topologies. Some properties of the Wijsman topology and the K-topology are explored.     

Semi-Lipschitz Functions and Best Approximation in Quasi-Metric Spaces

We show that the set of semi-Lipschitz functions, defined on a quasi-metric space (X, d), that vanish at a fixed point x₀X can be endowed with the structure of a quasi-normed semilinear space. This provides an appropriate setting in which to characterize both the points of best approximation and the semi-Chebyshev subsets of quasi-metric spaces. We also show that this space is bicomplete.     

Hyperspaces of Normed Linear Spaces with the Attouch–Wets Topology

Let Cld _AW (X) be the hyperspace of nonempty closed subsets of a normed linear space X with the Attouch–Wets topology. It is shown that the space Cld _AW (X) and its various subspaces are AR's. Moreover, if X is an infinite-dimensional Banach space with weight w(X) then Cld _AW (X) is homeomorphic to a Hilbert space with weight 2 ^w(X).     

Applications of utility functions defined on quasi-metric spaces

A quasi-metric space (X,d) is called sup-separable if (X,d^s) is a separable metric space, where d^s(x,y)=max{d(x,y),d(y,x)} for all x,y∈X. We characterize those preferences, defined on a sup-separable quasi-metric space, for which there is a semi-Lipschitz utility function. We deduce from our results that several interesting examples of quasi-metric spaces which appear in different fields of theoretical computer science admit semi-Lipschitz utility functions. We also apply our methods to the study of certain kinds of dynamical systems defined on quasi-metric spaces.     

Entropy,Approximation Quantities and the Asymptotics of the Modulus of Continuity

The paper deals with the approximation of bounded real functions f on a compact metric space (X, d) by so-called controllable step functions in continuation of [Ri/Ste]. These step functions are connected with controllable coverings, that are finite coverings of compact metric spaces by subsets whose sizes fulfil a uniformity condition depending on the entropy numbers ε_n(X) of the space X. We show that a strong form of local finiteness holds for these coverings on compact metric subspaces of IR^m and S^m. This leads to a Bernstein type theorem if the space is of finite convex information. In this case the corresponding approximation numbers ε_n(f) have the same asymptotics its ω(f, ε_n(X)) for f ε C(X). Finally, the results concerning functions f ε M(X) and f ε C(X) are transferred to operators with values in M(X) and C(X), respectively.     

Finite quasihypermetric spaces

Let (X, d) be a compact metric space and let (X) denote the space of all finite signed Borel measures on X. Define I: (X) → ℝ by I(μ) = ∫ _X ∫ _X d(x, y)dμ(x)dμ(y), and set M(X) = sup I(μ), where μ ranges over the collection of measures in (X) of total mass 1. The space (X, d) is quasihypermetric if I(μ) ≦ 0 for all measures μ in (X) of total mass 0 and is strictly quasihypermetric if in addition the equality I(μ) = 0 holds amongst measures μ of mass 0 only for the zero measure. This paper explores the constant M(X) and other geometric aspects of X in the case when the space X is finite, focusing first on the significance of the maximal strictly quasihypermetric subspaces of a given finite quasihypermetric space and second on the class of finite metric spaces which are L ¹-embeddable. While most of the results are for finite spaces, several apply also in the general compact case. The analysis builds upon earlier more general work of the authors [11] [13].      

Iterations of quasi-uniform hyperspace constructions

Summary Given a quasi-uniform space (X,U), we study its Hausdorff quasi-uniformity U_H on the set P₀(X) of nonempty subsets of the set X. In particular we are concerned with the question whether at a certain finite stage iterations of the described Hausdorff hyperspace construction applied to two distinct quasi-uniformities on X will necessarily lead to hyperspaces carrying distinct induced topologies.     

Ordinals and set-valued zero-selections for hyperspaces

A continuous zero-selection f for the Vietoris hyperspace F(X) of the nonempty closed subsets of a space X is a Vietoris continuous map f:F(X)→X which assigns to every nonempty closed subset an isolated point of it. It is well known that a compact space X has a continuous zero-selection if and only if it is an ordinal space, or, equivalently, if X can be mapped onto an ordinal space by a continuous one-to-one surjection. In this paper, we prove that a compact space X has an upper semi-continuous set-valued zero-selection for its Vietoris hyperspace F(X) if and only if X can be mapped onto an ordinal space by a continuous finite-to-one surjection.     

Weak selections and weak orderability of function spaces

It is proved that for a zero-dimensional space X, the function space C _p (X, 2) has a Vietoris continuous selection for its hyperspace of at most 2-point sets if and only if X is separable. This provides the complete affirmative solution to a question posed by Tamariz-Mascarúa. It is also obtained that for a strongly zero-dimensional metrizable space E, the function space C _p (X, E) is weakly orderable if and only if its hyperspace of at most 2-point sets has a Vietoris continuous selection. This provides a partial positive answer to a question posed by van Mill and Wattel.     

On normality of the Wijsman topology

Let (X, ρ) be a metric space and (CL(X), W _ρ ) be the hyperspace of all nonempty closed subsets of X equipped with the Wijsman topology. The Wijsman topology is one of the most important classical hyperspace topologies. We give a partial answer to a question posed in Di Maio (Quaderni di Matematica, 3:55–92, 1998) whether the normality of (CL(X), W _ρ ) is equivalent to its metrizability. If (X, ρ) is a linear metric space, then (CL(X), W _ρ ) is normal if and only if (CL(X), W _ρ ) is metrizable. Some further results concerning normality of the Wijsman topology on CL(X) are also proved.     

On the average distance property and certain energy integrals

One of our main results is the following: LetX be a compact connected subset of the Euclidean spaceR ⁿ andr(X, d ₂) the rendezvous number ofX, whered ₂ denotes the Euclidean distance inR ⁿ . (The rendezvous numberr(X, d ₂) is the unique positive real number with the property that for each positive integern and for all (not necessarily distinct)x ₁,x ₂,...,x _n inX, there exists somex inX such that .) Then there exists some regular Borel probability measure μ₀ onX such that the value of ∫ _X d ₂(x, y)dμ₀ (y) is independent of the choicex inX, if and only ifr(X, d ₂) = sup_μ ∫ _X ∫ _X d ₂(x, y)dμ(x)dμ(y), where the supremum is taken over all regular Borel probability measures μ onX.     

Inducing sensitivity on hyperspaces

Let (X,d) be a compact metric space and (K(X),dH) be the space of all non-empty compact subsets of X equipped with the Hausdorff metric dH. The dynamical system (X,f) induces another dynamical system . We study the relations between the various forms of sensitivity of the systems (X,f) and . We prove that all forms of sensitivity of partly imply the same for (X,f), and the converse holds in some cases.     

A full-invariant theorem and some applications

Let (X,τ₁) and (Y,τ₂) be two Hausdorff locally convex spaces with continuous duals X′ and Y′, respectively, L(X,Y) be the space of all continuous linear operators from X into Y, K(X,Y) be the space of all compact operators of L(X,Y). Let WOT and UOT be the weak operator topology and uniform operator topology on K(X,Y), respectively. In this paper, we characterize a full-invariant property of K(X,Y); that is, if the sequence space λ has the signed-weak gliding hump property, then each λ-multiplier WOT-convergent series ∑_iT_i in K(X,Y) must be λ-multiplier convergent with respect to all topologies between WOT and UOT if and only if each continuous linear operator T :(X,τ₁)→(λ^β,σ(λ^β,λ)) is compact. It follows from this result that the converse of Kalton's Orlicz–Pettis theorem is also true.     

Intrinsic characterizations of perturbation classes on some Banach spaces

We investigate relationships between inessential operators and improjective operators acting between Banach spaces X and Y, emphasizing the case in which one of the spaces is a C(K) space. We show that they coincide in many cases, but they are different in the case X = Y = C(K ₀), where K ₀ is a compact space constructed by Koszmider.     

Compact operators which factor through subspaces of lp

Let 1 ≤ p ≤ ∞. A subset K of a Banach space X is said to be relatively p ‐compact if there is an 〈x_n 〉 ∈ l^s _p (X) such that for every k ∈ K there is an 〈α_n 〉 ∈ l_{p ′} such that k = σ^∞_n=1 α_n x_n . A linear operator T: X → Y is said to be p ‐compact if T (Ball (X)) is relatively p ‐compact in Y. The set of all p ‐compact operators K_p (X, Y) from X to Y is a Banach space with a suitable factorization norm κ_p and (K_p , κ_p ) is a Banach operator ideal. In this paper we investigate the dual operator ideal (K^d _p , κ^d _p ). It is shown that κ^d _p (T) = π_p (T) for all T ∈ B (X, Y) if either X or Y is finite‐dimensional. As a consequence it is proved that the adjoint ideal of K^d _p is I_{p ′}, the ideal of p ′‐integral operators. Further, a composition/decomposition theorem K^d _p = Π_p K is proved which also yields that (Π^min _p )^inj = K^d _p . Finally, we discuss the density of finite rank operators in K^d _p and give some examples for different values of p in this respect. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)