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.