How the convex space-metric space compatability conditions determines Giry algebras on Polish spaces

Kirk Sturtz

2024-09-30

Abstract:There are two probability monads defined on the category of Polish spaces depending upon whether one uses measurable functions or continuous functions for the morphisms. In the first case the monad is called the $\mathcal{G}$-monad on standard Borel spaces, while the latter case yields the $\mathscr{P}$-monad on the category of Polish spaces. Given an arbitrary Polish space $X$ with a superconvex space structure we show there exist a $\mathcal{G}$-algebra ($\mathscr{P}$-algebra) on $X$ when $X$ satisfies the geometric convex space-metric space compatability condition $d_X(p x + (1-p) z, p y + (1-p) z) \le p\, d_X(x,y)$ for all points $x,y,z$ in $X$ and all $p \in [0,1]$. Every $\mathscr{P}$-algebra also specifies a $\mathcal{G}$-algebra but $\mathcal{G}$-algebras also arise from a discrete, and hence also mixed type, convex space structure on $X$ provided the discrete convex space structure is totally ordered as a poset. Those spaces which satisfy the compatability condition have a coseparator which allows us to establish the existence of the $\mathcal{G}$-algebras and $\mathscr{P}$-algebras. These algebras are the expectation operators $\mathcal{G}X \xrightarrow{\mathbb{E}_{\bullet}(\mathbf{1}_X)} X$ which come in two versions, measurable and continuous.

Category Theory