Constructing measures: overview – Serlo

We now know the basic concepts of measure theory and what a measure is on a -algebra. Our next big goal is to prove the existence and uniqueness theorems for measure continuations. This article summarizes the three most important questions we still have to answer and gives an overview of the procedure for the construction of measures.

Qsicon inArbeit.png
To-Do:

link "Measure" and "sigma-algebra" articles

ProblemBearbeiten

Often one is in the situation to want to measure the volume of subsets of some basic set. The mathematical "measure" is then a map assigning a volume to as many subsets as possible. Depending in the case, it shall also fulfil some further properties.

Example (Measures with certain properties)

  • We are looking for a measure   that describes the probability of events occurring when, let's say, a fair die is rolled   times. In addition, two properties should be satisfied: All one-element events should be equally probable, and the individual probabilities should sum to 1.
  • Another example is the geometric length on  : We are looking for a measure   which assigns a volume to as many subsets of   as possible. In addition,   should assign to every interval (i.e.  ) its length and be translation invariant (i.e.   for all  ).

We do not yet know whether a measure with the desired properties exists and on which (as large as possible)  -algebra (set of subsets) it can be defined. To proceed, we have to deal with the following questions:

  • Which  -algebras are we allowed to choose as domain of definition? On the one hand, we want to be able to measure as many quantities as possible, so a large  -algebra would be nice. On the other hand, we have already seen with the example of Banach-Tarski that a too large  -algebra as domain of definition may destroy the existence of the measure.
  • How can we ensure that the measure actually has the desired properties and at the same time is  -additive? Are the desired properties at all compatible with  -additivity, so a measure with these properties exists?
  • Often  -algebras are very large, even over-countable. It is not immediately clear how one can define the measure at all and thereby prescribe the values on the whole domain of definition. How can a mapping rule for the measure look like, in order to define it thereby uniquely?

SolutionBearbeiten

Let's start with a "non-greedy" attitude and consider a smaller set system   of subsets of  . In particular,   need not yet be a  -algebra. On this smaller set system we try to achieve the goal, i.e., to find a  -additive function on sets on   that satisfies the desired properties. On the one hand,   must not be too large, so that we indeed find such a function on sets. On the other hand,   must be big enough to contain all the important information about the measure we are looking for. It seems reasonable to define   as a set system of "atomic" subsets (e.g., cuboids) which are easy to handle serve as building blocks for more complicated sets.


Example ("atomic" subsets)

  • In the above example with the dice roll,   can be chosen, for example, as the set system of all one-element events.
  • For the geometric length,   can be chosen as the set system containing all half-open intervals   ( ). Half-open intervals have the advantage over closed and open intervals that they can be joined without overlaps or gaps - a property that will prove helpful later in the actual construction of the measure.

On the other hand, it would not make sense to choose the set system   in the second example: It is true that we can easily find a measure with the desired properties. But   is not nearly does not contain information about the translation invariance and the property  .

Then we continue the function on sets defined on   to obtain a measure on a  -algebra. The question of the existence of a measure on a  -algebra thus becomes the question of the existence of a continuation of a  -additive function on sets from a smaller set system to a larger one. The following points remain to be investigated: