scientific article; zbMATH DE number 1279123

Authors Filomena Cianciaruso, E. De Pascale

Publication date 10 October 1999

extremal function Hausdorff distance Hausdorff measure of non-hyperconvexity metric form metric space nonexpansive map

Special maps on metric spaces (54E40) Complete metric spaces (54E50)

A metric space \(X\) is said to be hyperconvex if for every metric space \(Y\) every nonexpansive map from a subset \(S\subseteq Y\) to \(X\) can be extended to a nonexpansive map from \(Y\) to \(X\). A function \(f\in C(X)\) on a metric space \((X,d)\) is called a metric form if for all \(x,y\in X\), \(f(x)+ f(y)\geq d(x,y)\). A metric form is called an extremal function if it is pointwise minimal among metric forms. Denoting by \(\varepsilon X\) the set of extremal functions on \(X\) the authors define the Hausdorff measure of non-hyperconvexity \(h(X)\) of a complete metric space \(X\) as \(\sup_{f\in\varepsilon X}\inf_{x\in X}f(x)\). Among other interesting results obtained, they prove that for a complete metric space \(X\) the following statements are equivalent: (1) \(X\) is hyperconvex. (2) \(h(X)=0\). (3) If \(\{S_n\}\) is a sequence of nonempty closed subsets of \(X\) with \(H(S_n,X)\to 0\) as \(n\to\infty\) then \(h(S_n)\to 0\) as \(n\to \infty\). Here \(H\) denotes the Hausdorff distance between nonempty closed subsets of \(X\).

Recommendations

Cited in

(9)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4239674)