View source for Nikodým boundedness theorem

<!--This article has been texified automatically. Since there was no Nroff source code for this article, 
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
was used.
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.

Out of 25 formulas, 25 were replaced by TEX code.-->

{{TEX|semi-auto}}{{TEX|done}}
A theorem [[#References|[a5]]], [[#References|[a4]]], saying that a family $\mathcal{M}$ of countably additive signed measures $m$ (cf. [[Measure|Measure]]) defined on a $\sigma$-algebra $\Sigma$ and pointwise bounded, i.e. for each $E \in \Sigma$ there exists a number $M _ { E } > 0$ such that

\begin{equation*} | m ( E ) | < M _ { E } , \quad m \in \mathcal{M}, \end{equation*}

is uniformly bounded, i.e. there exists a number $M > 0$ such that

\begin{equation*} | m ( E ) | < M , \quad m \in \mathcal{M} , E \in \Sigma. \end{equation*}

As is well-known, the Nikodým boundedness theorem for measures fails in general for algebras of sets. But there are uniform boundedness theorems in which the initial boundedness conditions are imposed on certain subfamilies of a given $\sigma$-algebra; those subfamilies need not be $\sigma$-algebras. The following definitions are useful [[#References|[a2]]], [[#References|[a7]]], [[#References|[a8]]]:

SCP) An algebra $\mathcal{A}$ has the sequential completeness property if each disjoint sequence $\{ E _ { n } \}$ from $\mathcal{A}$ has a subsequence $\{ E _ { n_j} \}$ whose union is in $\mathcal{A}$

SIP) An algebra $\mathcal{A}$ has the subsequential interpolation property if for each subsequence $\{ A _ { j n } \}$ of each disjoint sequence $\{ A _ { j } \}$ from $\mathcal{A}$ there are a subsequence $\{ A _ { j n _ { k } } \}$ and a set $B \in \mathcal{A}$ such that

\begin{equation*} A _ { j_{n _ { k } }} \subset B , \quad k \in \bf N \end{equation*}

and $A _ { j } \cap B = \emptyset$ for $j \in \mathbf{N} \backslash \{ j _ { n_k } : k \in \mathbf{N} \}$.

The Nikodým boundedness theorem holds on algebras with SCP) and SIP).

A famous theorem of J. Dieudonné [[#References|[a3]]] states that for compact metric spaces the pointwise boundedness of a family of regular Borel measures on open sets implies its uniform boundedness on all Borel sets. There are further generalizations of this theorem [[#References|[a6]]].

See also [[Nikodým convergence theorem|Nikodým convergence theorem]]; [[Diagonal theorem|Diagonal theorem]].

====References====
<table>
<tr><td valign="top">[a1]</td> <td valign="top">  P. Antosik,   C. Swartz,   "Matrix methods in analysis" , ''Lecture Notes Math.'' , '''1113''' , Springer  (1985)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  C. Constantinescu,   "On Nikodym's boundedness theorem"  ''Libertas Math.'' , '''1'''  (1981)  pp. 51–73</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  J. Dieudonné,   "Sur la convergence des suites de mesures de Radon"  ''An. Acad. Brasil. Ci.'' , '''23'''  (1951)  pp. 21–38, 277–282</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  N. Dunford,   J.T. Schwartz,   "Linear operators Part I" , Interscience  (1958)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  O. Nikodym,   "Sur les familles bornées de functions parfaitement additives d'ensembles abstraits"  ''Monatsh. Math.'' , '''40'''  (1933)  pp. 418–426</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  E. Pap,   "Null-additive set functions" , Kluwer Acad. Publ. &amp;Ister Sci.  (1995)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  W. Schachermayer,   "On some classsical measure-theoretic theorems for non-sigma complete Boolean algebras"  ''Dissert. Math.'' , '''214'''  (1982)  pp. 1–33</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  H. Weber,   "Compactness in spaces of group-valued contents, the Vitali–Hahn–Saks theorem and the Nikodym's boundedness theorem"  ''Rocky Mtn. J. Math.'' , '''16'''  (1986)  pp. 253–275</td></tr>
</table>