Measurable sets are to measure theory as open sets are to topology (Williams, 1991). Measures are set functions defined on measurable sets. These concepts are used later to define integration. In this chapter, we shall introduce measurable sets, measures, and other relevant concepts such as algebras and σ-algebras.

**Definition 2.1** (Algebra). An algebra or field ∑_{0} on *S* is a collection of subsets of *S* that satisfies the following conditions:

(a) *S* ∑_{0}.

(b) If *F* ∑_{0}, then *F*^{c} ∑_{0}, where *F*^{c} = *S*\*F*.

(c) If *F* ∑_{0} and *G* ∑_{0}, then *F* ∪ *G* ∑_{0}.

**Definition 2.2** (σ-Algebra). A collection ∑ of subsets of *S* is called a σ-*algebra* or σ-*field* if ∑ is an algebra on *S* and is closed under countably infinite unions; that is, if *F*_{n} ∑ for *n* = 1, 2,…, then

**Definition ...**

Start Free Trial

No credit card required