Model-theoretic independence in the Banach lattices L_p()

DOI10.1007/S11856-011-0050-4MaRDI QIDQ636032zbMATH OpenOpenAlexFDO

Authors Itaï Ben Yaacov, Alexander Berenstein, C. Ward Henson

Publication date 25 August 2011

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0907.5273

Banach lattice independence model theory stability

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Banach lattices (46B42) Spaces of measurable functions ((L^p)-spaces, Orlicz spaces, Köthe function spaces, Lorentz spaces, rearrangement invariant spaces, ideal spaces, etc.) (46E30)

Abstract: We study model-theoretic stability and independence in Banach lattices of the form

L_{p} (X, U, m u)

, where

1 l e q p < i n f t y

. We characterize non-dividing using concepts from analysis and show that canonical bases exist as tuples of real elements.

Review text

This article is concerned with model theoretic properties of \(L_p\) Banach lattices. Such structures (for fixed but arbitrary \(p\)) form a non-elementary class. In the case of \(L_p\) Banach lattices there are at least three known frameworks within which one can study stability- and independence theoretic properties. Using the approach of normed spaces of Henson and Iovino [\textit{J. Iovino}, ``Stable Banach spaces and Banach space structures. I and II. New York, NY: Marcel Dekker. Lect. Notes Pure Appl. Math. 203, 77--95 (1999; Zbl 0977.03019), and II. Lect. Notes Pure Appl. Math. 203, 97--117 (1999; Zbl 0977.03020)]; \textit{C. W. Henson, J. Iovino}, ``Ultraproducts in analysis, Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 262, 1--110 (2002; Zbl 1026.46007)], the authors prove that every \(L_p\) Banach lattice is stable with respect to all positive bounded formulas, thus generalizing a result of \textit{J-L. Krivine} and \textit{B. Maurey}, Isr. J. Math. 39, 273--295 (1981; Zbl 0504.46013)] who considered only positive quantifier free formulas for Banach spaces without the lattice structure. Hence \(L_p\) Banach lattices admit a notion of independence which can be defined in the usual way by non-dividing. The authors then show that in the context of \(L_p\) Banach lattices the notion of independence can be characterized in terms of measure and probability theoretic notions: \(A\) is independent from \(B\) over \(C\) if and only if, for all \(f\) in \(\mathrm{dcl}(AC)\), the sublattice generated by \(A\) and \(C\), the conditional expectation of \(f\) with respect to \(\mathrm{dcl}(BC)\) is the same as the conditional expectation of \(f\) with respect to \(\mathrm{dcl}(C)\). As a consequence of this characterization one gets that \(A\) is independent from \(B\) over \(C\) if and only if, for every \(f\) in \(\mathrm{dcl}(A)\) and every \(g\) in \(\mathrm{dcl}(B)\), \(f\) is independent from \(g\) over \(C\). Then a concrete characterization of 1-types (over parameter sets) is given, in terms of a notion that the authors call conditional slices. Conditional slices are then used to give another characterization of independence. This characterization has an advantage over the previous one, which used conditional expectations, because in order to determine whether a set is independent from another one over a third one, certain technical considerations (about `good intersections') are avoided. Finally, the authors prove that in atomless \(L_p\) Banach lattices canonical bases exist as ordinary elements (i.e., built in canonical bases).

Recommendations

Cites work

Cited in

(13)

This page was built for publication: Model-theoretic independence in the Banach lattices \(L_{p}(\mu)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q636032)