A pointwise characterization of functions of bounded variation on metric spaces

We give a new characterization of the space of functions of bounded variation in terms of a pointwise inequality connected to the maximal function of a measure. The characterization is new even in Euclidean spaces and it holds also in general metric spaces.     

Gated sets in metric spaces

The concept of a gated subset in a metric space is studied, and it is shown that properties of disjoint pairs of gated subsets can be used to investigate projections in Tits buildings.Dedicated to Professor Otto Haupt with best wishes on his 100th birthday     

Embedding metric spaces into normed spaces and estimates of metric capacity

Let be an arbitrary real normed space of finite dimension d ≥ 2. We define the metric capacity of as the maximal such that every m-point metric space is isometric to some subset of (with metric induced by ). We obtain that the metric capacity of lies in the range from 3 to , where the lower bound is sharp for all d, and the upper bound is shown to be sharp for d ∈ {2, 3}. Thus, the unknown sharp upper bound is asymptotically linear, since it lies in the range from d + 2 to . Research supported by the German Research Foundation, Project AV 85/1-1.     

Embedding metric spaces into normed spaces and estimates of metric capacity

Let M^d{\cal M}^d be an arbitrary real normed space of finite dimension d ≥ 2. We define the metric capacity of M^d{\cal M}^d as the maximal m ? \Bbb Nm \in {\Bbb N} such that every m-point metric space is isometric to some subset of M^d{\cal M}^d (with metric induced by M^d{\cal M}^d ). We obtain that the metric capacity of M^d{\cal M}^d lies in the range from 3 to ë\frac32d û+1\left\lfloor\frac{3}{2}d\right\rfloor+1 , where the lower bound is sharp for all d, and the upper bound is shown to be sharp for d ∈ {2, 3}. Thus, the unknown sharp upper bound is asymptotically linear, since it lies in the range from d + 2 to ë\frac32d û+1\left\lfloor\frac{3}{2}d\right\rfloor+1 .     

Polar sets on metric spaces

We show that if is a proper metric measure space equipped with a doubling measure supporting a Poincaré inequality, then subsets of with zero -capacity are precisely the -polar sets; that is, a relatively compact subset of a domain in is of zero -capacity if and only if there exists a -superharmonic function whose set of singularities contains the given set. In addition, we prove that if is a -hyperbolic metric space, then the -superharmonic function can be required to be -superharmonic on the entire space . We also study the the following question: If a set is of zero -capacity, does there exist a -superharmonic function whose set of singularities is precisely the given set?

     

Large null sets in metric spaces

It is shown that every locally compact σ-compact metric space endowed with a Borel measure related to the metric by a natural condition contains sets of measure zero which are extremely large in the sense of cardinality, Hausdorff dimension and Baire category classification.     

Self-similar sets in complete metric spaces

We develop a theory for Hausdorff dimension and measure of self-similar sets in complete metric spaces. This theory differs significantly from the well-known one for Euclidean spaces. The open set condition no longer implies equality of Hausdorff and similarity dimension of self-similar sets and that has nonzero Hausdorff measure in this dimension. We investigate the relationship between such properties in the general case.

     

Lipschitz-type functions on metric spaces

In order to find metric spaces X for which the algebra Lip^∗(X) of bounded Lipschitz functions on X determines the Lipschitz structure of X, we introduce the class of small-determined spaces. We show that this class includes precompact and quasi-convex metric spaces. We obtain several metric characterizations of this property, as well as some other characterizations given in terms of the uniform approximation and the extension of uniformly continuous functions. In particular we show that X is small-determined if and only if every uniformly continuous real function on X can be uniformly approximated by Lipschitz functions.     

Bounded compactness of sets in linear metric spaces

An analog of the well known concept of bounded compactness from the theory of normed spaces is investigated in a linear metric space X. From the results obtained follows, for example, a sufficient condition for approximative compactness of a finite-dimensional subspace Lx.Translated from Matematicheskie Zametki, Vol. 11, No. 6, pp. 651–660, June, 1972.     

Hyperspaces of compact sets in metric linear spaces

We write 2^x for the hyperspace of all non-empty compact sets in a complete metric linear space X topologized by the Hausdorff metric. Using the notation $\text{F}$(X) = {A ϵ 2^X: A is finite}, l^f₂ = {x} = (x_i) ϵ l₂: x_i = 0 for almost all i}, and l^σ₂ = {x = (x _i) ϵ l₂:σ^∞_i=1 (ix_i)² < ∞}, we have the following theorem:A family $\text{G}$ ⊂$\text{F}$(X) is homeomorphic to l^f₂ if $\text{G}$ is σ-fd-compact, the closure $\text{G}$ of $\text{G}$ in 2^x is not locally compact and if whenever A, B ∈ $\text{G}$, λ ∈ [0, 1] and C ⊂ λA + (1 - λ)B with card C⩽ max{card A, card B} then C ϵ $\text{G}$.Moreover, for any G_δ-AR-set $\text{G}$$\text{G}$ of $\text{G}$ with $\text{G}$$\text{G}$ ⊃ $\text{G}$ we have ($\text{G}$$\text{G}$, $\text{G}$)≅(l₂, l^ƒ₂).Similar conditions for hyperspaces to be homeomorphic to l^σ₂ are also established.     

Cheeger-harmonic functions in metric measure spaces revisited

Let (X,d,μ)$(X,d,\mu )$ be a complete metric measure space, with μ   a locally doubling measure, that supports a local weak L²$L^2$-Poincaré inequality. By assuming a heat semigroup type curvature condition, we prove that Cheeger-harmonic functions are Lipschitz continuous on (X,d,μ)$(X,d,\mu )$. Gradient estimates for Cheeger-harmonic functions and solutions to a class of non-linear Poisson type equations are presented.     

Lyapunov functions and attractors in arbitrary metric spaces

We prove two theorems concerning Lyapunov functions on metric spaces. The new element in these theorems is the lack of a hypothesis of compactness or local compactness. The first theorem applies to a discrete dynamical system on any metric space; the result is that if is an attractor for a continuous map of a metric space to itself, then there is a Lyapunov function for . The second theorem applies only to separable metric spaces; the theorem is that there is a complete Lyapunov function for any continuously-generated discrete dynamical system on a separable metric space. (A complete Lyapunov function is a real-valued function that is constant on orbits in the chain recurrent set, is strictly decreasing along all other orbits, and separates different components of the chain recurrent set.)

     

Borel functions and separability of metric spaces

Let X and Y be metric spaces with X separable, and let \(f: X\rightarrow Y\) be a Borel function. Is then f(X) separable? In this paper, we prove that this problem is independent of ZFC. We also give a partial answer to an open problem which was asked by A. H. Stone.     

Pointwise Lipschitz functions on metric spaces

For a metric space X, we study the space D^∞(X) of bounded functions on X whose pointwise Lipschitz constant is uniformly bounded. D^∞(X) is compared with the space LIP^∞(X) of bounded Lipschitz functions on X, in terms of different properties regarding the geometry of X. We also obtain a Banach-Stone theorem in this context. In the case of a metric measure space, we also compare D^∞(X) with the Newtonian-Sobolev space N1,∞(X). In particular, if X supports a doubling measure and satisfies a local Poincaré inequality, we obtain that D^∞(X)=N1,∞(X).     

Borel sets and functions in topological spaces

We present a construction of the Borel hierarchy in general topological spaces and its relation to Baire hierarchy. We define mappings of Borel class α, prove the validity of the Lebesgue-Hausdor-Banach characterization for them and show their relation to Baire classes of mappings on compact spaces. The obtained results are used for studying Baire and Borel order of compact spaces, answering thus one part of a question raised by R. D. Mauldin. We present several examples showing some natural limits of our results in non-compact spaces.     

Boundedness of precompact sets of metric measure spaces

We give a detailed proof to Gromov’s statement that precompact sets of metric measure spaces are bounded with respect to the box distance and the Lipschitz order.