Order-theoretic properties and separability of some sets of quasi-measures

Let M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathfrak {M}}}$$\end{document} and R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathfrak {R}}}$$\end{document} be algebras of subsets of a set Ω\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega $$\end{document} with M⊂R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {M}}\subset {\mathfrak {R}}$$\end{document}. Denote by E(μ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E(\mu )$$\end{document} the set of all quasi-measure extensions of a given quasi-measure μ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu $$\end{document} on M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {M}}$$\end{document} to R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {R}}$$\end{document}. We present some results on the coincidence of the bands, in R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {R}}$$\end{document}, generated by E(μ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E(\mu )$$\end{document} and extr E(μ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E(\mu )$$\end{document}. Moreover, we show that if μ\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mu $$\end{document} is atomic, then E(μ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E(\mu )$$\end{document} is contained in a principal band in R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathfrak {R}}$$\end{document} if and only if it is separable. Another sufficient condition for the separability of E(μ)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$E(\mu )$$\end{document} is also presented.


Introduction
By a quasi-measure we mean a positive additive function on an algebra of sets. Let M and R be algebras of subsets of a set with M ⊂ R and let μ be a quasi-measure on M. The 'sets' appearing in the title of the paper are the convex set E(μ) of all quasi-measure extensions of μ to R and the set extr E(μ) of its extreme points. These  have been studied by the author in many earlier papers, including [8][9][10][11]. Of main concern in those papers have been their topological and linear-topological properties as subsets of the dual Banach lattice ba (R). A systematic presentation of most of the results obtained is given in the memoir [12].
In contrast, [13,14] and this paper are primarily concerned with order-theoretic properties of the sets E(μ). In [14] a property of subsets of a general linear lattice X called ideal domination has been introduced and studied mainly in relation to E(μ) and extr E(μ). In Sect. 2 of this paper we introduce a property weaker than ideal domination, which we call band domination. (By definition, V ⊂ X is band dominated if it is contained in a principal band in X .) We note that every separable subset of a Banach lattice is band dominated (Proposition 1(b)). We also show that band domination is strictly weaker than ideal domination in every infinite-dimensional Banach lattice (see Proposition 2).
In the Banach lattice ba(M), band domination is equivalent to domination in terms of (ε-δ) absolute continuity with respect to an element of ba(M), due to a classical result (see (PB) formulated between Remark 1 and Proposition 4 in Sect. 3). Therefore, every relatively weakly compact subset of ba(M) is band dominated, due to another classical result (see our comments after Lemma 5 in Sect. 4).
The main body of the paper consists of Sects. 5 and 6. The former establishes, in the atomic case, a necessary and sufficient condition that the bands, in ba(R), generated by E(μ) and extr E(μ) coincide (Theorem 1). As a consequence of an earlier result of the author [11], it is shown that those bands also coincide when R is generated, as an algebra, by M and a superatomic subalgebra of R, while μ is arbitrary (Theorem 2(a)).
In Sect. 6 four conditions equivalent to band domination of E(μ) in the atomic case are given, including the following one: extr E(μ) is separable (see Theorem 3). In the same case, assuming that R is generated, as an algebra, by M and another subalgebra N of R and M, N and μ are related in a special way, we show that E(μ) is band dominated if and only if N is countable and superatomic or μ = 0 (Corollary 2). Finally, we show that E(μ) is separable provided μ is separable (in the metric sense) and R is generated, as an algebra, by M and a countable family of pairwise disjoint subsets of (Theorem 5).
The basic measure-theoretic terminology and notation we use are mostly standard. They are explained in Sect. 3, which also contains some auxiliary results of general character. Section 4 introduces some more notation and presents a number of auxiliary results on E(μ) and extr E(μ). There and in the remaining sections the material of [8][9][10][11][12][13][14] plays an essential role.
Some open questions are formulated throughout the paper; see the passage following Proposition 3 in Sect. 2, Remark 3 and the passage following Proposition 6, both in Sect. 3, and the passage following the proofs of Theorems 3 and 4, both in Sect. 6.
It is a pleasure to dedicate this paper to Professor Hans Weber on his 70th birthday. I first met Hans in Wrocław during his visit to Poland in 1980, but we had started our mail contact a few years earlier. I have a pleasant memory of his hospitality in Radolfzell and Potenza and of our many meetings at conferences, mainly in Italy, Germany and Poland. I am grateful to him for his support during the state of emergency in Poland in the 1980s. The reading of Hans' papers has been instructive and inspiring for me.
I have also reviewed some of them for MR and Zbl. I wish Hans many more interesting papers in the future as well as a long and active life in good health.

Band domination in Banach lattices
Let X be a real linear lattice (= Riesz space in the terminology of [1]), with the order and lattice operations denoted by and ∧, ∨, respectively. As usual, |x| stands for the modulus or absolute value of x ∈ X and X + for the positive cone of X .
Let V be a subset of X . We denote by A V [resp., B V ] the ideal [resp., band] in X generated by V . Recall that a band is, by definition, an order closed ideal (see [1, p. 30]). An alternative name for a band is a normal linear sublattice (cf. [ We for some x ∈ X . The former notion was introduced and studied in [14]. Note that X is itself ideal dominated if and only if it has a (strong) order unit e, i.e., e ∈ X + and for every x ∈ X there exists n ∈ N with |x| ne. Similarly, X is itself band dominated if and only if it has a weak order unit e, i.e., e ∈ X + and for every x ∈ X + we have x ∧ ne ↑ x (see [1, p. 36]).
The following simple lemma will be instrumental in establishing the next proposition and Proposition 7(b),(c) in Sect. 4.

is band dominated if (and only if) V j is band dominated for each j.
Proof Suppose V j ⊂ B x j , where x j ∈ X and j = 1, 2, …. By [14,Proposition 1], there exists x ∈ X such that x j ∈ I x for each j.
Part (b) of the following proposition will be applied several times below. Part (a) thereof is a direct consequence of the assertion that bands in a Banach lattice are closed (see [1,Theorem 11.2(3)]), and so weakly closed. We shall tacitly use this assertion also on some other occasions. There are many standard examples of Banach lattices without order unit that still have a weak order unit. A general result to this effect is a consequence of Proposition 1(b) and the following one.

Proposition 2 Every infinite-dimensional
Banach lattice X contains a separable closed sublattice X 0 without order unit.
Proof Without loss of generality, we assume that X is separable (see [1, Exercise 9 of Section 12]). We also assume that X has an order unit. Then it is isomorphic as a Banach lattice to a C(Z )-space, where Z is an (infinite) compact space, by a combination of classical results (see [1,Theorems 12.20 and 12.28 and Corollary 12.4]). Let z 0 be an accumulation point of Z , and set It is easy to see that X 0 is as desired.
We note that a special class of sets for which ideal and band dominations coincide is described in Proposition 10 in Sect. 6.
By an application of the Krein-Milman theorem, we get the following result.

Proposition 3 Let W be a weakly compact convex subset of a Banach lattice X . Then
Consequently, if extr W is band dominated, then so is W .
The first assertion of Proposition 3 fails for weak * compact convex subsets of a dual Banach lattice; see Remark 2 in Sect. 3 and Remark 4 in Sect. 5. The author does not know whether the same can be said about the second assertion of Proposition 3.

Further notation and measure-theoretic preliminaries
Let A be a Boolean algebra. The set of nonzero {0, 1}-valued additive functions on A is denoted by ult (A). Equipped with an appropriate topology, it can be identified with the Stone space of A. Recall that A is said to be superatomic if every subalgebra of A is atomic or, equivalently, every homomorphic image of A is atomic (see [7,Proposition 17.5]; cf. also [2,Definition 5.3.4]). This notion often appears below, especially in Sects. 5 and 6.
The algebra of open-and-closed subsets of a topological space Z is denoted by For a set we denote by | | the cardinality of . Throughout the rest of the paper, stands for a nonempty set and M for an algebra of subsets of .
Given a family E of subsets of , we denote by E b the algebra of subsets of generated by E.
We set With μ ∈ ba + (M) we associate the pseudometric d μ on M defined by the formula We say that μ is separable if the corresponding pseudometric space is separable. Let μ ∈ ba + (M). Adapting a general linear-lattice-theoretical terminology (see [1, p. 13 We denote by U μ the set of all components of μ which take at most two values. As easily seen (cf. [ It follows that the finite algebra For ϕ, ψ ∈ ba(M) we write ψ ϕ if ψ is absolutely continuous with respect to ϕ, i.e., the familiar (ε-δ) condition holds for |ϕ| and |ψ| (see [2, Definition 6.1.1]).
The following result will be frequently applied below.
This is a consequence of Theorems 1.5.12 and 6.2.2 of [2]. The next two propositions are more or less known. They will be used in Sect. 4 to establish Lemmas 4 and 5, respectively.

Remark 2 Condition (i) of Proposition 4 can be reformulated as follows:
Now, pa(M) is a weak * compact convex subset of ba(M) and extr pa(M) = ult (M), by well-known results (see, e.g., [12, p. 14]). Thus, Proposition 4 shows that Proposition 3 does not extend to weak * compact convex subsets of dual Banach lattices. Another example to the same effect is mentioned in Remark 4 in Sect. 5.
The following example was announced after the proof of Proposition 1. As already mentioned in the passage introducing Proposition 1, bands in Banach lattices are weakly closed. In this connection it is worth-while recalling that the following two conditions are equivalent for a Banach lattice X : (i) the norm of X is order continuous, i.e., for every net {x α } in X with x α ↓ 0 we have x α → 0; (ii) every band in X * is weak * closed; see [1,Theorem 1.10] or [16,Theorem 1.19]. Combined with another result (see [16,Theorem 1.4]), this yields the following corollary: ba(M) contains a band which is not weak * closed provided M is infinite. We shall strengthen this corollary as follows:

Proposition 6 If M is infinite, then ba(M) contains a principal band which is not weak * closed.
Proof Due to the Stone representation theorem, we may assume that is a (zerodimensional) compact space and M = CO( ). By assumption, is infinite. Fix ω 0 , ω n ∈ , n = 1, 2, … such that ω n = ω 0 for each n and ω 0 is an accumulation point of the set {ω n : n = 1, 2, . . .}. Denote by δ ω 0 , δ ω n the corresponding Dirac quasi-measures on M. Then δ ω 0 is a weak * accumulation point of the set {δ ω n : n = 1, 2, . . .}, but Thus, the assertion is established.
It is not clear to the author to what dual Banach lattices can Proposition 6 be generalized.
In the proof of Theorem 5 in Sect. 6 we shall apply the following two lemmas. The first of them is well known in the case where M is a σ -algebra and μ is σ -additive. In fact, it can be reduced to that case, but we prefer to establish it in a more direct way. Clearly μ N ∈ B μ . Given N 1 , N 2 ∈ M, we have the d μ -closure of L contains the family It follows that L b is d μ -dense in M.

Auxiliary results on E(µ) and extr E(µ)
Throughout the rest of the paper, R stands for an algebra of subsets of with M ⊂ R.
We shall need the following notation (see [12, p. 14]). Given μ ∈ ba + (M), we set Clearly, J μ is an ideal in R.
We also set It is a classical result that E(μ) is always nonempty (see [2,Chapter 3]). Moreover, it is, clearly, convex. In addition, it is weak * compact (see [12,Proposition 4

.4(a)] or [8, Proposition 1(a)]).
The following proposition will be used in the proofs of the next one as well as of Theorem 3 and Proposition 10 in Sect. 6. Proposition 7 Suppose μ, μ j ∈ ba + (M) are such that ∞ j=1 μ j = μ and μ j ∧μ j = 0 whenever j = j .
The second part of (b) now follows from Lemma 1.
The proof of (c) is similar to that of (b). The modification consists in replacing two of the results used above by the second part of (a) and [12, Theorem 6.1(b)] or [9, Theorem 1(b)].
The next proposition will be used in establishing Theorem 1 in Sect. 5.
Suppose (ii) holds. Using Proposition 7(c), we then get This together with Proposition 7(b) implies the nontrivial inclusion "⊂" of (i).
The next result is a minor modification of [12,Proposition 7.1]. It will be used in establishing Lemmas 4 and 5.

Proposition 9
Let μ ∈ ult (M) and let Z denote the Stone space of R/J μ . Then there exists a linear mapping T : ba(CO(Z )) → ba(R) with the following properties: 1 • T is an isometry and a lattice homomorphism; 2 • T ( pa(CO(Z ))) = E(μ); 3 • T | pa(CO(Z )) is a homeomorphism with respect to the corresponding weak [weak * ] topologies.
The next two lemmas will be used in the proofs of Theorem 1 in Sect. 5 and Theorem 3 in Sect. 6, respectively.

Lemma 4 Let μ ∈ ult (M).
Then the following two conditions are equivalent: Proof In the notation of Proposition 9, we have This follows from 1 • and 2 • thereof or by an inspection of the proof [12, Proposition 7.1]. Thus, the range of T is a band in ba(R). Therefore, combining Proposition 9 and Remark 2, we see that condition (i) is equivalent to the following one: Therefore, the equivalence of (i) and (ii) follows from Proposition 4.

Lemma 5
Let μ ∈ ult (M). Then the following six conditions are equivalent: The proof is analogous to that of Lemma 4. We only need to appeal to Proposition 5 instead of Proposition 4.
We note that the equivalent conditions of Lemma 5 do not imply that E(μ) is weakly compact, in general (see [14,Remark 1]), while this last condition implies (i) for arbitrary μ ∈ ba + (M), by [3, Theorem IV.9.12] and (PB). The converse still holds under an additional assumption.

Coincidence of B E(µ) and B extr E(µ)
Theorem 1 below is related to two earlier results of the author, both concerned with the atomic case. Namely, Theorem 7.9 of [12] gives four other conditions equivalent to those of Theorem 1, while Theorem 8 of [14] gives a condition equivalent to the coincidence of A E(μ) and A extr E(μ) . Theorem 1 Let μ ∈ ba + (M) be atomic. Then the following two condition are equivalent: This is a direct consequence of Proposition 8 and Lemma 4. Part (b) of the next result is related to [14,Proposition 5], which is concerned with the coincidence of A E(μ) and A extr E(μ) for atomic μ ∈ ba + (M) under condition ( * ).  This yields the nontrivial inclusion of (a).

Band domination and separability of E(µ) and extr E(µ)
The next result is related to [14,Theorem 3], which is also concerned with the atomic case and gives two conditions equivalent to the ideal domination of extr E(μ). In this connection, we recall that condition (v) below can be restated as follows: (v) ult (R/J ν ) is countable for each ν ∈ U μ (see Proposition 5, (v) ⇔ (vi)).

Theorem 3
Let μ ∈ ba + (M) be atomic. Then the following five conditions are equivalent: Under these conditions, B E(μ) = B extr E(μ) .
Proof By [12,Corollary 6.4], condition (iii) is equivalent to the following one: By the same result, condition (iv) is equivalent to the following one: Therefore, Lemma 5 combined with Proposition 7 yields the equivalence of conditions (i)-(v). In view of Theorem 1, (v) implies the additional assertion.
The additional assertion of Theorem 3 does not imply its equivalence of conditions (i)-(v), even for μ ∈ ult (M). This is seen by setting M = {∅, }, where is uncountable, and taking for R an arbitrary uncountable superatomic algebra of subsets of (cf. Proposition 4 and Remark 2).
A part of Theorem 3 holds, in fact, for arbitrary μ ∈ ba + (M), but a different, much less elementary argument is required.

Theorem 3
For μ ∈ ba + (M) the following two conditions are equivalent: This implies (iii) and the addition assertion.
Also some other implications between conditions (i)-(v) of Theorem 3 hold for arbitrary μ ∈ ba + (M), either by Proposition 1(b) or for obvious reasons. However, (i), and the more so (ii), does not imply (iv), and the more so (iii), in general. Indeed,  We then have according to [12,Proposition 12.4] or [10,Proposition 2]. By assumption, extr E(μ) is contained in B τ for some τ ∈ ba + (R). Therefore, ult (N) is contained in B R(τ ) , by (PB). Proposition 5, (ii) ⇒ (v), now implies that N is countable and superatomic. The final part of (b) is, therefore, a consequence of Theorem 2(a).
The author does not know whether Theorem 4(a) holds for arbitrary separable μ ∈ ba + (M) (cf. Remark 1). For N generated by a countable family of pairwise disjoint subsets of this is the case, even without the separability assumption (see [8,Theorem 1(b)] and (PB)).
The next result is a direct consequence of Theorem 4. It is worth-while to compare it with [13,Corollary 2] and [14,Theorem 7], which both also assume condition ( * ). They are concerned with order boundedness of E(μ) and ideal domination of extr E(μ), respectively.
Corollary 2 Let μ ∈ ba + (M) be atomic. In the setting of Theorem 4, with ( * ) assumed, the following two conditions are equivalent:
Finally, we shall present a sufficient condition that E(μ) be separable. Clearly, τ satisfies the assumptions of Lemma 3, and so is separable. Therefore, E(μ) is separable, by Lemma 2.
Needless to say, the countability assumption on E is essential for the validity of Theorem 5 (cf. Proposition 5). This is also the case of the separability assumption on μ, even if E consists of only one set (see the passage following Theorem 3 ). Also the disjointness assumption on E is essential, as Example 3 of [8] combined with Proposition 1(b) and (PB) shows. Here is a simpler example to the same effect.
Postscript. More results on the separability of E(μ) will be presented in another paper by the author (in preparation).
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.