Topological group criterion for \(C(X)\) in compact-open-like topologies. I. (English) Zbl 1166.54007

Given a space \(Y\), denote by \({\mathcal K}(Y)\) the family of all compact subsets of \(Y\); for any \(K\in {\mathcal K}(Y)\) let \(O(K)=\{f\in C(Y): f(K)=\{0\}\}\). The family \({\mathcal A}=\{O(K): K\in {\mathcal K}(Y)\}\) generates a topology \(\tau\) on \(C(Y)\) such that \({\mathcal A}\) is a local base of \((C(Y),\tau)\) at the origin. This topology is called the compact-zero topology on \(C(Y)\).
For a compact space \(X\) consider a filter base \({\mathcal F}\) of dense open \(F_\sigma\)-subsets of \(X\) and let \({\mathcal F}_\delta\) be the family of all countable intersections of elements of \({\mathcal F}\). Any set \(F\in {\mathcal F}_\delta\) is dense in \(X\) so the restriction map \(\pi_F: C(X)\to C(F)\) defined by \(\pi(f)=f|F\) for any \(f\in C(X)\), is injective. Let \(co(F)\) be the compact-open topology on \(C(F)\) and denote by \(cz(F)\) the compact-zero topology on the set \(C(F)\).
For every set \(F\in {\mathcal F}_\delta\) the families \(\tau_F=\{\pi^{-1}(U) : Y\in co(F)\}\) and \(\sigma_F=\{\pi^{-1}(V) : V\in cz(F)\}\) are topologies on \(C(X)\) and hence \(\tau_{\mathcal F}= \bigwedge\{ \tau_F : F\in {\mathcal F}_\delta\} \) and \(\sigma_{\mathcal F}= \bigwedge\{ \sigma_F : F\in {\mathcal F}_\delta\} \) are also topologies on \(C(X)\).
The authors study the situation when \((C(X),\tau)\) is a topological group for some (or each) \(\tau\in \{\tau_{\mathcal F}, \sigma_{\mathcal F}\}\). They basically consider the case when \(X=\beta Y\) and \({\mathcal F}\) is the family \({\mathcal C}\) of all cozero subsets of \(X\) which contain \(Y\).
It is established, among other things, that if \(X=\beta Y\) for some space \(Y\) such that \(\upsilon Y\) is Lindelöf and Čech-complete then \(\tau_{\mathcal C}\) and \(\sigma_{\mathcal C}\) are group topologies on \(C(X)\). The authors also show that if \(Y\) is a discrete space of cardinality \(\omega_1\) and \(X= \beta Y\) then \(\tau_{\mathcal C}\) and \(\sigma_{\mathcal C}\) are not group topologies on \(C(X)\).


54C35 Function spaces in general topology
18A20 Epimorphisms, monomorphisms, special classes of morphisms, null morphisms
54A10 Several topologies on one set (change of topology, comparison of topologies, lattices of topologies)
06F20 Ordered abelian groups, Riesz groups, ordered linear spaces
54D20 Noncompact covering properties (paracompact, Lindelöf, etc.)
22A99 Topological and differentiable algebraic systems
46A40 Ordered topological linear spaces, vector lattices
03E05 Other combinatorial set theory
Full Text: DOI


[1] Arkhangel’skii, A. V., Topological Function Spaces, Math. Appl., vol. 78 (1992), Kluwer Academic Publishers · Zbl 0601.54001
[2] Ball, R. N.; Hager, A. W., Epi-topology and epi-convergence for archimedean lattice-ordered groups with weak unit, Appl. Categ. Structures, 15, 81-107 (2007) · Zbl 1124.06013
[3] Ball, R. N.; Hager, A. W., Monomorphisms in spaces with Lindelöf filters, Czechoslovak Math. J., 57, 1, 281-317 (2007) · Zbl 1174.05066
[4] R.N. Ball, A.W. Hager, Comments on the epi-topology, unpublished notes, March, 2005; R.N. Ball, A.W. Hager, Comments on the epi-topology, unpublished notes, March, 2005
[5] Ball, R. N.; Hager, A. W.; Walters-Wayland, J., An intrinsic characterization of monomorphisms in regular Lindelöf locales, Appl. Categ. Structures, 15, 109-118 (2007) · Zbl 1122.06005
[6] Ball, R.; Hager, A.; Molitor, A., Spaces with filters, (Gilmour, C.; Banaschewski, B.; Herrlich, H., Proc. Symp. Cat. Top., Univ. Cape Town 1994 (1999), Dept. Math. and Appl. Math., Univ. Cape Town), 21-36 · Zbl 0989.54017
[7] Bourbaki, N., General Topology, Chapters 1-4 (1998), Springer-Verlag · Zbl 0894.54001
[8] Čech, Eduard, Topological Spaces (1966), CSAV, Interscience Publishers · Zbl 0141.39401
[9] Ciesielski, K., Set Theory for the Working Mathematician, London Math. Soc. Stud. Texts, vol. 39 (1997), Cambridge University Press · Zbl 0938.03067
[10] Engelking, R., General Topology (1989), Heldermann · Zbl 0684.54001
[11] Gillman, L.; Jerison, M., Rings of Continuous Functions, Grad. Texts in Math., vol. 43 (1976), Van Nostrand: Springer, reprinted as: · Zbl 0151.30003
[12] V. Gochev, Compact-open-like topologies on \(C(X)\); V. Gochev, Compact-open-like topologies on \(C(X)\)
[13] V. Gochev, Monomorphisms in spaces with Lindelöf filters via some compact-open-like topologies on \(C(X)\); V. Gochev, Monomorphisms in spaces with Lindelöf filters via some compact-open-like topologies on \(C(X)\)
[14] Hewitt, K.; Ross, K., Abstract Harmonic Analysis, I (1963), Springer-Verlag and Academic Press · Zbl 0115.10603
[15] Isbell, J., Uniform Spaces, Math. Surveys, vol. 12 (1964), Amer. Math. Soc. · Zbl 0124.15601
[16] Jech, T., Set Theory (1978), Academic Press · Zbl 0419.03028
[17] Madden, J.; Molitor, A., Epimorphisms of frames, J. Pure Appl. Algebra, 70, 129-132 (1991) · Zbl 0721.06007
[18] McCoy, R. A.; Ntantu, I., Topological Properties of Spaces of Continuous Functions, Lecture Notes in Math., vol. 1315 (1988), Springer-Verlag · Zbl 0621.54011
[19] Semadeni, Z., Banach Spaces of Continuous Functions, Monogr. Math., vol. 55 (1971), PWN: PWN Warsaw · Zbl 0117.33002
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.