Max-min measures on ultrametric spaces

DOI10.1016/J.TOPOL.2013.01.022MaRDI QIDQ1944338zbMATH OpenOpenAlexFDO

Authors M. Cencelj, Dušan Repovš, Mykhailo Zarichnyi

Publication date 5 April 2013

Published in Topology and its Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1302.6370

zbMATH Keywords

complete ultrametric spaceDirac measureidempotent measuremax-min measuremonadprobability measureultrametric space

Mathematics Subject Classification ID

Categorical methods in general topology (54B30) Probability measures on topological spaces (60B05)

Abstract: The ultrametrization of the set of all probability measures of compact support on the ultrametric spaces was first defined by Hartog and de Vink. In this paper we consider a similar construction for the so called max-min measures on the ultrametric spaces. In particular, we prove that the functors max-min measures and idempotent measures are isomorphic. However, we show that this is not the case for the monads generated by these functors.

Review text

With every topological space \(X\) the authors associate a set \(J_\omega(X)\) whose elements they call max-min measures of finite support on \(X\). They show that if \(X\) is an ultrametric space, then \(J_\omega(X)\) can be equipped with a canonical ultrametric in such a way that the correspondence \(X\mapsto J_\omega(X)\) becomes an endofunctor, denoted by \(J_\omega\), of the category UMET of ultrametric spaces and nonexpanding maps. Moreover, they find natural transformations \(\delta: 1_{\text{UMET}}\to J_\omega\) and \(\xi: J_\omega\circ J_\omega\to J_\omega\) and prove that \((J_\omega, \delta, \xi)\) is a monad in UMET. It turns out that \(J_\omega\) is isomorphic to the functor \(I_\omega\) of idempotent measures of compact support that was studied by \textit{M. Zarichnyi} [Izv. Math. 74, No. 3, 481--499 (2010; Zbl 1220.18002)]. However, the monad \((J_\omega,\delta,\xi)\) is not isomorphic to the monad generated by \(I_\omega\). By passing from \(J_\omega(X)\) to its metric completion, similar results are obtained for the category CUMET of complete ultrametric spaces and nonexpanding maps.

Recommendations

• On \ast-measure monads on the category of ultrametric spaces
• Idempotent probability measures on ultrametric spaces
• Probability measure monad on the category of ultrametric spaces
• Capacity functor on the category of ultrametric spaces
• On spaces of *-measures on ultrametric spaces
• Normal functors in the category of ultrametric spaces
• Spaces of max-min measures on compact Hausdorff spaces
• Spaces and maps of idempotent measures
• Functors on the category of \(K\)-ultrametric spaces
• The functor of idempotent probability measures and completeness index of uniform spaces

Cited in

(15)

• Remarks on ultrametrics and metric-preserving functions
• Fuzzy metrization of the spaces of idempotent measures
• Spaces of max-min measures on compact Hausdorff spaces
• Metrization of free groups on ultrametric spaces
• Probability measure monad on the category of fuzzy ultrametric spaces
• Majorizing Measures and Ultrametric Spaces
• scientific article; zbMATH DE number 5799811 (Why is no real title available?)
• On spaces of *-measures on ultrametric spaces
• An approach to the ultrametric moment problem
• scientific article; zbMATH DE number 3938325 (Why is no real title available?)
• Normal functors in the category of ultrametric spaces
• On \ast-measure monads on the category of ultrametric spaces
• Extended b-metric preserving functions
• Idempotent probability measures on ultrametric spaces
• Fuzzy ultrametrics on the set of probability measures

This page was built for publication: Max-min measures on ultrametric spaces

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