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.
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.
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?
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.
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:
- To which -algebra can we continue, if we are starting from ? We'll look at that in the article on generated -algebras.
- Does such a continuation beyond even exist? We'll look at that in the article existence of a measure continuation.
- Is the continuation, and thus the measure we are looking for, already uniquely determined by the values on ? We'll look at that in the article uniqueness of a measure continuation.