The Gromov–Hausdorff metric on the space of compact metric spaces is strictly intrinsic

Mathematical Notes -     

New characterizations of Hajlasz-Sobolev spaces on metric spaces

This paper introduces the fractional Sobolev spaces on spaces of homogeneous type,includingmetric spaces and fractals. These Sobolev spaces include the well-known Hajfasz-Sobolev spaces as specialmodels.The author establishes varions chaaracterizations of(sharp)maximal functions for these spaces.Asapplications,the author identifies the fractional Sobolev spaces with some Lipscitz-type spaces.Moreover;some embedding theorems are also given.     

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.     

New characterizations of Hajłasz-Sobolev spaces on metric spaces

This paper introduces the fractional Sobolev spaces on spaces of homogeneous type, including metric spaces and fractals. These Sobolev spaces include the well-known Hajłasz-Sobolev spaces as special models. The author establishes various characterizations of (sharp) maximal functions for these spaces. As applications, the author identifies the fractional Sobolev spaces with some Lipscitz-type spaces. Moreover, some embedding theorems are also given.     

A Weil–Petersson type metric on spaces of metric graphs

In this note, we discuss an analogue of the Weil–Petersson metric for spaces of metric graphs and some of its properties.     

Hölder regularity for parabolic De Giorgi classes in metric measure spaces

We give a proof for the Hölder continuity of functions in the parabolic De Giorgi classes in metric measure spaces. We assume the measure to be doubling, to support a weak (1, p)-Poincaré inequality and to satisfy the annular decay property.     

Suzuki?s type characterizations of completeness for partial metric spaces and fixed points for partially ordered metric spaces

Recently, Suzuki [T. Suzuki, A generalized Banach contraction principle that characterizes metric completeness, Proc. Amer. Math. Soc. 136 (2008) 1861-1869] proved a fixed point theorem that is a generalization of the Banach contraction principle and characterizes the metric completeness. In this paper we prove an analogous fixed point result for a self-mapping on a partial metric space or on a partially ordered metric space. Our results on partially ordered metric spaces generalize and extend some recent results of Ran and Reurings [A.C.M. Ran, M.C. Reurings, A fixed point theorem in partially ordered sets and some applications to matrix equations, Proc. Amer. Math. Soc. 132 (2004) 1435-1443], Nieto and Rodríguez-López [J.J. Nieto, R. Rodríguez-López, Contractive mapping theorems in partially ordered sets and applications to ordinary differential equations, Order 22 (2005) 223-239]. We deduce, also, common fixed point results for two self-mappings. Moreover, using our results, we obtain a characterization of partial metric 0-completeness in terms of fixed point theory. This result extends Suzuki?s characterization of metric completeness.     

The Hausdorff dimension of certain sets in a class of α-Lüroth expansions

In this paper,we consider sets of points with some restricts on the digits of theirα-Lroth expansions.More precisely,for any countable partitionα={An,n∈N}of the unit interval I,we completely determine the Hausdorf dimensions of the sets F(α,φ)=x=[l1(x),l2(x),...]α∈I:ln(x)φ(n),n 1,whereφis an arbitrary positive function defined on N satisfyingφ(n)→∞as n→∞.     

Li–Yorke chaos for invertible mappings on compact metric spaces

In this paper, we construct a homeomorphism on the closed unit disk to show that the inverse of a Li–Yorke chaotic mapping on a compact metric space need not be Li–Yorke chaotic.     

Functions of bounded variation on “good” metric spaces

In this paper we give a natural definition of Banach space valued BV functions defined on complete metric spaces endowed with a doubling measure (for the sake of simplicity we will say doubling metric spaces) supporting a Poincaré inequality (see Definition 2.5 below). The definition is given starting from Lipschitz functions and taking closure with respect to a suitable convergence; more precisely, we define a total variation functional for every Lipschitz function; then we take the lower semicontinuous envelope with respect to the L¹ topology and define the BV space as the domain of finiteness of the envelope. The main problem of this definition is the proof that the total variation of any BV function is a measure; the techniques used to prove this fact are typical of Γ-convergence and relaxation. In Section 4 we define the sets of finite perimeter, obtaining a Coarea formula and an Isoperimetric inequality. In the last section of this paper we also compare our definition of BV functions with some definitions already existing in particular classes of doubling metric spaces, such as Weighted spaces, Ahlfors-regular spaces and Carnot–Carathéodory spaces.     

Geometry of the Funk metric on Weil–Petersson spaces

We discuss the Funk function $F(x,y)$ on a Teichmüller space with its Weil–Petersson metric $(\mathcal{T },d)$ introduced in Yamada (Convex bodies in Euclidean and Weil–Petersson geometries, 2011), which was originally studied for an open convex subset in a Euclidean space by Funk [cf. Papadopoulos and Troyanov (Math Proc Cambridge Philos Soc 147:419–437, 2009)]. $F(x,y)$ is an asymmetric distance and invariant by the action of the mapping class group. Unlike the original one, $F(x,y)$ is not always convex in $y$ with $x$ fixed (Corollary 2.11, Theorem 5.1). For each pseudo-Anosov mapping class $g$ and a point $x \in \mathcal{T }$ , there exists $E$ such that for all $n\not = 0$ , $ \log |n| -E \le F(x,g^n.x) \le \log |n|+E$ (Corollary 2.10), while $F(x,g^n.x)$ is bounded if $g$ is a Dehn twist (Proposition 2.13). The translation length is defined by $|g|_F=\inf _{x \in \mathcal{T }}F(x,g.x)$ for a map $g: \mathcal{T }\rightarrow \mathcal{T }$ . If $g$ is a pseudo-Anosov mapping class, there exists $Q$ such that for all $n \not = 0$ , $\log |n| -Q \le |g^n|_F \le \log |n| + Q.$ For sufficiently large $n$ , $|g^n|_F >0$ and the infimum is achieved. If $g$ is a Dehn twist, then $|g^n|_F=0$ for each $n$ (Theorem 2.16). Some geodesics in $(\mathcal{T },d)$ are geodesics in terms of $F$ as well. We find a decomposition of $\mathcal{T }$ by sets, each of which is foliated by those geodesics (Theorem 4.10).     

The Katětov-Morita theorem for the dimension of metric frames

The results which appear here are devoted to the dimension theory of metric frames. We begin by characterizing the covering dimension dim of metric frames in terms of special sequences of covers and then prove the fundamental Katětov-Morita Theorem asserting that Ind L = dim L for every metric frame L.     

Generalized φ-contraction for a pair of mappings on cone metric spaces

Using the setting of cone metric space, a fixed point theorem is proved for two maps, and several corollaries are obtained. In these cases, the cone does not need to be normal. These results generalize several well known compatible recent and classical results in the literature. As an application, the existence of solution of an integral equation is presented.     

Peak sets for analytic Hölder classes

A closed subset E of the unit circumference T is said to be a peak set for the analytic Hölder class A, 0 < < 1 there exists a functionf,fA such that f¦_E1 and ¦f(z)¦<1 for. It is shown that the set E is a peak set of the algebra A if and only if there exists a nonnegative Borel measure on T such that the function coincides almost everywhere with a function of the Hölder class , equal to zero on E. A sufficient condition in order that a closed set E should belong to the family of peak sets is obtained.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 157, pp. 129–136, 1987.     

Injectivity sets for spherical means on ℝ n and on symmetric spacesand on symmetric spaces

A complex Radon measure μ on ℝ ⁿ is said to be of at most exponential-quadratic growth if there exist positive constants C and α such that . Let X_exp denote the space of all complex Radon measure on ℝ ⁿ of at most exponential-quadratic growth. Using elementary methods, we obtain injectivity sets for spherical means for X_exp. We also discuss similar results for symmetric spaces.