Convex hyperspaces of probability measures and extensors in the asymptotic category (Q554416): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Dušan D. Repovš / rank | |||
Property / author | |||
Property / author: Dušan D. Repovš / rank | |||
Normal rank | |||
Property / review text | |||
For metric spaces \((X, d_{X}), \; (Y, d_{Y})\), a mapping \(f: X \to Y\) is called asymptotically \((\lambda, \varepsilon)\)-Lipschitz for \(\lambda >0, \; \varepsilon >0\) if \(d_{Y}(f(x), f(x')) \leq \lambda d_{X}(x, x') + \varepsilon\) for all \(x,x'\in X\). If every closed ball of a metric space is compact, then the metric space is called proper; a map between metric spaces is called proper if preimages of bounded sets are bounded. The category \(\mathcal{A}\) has as objects proper metric spaces, and its morphisms are the proper asymptotically Lipschitz maps. A metric space \(Y\) (not necessarily an object of \(\mathcal{A}\)) is an absolute extensor, in asymptotic dimension \(0\), AE(0) for category \(\mathcal{A}\) if for every proper asymptotically Lipschitz map \(f: A \to Y \), defined on a closed subset \(A\) of a proper metric space \(X\) of asymptotic dimension \(0\), there exists a proper asymptotically Lipschitz extension \( \bar{f}: X \to Y\). For a metric space \(X\), \(P(X)\) denotes the spaces of probability measures with compact supports and \( P(X)\) is given the Kantorovich metric; \(ccP(X)\) denotes the set of all nonempty compact convex subsets of \(P(X)\) and is given the Hausdorff metric. The main result is the following example: The authors give an example of two proper metric spaces \(X, Y\), each of asymptotic dimension \(0\), such that \(X\) a closed subset of \(Y\). They consider the mapping \(f: X\to ccP(X), \; x \mapsto \delta_{x}, \) and prove that this does not have a Lipschitz extension \(\bar{f}: Y \to ccP(X)\). Thus \(ccP(X)\) is not an absolute extensor. | |||
Property / review text: For metric spaces \((X, d_{X}), \; (Y, d_{Y})\), a mapping \(f: X \to Y\) is called asymptotically \((\lambda, \varepsilon)\)-Lipschitz for \(\lambda >0, \; \varepsilon >0\) if \(d_{Y}(f(x), f(x')) \leq \lambda d_{X}(x, x') + \varepsilon\) for all \(x,x'\in X\). If every closed ball of a metric space is compact, then the metric space is called proper; a map between metric spaces is called proper if preimages of bounded sets are bounded. The category \(\mathcal{A}\) has as objects proper metric spaces, and its morphisms are the proper asymptotically Lipschitz maps. A metric space \(Y\) (not necessarily an object of \(\mathcal{A}\)) is an absolute extensor, in asymptotic dimension \(0\), AE(0) for category \(\mathcal{A}\) if for every proper asymptotically Lipschitz map \(f: A \to Y \), defined on a closed subset \(A\) of a proper metric space \(X\) of asymptotic dimension \(0\), there exists a proper asymptotically Lipschitz extension \( \bar{f}: X \to Y\). For a metric space \(X\), \(P(X)\) denotes the spaces of probability measures with compact supports and \( P(X)\) is given the Kantorovich metric; \(ccP(X)\) denotes the set of all nonempty compact convex subsets of \(P(X)\) and is given the Hausdorff metric. The main result is the following example: The authors give an example of two proper metric spaces \(X, Y\), each of asymptotic dimension \(0\), such that \(X\) a closed subset of \(Y\). They consider the mapping \(f: X\to ccP(X), \; x \mapsto \delta_{x}, \) and prove that this does not have a Lipschitz extension \(\bar{f}: Y \to ccP(X)\). Thus \(ccP(X)\) is not an absolute extensor. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Surjit Singh Khurana / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 46E27 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54C55 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 54E35 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 5935901 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
absolute extensor | |||
Property / zbMATH Keywords: absolute extensor / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
asymptotically zero-dimensional spaces | |||
Property / zbMATH Keywords: asymptotically zero-dimensional spaces / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
probability measures | |||
Property / zbMATH Keywords: probability measures / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
compact convex sets | |||
Property / zbMATH Keywords: compact convex sets / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2002729870 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: 1107.1218 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Spaces of idempotent measures of compact metric spaces / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Asymptotic topology / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maxmin expected utility with non-unique prior / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3731958 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extendability of Large-Scale Lipschitz Maps / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Coarse cohomology and index theory on complete Riemannian manifolds / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3374364 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4455758 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Capacity functor in the category of compacta / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Integral representation of continuous comonotonically additive functionals / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 09:34, 4 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Convex hyperspaces of probability measures and extensors in the asymptotic category |
scientific article |
Statements
Convex hyperspaces of probability measures and extensors in the asymptotic category (English)
0 references
4 August 2011
0 references
For metric spaces \((X, d_{X}), \; (Y, d_{Y})\), a mapping \(f: X \to Y\) is called asymptotically \((\lambda, \varepsilon)\)-Lipschitz for \(\lambda >0, \; \varepsilon >0\) if \(d_{Y}(f(x), f(x')) \leq \lambda d_{X}(x, x') + \varepsilon\) for all \(x,x'\in X\). If every closed ball of a metric space is compact, then the metric space is called proper; a map between metric spaces is called proper if preimages of bounded sets are bounded. The category \(\mathcal{A}\) has as objects proper metric spaces, and its morphisms are the proper asymptotically Lipschitz maps. A metric space \(Y\) (not necessarily an object of \(\mathcal{A}\)) is an absolute extensor, in asymptotic dimension \(0\), AE(0) for category \(\mathcal{A}\) if for every proper asymptotically Lipschitz map \(f: A \to Y \), defined on a closed subset \(A\) of a proper metric space \(X\) of asymptotic dimension \(0\), there exists a proper asymptotically Lipschitz extension \( \bar{f}: X \to Y\). For a metric space \(X\), \(P(X)\) denotes the spaces of probability measures with compact supports and \( P(X)\) is given the Kantorovich metric; \(ccP(X)\) denotes the set of all nonempty compact convex subsets of \(P(X)\) and is given the Hausdorff metric. The main result is the following example: The authors give an example of two proper metric spaces \(X, Y\), each of asymptotic dimension \(0\), such that \(X\) a closed subset of \(Y\). They consider the mapping \(f: X\to ccP(X), \; x \mapsto \delta_{x}, \) and prove that this does not have a Lipschitz extension \(\bar{f}: Y \to ccP(X)\). Thus \(ccP(X)\) is not an absolute extensor.
0 references
absolute extensor
0 references
asymptotically zero-dimensional spaces
0 references
probability measures
0 references
compact convex sets
0 references