Pre-measure

In mathematics, a pre-measure is a function that is, in some sense, a precursor to a "bona fide" measure on a given space. Pre-measures are particularly useful in fractal geometry and dimension theory, where they can be used to define measures such as Hausdorff measure and packing measure on (subsets of) metric spaces.

Definition

Let "X" be any set. A function "p" defined on a class "C" of subsets of "X" is said to be a pre-measure if

* the collection "C" contains the empty set, ∅;
* the function "p" assumes only non-negative (but possibly infinite) values: for all "S" ∈ "C", 0 ≤ "p"("S") ≤ +∞;
* the pre-measure of the empty set is zero: "p"(∅) = 0.

Extension theorem

It turns out that pre-measures can be extended quite naturally to outer measures, which are defined for all subsets of the space "X". More precisely, if "p" is a pre-measure defined on a class "C" of subsets of "X", then the set function "μ" defined by

:

is an outer measure on "X".

(Note that there is some variation in the terminology used in the literature. For example, Rogers (1998) uses "measure" where this article uses the term "outer measure". Outer measures are not, in general, measures, since they may fail to be "σ"-additive.)

References

* cite book
last = Munroe
first = M. E.
title = Introduction to measure and integration
publisher = Addison-Wesley Publishing Company Inc.
location = Cambridge, Mass.
year = 1953
pages = pp. x+310 MathSciNet|id=0053186
* cite book
author = Rogers, C. A.
title = Hausdorff measures
edition = Third edition
series = Cambridge Mathematical Library
publisher = Cambridge University Press
location = Cambridge
year = 1998
pages = pp. xxx+195
id = ISBN 0-521-62491-6 MathSciNet|id=1692618 (See section 1.2.)