The $\alpha$-boundification of $\alpha$
HTML articles powered by AMS MathViewer
- by Salvador García-Ferreira and Angel Tamariz-Mascarúa PDF
- Proc. Amer. Math. Soc. 118 (1993), 1301-1311 Request permission
Abstract:
A space $X$ is $< \alpha$-bounded if for all $A \subseteq X$ with $|A| < \alpha$, ${\operatorname {cl} _X}\;A$ is compact. Let $B(\alpha )$ be the smallest $< \alpha$-bounded subspace of $\beta (\alpha )$ containing $\alpha$. It is shown that the following properties are equivalent: (a) $\alpha$ is a singular cardinal; (b) $B(\alpha )$ is not locally compact; (c) $B(\alpha )$ is $\alpha$-pseudocompact; (d) $B(\alpha )$ is initially $\alpha$-compact. Define ${B^0}(\alpha ) = \alpha$ and ${B^n}(\alpha ) = \{ {\operatorname {cl} _{\beta (\alpha )}}A:A \subseteq {B^{n - 1}}(\alpha ),|A| < \alpha \}$ for $0 < n < \omega$. We also prove that ${B^2}(\alpha ) \ne {B^3}(\alpha )$ when $\omega = \operatorname {cf} (\alpha ) < \alpha$. Finally, we calculate the cardinality of $B(\alpha )$ and prove that, for every singular cardinal $\alpha ,\;|B(\alpha )| = |B(\alpha ){|^\alpha } = |N(\alpha ){|^{\operatorname {cf} (\alpha )}}$ where $N(\alpha ) = \{ p \in \beta (\alpha ):\;{\text {there is}}\;A \in p\;{\text {with}}\;|A| < \alpha \}$.References
- Allen R. Bernstein, A new kind of compactness for topological spaces, Fund. Math. 66 (1969/70), 185–193. MR 251697, DOI 10.4064/fm-66-2-185-193
- W. W. Comfort and S. Negrepontis, The theory of ultrafilters, Die Grundlehren der mathematischen Wissenschaften, Band 211, Springer-Verlag, New York-Heidelberg, 1974. MR 0396267, DOI 10.1007/978-3-642-65780-1 E. K. van Douwen, The product of two initially $\kappa$-compact spaces (to appear).
- Alan Dow, Good and OK ultrafilters, Trans. Amer. Math. Soc. 290 (1985), no. 1, 145–160. MR 787959, DOI 10.1090/S0002-9947-1985-0787959-4
- S. P. Franklin, On epi-reflective hulls, General Topology and Appl. 1 (1971), no. 1, 29–31. MR 286071, DOI 10.1016/0016-660X(71)90107-3
- Salvador García-Ferreira, Some remarks on initial $\alpha$-compactness, $<\alpha$-boundedness and $p$-compactness, Topology Proc. 15 (1990), 11–28. MR 1159077
- S. L. Gulden, W. M. Fleischman, and J. H. Weston, Linearly ordered topological spaces, Proc. Amer. Math. Soc. 24 (1970), 197–203. MR 250272, DOI 10.1090/S0002-9939-1970-0250272-2
- H. Herrlich and J. van der Slot, Properties which are closely related to compactness, Nederl. Akad. Wetensch. Proc. Ser. A 70=Indag. Math. 29 (1967), 524–529. MR 0222848, DOI 10.1016/S1385-7258(67)50068-9
- Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523
- V. Kannan and T. Soundararajan, Properties that are productive, closed-hereditary and surjective, Topology Appl. 12 (1981), no. 2, 141–146. MR 612011, DOI 10.1016/0166-8641(81)90016-X
- H. Jerome Keisler, Good ideals in fields of sets, Ann. of Math. (2) 79 (1964), 338–359. MR 166105, DOI 10.2307/1970549
- H. Jerome Keisler, Ideals with prescribed degree of goodness, Ann. of Math. (2) 81 (1965), 112–116. MR 170828, DOI 10.2307/1970386
- H. Jerome Keisler and Karel Prikry, A result concerning cardinalities of ultraproducts, J. Symbolic Logic 39 (1974), 43–48. MR 344122, DOI 10.2307/2272341
- Kenneth Kunen, Ultrafilters and independent sets, Trans. Amer. Math. Soc. 172 (1972), 299–306. MR 314619, DOI 10.1090/S0002-9947-1972-0314619-7 L. O’Callaghan, Topological endohomeomorphisms and compactness properties and generalized $\Sigma$-products, Doctoral Dissertation, Wesleyan Univ., 1975. T. Retta, $m$-pseudocompact spaces, preprint.
- Victor Saks, Ultrafilter invariants in topological spaces, Trans. Amer. Math. Soc. 241 (1978), 79–97. MR 492291, DOI 10.1090/S0002-9947-1978-0492291-9
- R. Grant Woods, Topological extension properties, Trans. Amer. Math. Soc. 210 (1975), 365–385. MR 375238, DOI 10.1090/S0002-9947-1975-0375238-2
Additional Information
- © Copyright 1993 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 118 (1993), 1301-1311
- MSC: Primary 54A25; Secondary 54D30, 54D40
- DOI: https://doi.org/10.1090/S0002-9939-1993-1165054-2
- MathSciNet review: 1165054