Hostname: page-component-6bf8c574d5-t27h7 Total loading time: 0 Render date: 2025-02-20T23:47:50.612Z Has data issue: false hasContentIssue false

A domain-theoretic Banach–Alaoglu theorem

Published online by Cambridge University Press:  17 May 2006

GORDON PLOTKIN
Affiliation:
School of Informatics, University of Edinburgh, King's Buildings, Edinburgh EH9 3JZ, U.K.
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

We give a domain-theoretic analogue of the classical Banach–Alaoglu theorem, showing that the patch topology on the weak$*$ topology is compact. Various theorems follow concerning the stable compactness of spaces of valuations on a topological space. We conclude with reformulations of the patch topology in terms of polar sets or Minkowski functionals, showing, in particular, that the ‘sandwich set’ of linear functionals is compact.

Type
Paper
Copyright
2006 Cambridge University Press