Hostname: page-component-8448b6f56d-c4f8m Total loading time: 0 Render date: 2024-04-20T02:34:38.065Z 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.

Abstract

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

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)