Completion procedures in measure theory (Q6057458): Difference between revisions

Let \(\mu:\mathcal{R}\rightarrow [0,+\infty]\) be a measure defined on a ring of subsets of \(\Omega\) and \(\mathcal{N}=\{N\subseteq\Omega:N\subseteq N' \text{ for some }N\in\mathcal{R} \text{ with }\mu(N')=0\}\). Then \(\mu\) has a unique measure extension on the ring \(\kappa(\mathcal{R}\cup\mathcal{N})\) generated by \(\mathcal{R}\) and \(\mathcal{N}\). Similarly, \(\mu\) has a measure extension \(\bar{\mu}\) such that the locally \(\mu\)-null sets become the \(\bar{\mu}\)-null sets. The authors generalize this procedure extending a (not necessarily additive) map defined on a subring of \(\mathcal{P}(\Omega)\) with values in an abelian group on \(\kappa(\mathcal{R}\cup\mathcal{N})\) where \(\mathcal{N}\) is another subring of \(\mathcal{P}(\Omega)\). There are given conditions under which \(\kappa(\mathcal{R}\cup\mathcal{N})=\{R\bigtriangleup N: R\in\mathcal{R}, N\in\mathcal{N}\}\) and \(\nu(R\bigtriangleup N)=\mu(R)\) is a well defined extension of \(\mu\). Several elementary properties of such an extension are studied, e.g. if \(\nu'\) is another extension of this type on \(\kappa(\mathcal{R}\cup\mathcal{N}')\), when we have that \(\nu'\) is an extension of \(\nu\). The authors consider then also the case that \(\mu\) is additive or \(\sigma\)-additive.