On the universal completion of pointfree function spaces
This paper approaches the construction of the universal completion of the Riesz space C(L) of continuous real functions on a completely regular frame L in two different ways. Firstly as the space of continuous real functions on the Booleanization of L. Secondly as the space of nearly finite Hausdorff c...
| Autor: | |
|---|---|
| Formato: | artículo |
| Fecha de publicación: | 2020 |
| País: | España |
| Recursos: | Universidad del País Vasco |
| Repositorio: | Addi. Archivo Digital para la Docencia y la Investigación |
| OAI Identifier: | oai:addi.ehu.eus:10810/71922 |
| Acesso em linha: | http://hdl.handle.net/10810/71922 |
| Access Level: | acceso abierto |
| Palavra-chave: | Pointfree topology Representation of Archimedean Riesz spaces Universal completion Extremally disconnected frame P -frame Booleanization |
| Resumo: | This paper approaches the construction of the universal completion of the Riesz space C(L) of continuous real functions on a completely regular frame L in two different ways. Firstly as the space of continuous real functions on the Booleanization of L. Secondly as the space of nearly finite Hausdorff continuous functions on L. The former has no counterpart in the classical theory, as the Booleanization of a spatial frame is not spatial in general, and it offers a lucid way of representing the universal completion as a space of continuous real functions. As a corollary weobtain that C(L) and C(M ) have isomorphic universal completions if and only if the Booleanization of L and M are isomorphic and we characterize frames L such that C(L) is universally complete as almost Boolean frames. The application of this last result to the classical case C(X) of the space of continuous real functions on a topological space X characterizes those spaces X for which C(X) is universally complete. Finally, we present a pointfree version of the Maeda-Ogasawara-Vulikh representation theorem and use it to represent the universal completion of an Archimedean Riesz space with weak unit as a space of continuous real functions on a Boolean frame. |
|---|