Order convergence in ordered vector spaces: compactness, atoms, pervasiveness, and ice cream spaces

@misc{bilokopytov2026order,
  title = {{Order convergence in ordered vector spaces: compactness, atoms, pervasiveness, and ice cream spaces}},
  author = {Eugene Bilokopytov and Mark Roelands and Samuel Tiersma and Jan Harm van der Walt and Onno van Gaans and Marten Wortel},
  howpublished = {arXiv},
  year = {2026},
  month = oct,
  doi = {10.48550/arxiv.2610.16554},
  eprint = {2610.16554},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2610.16554},
  note = {CC0},
}

TY  - UNPB
TI  - Order convergence in ordered vector spaces: compactness, atoms, pervasiveness, and ice cream spaces
AU  - Eugene Bilokopytov
AU  - Mark Roelands
AU  - Samuel Tiersma
AU  - Jan Harm van der Walt
AU  - Onno van Gaans
AU  - Marten Wortel
PY  - 2026
DA  - 2026/10/12
PB  - arXiv
DO  - 10.48550/arxiv.2610.16554
UR  - https://arxiv.org/abs/2610.16554
AB  - We study order convergence in ordered vector spaces that are not necessarily lattices. In this setting, we consider two generalizations of order convergence on vector lattices, a directed and an undirected variant. We show that these notions agree for the class of pervasive spaces and extend several results concerning atomicity and order convergence in vector lattices to this class. In particular, we prove that a pervasive JB-algebra is associative, which strengthens a result of Sherman for C*-algebras. We also establish a number of new characterizations of pervasive spaces. Additionally, we systematically study a class of order unit spaces associated to Banach spaces, called ice cream spaces. We provide descriptions of both directed and undirected order convergences in these spaces, yielding examples where the two notions differ. We also consider other order-theoretic aspects of ice cream spaces, such as atoms and lattice operations, relating them to the geometry of the underlying Banach spaces. We demonstrate that ice cream spaces exhibit behavior very different from vector lattices and can serve as a rich source of counterexamples in the theory of ordered vector spaces.
ER  -