Category Theory
Zulip Server
Archive

You're reading the public-facing archive of the Category Theory Zulip server.
To join the server you need an invite. Anybody can get an invite by contacting Matteo Capucci at name dot surname at gmail dot com.
For all things related to this archive refer to the same person.


Stream: theory: categorical probability

Topic: The two Giry monads


view this post on Zulip Paolo Perrone (Feb 27 2025 at 17:54):

Let X be a complete separable metric space.
Denote by PX the set of Borel probability measures.
We can construct a priori two sigma-algebras on PX, both mentioned by Giry:
1) take the weak topology on PX (the coarsest topology making integration of bounded continuous functions itself continuous), and form its Borel sigma-algebra;
2) take the coarsest sigma-algebra making integration of bounded measurable functions itself measurable.

Are the two sigma-algebras actually equal? It's fairly easy to see that 1) implies 2), but what about the converse?

view this post on Zulip Benedikt Peterseim (Feb 27 2025 at 19:22):

Is 2) not the standard sigma-algebra on a standard Borel space? If so, then we know that PX is a standard Borel space in both sigma-algebras, we have one measurable bijection from one to the other, and there is the result about inverses of bijective measurable maps between standard Borel spaces being measurable. But maybe that’s using an A-bomb to kill a mosquito (or whatever the correct idiom is)?

view this post on Zulip Paolo Perrone (Feb 27 2025 at 20:08):

Of course! Very good point. Thank you!