Cardinality of the set of extreme extensions of a quasi-measure. (Q5937278)

Let \(\mathfrak M\) be an algebra of subsets of a nonempty set \(\Omega\). Denote by \(ba_+({\mathfrak M})\) the set of all positive additive set functions on \(\mathfrak M\). If \(\mathfrak M\) is a \(\sigma\)-algebra, we put \(ca_+({\mathfrak M}):=\{\varphi\in ba_+({\mathfrak M}) : \varphi \text{ is countably additive}\}\). Let \(\mathfrak R\) be an algebra of subsets of \(\Omega\) with \({\mathfrak M}\subset{\mathfrak R}\) and let \(\mu\in ba_+({\mathfrak M})\). Put \(E(\mu):=\{\rho\in ba_+({\mathfrak R}) : \rho|{\mathfrak M}=\mu\}\). Denote by \(\text{extr}\,E(\mu)\) the set of all extreme points of the convex set \(E(\mu)\). In this paper the author characterizes the cardinality of the set \(\text{extr}\,E(\mu)\) in the general case as well as under some natural assumptions on \(\mu\). Main results of the paper are as follows. Denote by \(| I| \) the cardinality of a set \(I\). Theorem~1: If \(\mu\in ba_+({\mathfrak M})\) is nonatomic, then \(| \text{extr}\,E(\mu)| \) is an \(\omega\)-power, i.e., is of the form \({\mathfrak n}^{\aleph_0}\) for some cardinal \(\mathfrak n\). Theorem~2: Let \(\mu\in ca_+({\mathfrak M})\). (a) If \(\mu\) has finite range, then \(| \text{extr}\,E(\mu)| \) is either finite or an \(\omega\text{-power}\geq 2^{\mathfrak c}\). (b) If \(\mu\) is atomic, then \(| \text{extr}\,E(\mu)| \) is either finite or equals \(\mathfrak c\) or is an \(\omega\text{-power}\geq 2^{\mathfrak c}\). (c) If \(\mu\) is arbitrary, then \(| \text{extr}\,E(\mu)| \) is either finite or an \(\omega\)-power. Theorem~3: For atomic \(\mu\in ca_+({\mathfrak M})\) the following (i)--(iii) are equivalent. (i) \(E(\mu)\subset ca({\mathfrak R})\); (ii) \(| \text{extr}\,E(\mu)| \leq{\mathfrak c}\); (iii) \(| \text{extr}\,E(\mu)-ca({\mathfrak R})| <2^{\mathfrak c}\).