Hostname: page-component-76fb5796d-qxdb6 Total loading time: 0 Render date: 2024-04-29T17:40:16.545Z Has data issue: false hasContentIssue false
  • English
  • Français

A UNIFIED APPROACH TO HINDMAN, RAMSEY, AND VAN DER WAERDEN SPACES

Part of: Connections with other structures, applications Set theory Convergence and divergence of infinite limiting processes Real functions Fairly general properties Generalities Extremal combinatorics

Published online by Cambridge University Press:  12 February 2024

RAFAŁ FILIPÓW Open the ORCID record for RAFAŁ FILIPÓW [Opens in a new window] ,
KRZYSZTOF KOWITZ Open the ORCID record for KRZYSZTOF KOWITZ [Opens in a new window]  and
ADAM KWELA Open the ORCID record for ADAM KWELA [Opens in a new window]
RAFAŁ FILIPÓW
Affiliation:
INSTITUTE OF MATHEMATICS FACULTY OF MATHEMATICS, PHYSICS AND INFORMATICS UNIVERSITY OF GDAŃSK UL. WITA STWOSZA 57, 80-308 GDAŃSK POLAND E-mail: Rafal.Filipow@ug.edu.pl URL: http://mat.ug.edu.pl/~rfilipow
KRZYSZTOF KOWITZ
Affiliation:
INSTITUTE OF MATHEMATICS FACULTY OF MATHEMATICS, PHYSICS AND INFORMATICS UNIVERSITY OF GDAŃSK UL. WITA STWOSZA 57, 80-308 GDAŃSK POLAND E-mail: Krzysztof.Kowitz@ug.edu.pl
ADAM KWELA*
Affiliation:
INSTITUTE OF MATHEMATICS FACULTY OF MATHEMATICS, PHYSICS AND INFORMATICS UNIVERSITY OF GDAŃSK UL. WITA STWOSZA 57, 80-308 GDAŃSK POLAND URL: https://mat.ug.edu.pl/~akwela
*
E-mail: Adam.kwela@ug.edu.pl
Get access Rights & Permissions [Opens in a new window]

Abstract

For many years, there have been conducting research (e.g., by Bergelson, Furstenberg, Kojman, Kubiś, Shelah, Szeptycki, Weiss) into sequentially compact spaces that are, in a sense, topological counterparts of some combinatorial theorems, for instance, Ramsey’s theorem for coloring graphs, Hindman’s finite sums theorem, and van der Waerden’s arithmetical progressions theorem. These spaces are defined with the aid of different kinds of convergences: IP-convergence, R-convergence, and ordinary convergence.

The first aim of this paper is to present a unified approach to these various types of convergences and spaces. Then, using this unified approach, we prove some general theorems about existence of the considered spaces and show that all results obtained so far in this subject can be derived from our theorems.

The second aim of this paper is to obtain new results about the specific types of these spaces. For instance, we construct a Hausdorff Hindman space that is not an $\mathcal {I}_{1/n}$-space and a Hausdorff differentially compact space that is not Hindman. Moreover, we compare Ramsey spaces with other types of spaces. For instance, we construct a Ramsey space that is not Hindman and a Hindman space that is not Ramsey.

The last aim of this paper is to provide a characterization that shows when there exists a space of one considered type that is not of the other kind. This characterization is expressed in purely combinatorial manner with the aid of the so-called Katětov order that has been extensively examined for many years so far.

This paper may interest the general audience of mathematicians as the results we obtain are on the intersection of topology, combinatorics, set theory, and number theory.

Keywords

Ramsey’s theoremHindman’s theoremvan der Waerden’s theoremsequentially compact spacecompact spaceBolzano–Weierstrass theoremRamsey spaceHindman spacedifferentially compact spaceidealfilteralmost disjoint familiesKatětov order

MSC classification

Primary: 54A20: Convergence in general topology (sequences, filters, limits, convergence spaces, etc.) 05D10: Ramsey theory 03E75: Applications of set theory
Secondary: 03E02: Partition relations 54D30: Compactness 54H05: Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) 26A03: Foundations 40A35: Ideal and statistical convergence 40A05: Convergence and divergence of series and sequences 03E17: Cardinal characteristics of the continuum 03E15: Descriptive set theory 03E05: Other combinatorial set theory 03E35: Consistency and independence results
Type
Article
Information
The Journal of Symbolic Logic , First View , pp. 1 - 53
Check for updates
Copyright
© The Author(s), 2024. Published by Cambridge University Press on behalf of The Association for Symbolic Logic

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

Alexandroff, P. and Urysohn, P., Mémoire sur les espaces topologiques compacts dédié à Monsieur D. Egoroff , Verhandelingen der Koninklijke Akademie van Wetenschappen , vol. 14, Afdeeling Natuurkunde, Amsterdam, 1929, 96 pp. (in French).Google Scholar
Barbarski, P., Filipów, R., Mrożek, N., and Szuca, P., When does the Katětov order imply that one ideal extends the other? Colloquium Mathematicum , vol. 130 (2013), no. 1, pp. 91–102.Google Scholar
Baumgartner, J. E., Ultrafilters on $\omega$ , this Journal, vol. 60 (1995), no. 2, pp. 624–639.Google Scholar
Bergelson, V., Ultrafilters, IP sets, dynamics, and combinatorial number theory , Ultrafilters Across Mathematics , Contemporary Mathematics, vol. 530, American Mathematical Society, Providence, 2010, pp. 23–47.Google Scholar
Bergelson, V. and Zelada, R., Strongly mixing systems are almost strongly mixing of all orders, preprint, 2021. https://doi.org/10.48550/arXiv.2010.06146 Google Scholar
Bojańczyk, M., Kopczyński, E., and Toruńczyk, S., Ramsey’s theorem for colors from a metric space . Semigroup Forum , vol. 85 (2012), no. 1, pp. 182–184.Google Scholar
Brendle, J., Farkas, B., and Verner, J., Towers in filters, cardinal invariants, and Luzin type families, this Journal, vol. 83 (2018), no. 3, pp. 1013–1062.Google Scholar
Brendle, J. and Flašková, J., Generic existence of ultrafilters on the natural numbers . Fundamenta Mathematicae , vol. 236 (2017), no. 3, pp. 201–245.Google Scholar
Buck, R. C., Generalized asymptotic density . American Journal of Mathematics , vol. 75 (1953), pp. 335–346.Google Scholar
Cancino-Manríquez, J., Every maximal ideal may be Katětov above of all ${F}_{\sigma }$ ideals . Transactions of the American Mathematical Society , vol. 375 (2022), no. 3, pp. 1861–1881.Google Scholar
Corral, C., Guzmán, O., and López-Callejas, C., High dimensional sequential compactness, preprint, 2023. https://doi.org/10.48550/arXiv.2302.05388 Google Scholar
Das, P., Filipów, R., Gła̧b, S., and Tryba, J., On the structure of Borel ideals in-between the ideals $\mathcal{E}\mathcal{D}$ and $\otimes$ in the Katětov order . Annals of Pure and Applied Logic , vol. 172 (2021), no. 8, Article no. 102976, 17 pp.Google Scholar
Debs, G. and Raymond, J. S., Filter descriptive classes of Borel functions . Fundamenta Mathematicae , vol. 204 (2009), no. 3, pp. 189–213.CrossRefGoogle Scholar
van Douwen, E. K., The integers and topology , Handbook of Set-Theoretic Topology , North-Holland, Amsterdam, 1984, pp. 111–167.Google Scholar
van Douwen, E. K., Monk, J. D., and Rubin, M., Some questions about Boolean algebras . Algebra Universalis , vol. 11 (1980), no. 2, pp. 220–243.Google Scholar
Dow, A. and Vaughan, J. E., Mrówka maximal almost disjoint families for uncountable cardinals . Topology and Its Applications , vol. 157 (2010), no. 8, pp. 1379–1394.Google Scholar
Engelking, R., General Topology , second ed., Sigma Series in Pure Mathematics, vol. 6, Heldermann, Berlin, 1989, translated from the Polish by the author.Google Scholar
Farah, I. and Solecki, S., Two ${F}_{\sigma \delta}$ ideals . Proceedings of the American Mathematical Society , vol. 131 (2003), no. 6, pp. 1971–1975.Google Scholar
Farmaki, V., Karageorgos, D., Koutsogiannis, A., and Mitropoulos, A., Abstract topological Ramsey theory for nets . Topology and Its Applications , vol. 201 (2016), pp. 314–329.Google Scholar
Farmaki, V., Karageorgos, D., Koutsogiannis, A., and Mitropoulos, A., Topological dynamics on nets . Topology and Its Applications , vol. 201 (2016), pp. 414–431.Google Scholar
Farmaki, V. and Koutsogiannis, A., Topological dynamics indexed by words . Topology and Its Applications , vol. 159 (2012), no. 7, pp. 1678–1690.Google Scholar
Filipów, R., On Hindman spaces and the Bolzano–Weierstrass property . Topology and Its Applications , 160 (2013), no. 15, pp. 2003–2011.Google Scholar
Filipów, R., Kowitz, K., and Kwela, A., Katětov order between Hindman, Ramsey, and summable ideals, 2023. https://doi.org/10.48550/arXiv.2307.06881 Google Scholar
Filipów, R., Kowitz, K., Kwela, A., and Tryba, J., New Hindman spaces . Proceedings of the American Mathematical Society , vol. 150 (2022), no. 2, pp. 891–902.Google Scholar
Filipów, R., Kwela, A., and Tryba, J., The ideal test for the divergence of a series , Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A. Matemáticas , vol. 117 (2023), no. 3, Article no. 98, 25 pp.Google Scholar
Filipów, R., Mrożek, N., Recław, I., and Szuca, P., Ideal convergence of bounded sequences, this Journal, vol. 72 (2007), no. 2, pp. 501–512.Google Scholar
Filipów, R., Mrożek, N., Recław, I., and Szuca, P., I-selection principles for sequences of functions . Journal of Mathematical Analysis and Applications , vol. 396 (2012), no. 2, pp. 680–688.Google Scholar
Filipów, R. and Tryba, J., Convergence in van der Waerden and Hindman spaces . Topology and Its Applications , vol. 178 (2014), pp. 438–452.Google Scholar
Flašková, J., Hindman spaces and summable ultrafilters. Paper presented at the 22nd Summer Conference on Topology and Its Applications, 2007. Available at https://home.zcu.cz/~blobner/research/CastellonFlask.pdf.Google Scholar
Flašková, J., Ideals and sequentially compact spaces . Topology Proceedings , vol. 33 (2009), pp. 107–121.Google Scholar
Flašková, J., Van der Waerden spaces and their relatives. Paper presented at Novi Sad Conference in Set Theory and General Topology, 2014. Available at http://home.zcu.cz/~blobner/research/NoviSad2014.pdf.Google Scholar
Flašková, Jana, Van der Waerden spaces and some other subclasses of sequentially compact spaces. Paper presented at the 36th Winter School on Abstract Analysis—Section Topology, Hejnice, Czech Republic, 2008. Available at http://home.zcu.cz/~blobner/research/Hejnice2008.pdf.Google Scholar
Franklin, S. P., Spaces in which sequences suffice II . Fundamenta Mathematicae , vol. 61 (1967), pp. 51–56.Google Scholar
Fremlin, D., Filters of countable type, note of 25.9.07 (version of 25.9.07), 2007. Available at https://www1.essex.ac.uk/maths/people/fremlin/preprints.htm (accessed 9 December, 2022).Google Scholar
Furstenberg, H., Recurrence in Ergodic Theory and Combinatorial Number Theory , Princeton University Press, Princeton, 1981, M. B. Porter Lectures.Google Scholar
Furstenberg, H. and Weiss, B., Topological dynamics and combinatorial number theory . Journal d’Analyse Mathématique , vol. 34 (1978), pp. 61–85 (1979).Google Scholar
Garcia-Ferreira, S. and Guzmán, O., More on MAD families and $P$ -points . Topology and Its Applications , vol. 305 (2022), Article no. 107871, 10 pp.Google Scholar
García-Ferreira, S. and Szeptycki, P. J., MAD families and $P$ -points , Commentationes Mathematicae Universitatis Carolinae , vol. 48 (2007), no. 4, pp. 699–705.Google Scholar
Gillman, L. and Jerison, M., Rings of Continuous Functions , The University Series in Higher Mathematics, D. Van Nostrand, Princeton–Toronto–London–New York, 1960.Google Scholar
Graham, R. L., Rothschild, B. L., and Spencer, J. H., Ramsey Theory , second ed., Wiley-Interscience Series in Discrete Mathematics and Optimization, Wiley, New York, 1990.Google Scholar
Grebík, J. and Hrušák, M., No minimal tall Borel ideal in the Katětov order . Fundamenta Mathematicae , vol. 248 (2020), no. 2, pp. 135–145.Google Scholar
Guzmán-González, O. and Meza-Alcántara, D., Some structural aspects of the Katětov order on Borel ideals . Order , vol. 33 (2016), no. 2, pp. 189–194.Google Scholar
Hernández-Hernández, F. and Hrušák, M., Topology of Mrówka–Isbell spaces , Pseudocompact Topological Spaces , Developments in Mathematics, vol. 55, Springer, Cham, 2018, pp. 253–289.Google Scholar
Hindman, N., Finite sums from sequences within cells of a partition of $N$ , Journal of Combinatorial Theory, Series A , vol. 17 (1974), pp. 1–11.Google Scholar
Hrušák, M., Combinatorics of filters and ideals , Set Theory and Its Applications , Contemporary Mathematics, vol. 533, American Mathematical Society, Providence, 2011, pp. 29–69.Google Scholar
Hrušák, M., Almost disjoint families and topology , Recent Progress in General Topology III , Atlantis Press, Paris, 2014, pp. 601–638.Google Scholar
Hrušák, M., Katětov order on Borel ideals . Archive for Mathematical Logic , vol. 56 (2017), nos. 7–8, pp. 831–847.Google Scholar
Hrušák, M. and Ferreira, S. G., Ordering MAD families a la Katétov, this Journal, vol. 68 (2003), no. 4, pp. 1337–1353.Google Scholar
Hrušák, M. and Meza-Alcántara, D., Katětov order, Fubini property and Hausdorff ultrafilters . Rendiconti dell’Istituto di Matematica dell’Università di Trieste , vol. 44 (2012), pp. 503–511.Google Scholar
Hrušák, M., Meza-Alcántara, D., Thümmel, E., and Uzcátegui, C., Ramsey type properties of ideals . Annals of Pure and Applied Logic , vol. 168 (2017), no. 11, pp. 2022–2049.Google Scholar
Jech, T., Set Theory , Springer Monographs in Mathematics, Springer, Berlin, 2003, the third millennium edition, revised and expanded.Google Scholar
Jones, A. L., A brief remark on van der Waerden spaces . Proceedings of the American Mathematical Society , vol. 132 (2004), no. 8, pp. 2457–2460.Google Scholar
Just, W. and Krawczyk, A., On certain Boolean algebras $\mathcal{P}\left(\omega \right)/I$ . Transactions of the American Mathematical Society , vol. 285 (1984), no. 1, pp. 411–429.Google Scholar
Katětov, M., Measures in fully normal spaces . Fundamenta Mathematicae , 38 (1951), pp. 73–84.Google Scholar
Katětov, M., Products of filters . Commentationes Mathematicae Universitatis Carolinae , vol. 9 (1968), pp. 173–189.Google Scholar
Kechris, A. S., Classical Descriptive Set Theory , Graduate Texts in Mathematics, vol. 156, Springer, New York, 1995.Google Scholar
Kojman, M., Hindman spaces . Proceedings of the American Mathematical Society , vol. 130 (2002), no. 6, pp. 1597–1602.Google Scholar
Kojman, M., van der Waerden spaces . Proceedings of the American Mathematical Society , vol. 130 (2002), no. 3, pp. 631–635.Google Scholar
Kojman, M. and Shelah, S., van der Waerden spaces and Hindman spaces are not the same . Proceedings of the American Mathematical Society , vol. 131 (2003), no. 5, pp. 1619–1622.Google Scholar
Kowitz, K., Differentially compact spaces . Topology and Its Applications , vol. 307 (2022), Article no. 107948, 9 pp.Google Scholar
Kubiś, W. and Szeptycki, P., On a topological Ramsey theorem . Canadian Mathematical Bulletin , vol. 66 (2023), no. 1, pp. 156–165.Google Scholar
Kwela, A., Unboring ideals . Fundamenta Mathematicae , vol. 261 (2023), no. 3, pp. 235–272.Google Scholar
Kwela, A. and Tryba, J., Homogeneous ideals on countable sets . Acta Mathematica Hungarica , vol. 151 (2017), no. 1, pp. 139–161.Google Scholar
Mathias, A. R. D., Solution of problems of Choquet and Puritz , Conference in Mathematical Logic—London ’70 (Proc. Conf., Bedford College, London, 1970) , Lecture Notes in Mathematics, vol. 255, Springer, Berlin, 1972, pp. 204–210.Google Scholar
Mathias, A. R. D., Happy families . Annals of Mathematical Logic , vol. 12 (1977), no. 1, pp. 59–111.Google Scholar
Mazur, K., ${F}_{\sigma }$ –ideals and ${\omega}_1{\omega}_1^{\ast }$ -gaps in the Boolean algebras $P(\omega)/I$ . Fundamenta Mathematicae , vol. 138 (1991), no. 2, pp. 103–111.Google Scholar
Meza-Alcántara, D., Ideals and filters on countable set , Ph.D. thesis, Universidad Nacional Autónoma de México, 2009. Available at https://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000645364.Google Scholar
Minami, H. and Sakai, H., Katětov and Katětov–Blass orders on ${F}_{\sigma }$ -ideals . Archive for Mathematical Logic , vol. 55 (2016), nos. 7–8, 883–898.Google Scholar
Mrówka, S., On completely regular spaces . Fundamenta Mathematicae , vol. 41 (1954), pp. 105–106.Google Scholar
Mrożek, N., Some applications of the Katětov order on Borel ideals . Bulletin of the Polish Academy of Sciences , vol. 64 (2016), no. 1, pp. 21–28.Google Scholar
Ramsey, F. P., On a problem of formal logic . Proceedings of the London Mathematical Society (2) , vol. 30 (1929), no. 4, pp. 264–286.Google Scholar
Sakai, H., On Katětov and Katětov–Blass orders on analytic P-ideals and Borel ideals . Archive for Mathematical Logic , vol. 57 (2018), nos. 3–4, pp. 317–327.Google Scholar
Shi, L., Numbers and topologies: Two aspects of Ramsey theory , Ph.D. thesis, Humboldt-Universität zu Berlin, 2003. https://doi.org/10.18452/14871 Google Scholar
Steen, L. A. and Seebach, J. A. Jr, Counterexamples in Topology , Dover Publications, Mineola, 1995, reprint of the second (1978) edition.Google Scholar
van der Waerden, B. L., Beweis einer Baudetschen Vermutung . Nieuw Archief voor Wiskunde , vol. 15 (1927), pp. 212–216.Google Scholar
Zhang, H. and Zhang, S., Some applications of the theory of Katětov order to ideal convergence . Topology and Its Applications , vol. 301 (2021), Article no. 107545, 9 pp.Google Scholar