# LEBESGUE-STIELTJES MEASURES

The Lebesgue measure is a special measure defined on subsets of Euclidean spaces and is the standard way of measuring the length, area, and volume of these subsets. In this chapter, we define the Lebesgure measure and present some relevant theorems.

# 4.1 Basic Concepts and Facts

Definition 4.1 (Lebesgue-Stieltjes Measure). A Lebesgue-Stieltjes measure on R = (−∞, ∞) is a measure μ on such that μ( ) < ∞ for each bounded interval R.

Definition 4.2 (Distribution Function). A distribution function on R is a map F : RR that satisfies the following conditions:

(a) F is increasing; that is, a < b implies F(a) ≤ F(b).
(b) F is right-continuous: where xx+0 means that x > x0 and x converges to x0.

Definition 4.3 (Lebesgue Measure). The Lebesgue-Stieltjes measure μ on R defined by is called the Lebesgue measure on (see Theorem 4.1). The completion

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.