# Characterization of Pre-Measures

Jump to navigation
Jump to search

## Theorem

Let $X$ be a set, and let $\SS \subseteq \powerset X$ be a collection of subsets of $X$.

Let $\O \in \SS$.

Denote $\overline \R_{\ge 0}$ for the set of positive extended real numbers.

A mapping $\mu: \SS \to \overline \R_{\ge 0}$ is a pre-measure if and only if:

- $(1):\quad \map \mu \O = 0$
- $(2):\quad \mu$ is finitely additive
- $(3):\quad$ For every increasing sequence $\sequence {E_n}_{n \mathop \in \N}$ in $\SS$, if $E_n \uparrow E$ for some $E \in \SS$, then:
- $\ds \map \mu E = \lim_{n \mathop \to \infty} \map \mu {E_n}$

where $E_n \uparrow E$ denotes limit of increasing sequence of sets.

Alternatively, and equivalently, $(3)$ may be replaced by either of:

- $(3'):\quad$ For every decreasing sequence $\sequence {E_n}_{n \mathop \in \N}$ in $\SS$ for which $\map \mu {E_1}$ is finite, if $E_n \downarrow E$ for some $E \in \SS$, then:
- $\ds \map \mu E = \lim_{n \mathop \to \infty} \map \mu {E_n}$

- $(3''):\quad$ For every decreasing sequence $\sequence {E_n}_{n \mathop \in \N}$ in $\SS$ for which $\map \mu {E_1}$ is finite, if $E_n \downarrow \O$, then:
- $\ds \lim_{n \mathop \to \infty} \map \mu {E_n} = 0$

where $E_n \downarrow E$ denotes limit of decreasing sequence of sets.

## Proof

This theorem requires a proof.In particular: will be very similar to Characterization of MeasuresYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{ProofWanted}}` from the code.If you would welcome a second opinion as to whether your work is correct, add a call to `{{Proofread}}` the page. |