University of Birmingham > Talks@bham > Theoretical computer science seminar > Spaces of alpha-Lipschitz continuous maps, in a quasi-metric setting.

## Spaces of alpha-Lipschitz continuous maps, in a quasi-metric setting.Add to your list(s) Download to your calendar using vCal - Jean Goubault-Larrecq (LSV, ENS Paris-Saclay)
- Friday 19 January 2018, 11:00-12:00
- Computer Science, The Sloman Lounge (UG).
If you have a question about this talk, please contact Paul Taylor. I will show that, given any continuous complete quasi-metric space X, for every alpha > 0, the space of alpha-Lipschitz continuous maps from X to the extended non-negative reals, with a suitable, natural topology, is stably compact. That is one of several ingredients that I have used in a recent piece of work, whose goal is to show that the probabilistic powerdomain of a (continuous, algebraic) complete quasi-metric space is again (continuous, algebraic) complete, for a suitable quasi-metric. This talk will also be an opportunity to introduce quasi-metric spaces and the d-Scott topology, formal balls, and consonant spaces. 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
- Theoretical computer science seminar
- computer sience
Note that ex-directory lists are not shown. |
## Other listsCold atoms Analysis Reading Seminar Filling in the blank – I will be ….... in 2050’## Other talksQuantum simulations using ultra cold ytterbium Modelling uncertainty in image analysis. Sylow branching coefficients for symmetric groups TBC Provably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Extending the Lax type operator for finite W-algebras |