Metrization of the Gromov–Hausdorff (-Prokhorov) topology for boundedly-compact metric spaces

In this work, it is proved that the set of boundedly-compact pointed metric spaces, equipped with the Gromov–Hausdorff topology, is a Polish space. The same is done for the Gromov–Hausdorff–Prokhorov topology. This extends previous works which consider only length spaces or discrete metric spaces. This is a measure theoretic requirement to study random boundedly-compact pointed (measured) metric spaces, which is the main motivation of this work. In particular, this provides a unified framework for studying random graphs, random discrete spaces and random length spaces. The proofs use a generalization of the classical theorem of Strassen, presented here, which is of independent interest. This generalization provides an equivalent formulation of the Prokhorov distance of two finite measures, having possibly different total masses, in terms of approximate couplings. A Strassen-type result is also provided for the Gromov–Hausdorff–Prokhorov metric for compact spaces.     

Completeness of Muckenhoupt classes

In this note we prove that the Hausdorff distance between compact sets and the Kantorovich distance between measures, provide an adequate setting for the convergence of Muckenhoupt weights. The results which we prove on compact metric spaces with finite metric dimension can be applied to classical fractals.     

Generalized Dini theorems for nets of functions on arbitrary sets

We characterize the uniform convergence of pointwise monotonic nets of bounded real functions defined on arbitrary sets, without any particular structure. The resulting condition trivially holds for the classical Dini theorem. Our vector-valued Dini-type theorem characterizes the uniform convergence of pointwise monotonic nets of functions with relatively compact range in Hausdorff topological ordered vector spaces. As a consequence, for such nets of continuous functions on a compact space, we get the equivalence between the pointwise and the uniform convergence. When the codomain is locally convex, we also get the equivalence between the uniform convergence and the weak-pointwise convergence; this also merges the Dini-Weston theorem on the convergence of monotonic nets from Hausdorff locally convex ordered spaces. Most of our results are free of any structural requirements on the common domain and put compactness in the right place: the range of the functions.     

Closure of the set of classical Riemannian spaces

The basic result of the paper is a theorem asserting that the closure of the set of compact Riemannian spaces in the set of all compact metric spaces with inner metric consists precisely of the set of compact metric spaces with bilaterally bounded curvature in the sense of A. D. Aleksandrov. Here the convergence of a sequence of Riemannian spaces in the topology we consider means its Lipschitz convergence to a limit metric space and the uniform bilateral boundedness of the sectional curvatures of the spaces of the sequence. The results obtained are considered in application to the compactness theorem of M. Gromov.Translated from Itogi Nauki i Tekhniki, Seriya Problemy Geometrii, Vol. 21, pp. 43–66, 1989.     

Best approximation properties in spaces of measurable functions

We research proximinality of μ‐sequentially compact sets and μ‐compact sets in measurable function spaces. Next we show a correspondence between the Kadec–Klee property for convergence in measure and μ‐compactness of the sets in Banach function spaces. Also the property S is investigated in Fréchet spaces and employed to provide the Kadec–Klee property for local convergence in measure. We discuss complete criteria for continuity of metric projection in Fréchet spaces with respect to the Hausdorff distance. Finally, we present the necessary and sufficient condition for continuous metric selection onto a one‐dimensional subspace in sequence Lorentz spaces .     

Transfinite Hausdorff dimension

Making extensive use of small transfinite topological dimension trind, we ascribe to every metric space X an ordinal number (or −1 or Ω) tHD(X), and we call it the transfinite Hausdorff dimension of X. This ordinal number shares many common features with Hausdorff dimension. It is monotone with respect to subspaces, it is invariant under bi-Lipschitz maps (but in general not under homeomorphisms), in fact like Hausdorff dimension, it does not increase under Lipschitz maps, and it also satisfies the intermediate dimension property (Theorem 2.7). The primary goal of transfinite Hausdorff dimension is to classify metric spaces with infinite Hausdorff dimension. Indeed, if tHD(X)?ω₀, then HD(X)=+∞. We prove that tHD(X)?ω₁ for every separable metric space X, and, as our main theorem, we show that for every ordinal number α<ω₁ there exists a compact metric space Xα (a subspace of the Hilbert space l₂) with tHD(Xα)=α and which is a topological Cantor set, thus of topological dimension 0. In our proof we develop a metric version of Smirnov topological spaces and we establish several properties of transfinite Hausdorff dimension, including its relations with classical Hausdorff dimension.     

Local Currents in Metric Spaces

Ambrosio and Kirchheim presented a theory of currents with finite mass in complete metric spaces. We develop a variant of the theory that does not rely on a finite mass condition, closely paralleling the classical Federer–Fleming theory. If the underlying metric space is an open subset of a Euclidean space, we obtain a natural chain monomorphism from general metric currents to general classical currents whose image contains the locally flat chains and which restricts to an isomorphism for locally normal currents. We give a detailed exposition of the slicing theory for locally normal currents with respect to locally Lipschitz maps, including the rectifiable slices theorem, and of the compactness theorem for locally integral currents in locally compact metric spaces, assuming only standard results from analysis and measure theory.     

The Vietoris hyperspace structure for approach spaces

We show that there exists a natural approach version of the topological Vietoris hyperspace construction [16], [17] which has several advantages over the topological version. In the first place the important structural fact that the Vietoris construction can now also be considered, not only for topological but also intrinsically for metric spaces, but equally important in the second place the fact that we can considerably strengthen fundamental classic results. In this paper we mainly pay attention to properties concerning or involving compactness. As main results, in the first place we prove that it is not merely compactness of the Vietoris hyperspace which is equivalent to compactness of the original space [3] but that actually in the approach setting the indices of compactness [7], [8], [9], [10] numerically completely coincide. In the second place the well-known result [3], [4], [15] which says that if the original space is compact metric then the Vietoris topology is metrizable by the Hausdorff metric gets strengthened in the sense that in the approach setting under the same conditions the Vietoris approach structure actually coincides with the Hausdorff metric. Classic results follow as easy corollaries. Besides these main results we also draw attention to the good functorial relationship between the Vietoris approach structures and the associated topologies.     

A viability theorem for set-valued states in a Hilbert space

Applications in robust control problems and shape evolution motivate the mathematical interest in control problems whose states are compact (possibly non-convex) sets rather than vectors. This leads to evolutions in a basic set which can be supplied with a metric (like the well-established Pompeiu–Hausdorff distance), but it does not have an obvious linear structure. This article extends differential inclusions with state constraints to compact-valued states in a separable Hilbert space H. The focus is on sufficient conditions such that a given constraint set (of compact subsets) is viable a.k.a. weakly invariant. Our main result extends the tangential criterion in the well-known viability theorem (usually for differential inclusions in a vector space) to the metric space of non-empty compact subsets of H.     

On the Hausdorff and packing measures of typical compact metric spaces

We study the Hausdorff and packing measures of typical compact metric spaces belonging to the Gromov–Hausdorff space (of all compact metric spaces) equipped with the Gromov–Hausdorff metric.     

Compact supported endographs and fuzzy sets

A metric is defined on a space of functions from a locally compact metric space X into the unit interval I in terms of the Hausdorff metric distance between their compact supported endographs in X × I. Convergence in this metric is shown to be equivalent to the conjunction of the Hausdorff metric convergence of supports in X and two conditions involving numerical values of the functions. The space of nonempty compact subsets of X with the Hausdorff metric is imbedded in the above function space by the characteristic function on subsets of X. Applications of these results to fuzzy subsets of X and fuzzy dynamical systems on X are indicated.     

A note on λ-compact spaces

We extend the well-known and important fact that “a topological space X is compact if and only if every ideal in C(X) is fixed”, to more general topological spaces. Some interesting consequences are also observed. In particular, the maximality of compact Hausdorff spaces with respect to the property of compactness is generalized and the topological spaces with this generalized property are characterized.     

Ordered spaces, metric preimages, and function algebras

We consider the Complex Stone-Weierstrass Property (CSWP), which is the complex version of the Stone-Weierstrass Theorem. If X is a compact subspace of a product of three linearly ordered spaces, then X has the CSWP if and only if X has no subspace homeomorphic to the Cantor set. In addition, every finite power of the double arrow space has the CSWP. These results are proved using some results about those compact Hausdorff spaces which have scattered-to-one maps onto compact metric spaces.     

A note on the perturbations of compact quantum metric spaces

In this short note,we consider the perturbation of compact quantum metric spaces.We first show that for two compact quantum metric spaces(A,P) and(B,Q) for which A and B are subspaces of an order-unit space C and P and Q are Lip-norms on A and B respectively,the quantum Gromov–Hausdorff distance between(A,P) and(B,Q) is small under certain conditions.Then some other perturbation results on compact quantum metric spaces derived from spectral triples are also given.     

Between compactness and completeness

Call a sequence in a metric space cofinally Cauchy if for each positive ε there exists a cofinal (rather than residual) set of indices whose corresponding terms are ε-close. We give a number of new characterizations of metric spaces for which each cofinally Cauchy sequence has a cluster point. For example, a space has such a metric if and only each continuous function defined on it is uniformly locally bounded. A number of results exploit a measure of local compactness functional that we introduce. We conclude with a short proof of Romaguera's Theorem: a metrizable space admits such a metric if and only if its set of points having a compact neighborhood has compact complement.     

A differential operator and weak topology for Lipschitz maps

We show that the Scott topology induces a topology for real-valued Lipschitz maps on Banach spaces which we call the L-topology. It is the weakest topology with respect to which the L-derivative operator, as a second order functional which maps the space of Lipschitz functions into the function space of non-empty weak^∗ compact and convex valued maps equipped with the Scott topology, is continuous. For finite dimensional Euclidean spaces, where the L-derivative and the Clarke gradient coincide, we provide a simple characterization of the basic open subsets of the L-topology. We use this to verify that the L-topology is strictly coarser than the well-known Lipschitz norm topology. A complete metric on Lipschitz maps is constructed that is induced by the Hausdorff distance, providing a topology that is strictly finer than the L-topology but strictly coarser than the Lipschitz norm topology. We then develop a fundamental theorem of calculus of second order in finite dimensions showing that the continuous integral operator from the continuous Scott domain of non-empty convex and compact valued functions to the continuous Scott domain of ties is inverse to the continuous operator induced by the L-derivative. We finally show that in dimension one the L-derivative operator is a computable functional.     

An Extension of the Contraction Principle

The concept of quasi-continuity and the new concept of almost compactness for a function are the basis for the extension of the contraction principle in large deviations presented here. Important equivalences for quasi-continuity are proved in the case of metric spaces. The relation between the exponential tightness of a sequence of stochastic processes and the exponential tightness of its transform (via an almost compact function) is studied here in metric spaces. Counterexamples are given to the nonmetric case. Relations between almost compactness of a function and the goodness of a rate function are studied. Applications of the main theorem are given, including to an approximation of the stochastic integral.     

The structure of singular spaces of dimension 2

In this paper, we study the structure of locally compact metric spaces of Hausdorff dimension 2. If such a space has non-positive curvautre and a local cone structure, then every simple closed curve bounds a conformal disk. On a surface (a topological manifold of dimension 2), a distance function with non-positive curvature and whose metric topology is equivalent to the surface topology gives a structure of a Riemann surface. The construction of conformal disks in these spaces uses minimal surface theory; in particular, the solution of the Plateau Problem in metric spaces of non-positive curvature. Received: 18 November 1997/ Revised versions: 15 January and 7 June 1999     

Convergence of Cauchy sequences for the covariant Gromov–Hausdorff propinquity

The covariant Gromov–Hausdorff propinquity is a distance on Lipschitz dynamical systems over quantum compact metric spaces, up to equivariant full quantum isometry. It is built from the dual Gromov–Hausdorff propinquity which, as its classical counterpart, is complete. We prove in this paper several sufficient conditions for convergence of Cauchy sequences for the covariant propinquity and apply it to show that many natural classes of dynamical systems are complete for this metric.