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.

2.1 Basic Concepts and Facts

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 Fc 0, where Fc = S\F.
(c) If F 0 and G 0, then FG 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 Fn ∑ for n = 1, 2,…, then

Definition ...

Get Measure, Probability, and Mathematical Finance: A Problem-Oriented Approach now with the O’Reilly learning platform.

O’Reilly members experience live online training, plus books, videos, and digital content from nearly 200 publishers.