On the Kantorovich–Rubinstein theorem

The Kantorovich–Rubinstein theorem provides a formula for the Wasserstein metric W₁ on the space of regular probability Borel measures on a compact metric space. Dudley and de Acosta generalized the theorem to measures on separable metric spaces. Kellerer, using his own work on Monge–Kantorovich duality, obtained a rapid proof for Radon measures on an arbitrary metric space. The object of the present expository article is to give an account of Kellerer’s generalization of the Kantorovich–Rubinstein theorem, together with related matters. It transpires that a more elementary version of Monge–Kantorovich duality than that used by Kellerer suffices for present purposes. The fundamental relations that provide two characterizations of the Wasserstein metric are obtained directly, without the need for prior demonstration of density or duality theorems. The latter are proved, however, and used in the characterization of optimal measures and functions for the Kantorovich–Rubinstein linear programme. A formula of Dobrushin is proved.     

On Efimov spaces and Radon measures

We give a construction under CH of an infinite Hausdorff compact space having no converging sequences and carrying no Radon measure of uncountable type. Under ? we obtain another example of a compact space with no convergent sequences, which in addition has the stronger property that every nonatomic Radon measure on it is uniformly regular. This example refutes a conjecture of Mercourakis from 1996 stating that if every measure on a compact space K is uniformly regular then K is necessarily sequentially compact.     

Compactness by the Hausdorff measure of noncompactness

In the present paper, we establish some identities or estimates for the operator norms and the Hausdorff measures of noncompactness of certain operators given by infinite matrices that map an arbitrary BK-space into the sequence spaces c₀, c, ?_∞ and ?₁, and into the matrix domains of triangles in these spaces. Furthermore, by using the Hausdorff measure of noncompactness, we apply our results to characterize some classes of compact operators on the BK-spaces.     

Conductor and capacitary inequalities for functions on topological spaces and their applications to Sobolev-type imbeddings

In 1972 the author proved the so-called conductor and capacitary inequalities for the Dirichlet-type integrals of a function on a Euclidean domain. Both were used to derive necessary and sufficient conditions for Sobolev-type inequalities involving arbitrary domains and measures.The present article contains new conductor inequalities for nonnegative functionals acting on functions defined on topological spaces. Sharp capacitary inequalities, stronger than the classical Sobolev inequality, with the best constant and the sharp form of the Yudovich inequality (Soviet Math. Dokl. 2 (1961) 746) due to Moser (Indiana Math. J. 20 (1971) 1077) are found.     

Genericity and amalgamation of classes of Banach spaces

We study universality problems in Banach space theory. We show that if A is an analytic class, in the Effros-Borel structure of subspaces of C([0,1]), of non-universal separable Banach spaces, then there exists a non-universal separable Banach space Y, with a Schauder basis, that contains isomorphs of each member of A with the bounded approximation property. The proof is based on the amalgamation technique of a class C of separable Banach spaces, introduced in the paper. We show, among others, that there exists a separable Banach space R not containing L¹(0,1) such that the indices β and rND are unbounded on the set of Baire-1 elements of the ball of the double dual R∗∗ of R. This answers two questions of H.P. Rosenthal.We also introduce the concept of a strongly bounded class of separable Banach spaces. A class C of separable Banach spaces is strongly bounded if for every analytic subset A of C there exists Y∈C that contains all members of A up to isomorphism. We show that several natural classes of separable Banach spaces are strongly bounded, among them the class of non-universal spaces with a Schauder basis, the class of reflexive spaces with a Schauder basis, the class of spaces with a shrinking Schauder basis and the class of spaces with Schauder basis not containing a minimal Banach space X.     

Analysis of a problem of Raikov with applications to barreled and bornological spaces

Raikov’s conjecture states that semi-abelian categories are quasi-abelian. A first counterexample is contained in a paper of Bonet and Dierolf who considered the category of bornological locally convex spaces. We prove that every semi-abelian category I admits a left essential embedding into a quasi-abelian category K_l(I) such that I can be recovered from K_l(I) by localization. Conversely, it is shown that left essential full subcategories I of a quasi-abelian category are semi-abelian, and a criterion for I to be quasi-abelian is given. Applied to categories of locally convex spaces, the criterion shows that barreled or bornological spaces are natural counterexamples to Raikov’s conjecture. Using a dual argument, the criterion leads to a simplification of Bonet and Dierolf’s example.     

Reflexive operators with domain in Köthe spaces

It is proved that if a K?the space λ₁(A) is distinguished and E is an arbitrary Fréchet space then every reflexive map T: λ₁(A)→E (i.e., T maps bounded sets into relatively weakly compact ones) factorizes through a reflexive Fréchet space. An analogous result is proved for Montel maps (i.e., which map bounded sets into relatively compact ones). The result is a consequence of the fact proved also in this paper that, for a distinguished λ₁(A) space, the spaces of reflexive maps R(λ₁(A), C(K)) and of Montel maps M(λ₁(A), C(K)) are the Mackey completions of the spaces of weakly compact and compact maps, respectively. Consequences for spaces of vector-valued (weakly) continuous functions are also obtained. Received: 24 November 1997 / Revised version: 14 May 1998     

Factoring operators over Hilbert-Schmidt maps and vector measures

We study the structure of Banach spaces X determined by the coincidence of nuclear maps on X with certain operator ideals involving absolutely summing maps and their relatives. With the emphasis mainly on Hilbert-space valued mappings, it is shown that the class of Hilbert—Schmidt spaces arises as a ‘solution set’ of the equation involving nuclear maps and the ideal of operators factoring through Hilbert—Schmidt maps. Among other results of this type, it is also shown that Hilbert spaces can be characterised by the equality of this latter ideal with the ideal of 2-summing maps. We shall also make use of this occasion to give an alternative proof of a famous theorem of Grothendieck using some well-known results from vector measure theory.     

Almost isometric embeddings into configuration-compacta

We show that a Polish metric space X which has ‘compact configuration spaces’ is free of almost isometric embeddings, i.e. given such an embedding into X one gets an isometric embedding. By assuming a continuous version of ℵ₀-homogeneity we get the converse statement, and also prove almost isometry uniqueness.     

Homomorphisms on real-valued little Lipschitz function spaces

We describe the general form of algebra, ring and vector lattice homomorphisms between spaces of real-valued little Lipschitz functions on compact Hölder metric spaces (X,dα) for 0<α<1.     

Hardy type spaces associated with compact unitary groups

We investigate Hilbertian Hardy type spaces of complex analytic functions of infinite many variables, associated with compact unitary groups and the corresponding invariant Haar’s measures. For such analytic functions we establish a Cauchy type integral formula and describe natural domains. Also we show some relations between constructed spaces of analytic functions and the symmetric Fock space.     

On certain properties of the spaces of order-preserving functionals

In the present paper it is proved that the functor Oτ of τ-smooth order preserving functionals and the functor OR of Radon order preserving functionals, do not change the weight of infinite Tychonoff spaces. It is shown that the density and the weak density of infinite Tychonoff spaces do not increase under these functors. Moreover, if X is a metric space with the second axiom of countability then the spaces Oτ(X) and OR(X) are also metrizable.     

Various Slicing Indices on Banach Spaces

We give a short and direct proof for the computation of the Szlenk index of the C(K) spaces, when K is a countable compact space and determine their Lavrientiev indices. We also compute the Szlenk index of certain C(α) spaces, where α is an uncountable ordinal. Finally, we show that if the Szlenk index of a Banach space is ω (first infinite ordinal), then its weak*-dentability index is at most ω² and that this estimate is optimal. The first author was supported by the grants: Institutional Research Plan AV0Z10190503, A100190502, GA ČR 201/04/0090.     

Extremal structure and Samuel compactification

Let M be a uniform space and X the Banach space of bounded and uniformly continuous functions from M into R, provided with its supremum norm.The aim of this paper is to discuss the connection between the geometry of X and the nature of M. In particular, we will prove that certain reconstructions of the unit ball of X by means of its extreme points admit a translation in terms of extension of uniformly continuous functions. We also analyze the impact of these properties on the Samuel compactification of M.     

The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras

The probability measures on compact Hausdorff spaces K form a compact convex subset PK of the space of measures with the vague topology. Every continuous map of compact Hausdorff spaces induces a continuous affine map extending f. Together with the canonical embedding associating to every point its Dirac measure and the barycentric map β associating to every probability measure on PK its barycenter, we obtain a monad (P,ε,β). The Eilenberg-Moore algebras of this monad have been characterised to be the compact convex sets embeddable in locally convex topological vector spaces by Swirszcz [T. Swirszcz, Monadic functors and convexity, Bul. Acad. Polon. Sci. Sér. Sci. Math. Astron. Phys. 22 (1974) 39-42].We generalise this result to compact ordered spaces in the sense of Nachbin [L. Nachbin, Topology and Order, Von Nostrand, Princeton, NJ, 1965. Translated from the 1950 monograph “Topologia e Ordem” (in Portugese). Reprinted by Robert E. Kreiger Publishing Co., Huntington, NY, 1967]. The probability measures form again a compact ordered space when endowed with the stochastic order. The maps ε and β are shown to preserve the stochastic orders. Thus, we obtain a monad over the category of compact ordered spaces and order preserving continuous maps. The algebras of this monad are shown to be the compact convex ordered sets embeddable in locally convex ordered topological vector spaces.This result can be seen as a step towards the characterisation of the algebras of the monad of probability measures on the category of stably compact spaces (see [G. Gierz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove, D.S. Scott, Continuous Lattices and Domains, Encyclopedia Math. Appl., vol. 93, Cambridge University Press, 2003, Section VI-6]).     

On Subspaces and Quotients of Banach Spaces C(K, X)

 We study the relation of to the subspaces and quotients of Banach spaces of continuous vector-valued functions , where K is an arbitrary dispersed compact set. More precisely, we prove that every infinite dimensional closed subspace of totally incomparable to X contains a copy of complemented in . This is a natural continuation of results of Cembranos-Freniche and Lotz-Peck-Porta. We also improve our result when K is homeomorphic to an interval of ordinals. Next we show that complemented subspaces (resp., quotients) of which contain no copy of are isomorphic to complemented subspaces (resp., quotients) of some finite sum of X. As a consequence, we prove that every infinite dimensional quotient of which is quotient incomparable to X, contains a complemented copy of . Finally we present some more geometric properties of spaces. Received 8 November 2000; in revised form 7 December 2001     

Weakly compact multipliers on group algebras

We study left multipliers on the second dual spaces L¹(G)″ and M(G)″. We answer a question of Ghahramani and Lau, showing that for non-compact G a non-zero left multiplier on these spaces cannot be weakly compact.     

On measures on Rosenthal compacta

We show that if K is Rosenthal compact which can be represented by functions with countably many discontinuities then every Radon measure on K is countably determined. We also present an alternative proof of the result stating that every Radon measure on an arbitrary Rosenthal compactum is of countable type. Our approach is based on some caliber-type properties of measures, parameterized by separable metrizable spaces.     

Measures of weak noncompactness in Banach spaces

Measures of weak noncompactness are formulae that quantify different characterizations of weak compactness in Banach spaces: we deal here with De Blasi's measure ω and the measure of double limits γ inspired by Grothendieck's characterization of weak compactness. Moreover for bounded sets H of a Banach space E we consider the worst distance k(H) of the weak^∗-closure in the bidual of H to E and the worst distance ck(H) of the sets of weak^∗-cluster points in the bidual of sequences in H to E. We prove the inequalities

     

Densely ball remotal subspaces of C(K)

We call a subspace Y of a Banach space X a DBR subspace if its unit ball By admits farthest points from a dense set of points of X. In this paper, we study DBR subspaces of C(K). In the process, we study boundaries, in particular, the Choquet boundary of any general subspace of C(K). An infinite compact Hausdorff space K has no isolated point if and only if any finite co-dimensional subspace, in particular, any hyperplane is DBR in C(K). As a consequence, we show that a Banach space X is reflexive if and only if X is a DBR subspace of any superspace. As applications, we prove that any M-ideal or any closed *-subalgebra of C(K) is a DBR subspace of C(K). It follows that C(K) is ball remotal in C(K)^**.