Densities and liftings for derived algebras (Q409680)

In previous papers of the authors, see [ibid. 153, No. 7, 1164--1191 (2006; Zbl 1087.54013) and the authors and \textit{K. Musiał}, ibid. 156, No. 7, 1253--1270 (2009; Zbl 1179.54044), respectively)] densities and liftings were considered for the \(\sigma\)-algebra of sets with the Baire property and the \(\sigma\)-ideal of all meager subsets of some topological space. In the present paper the authors depart more radically from classical lifting theory for (topological) measure spaces. First, densities and liftings are with respect to so-called fundamental triples consisting of a set, an algebra of subsets of this set, and an ideal in this algebra. In particular, densities and liftings for finitely additive measures are covered. Second, for such fundamental triples in the presence of a topology with open sets contained in the algebra, there is singled out a suitable subalgebra which converts certain operations on the algebra into strong densities by restriction. This subalgebra, called the derived algebra, consists of all subsets of the algebra, whose boundary lies in the ideal, a construction motivated by Lebesgue's definition of the Jordan measurable sets from the algebra of measurable subsets in Euclidean spaces. A natural operation for obtaining strong liftings on the derived algebra is obtained by a generalization of \textit{K. Bichteler's} theta function [Ill. J. Math. 16, 370--380 (1972; Zbl 0236.46055)]. By these methods densities can be obtained without an application of the axiom of choice, contrary to the corresponding situation in classical lifting theory for measure spaces. Then Boolean liftings are constructed from densities by the familiar ultrafilter trick. The paper provides a characterization of the derived structures if the ideal contains no nonempty open set. In the last section conditions are given under which operations on the basic algebra induce corresponding operations on the derived strucure. In particular, they apply to strong liftings.