English

Pervasiveness of $\mathcal{L}^r(E,F)$ in $\mathcal{L}^r(E,F^{\delta})$

Functional Analysis 2025-01-28 v1

Abstract

Let E,FE, F be Archimedean Riesz spaces, and let FδF^{\delta} denote an order completion of FF. In this note, we provide necessary conditions under which the space of regular operators Lr(E,F)\mathcal{L}^r(E, F) is pervasive in Lr(E,Fδ)\mathcal{L}^r(E, F^{\delta}). Pervasiveness of Lr(E,F)\mathcal{L}^r(E, F) in Lr(E,Fδ)\mathcal{L}^r(E, F^{\delta}) implies that the Riesz completion of Lr(E,F) \mathcal{L}^r(E, F) can be realized as a Riesz subspace of Lr(E,Fδ \mathcal{L}^r(E, F^{\delta}. It also ensures that the regular part of the space of order continuous operators Loc(E,F)\mathcal{L}^{oc}(E, F) forms a band of Lr(E,F)\mathcal{L}^r(E, F). Furthermore, the positive part T+T^+ of any operator TLr(E,F)T \in \mathcal{L}^r(E, F), provided it exists, is given by the Riesz-Kantorovich formula. The results apply in particular to cases where E=0E = \ell_0^{\infty}, E=cE = c, or FF is atomic, and they provide solutions to some problems posed in [3] and [16].

Keywords

Cite

@article{arxiv.2501.15072,
  title  = {Pervasiveness of $\mathcal{L}^r(E,F)$ in $\mathcal{L}^r(E,F^{\delta})$},
  author = {Quinn Kiervin Starkey and Foivos Xanthos},
  journal= {arXiv preprint arXiv:2501.15072},
  year   = {2025}
}