A uniform view of localic realcompactness
type: Item
instance of: scholarly article
title: A uniform view of localic realcompactness
zbMATH Open document ID: 0953.54026
DOI: 10.1016/S0022-4049(98)00107-8
published in: Journal of Pure and Applied Algebra
publication date: 2000-02-15T00:00:00Z
review text: Classically, a space \(X\) is usually defined to be realcompact if every homomorphism \(C(X)\to{\mathbb R}\), where \(C(X)\) is the \(\mathbb R\)-algebra of continuous real-valued functions on \(X\), is given by evaluation at a (unique) point of \(X\). It is well known that this is equivalent to saying that \(X\) is embeddable as a closed subspace of a power of \(\mathbb R\), and also to the condition that, for any space \(Y\), each homomorphism \(C(X)\to C(Y)\) is induced by a unique continuous map \(Y\to X\). The first investigation of realcompactness for locales was carried out by G. D.~Reynolds in 1979 (he actually worked with toposes rather than locales, but the difference is immaterial in the present context): he showed that the second and third conditions above, when suitably reworded for locales, are still equivalent, but (because of the existence of non-spatial locales) the third condition is not equivalent to the special case of itself when \(Y\) is the one-point space, which is traditionally taken as the definition. Subsequently, J.~Madden and J.~Vermeer showed that Reynolds' definition is equivalent to the Lindelöf property for regular locales; thus it is not a `conservative extension' of realcompactness for spaces. In the present paper, the author uses techniques from the study of uniform locales to investigate the difference between Reynolds' condition, which he calls `strong realcompactness', and `mere' realcompactness which he defines by the direct localic translation of the first definition above. In particular, he shows that a completely regular locale is realcompact in the weaker sense iff it is complete in its real uniformity. He also analyses the use of choice principles in the work of Reynolds and of Madden-Vermeer, and shows that some of their results are in fact provable in ZF set theory without choice.
Mathematics Subject Classification ID: 54D60
Mathematics Subject Classification ID: 06D22
Mathematics Subject Classification ID: 54E15
Mathematics Subject Classification ID: 18B25
zbMATH DE Number: 1384144
author: Bernhard Banaschewski
reviewed by: Peter Johnstone
MaRDI profile type: Publication
full work available at URL: s0022-4049(98)00107-8
OpenAlex ID: W1999948592
description: scientific article; zbMATH DE number 1384144