Supports of continuous functions

Mandelker, Mark

doi:10.1090/S0002-9947-1971-0275367-4

Supports of continuous functions
HTML articles powered by AMS MathViewer

by Mark Mandelker PDF

Trans. Amer. Math. Soc. 156 (1971), 73-83 Request permission

Abstract:

Gillman and Jerison have shown that when X is a realcompact space, every function in $C(X)$ that belongs to all the free maximal ideals has compact support. A space with the latter property will be called $\mu$-compact. In this paper we give several characterizations of $\mu$-compact spaces and also introduce and study a related class of spaces, the $\psi$-compact spaces; these are spaces X with the property that every function in $C(X)$ with pseudocompact support has compact support. It is shown that every realcompact space is $\psi$-compact and every $\psi$-compact space is $\mu$-compact. A family $\mathcal {F}$ of subsets of a space X is said to be stable if every function in $C(X)$ is bounded on some member of $\mathcal {F}$. We show that a completely regular Hausdorff space is realcompact if and only if every stable family of closed subsets with the finite intersection property has nonempty intersection. We adopt this condition as the definition of realcompactness for arbitrary (not necessarily completely regular Hausdorff) spaces, determine some of the properties of these realcompact spaces, and construct a realcompactification of an arbitrary space.

References

W. W. Comfort, On the Hewitt realcompactification of a product space, Trans. Amer. Math. Soc. 131 (1968), 107–118. MR 222846, DOI 10.1090/S0002-9947-1968-0222846-1
W. W. Comfort, A theorem of Stone-Čech type, and a theorem of Tychonoff type, without the axiom of choice; and their realcompact analogues, Fund. Math. 63 (1968), 97–110. MR 236880, DOI 10.4064/fm-63-1-97-110

Compactifications and realcompactifications of arbitrary topological spaces

Zdeněk Frolík, Applications to complete families of continuous functions to the theory of $Q$-spaces, Czechoslovak Math. J. 11(86) (1961), 115–133 (English, with Russian summary). MR 126828, DOI 10.21136/CMJ.1961.100446
Leonard Gillman and Meyer Jerison, Rings of continuous functions, The University Series in Higher Mathematics, D. Van Nostrand Co., Inc., Princeton, N.J.-Toronto-London-New York, 1960. MR 0116199, DOI 10.1007/978-1-4615-7819-2

On the tensor product of function rings

Douglas Harris, An internal characterization of realcompactness, Canadian J. Math. 23 (1971), 439–444. MR 290333, DOI 10.4153/CJM-1971-046-4
Allan Hayes, Alexander’s theorem for real-compactness, Proc. Cambridge Philos. Soc. 64 (1968), 41–43. MR 221472, DOI 10.1017/s0305004100042535
Edwin Hewitt, On two problems of Urysohn, Ann. of Math. (2) 47 (1946), 503–509. MR 17527, DOI 10.2307/1969089
Edwin Hewitt, Rings of real-valued continuous functions. I, Trans. Amer. Math. Soc. 64 (1948), 45–99. MR 26239, DOI 10.1090/S0002-9947-1948-0026239-9
Irving Kaplansky, Topological rings, Amer. J. Math. 69 (1947), 153–183. MR 19596, DOI 10.2307/2371662
C. W. Kohls, Ideals in rings of continuous functions, Fund. Math. 45 (1957), 28–50. MR 102731, DOI 10.4064/fm-45-1-28-50
M. Mandelker, Round $z$-filters and round subsets of $\beta X$, Israel J. Math. 7 (1969), 1–8. MR 244951, DOI 10.1007/BF02771740
Stelios Negrepontis, Baire sets in topological spaces, Arch. Math. (Basel) 18 (1967), 603–608. MR 220248, DOI 10.1007/BF01898869
N. Noble, Ascoli theorems and the exponential map, Trans. Amer. Math. Soc. 143 (1969), 393–411. MR 248727, DOI 10.1090/S0002-9947-1969-0248727-6
Donald Plank, On a class of subalgebras of $C(X)$ with applications to $\beta XX$, Fund. Math. 64 (1969), 41–54. MR 244953, DOI 10.4064/fm-64-1-41-54
Stewart M. Robinson, The intersection of the free maximal ideals in a complete space, Proc. Amer. Math. Soc. 17 (1966), 468–469. MR 188974, DOI 10.1090/S0002-9939-1966-0188974-8
Stewart M. Robinson, A note on the intersection of free maximal ideals, J. Austral. Math. Soc. 10 (1969), 204–206. MR 0246132, DOI 10.1017/S1446788700007072

A net characterization of realcompactness