Supports of continuous functions

Author:
Mark Mandelker

Journal:
Trans. Amer. Math. Soc. **156** (1971), 73-83

MSC:
Primary 54.52

MathSciNet review:
0275367

Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: Gillman and Jerison have shown that when *X* is a realcompact space, every function in that belongs to all the free maximal ideals has compact support. A space with the latter property will be called -*compact*. In this paper we give several characterizations of -compact spaces and also introduce and study a related class of spaces, the -*compact* spaces; these are spaces *X* with the property that every function in with pseudocompact support has compact support. It is shown that every realcompact space is -compact and every -compact space is -compact. A family of subsets of a space *X* is said to be *stable* if every function in is bounded on some member of . 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.

**[C]**W. W. Comfort,*On the Hewitt realcompactification of a product space*, Trans. Amer. Math. Soc.**131**(1968), 107–118. MR**0222846**, 10.1090/S0002-9947-1968-0222846-1**[C]**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**0236880****[D]**R. F. Dickman, Jr.,*Compactifications and realcompactifications of arbitrary topological spaces*(to appear).**[F]**Zdeněk Frolík,*Applications to complete families of continuous functions to the theory of 𝑄-spaces*, Czechoslovak Math. J.**11 (86)**(1961), 115–133 (English, with Russian summary). MR**0126828****[GJ]**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****[H]**A. W. Hager,*On the tensor product of function rings*, Doctoral Dissertation, Pennsylvania State University, University Park, Pa., 1965.**[H]**Douglas Harris,*An internal characterization of realcompactness*, Canad. J. Math.**23**(1971), 439–444. MR**0290333****[H]**Allan Hayes,*Alexander’s theorem for real-compactness*, Proc. Cambridge Philos. Soc.**64**(1968), 41–43. MR**0221472****[H]**Edwin Hewitt,*On two problems of Urysohn*, Ann. of Math. (2)**47**(1946), 503–509. MR**0017527****[H]**Edwin Hewitt,*Rings of real-valued continuous functions. I*, Trans. Amer. Math. Soc.**64**(1948), 45–99. MR**0026239**, 10.1090/S0002-9947-1948-0026239-9**[K]**Irving Kaplansky,*Topological rings*, Amer. J. Math.**69**(1947), 153–183. MR**0019596****[K]**C. W. Kohls,*Ideals in rings of continuous functions*, Fund. Math.**45**(1957), 28–50. MR**0102731****[M]**M. Mandelker,*Round 𝑧-filters and round subsets of 𝛽𝑋*, Israel J. Math.**7**(1969), 1–8. MR**0244951****[N]**Stelios Negrepontis,*Baire sets in topological spaces*, Arch. Math. (Basel)**18**(1967), 603–608. MR**0220248****[N]**N. Noble,*Ascoli theorems and the exponential map*, Trans. Amer. Math. Soc.**143**(1969), 393–411. MR**0248727**, 10.1090/S0002-9947-1969-0248727-6**[P]**Donald Plank,*On a class of subalgebras of 𝐶(𝑋) with applications to 𝛽𝑋𝑋*, Fund. Math.**64**(1969), 41–54. MR**0244953****[R]**Stewart M. Robinson,*The intersection of the free maximal ideals in a complete space*, Proc. Amer. Math. Soc.**17**(1966), 468–469. MR**0188974**, 10.1090/S0002-9939-1966-0188974-8**[R]**Stewart M. Robinson,*A note on the intersection of free maximal ideals*, J. Austral. Math. Soc.**10**(1969), 204–206. MR**0246132****[W]**M. D. Weir,*A net characterization of realcompactness*(to appear).

Retrieve articles in *Transactions of the American Mathematical Society*
with MSC:
54.52

Retrieve articles in all journals with MSC: 54.52

Additional Information

DOI:
https://doi.org/10.1090/S0002-9947-1971-0275367-4

Keywords:
Support,
continuous function,
compact support,
pseudocompact support,
free maximal ideal,
realcompact space,
-compact space,
-compact space,
relatively pseudocompact subset,
stable family,
round subset,
realcompactification

Article copyright:
© Copyright 1971
American Mathematical Society