2025/09/06 by Ziqin Feng, Feng, Ziqin, Paul Gartside +1
Social Sciences · #FOS: Mathematics #General Topology (math.GN) #Intergenerational Family Dynamics and Caregiving
paper · pdf · doi:10.48550/arxiv.2509.05854
openalex publication_date 2025/09/06 · openalex created_date 2025/10/11 · openalex updated_date 2026/07/28
The topology of a space X is generated by a family C of its subsets provided that a set A⊆ X is closed in X if and only if A∩ C is closed in C for each C∈ C. A space X is a k-space (respectively, sequential) if its topology is generated by the collection of all compact subsets (respectively, convergent sequences) of X. Relations are defined to capture the notion of a space being a k-space or sequential. The structure (or `shape') under the Tukey order of these relations applied to separable metrizable spaces is examined. For the k-space case the initial structure is completely determined, and the cofinal structure is shown to be highly complex. In the sequential case, however, the entire shape is determined. It follows that the number of Tukey types in the sequential case lies between ℵ0 and \mathfrakc, is equal to ℵ0 precisely when \mathfrakc < ℵω1, and is equal to \mathfrakc if and only if \mathfrakc is a fixed point of the aleph function, necessarily of uncountable cofinality.