Cafiero approach to the Dieudonné type theorems (Q2473827): Difference between revisions

Let \((\Omega,\tau)\) be a Hausdorff normal topological space, \({\mathcal R}\) an algebra containing \(\tau\) and \({\mathcal C}\) the set of all closed subsets of \(\Omega\). A set function \(\mu:{\mathcal R}\to\mathbb{R}\) is \({\mathcal C}\)-regular if for every \(\varepsilon> 0\) and every \(X\in{\mathcal R}\) there exists \(H\in{\mathcal C}\) such that \(H\subset H\), \(|\mu(X)|<\varepsilon\) for every \(Y\in{\mathcal R}_{X\setminus H}\). Let \(ra({\mathcal R},\Omega,\tau)\) the set of all finite additive \({\mathcal C}\)-regular set functions from \({\mathcal R}\) to \(\mathbb{R}\). A set function \(\mu:{\mathcal R}\to\mathbb{R}\) is \(\tau\)-exhaustive if for every disjoint sequence \((X_n)_{n\in\mathbb{N}}\) of elements of \({\mathcal R}\), \(\lim_{n\to\infty} \mu(X_n)= 0\). If \((\mu_n)_{n\in\mathbb{N}}\) is a sequence of set functions from \({\mathcal R}\) into \(\mathbb{R}\), \((\mu_n)\) is uniformly \(\tau\)-exhaustive if for every disjoint sequence \((X_k)_{k\in\mathbb{N}}\) in \({\mathcal R}\), \(\lim_{k\to\infty} \mu_n(X_k)= 0\) uniformly for \(n\in\mathbb{N}\). Here are two main results of the paper: Theorem (Cafiero-Dieudonné). Let \((\Omega,\tau)\) be a Hausdorff normal topological space and let \({\mathcal R}\) be an algebra containing \(\tau\). Let \((\mu_n)_{n\in\mathbb{N}}\) be a sequence of \(\tau\)-exhaustive elements of \(ra({\mathcal R},\Omega,\tau)\). Then \((\mu_n)\) is unformly exhaustive and uniformly \({\mathcal C}\)-regular if (and only if) for every disjoint sequence \((A_k)_{k\in\mathbb{N}}\) of \(\tau\) and for every \(\varepsilon> 0\) there exist \(\overline k\), \(n_0\in\mathbb{N}\) such that \(|\mu_i(A_{\overline k})|< \varepsilon\) for every \(i\geq n_0\). Theorem. (Dieudonné's convergence theorem). Let \((\Omega,\tau)\) be a Hausdorff normal topological space and let \({\mathcal R}\) be an algebra containing \(\tau\). Let \((\mu_n)\) be a sequence in \(ra({\mathcal R},\Omega,\tau)\) which is \(\tau\)-exhaustive and pointwise convergent in \(\tau\). Then \((\mu_n)\) is uniformly \(\tau\)-exhaustive, uniformly \({\mathcal C}\)-regular and pointwise convergent to an exhaustive element of \(ra({\mathcal R},\Omega,\tau)\).