Affiliation:
1. Department of Mathematical Sciences , University of South Africa , P.O. Box 392, 0003 , Pretoria , South Africa
Abstract
Abstract
For a zero-dimensional Hausdorff space X, denote, as usual, by C(X, ℤ) the ring of continuous integer-valued functions on X. If f ∈ C(X, ℤ), denote by Z(f) the set of all points of X that are mapped to 0 by f. The set
$$\begin{array}{}
\displaystyle
C_K(X,\mathbb Z)=\{f\in C(X,\mathbb Z)\mid \text{cl}_X(X\smallsetminus
\mathsf Z(f))\text{ is compact}\}
\end{array}$$
is the integer-valued analogue of the ideal of functions with compact support in C(X). By first working in the category of locales and then interpreting the results in spaces, we characterize this ideal in several ways. Writing ζ
X for the Banaschewski compactification of X, we also explore some properties of ideals of C(X, ℤ) associated with subspaces of ζ
X analogously to how one associates, for any Tychonoff space Y, subsets of β
Y with ideals of C(Y).
Reference25 articles.
1. Baboolal, D.—Picado, J.—Pillay, P.—Pultr, A.: Hewitt’s irresolvabilty and induced sublocales in spatial frames, Quaest. Math. 43 (2020), 1601–1612.
2. Ball, R. N.—Walters-Wayland, J.: C- and C*-quotients in pointfree topology, Dissertationes Math. (Rozprawy Mat.) 412 (2002), 62 pp.
3. Banaschewski, B.: Universal zero-dimensional compactifications. Categorical topology and its relation to analysis, algebra and combinatorics, (Prague, 1988), pp. 257–269, World Sci. Publ., Teaneck, NJ, 1989.
4. Banaschewski, B.: The real numbers in pointfree topology, Textos de Matem ática Série B, No. 12, Departamento de Matem ática da Universidade de Coimbra, 1997.
5. Banaschewski, B.: On the function ring functor in pointfree topology, Appl. Categ. Structures 13 (2005), 305–328.