Measurable spaces are the traditional prelude to the general theory of measure and integration. Basically, a measure is a recipe for computing the size — e.g., length, area, volume — of subsets of a given set . The structure of a ‘measurable space’ picks out those subsets of for which the size is well-defined; these subsets are called ‘measurable’. The measure on is then an operation that assigns a number to each measurable subset saying how big it is.
In short: you get a measure space by placing a measure on a measurable space.
Ideally, all subsets would be measurable, but this contradicts the axiom of choice for the basic example of Lebesgue measure on the real line. Although it is possible to use nonstandard foundations of mathematics in which all subsets of the real line are Lebesgue measurable, any general theory that includes that example and is more general than those foundations requires some explicit notion of measurable space (or an alternative such as a measurable locale).
In any case, measurable spaces are of some interest in their own right, even without a measure on them.
Given a set , a -algebra is a collection of subsets of that is closed under complementation, countable unions, and countable intersections. A measurable space, by the usual modern definition, is a set equipped with a -algebra . The elements of are called the measurable sets of (or more properly, the measurable subsets of ).
Given measurable spaces and , a measurable function from to is a function such that the preimage is measurable in whenever is measurable in . Measurable spaces and measurable functions form a category , which is topological over Set.
In classical measure theory, it is usually assumed that is the real line (or a variation) equipped with the Borel sets (see the examples below). Then is measurable if and only if is measurable whenever is an interval.
We will briefly examine variations of the notion of measurable space, from those most like the standard to those most unlike it. Most of these are discussed at articles dedicated to them.
Historically, people have used more general notions that -algebras, such as algebras, -rings, and similar concepts whose names you can probably now guess; these are all discussed at sigma-algebra. These are all more general than -algebras, being possibly not closed under some operations. When using some of these more general rings of measurable sets, it is necessary to allow partial functions whose domain is a relatively measurable set as measurable functions; for details, see measurable function.
It is often convenient if a measurable space has, in addition to the -algebra of measurable sets, a -ideal of measurable null sets. That is, besides the set and the -alebra , we have a collection that is closed under countable unions and taking subsets (within ). (The elements of are the measurable null sets; a null set is any subset of a measurable null set.) One can equivalently specify a -filter of measurable full sets; the full sets are the complements of the null sets. Either way, this allows us to use almost measurable almost functions up to almost equality, as described at measurable function.
In constructive mathematics, because complementation doesn't behave nicely, the concept of -algebra is not so useful. It's also essential to use almost functions to avoid a paucity of measurable functions. One solution, due to Henry Cheng?, may be found at Cheng measurable space; briefly, we use disjoint pairs? of sets instead of individual measurable sets and use formal complements in the algebra, as well as a notion of full sets. Assuming excluded middle, a Cheng measurable space is actually equivalent to a measurable space equipped with null (or full) sets, as in the previous paragraph.
In order to have the most important theorems of measure theory, it is necessary and sufficient to restrict to localisable measures?. Since localisability refers only to the null (or full) sets, we can actually speak of a localisable measurable space: a measurable space equipped with null (or full) sets as above, with the property that the boolean algebra of measurable sets modulo? the null sets is complete.
Another approach to measure theory, more abstract, is to ignore the set and use only the -algebra , as an abstract boolean algebra equipped with countable suprema; this is called a measurable algebra? (or a measure algebra? when equipped with a measure). A measurable algebra might also can be equipped with a -ideal of null sets (or a -filter of full sets), but really it is simpler to take the quotient algebra?, which is itself a perfectly good measurable algebra. Even if a measurable algebra is a complete lattice, it can still be pathalogical; but if it has enough normal measure?s, then we have a measurable locale; the category of measurable locales is equivalent to that of localisable measurable spaces (from the previous paragraph).
Yet another category equivalent to localisable measurable spaces and measurable locales is the opposite category of the category of commutative von Neumann algebras; this is really a version of the Gelfand–Neumark theorem. Then a noncommutative (localisable) measurable space is (the formal dual of) any von Neumann algebra. In this way, measure theory may be seen as a branch of operator algebra theory (at least if one assumes that only localisable measurable spaces are well enough behaved to be worthy of study).
If is a topological space, then the -algebra generated by the open sets (or equivalently, by the closed sets) in is the Borel -algebra; its elements are called the Borel sets of . In particular, the Borel sets of real numbers are the Borel sets in the real line with its usual topology.
If a measurable space is equipped with a measure , making it into a measure space, then the sets of measure zero form a -ideal of (that is an ideal that is also a sub--ring). Let a null set be any set (measurable or not) contained in a set of measure zero; then the null sets form a -ideal in the power set of . Call a set -measurable if it is the union of a measurable set and a null set; then the -measurable sets form a -algebra called the completion of under , and the measurable space is the completion of .
In particular, the Lebesgue-measurable sets in the real line are the elements of the completion of the Borel -algebra under Lebesgue measure.
One version of the Gel’fand–Naimark theorem states that the category of commutative -algebras is dual to the category of localisable measurable spaces. (As such, arbitrary -algebras may be interpreted as ‘noncommutative’ measurable spaces in a sense analogous to noncommutative geometry.)
To make this work correctly, we cannot simply define localisability as a property of measurable spaces; instead, a localisable measurable space is a measurable space (a set with a -algebra ) with a -ideal of and simultaneously (called the ideal of null sets) such that is a complete lattice; and a morphism of localisable measurable spaces is a measurable function, with the property that the preimage of any null set is null, up to an equivalence relation where if is a null set.
The requirement that be complete is the real localisability condition here; the trick of equipping a measurable space with a -ideal of null sets (or equivalently a -filter of full sets) and taking measurable functions only up to equivalence is a common one in other situations.
Localisable measurable spaces can also be studied via the lattice , which is a frame; the morphisms correspond to certain continuous maps between locales, and thus we are studying locales with extra structure, called measurable locales.
While Lebesgue measure on can be done in very weak foundations, a general theory of measure and measurable spaces seems to require powerful set-theoretic machinery. Indeed, not much seems to be possible in predicative contexts, and the (nonpredicative) constructive theory is noticeably more complicated than the classical theory. On the other hand, the classical theory has its own complications, with nonmeasurable sets and functions that can be proved to exist but which seem to never arise in practice. Instead, there are classically false but apparently consistent foundations in which measure theory is extremely simple.
The main problem for measure theory in predicative mathematics is getting your hands on a -algebra. Once you've got that, you've got a measurable space (obviously) and go on to measure space, where there are no new difficulties. However, what is (say) a Borel set in the real line? This is difficult, if not impossible, to explain predicatively. (In the case of Lebesgue measure, there are ways to describe the Lebesgue-measurable sets predicatively, but these do not seem to generalise to a broader theory.)
Note that there is no real problem in describing what, say, an open set is. Not only can this be done for the real line in the usual - way, but it is easy to take any collection of subsets of any set , call that collection a subbase, and describe which sets are the open sets in the topology generated by that subbase. The reason is that there are only two steps in moving from a subbase to a topology, and while the latter step is too impredicative to allow one to speak of the set of all open sets, it's OK if you only want to talk about individual open sets. (To be explicit: given a collection to be used as subbase, a set is open if, for every point , if , then there exist a natural number and elements of such that for each and, for every point , if for each , then . Since we quantify only over points and natural numbers, not over sets or functions, this is a predicative definition, and it's easy to prove that the open sets satisfy the axioms of a topology.)
This cannot be done with -algebras, since we need uncountably many sets. To be sure, each individual step is predicative, and we can freely talk about sets and the like, but to define a Borel set we need to quantify over all countable ordinals. While it is possible to hypothesise the existence of an uncountable ordinal and be predicative ‘over’ (and after all, everything else in this section is only predicative over the first infinite ordinal , which we only have if we accept an axiom of infinity), this cannot be constructed predicatively. (The immediate definition of as the Hartog's number of uses power sets; while the construction of an uncountable ordinal by applying the well-ordering theorem to the function set doesn't seem to use reasoning that requires the existence of power sets as long as you don't also throw in excluded middle, it does use reasoning that is not accepted by any predicative school that I know.)
So as far as I (Toby Bartels) can tell, there is no general predicative theory of measurable spaces, only an ad hoc theory of Lebsegue measurability. I would be delighted to learn otherwise!
From a constructive perspective, there are a couple of related problems with the classical theory. One is that the notion of -algebra is highly suspicious, because it relies on an operation, complementation, that behaves very differently in the intuitionistic logic that constructive mathematics uses. The other is that, even you acept the definition of -algebra anyway (after all, the Lebesgue-measurable sets on the real line do still form one), there may be very few measurable functions.
Indeed, if we set aside the general theory of measurable spaces and simply do Lebesgue measure ad hoc in a constructive (even predicative) way, we find that instead of measurable functions we really want measurable partial functions whose domain of definition is a full set. This suggests that if we want to define the concept of measurable function, then we have to know what the full sets are.
There is a way out, due to Henry Cheng?, for both of these problems at once. Instead of dealing with individual sets, we will deal with pairs of disjoint sets. The intuition is that we use disjoint pairs such that is full —with being the motivating example in the classical theory—, but we let the -algebra itself tell us which pairs those are. Once we fix a particular measure, we may find additional pairs whose union is full, somewhat like finding additional measurable sets when taking the completion in the classical theory (although taking the completion is a separate phenomenon here), but that's all right; the important thing is that each pair chosen really is full in any measure used (much as each set in a classical -algebra must actually be measurable by any measure used).
See details at Cheng space.
While measure theory only gets more complicated in constructive mathematics, it becomes much easier in dream mathematics.
… more coming …
For Cheng's theory of measure spaces, see the 1985 edition of Bishop & Bridges, Constructive Analysis. (And the references therein, obviously, but I haven't read those.)
A discussion of the abstract properties of the category of localizable measurable spaces is in
A useful series of expositions along these lines is in
Describe several variations of definition:
Do measurable functions only afterwards, stressing almost-everywhere equality. Describe the relevant categories.
Mention measure spaces and anything else.