2022/12/11 by Osvaldo Guzmán, Guzmán, Osvaldo, Michael Hrušák +3
Mathematics · #Advanced Banach Space Theory #Advanced Topology and Set Theory #FOS: Mathematics #Functional Analysis (math.FA)
paper · pdf · doi:10.48550/arxiv.2212.05520
openalex publication_date 2022/12/11 · openalex created_date 2022/12/26 · openalex updated_date 2026/08/03
We consider uncountable almost disjoint families of subsets of \mathbb N, the Johnson-Lindenstrauss Banach spaces (\mathcal X\mathcal A, ‖ ‖_∞) induced by them, and their natural equivalent renormings (\mathcal X\mathcal A, ‖ ‖∞, 2). We introduce a partial order \mathbb P\mathcal A and characterize some geometric properties of the spheres of (\mathcal X\mathcal A, ‖ ‖∞) and of (\mathcal X\mathcal A, ‖ ‖∞, 2) in terms of combinatorial properties of \mathbb P\mathcal A. Exploiting the extreme behavior of some known and some new almost disjoint families among others we show the existence of Banach spaces where the unit spheres display surprising geometry: 1) There is a Banach space of density continuum whose unit sphere is the union of countably many sets of diameters strictly less than 1. 2) It is consistent that for every ρ>0 there is a nonseparable Banach space, where for every δ>0 there is ε>0 such that every uncountable (1-ε)-separated set of elements of the unit sphere contains two elements distant by less than 1 and two elements distant at least by 2-ρ-δ. It should be noted that for every ε>0 every nonseparable Banach space has a plenty of uncountable (1-ε)-separated sets by the Riesz Lemma. We also obtain a consistent dichotomy for the spaces of the form (\mathcal X\mathcal A, ‖ ‖∞, 2): The Open Coloring Axiom implies that the unit sphere of every Banach space of the form (\mathcal X\mathcal A, ‖ ‖∞, 2) either is the union of countably many sets of diameter strictly less than 1 or it contains an uncountable (2-ε)-separated set for every ε>0.