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

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

Talks@bham, University of Birmingham. Contact Us | Help and Documentation | Privacy and Publicity.
talks@bham is based on talks.cam from the University of Cambridge.