Abstract
Every directed set is Tukey equivalent to (a) the family of all compact subsets, ordered by inclusion, of a (locally compact) space, to (b) a neighborhood filter, ordered by reverse inclusion, of a point (of a compact space, and of a topological group), and to (c) the universal uniformity, ordered by reverse inclusion, of a space. Two directed sets are Tukey equivalent if they are cofinally equivalent in the sense that they can both be order embedded cofinally in a third directed set. In contrast, any totally bounded uniformity is Tukey equivalent to \([\kappa ]^{<\omega }\), the collection of all finite subsets of \(\kappa \), where \(\kappa \) is the cofinality of the uniformity. All other Tukey types are ‘rejected’ by totally bounded uniformities. Equivalently, a compact space X has weight (minimal size of a base) equal to \(\kappa \) if and only if the neighborhood filter of the diagonal is Tukey equivalent to \([\kappa ]^{<\omega }\). A number of questions from the literature are answered with the aid of the above results.
Similar content being viewed by others
Data availability
Data availability is not relevant to this article. There is no data.
References
Banakh, T.: Topological spaces with an \(\omega ^{\omega }\)-base. Dissertationes Math. 538, 141 (2019)
Banakh, T., Leiderman, A.: \(\omega ^\omega \)-dominated function spaces and \(\omega ^\omega \)-bases in free objects of topological algebra. Topol. Appl. 241, 203–241 (2018)
Dow, A., Feng, Z.: Compact spaces with a \(P\)-base. Indag. Math. (N.S.) 32(4), 777–791 (2021)
Engelking, R.: General Topology, Revised and completed edition. Sigma Series in Pure Mathematics, vol. 6. Heldermann Verlag, Berlin (1989)
Eshed, A., Ferrer, V., Hernandez, S., Szewczak, P., Tsaban, B.: A classification of the cofinal structure of Precompacta. Ann. Pure Appl. Log. 171(8), 102810 (2020)
Feng, Z.: \(P\)-bases and topological groups. Proc. Am. Math. Soc. 150(2), 877–889 (2022)
Fremlin, D.H.: Families of compact sets and Tukey’s ordering. Atti Sem. Mat. Fis. Univ. Modena 39(1), 29–50 (1991)
Fremlin, D.H.: The partially ordered sets of measure theory and Tukey’s ordering. Note Mat. 11, 177–214 (1991). (Dedicated to the memory of Professor Gottfried Köthe)
Gabriyelyan, S., Kakol, J., Leiderman, A.: On topological groups with a small base and metrizability. Fund. Math. 229(2), 129–158 (2015)
Gartside, P.M., Mamatelashvili, A.: Tukey order on compact subsets of separable metric spaces. J. Symb. Log. 81(1), 181–200 (2016)
Gartside, P., Mamatelashvili, A.: The Tukey order and subsets of \(\omega _1\). Order 35(1), 139–155 (2018)
Gartside, P.M., Mamatelashvili, A.: Tukey order, calibres and the rationals. Ann. Pure Appl. Log. 172(1), 102873 (2021)
Gartside, P., Morgan, J.: Local networks for function spaces. Houst. J. Math. 45(3), 893–923 (2019)
Sánchez, D.G.: Spaces with an \(M\)-diagonal. Rev. R. Acad. Cienc. Exactas Fís. Nat. Ser. A Mat. RACSAM 114(1), Paper No. 16, 9 (2020)
Tukey, J.: Convergence and Unifomity in Topology. Annals of Mathematics Studies, 2, Princeton University Press, Princeton (1940)
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors have no competing interests (funding, employment, financial or non-financial).
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Feng, Z., Gartside, P. Directed sets of topology: Tukey representation and rejection. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 118, 44 (2024). https://doi.org/10.1007/s13398-023-01544-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-023-01544-1