Estimates for the number of real-valued continuous functions
HTML articles powered by AMS MathViewer
- by W. W. Comfort and Anthony W. Hager PDF
- Trans. Amer. Math. Soc. 150 (1970), 619-631 Request permission
Abstract:
It is a familiar fact that $|C(X)| \leqq {2^{\delta X}}$, where $|C(X)|$ is the cardinal number of the set of real-valued continuous functions on the infinite topological space $X$, and $\delta X$ is the least cardinal of a dense subset of $X$. While for metrizable spaces equality obtains, for some familiar spaces—e.g., the one-point compactification of the discrete space of cardinal $2\aleph 0$—the inequality can be strict, and the problem of more delicate estimates arises. It is hard to conceive of a general upper bound for $|C(X)|$ which does not involve a cardinal property of $X$ as an exponent, and therefore we consider exponential combinations of certain natural cardinal numbers associated with $X$. Among the numbers are $wX$, the least cardinal of an open basis, and $wcX$, the least $\mathfrak {m}$ for which each open cover of $X$ has a subfamily with $\mathfrak {m}$ or fewer elements whose union is dense. We show that $|C(X)| \leqq {(wX)^{wcX}}$, and that this estimate is best possible among the numbers in question. (In particular, ${(wX)^{wcX}} \leqq {2^{\delta X}}$ always holds.) In fact, it is only with the use of a version of the generalized continuum hypothesis that we succeed in finding an $X$ for which $|C(X)| < {(wX)^{wcX}}$.References
- Heinz Bachmann, Transfinite Zahlen, Ergebnisse der Mathematik und ihrer Grenzgebiete, (N.F.), Heft 1, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1955 (German). MR 0071481
- R. W. Bagley, E. H. Connell, and J. D. McKnight Jr., On properties characterizing pseudo-compact spaces, Proc. Amer. Math. Soc. 9 (1958), 500–506. MR 97043, DOI 10.1090/S0002-9939-1958-0097043-2
- W. W. Comfort, Neil Hindman, and S. Negrepontis, $F^{\prime }$-spaces and their product with $P$-spaces, Pacific J. Math. 28 (1969), 489–502. MR 242106
- J. de Groot, Discrete subspaces of Hausdorff spaces, Bull. Acad. Polon. Sci. Sér. Sci. Math. Astronom. Phys. 13 (1965), 537–544. MR 210061
- B. Efimov, Extremally disconnected bicompacta whose $\pi$-weight is the continuum, Dokl. Akad. Nauk SSSR 183 (1968), 511–514 (Russian). MR 0236878
- R. Engelking, Outline of general topology, North-Holland Publishing Co., Amsterdam; PWN—Polish Scientific Publishers, Warsaw; Interscience Publishers Division John Wiley & Sons, Inc., New York, 1968. Translated from the Polish by K. Sieklucki. MR 0230273
- P. Erdös and A. Tarski, On families of mutually exclusive sets, Ann. of Math. (2) 44 (1943), 315–329. MR 8249, DOI 10.2307/1968767
- Zdeněk Frolík, Generalisations of compact and Lindelöf spaces, Czechoslovak Math. J. 9(84) (1959), 172–217 (Russian, with English summary). MR 105075
- 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
- Anthony W. Hager, Approximation of real continuous functions on Lindelöf spaces, Proc. Amer. Math. Soc. 22 (1969), 156–163. MR 244748, DOI 10.1090/S0002-9939-1969-0244748-3
- Anthony W. Hager, Projections of zero-sets (and the fine uniformity on a product), Trans. Amer. Math. Soc. 140 (1969), 87–94. MR 242114, DOI 10.1090/S0002-9947-1969-0242114-2
- Edwin Hewitt, A remark on density characters, Bull. Amer. Math. Soc. 52 (1946), 641–643. MR 17329, DOI 10.1090/S0002-9904-1946-08613-9 Neil Hindman, On $P$-like spaces and their product with $P$-spaces, Doctoral Dissertation, Wesleyan University, Middletown, Conn., 1969.
- J. R. Isbell, Uniform spaces, Mathematical Surveys, No. 12, American Mathematical Society, Providence, R.I., 1964. MR 0170323
- Johannes Kerstan, Zur Charakterisierung der pseudo-kompakten Räume, Math. Nachr. 16 (1957), 289–293 (German). MR 92141, DOI 10.1002/mana.19570160505
- Arthur H. Kruse, Badly incomplete normed linear spaces, Math. Z. 83 (1964), 314–320. MR 166586, DOI 10.1007/BF01111164
- Edward Marczewski, Séparabilité et multiplication cartésienne des espaces topologiques, Fund. Math. 34 (1947), 127–143 (French). MR 21680, DOI 10.4064/fm-34-1-127-143
- N. Noble, Products with closed projections, Trans. Amer. Math. Soc. 140 (1969), 381–391. MR 250261, DOI 10.1090/S0002-9947-1969-0250261-4
- John C. Oxtoby, Cartesian products of Baire spaces, Fund. Math. 49 (1960/61), 157–166. MR 140638, DOI 10.4064/fm-49-2-157-166
- E. S. Pondiczery, Power problems in abstract spaces, Duke Math. J. 11 (1944), 835–837. MR 11104
- V. I. Ponomarev, Spaces co-absolute with metric spaces, Uspehi Mat. Nauk 21 (1966), no. 4 (130), 101–132 (Russian). MR 0200902
- K. A. Ross and A. H. Stone, Products of separable spaces, Amer. Math. Monthly 71 (1964), 398–403. MR 164314, DOI 10.2307/2313241
- N. A. Shanin, On intersection of open subsets in the product of topological spaces, C. R. (Doklady) Acad. Sci. URSS (N.S.) 53 (1946), 499–501. MR 0018815
- N. A. Šanin, On the product of topological spaces, Trudy Mat. Inst. Steklov. 24 (1948), 112 (Russian). MR 0027310
- Yu. M. Smirnov, On the weight of the ring of bounded continuous functions over a normal space, Mat. Sbornik N.S. 30(72) (1952), 213–218 (Russian). MR 0048789 Alfred Tarski, Quelques théorèmes sur les alelphs, Fund. Math. 7 (1925), 1-14.
Additional Information
- © Copyright 1970 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 150 (1970), 619-631
- MSC: Primary 54.28
- DOI: https://doi.org/10.1090/S0002-9947-1970-0263016-X
- MathSciNet review: 0263016