Almost disjoint families and the geometry of nonseparable spheres

被引:2
|
作者
Guzman, Osvaldo [1 ]
Hrusak, Michael [1 ]
Koszmider, Piotr [2 ]
机构
[1] UNAM, Ctr Ciencas Matemat, AP 61-3, Morelia 58089, Michoacan, Mexico
[2] Polish Acad Sci, Inst Math, ul Sniadeckich 8, PL-00656 Warsaw, Poland
关键词
The unit sphere of a Banach space; Nonseparable Banach spaces; Almost disjoint families; Renormings; SETS;
D O I
10.1016/j.jfa.2023.110149
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We consider uncountable almost disjoint families of subsets of N, the Johnson-Lindenstrauss Banach spaces (X-A,parallel to parallel to(infinity)) induced by them, and their natural equivalent renormings (XA,parallel to parallel to(infinity,2)). We introduce a partial order PA and characterize some geometric properties of the spheres of (X-A,parallel to parallel to(infinity)) and of (X-A,parallel to parallel to(infinity,2)) in terms of combinatorial properties of PA. 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:<br />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.<br />2) It is consistent that for every rho>0 there is a nonseparable Banach space, where for every delta>0 there is epsilon>0 such that every uncountable (1-epsilon)-separated set of elements of the unit sphere contains two elements distant by less than 1 and two elements distant at least by 2-rho-delta.<br />It should be noted that for every epsilon>0 every nonseparable Banach space has a plenty of uncountable (1-epsilon)-separated sets by the Riesz Lemma.<br />We also obtain a consistent dichotomy for the spaces of the form (X-A,parallel to parallel to(infinity,2)): The Open Coloring Axiom implies that the unit sphere of every Banach space of the form (X-A,parallel to parallel to(infinity,2)) either is the union of countably many sets of diameter strictly less than 1 or it contains an uncountable (2-epsilon)-separated set for every epsilon>0.
引用
收藏
页数:49
相关论文
共 50 条
  • [21] Almost disjoint families under determinacy
    Chan, William
    Jackson, Stephen
    Trang, Nam
    ADVANCES IN MATHEMATICS, 2024, 437
  • [22] More homogeneous almost disjoint families
    Roitman, J
    ALGEBRA UNIVERSALIS, 2002, 47 (03) : 267 - 282
  • [23] Two step iteration of almost disjoint families
    Vaughan, JE
    JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (01) : 81 - 90
  • [24] Maximal almost disjoint families and pseudocompactness of hyperspaces
    Guzman, O.
    Hrusak, M.
    Rodrigues, V. O.
    Todorcevic, S.
    Tomita, A. H.
    TOPOLOGY AND ITS APPLICATIONS, 2022, 305
  • [25] ANALYTIC AND COANALYTIC FAMILIES OF ALMOST DISJOINT FUNCTIONS
    Kastermans, Bart
    Steprans, Juris
    Zhang, Yi
    JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (04) : 1158 - 1172
  • [26] Partition subalgebras for maximal almost disjoint families
    Dow, A
    Zhou, JY
    ANNALS OF PURE AND APPLIED LOGIC, 2002, 117 (1-3) : 223 - 259
  • [27] SPECIAL-CLASS OF ALMOST DISJOINT FAMILIES
    LEATHRUM, TE
    JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (03) : 879 - 891
  • [28] ALMOST DISJOINT FAMILIES AND DIAGONALIZATIONS OF LENGTH CONTINUUM
    Raghavan, Dilip
    BULLETIN OF SYMBOLIC LOGIC, 2010, 16 (02) : 240 - 260
  • [29] A model with no strongly separable almost disjoint families
    Dilip Raghavan
    Israel Journal of Mathematics, 2012, 189 : 39 - 53
  • [30] A model with no strongly separable almost disjoint families
    Raghavan, Dilip
    ISRAEL JOURNAL OF MATHEMATICS, 2012, 189 (01) : 39 - 53