A classification of the cofinal structures of precompacta

DOI10.1016/J.APAL.2020.102810MaRDI QIDQ2187269zbMATH OpenOpenAlexFDO

Authors Aviv Eshed, M. Vicenta Ferrer, P. Szewczak, Boaz Tsaban, Salvador Hernández

Publication date 2 June 2020

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1607.07669, http://hdl.handle.net/10234/189225

zbMATH Keywords

cofinal equivalencecompact setscompact-open topologyprecompact setsTukey equivalence

Mathematics Subject Classification ID

Ordered sets and their cofinalities; pcf theory (03E04) Descriptive set theory (03E15) Cardinal characteristics of the continuum (03E17) Combinatorics of partially ordered sets (06A07) Structure of general topological groups (22A05) Cardinality properties (cardinal functions and inequalities, discrete subsets) (54A25)

Abstract: We provide a complete classification of the possible cofinal structures of the families of precompact (totally bounded) sets in general metric spaces, and compact sets in general complete metric spaces. Using this classification, we classify the cofinal structure of local bases in the groups $$ of continuous real-valued functions on complete metric spaces $X$, with respect to the compact-open topology.

Review text

The purpose of this paper is to classify the families of precompact (totally bounded) sets in general metric spaces up to cofinal equivalence, where two partial orders are cofinally equivalent if each admits a monotone map onto a cofinal subset of the other. Note that this then also classifies the families of compact sets of general \textit{complete} metric spaces. Since `all' cardinal functions coincide in the class of metric spaces and are equal to the density the latter features prominently in the results. Indeed, if \(X\) has a locally compact completion then its family of precompact sets is equivalent to the family of finite subsets of the cardinal \(d(X)\) (provided \(X\) itself is not precompact). In the more general case one obtains the product of the latter partial order and a subset of the set functions from \(\mathbb{N}\) to \([ld(\tilde X)]^{<\aleph_0}\), where \(ld(\tilde X)\) is the local density of the completion of \(X\); depending on whether the latter is attained or not one has the full set of functions or just the set of bounded functions. These results are applied in the computation of the cofinalities of the families in question and of the weight and character of topological groups of the form \(C(X,G)\) where the latter carries the compact-open topology.

Recommendations

• Between compactness and completeness
• Cofinal completeness vis-á-vis hyperspaces
• Polish cofinality in spaces of bounded functions
• The bornology of cofinally complete subsets
• On precompact sets in spaces \(C_c(X)\)

Cites work

• \(\omega^\omega\)-dominated function spaces and \(\omega^{\omega}\)-bases in free objects of topological algebra
• A biased view of topology as a tool in functional analysis
• Combinatorial aspects of selective star covering properties in \(\Psi\)-spaces
• Combinatorial Cardinal Characteristics of the Continuum
• Countable tightness and \({\mathfrak{G}} \)-bases on free topological groups
• Free Abelian topological groups and the Pontryagin-Van Kampen duality
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 3429244 (Why is no real title available?)
• scientific article; zbMATH DE number 3894002 (Why is no real title available?)
• On precompact sets in spaces \(C_c(X)\)
• On topological groups admitting a base at the identity indexed by \(\omega ^{\omega}\)
• On topological groups with a small base and metrizability
• Pontryagin-van Kampen reflexivity for free Abelian topological groups
• The character of free topological groups I
• The character of free topological groups II
• The character of topological groups, via bounded systems, Pontryagin-van Kampen duality and pcf theory
• The Tukey order and subsets of \(\omega_1\)
• The Tukey order on compact subsets of separable metric spaces
• Tukey order, calibres and the rationals

Cited in

(3)

• Classes of pretopological spaces closed under the formation of final structures
• Tukey order, calibres and the rationals
• Cofinal Families of Compacta in Separable Metric Spaces

This page was built for publication: A classification of the cofinal structures of precompacta

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2187269)