On diagonal degrees and star networks
Abstract
Given an open cover U of a topological space X, we introduce the notion of a star network for U. The associated cardinal function sn(X), where e(X)≤ sn(X)≤ L(X), is used to establish new cardinal inequalities involving diagonal degrees. We show |X|≤ sn(X)(X) for a T1 space X, giving a partial answer to a long-standing question of Angelo Bella. Many further results are given using variations of sn(X). One result has as corollaries Buzyakova's theorem that a ccc space with a regular Gδ-diagonal has cardinality at most c, as well as three results of Gotchev. Further results lead to logical improvements of theorems of Basile, Bella, and Ridderbos, a partial solution to a question of the same authors, and a theorem of Gotchev, Tkachenko, and Tkachuk. Finally, we define the Urysohn extent Ue(X) with the property Ue(X)≤\aL(X),e(X)\ and use the Erdos-Rado theorem to show that |X|≤ 2Ue(X)(X) for any Urysohn space X.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.