University of Birmingham > Talks@bham > Theoretical computer science seminar > When measurable spaces don't have enough points

## When measurable spaces don't have enough pointsAdd to your list(s) Download to your calendar using vCal - Paolo Perrone (University of Oxford)
- Friday 18 November 2022, 13:30-14:20
- LG23, SoCS and Zoom (see abstract for link).
If you have a question about this talk, please contact George Kaye.
- Link: https://bham-ac-uk.zoom.us/j/81873335084?pwd=T1NaUFg2U1l6d0RLL2RlTzFBam1IUT09
- Meeting ID: 818 7333 5084
- Passcode: 217
In topology, a space is called sober if every irreducible closed subset is the closure of a unique point. One can express this concept in terms of a monad (called “lower Vietoris” or “Hoare powerdomain”), which assigns to a topological space X the space HX of its closed subsets. Given a space X, we can form a parallel pair HX -> HHX using the unit of the monad, and the equalizer of this pair is precisely the set of irreducible closed subsets of X. The space X is sober if and only if it is an equalizer for this pair. One can instance the same construction in different contexts, and obtain analogous notions of “sobriety”. For the Giry monad on measurable spaces, the equivalent of an irreducible closed set is a so-called “extremal” or “zero-one” measure. Just as an irreducible closed set cannot be written as a nontrivial union, an extremal measure cannot be written as a nontrivial convex combination. A measurable space is then sober if and only if every extremal measure is a Dirac delta at a unique point. Several measurable spaces used in mathematics fail to be sober, and have important nontrivial extremal measures. Examples are ergodic measures in dynamical systems, as well as measures arising from the zero-one laws of probability theory. These objects, despite being very useful in practice, are often described as being “singular”, or even “badly behaved”. Our categorical treatment, which parallels the one of topology, can give systematic and structural understanding of these seemingly counterintuitive objects. Joint work with Sean Moss. Relevant papers: arXiv:2204.07003 and arXiv:2207.0735. This talk is part of the Theoretical computer science seminar series. ## This talk is included in these lists:- Computer Science Departmental Series
- Computer Science Distinguished Seminars
- LG23, SoCS and Zoom (see abstract for link)
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsAnalysis Reading Seminar Analysis Reading Seminar 2019/2020 RSLC PhD/Postdoc Seminars (Chemistry)## Other talksTBC Colloquium: TBA Seminar: TBA Scattering from Soft Matter: Understanding Structure from the Molecular to the Macroscopic. Geometry of alternating projections in metric spaces with bounded curvature Well Founded Coalgebras |