While areas of mathematics such as set theory, algebra, general topology, functional analysis, Lie theory have easily identifiable categories of main objects of study (e.g., categories of sets, groups, rings, modules, topological spaces, topological vector spaces, C*-algebras, Lie groups, Lie algebras), measure theory is not traditionally associated with a prominent, easily identifiable category.
For example, in Fremlin’s Measure Theory one reads (§234):
One of the striking features of measure theory, compared with other comparably abstract branches of pure mathematics, is the relative unimportance of any notion of ‘morphism’. The theory of groups, for instance, is dominated by the concept of ‘homomorphism’, and general topology gives a similar place to ‘continuous function’. In my view, the nearest equivalent in measure theory is the idea of ‘inverse-measure-preserving function’ (234A).
This article reviews existing categories in measure theory, explains why they do not match the existing practice of measure theory and real analysis, and proposes a very satisfying way to resolve these issues. The resulting category of compact strictly localizable enhanced measurable spaces enjoys excellent categorical properties and matches the existing practice of real analysis closely.
This article concentrates on measure theory as it is used in real analysis, probability theory, statistics, stochastic processes and other areas of analysis. In particular, given the existing practice in these fields, we take it for granted that we must identify functions that are equal almost everywhere. Other areas, such as descriptive set theory may need other criteria and other categories.
We also remark that the use of enhanced measurable spaces instead of measure spaces is for strictly esthetic reasons (like avoiding making noncanonical choices of measures), and everything works equally well with traditional measure spaces instead.
Recall that a measurable space is a pair , where is a set and is a σ-algebra on , i.e., a collection of subsets of closed under complements and countable unions. Elements of are known as measurable subsets of .
Morphisms of measurable spaces are known as measurable maps. These are maps of sets that reflect measurable sets, i.e., if , then .
The resulting category of measurable spaces does not identify measurable maps that are equal almost everywhere, so cannot be used directly in real analysis and related fields. This is not merely an inconvenience: many important theorems in measure theory are false unless such an identification is made. For example, L^p-spaces would cease to be normed spaces, since plenty of nonzero elements would have norm 0. The Radon–Nikodym theorem and the Riesz representation theorem would fail too.
Having recognized the need to identify measurable maps that are equal almost everywhere, we can see that the data of a measurable space is insufficient to perform such an identification, since there is no way of knowing which measurable sets have measure 0.
A measure space is a triple , where is a measurable space and is a measure on , i.e., a map of sets that sends countable disjoint unions of sets to the sum of corresponding values.
Two measurable maps
are equal almost everywhere if the set
is contained in some set , where
is the σ-ideal of measurable sets with -measure 0, also known as -negligible sets.
Requiring a measurable space to be equipped with a specific choice of a measure forces us to make noncanonical choices that may be unnecessary.
Many constructions and theorems in measure theory do not require a specific choice of a measure but merely require us to know which measurable sets have measure 0. Examples include the Riesz representation theorem, the Radon–Nikodym theorem, or (less obviously) the construction of L^p-spaces. For the latter, observe that is canonically isomorphic to the vector space of finite measures on via the Radon–Nikodym theorem; by taking -th powers, we can give a similar definition for general L^p-spaces.
There are plenty of examples of situations where we do have a canonical choice of a σ-ideal of negligible sets even though we do not have a canonical measure.
For example, a subset of a smooth manifold is negligible if its preimage in any chart is a Lebesgue-negligible subset of .
Likewise, a subset of a locally compact group is negligible if it is negligible with respect to some (hence all) nonzero left-invariant or right-invariant measure.
The above considerations lead us to the notion of an enhanced measurable space.
An enhanced measurable space is a triple , where is a measurable space and is a σ-ideal of whose elements are known as negligible sets.
We can keep the same definition of a measurable maps. Two measurable maps
are equal almost everywhere if
is a subnegligible set, i.e., a subset of an element of .
Any measure space yields an enhanced measurable space with as above.
A map of measure spaces is measurable if and only if it is measurable as a map of enhanced measurable spaces and two maps of measure spaces are equal almost everywhere if and only if they are equal almost everywhere as maps of enhanced measurable spaces.
An enhanced measurable space is complete if subnegligible sets are negligible, i.e., the σ-ideal is closed under passage to arbitrary subsets. This definition generalizes the usual notion of completeness of measure spaces.
Everything in this article could be done with conventional measure spaces instead of enhanced measurable spaces. Enhanced measurable spaces are only introduced to enhance the clarity of exposition and avoid making noncanonical choices of measures in some constructions. Also, separating measures from their underlying spaces makes the statements of some theorems cleaner, e.g., the Radon–Nikodym theorem now says that measures form a free module of rank one over measurable functions.
A measure on an enhanced measurable space is a measure on the measurable space that vanishes on every element of . A measure is faithful if for every the relation implies . A measure is semifinite if for every such that there is such that and .
Typically, we are only interested in enhanced measurable spaces that admit a faithful semifinite measure, given that having a decent supply of measures is a prerequisite for developing measure theory. This property follows automatically from the strict localizability property introduced below.
An enhanced measurable space is σ-finite if it admits a faithful finite measure . An enhanced measurable space is locally determined if for every the following two properties hold.
If for every σ-finite we have , then also .
If for every σ-finite we have , then also .
By Fremlin (§213D), for every enhanced measurable space we can construct a complete locally determined enhanced measurable space such that , , so the identity map on is measurable, inducing a morphism .
One reasonable definition of a measurable map of enhanced measurable spaces that need not be complete or locally determined is a map of sets that reflects subnegligible sets as well as symmetric differences of subnegligible and σ-finite sets. Under such a definition, the above map is an isomorphism, with its inverse again given by the identity map of sets .
It is for this reason that it is safe to assume enhanced measurable spaces to be complete from the start. Every strictly localizable enhanced measurable space is automatically locally determined, so there is no need for us to separately impose the property of local determinedness.
If we now attempt to construct a category of measure spaces or enhanced measurable spaces, we immediately run into a serious problem: precomposition does not respect equality almost everywhere.
To see this, suppose
are measurable maps that are equal (or weakly equal) almost everywhere.
Suppose that
is a measurable map. If composition is to be compatible with equality almost everywhere, then would have to be equal (or weakly equal) to almost everywhere. However,
Although is subnegligible, there is absolutely no reason why its preimage should be subnegligible.
Indeed, it is quite easy to construct examples where this is false: the inclusion of the Cantor set into real numbers is a Borel measurable map. If we equip real numbers with the Lebesgue measure and the Cantor set with the product measure, then the inclusion map does not reflect subnegligible sets.
Thus, making the equivalence relation compatible with precomposition naturally leads us to an additional restriction on measurable maps.
A measurable map
reflects negligible sets if for every the preimage is negligible. That is to say, the preimage map preserves negligible sets.
By inspection, precomposition with a measurable map that reflects negligible sets preserves both equivalence relations: equality almost everywhere and weak equality almost everywhere.
A measurable map reflects subnegligible sets if and only if it reflects negligible sets.
If , then every measurable map reflects negligible sets. In particular, taking , we see that real-valued measurable functions in the traditional sense of measure theory coincide with morphisms to real numbers in the new sense.
Another way to look at the negligibility reflection condition introduced in the previous section is as follows.
Consider an enhanced measurable space such that , which implies . If we are taking the ideology of measure theory seriously, measurable sets that differ by a negligible set should be indistinguishable. In particular, should be indistinguishable from the empty set. Thus, the inclusion map should be an isomorphism in whatever category we are constructing.
Therefore, it is reasonable to expect that there are no morphisms unless , i.e., the map is an isomorphism.
If is a measurable map and , consider the restriction of to a map . The restricted map is measurable in the induced structures. Since the codomain is negligible, we expect to be negligible. This leads us once again to the negligibility reflection condition.
Postcomposition respects equality almost everywhere.
To see this, suppose
are measurable maps that are equal almost everywhere.
Suppose that
is a measurable map. Such measurable maps are in bijection with elements of : the bijection sends to , and the inverse bijection sends a subset to its characteristic function .
If composition is to be compatible with equality almost everywhere, then would have to be equal to almost everywhere. We have
where is as above. Since
the set is subnegligible.
The latter condition, i.e., the set is subnegligible for all , is very much compatible with the ideology of measure theory: it says that the preimages of and are the same almost everywhere.
It is quite natural to ask whether the converse holds. For example, two continuous maps of -topological spaces are equal if and only if for every open subset we have . In measure theory, equality of sets should be replaced with equality almost everywhere, which amounts to requiring for every the symmetric difference to be negligible.
However, Fremlin (Example 343I) constructs an example of a measurable negligibility-reflecting map , where is a product of continuum many discrete measurable spaces such that for every we have , but for every , the set is negligible. Thus, the identity map is not equal to almost everywhere and yet, and have the same preimages, up to subnegligible sets.
Such a situation is pathological, and is it turns out, it is the condition of having the same preimages up to subnegligible sets that produces nonpathological theory when the two conditions differ (they do coincide for many spaces, as we will see below).
These considerations naturally lead us to a coarser equivalence relation.
Two measurable maps
are weakly equal almost everywhere if for every we have
Equality almost everywhere implies weak equality almost everywhere. The converse is true if is countably separated (Fremlin, Proposition 343F), i.e., there is a countable subset that covers and for any two points of there is an element of that contains exactly one of them.
An enhanced measurable space is countably separated if and only if it admits an injective measurable function into real numbers. Most measurable spaces (other than some counterexamples) in an introductory real analysis book are countably separated, which explains why the finer equivalence relation of equality almost everywhere is sufficient for many practical purposes.
We collect what we have learned so far.
Measurable spaces do not have enough information: they lack the data of sets of measure 0.
Measure spaces have too much information: they require us to make arbitrary unnecessary choices of measures .
Enhanced measurable spaces have just the right amount of information.
The condition of measurability of maps, i.e., reflection of measurable sets, must be strengthened to also require reflection of negligible sets, to ensure its compatibility with precomposition.
The equivalence relation of equality almost everywhere must be coarsened to weak equality almost everywhere to ensure morphisms are fully determined by their preimages up to subnegligible sets.
Assembling these properties together, we arrive at the following definition.
The category of enhanced measurable spaces is constructed as a quotient category. Objects are enhanced measurable spaces , where is a set, is a σ-algebra, is a σ-ideal. Morphisms are maps of sets that reflect measurable sets and negligible sets. Two morphisms are equivalent if they are weakly equal almost everywhere.
The category of enhanced measurable spaces captures the desired properties of measurable spaces and measurable maps as they are used in real analysis.
To complete the construction, we must eliminate pathological objects that invalidate the main theorems of measure theory. In traditional textbooks on measure theory, this is accomplished by restricting to σ-finite measure spaces and/or Radon measures.
We consider a simple generalization of σ-finiteness known as strict localizability, as well as an abstract formulation of Radon measures, known as compactness (introduced by Marczewski; not to be confused with compactness of topological spaces, to which it is closely related).
We review some classic results due to Irving E. Segal and John L. Kelley. As explained in the next section, the localizability property is still not quite enough to eliminate all the pathologies. However, it does explain the Boolean algebra side of the story.
(Irving E. Segal, 1951; John L. Kelley, 1966.) The following properties are equivalent for an enhanced measurable space that admits a faithful semifinite measure.
The Boolean algebra is complete.
The Lebesgue decomposition for σ-ideals holds.
The Hahn decomposition theorem holds for signed measures.
The Radon–Nikodym theorem holds.
The Riesz representation theorem holds: the canonical map is an isomorphism.
A localizable enhanced measurable space is an enhanced measurable space that admits a faithful semifinite measure and satisfies any of the above equivalent properties.
The takeaway from this result is that without the localizability property much of the measure theory as we know is false, so it is completely reasonable to require it from the start.
We can also establish an analogue of the above theorem for morphisms.
(The relative Kelley–Segal theorem.) The following properties are equivalent for a morphism of localizable enhanced measurable spaces .
The induced homomorphism of Boolean algebras is complete, i.e., preserves suprema.
The map preserves the generator of σ-ideals provided by the Lebesgue decomposition.
The pushforward map on measures preserves the Hahn decomposition.
The relative Radon–Nikodym theorem holds: .
The induced map is a bounded linear map of Banach spaces.
The induced *-homomorphism of *-algebras of bounded real-valued functions on is a normal *-homomorphism of commutative von Neumann algebras.
A localizable map of enhanced measurable spaces is a morphism of enhanced measurable spaces that satisfies any of these equivalent properties.
Again, the takeaway here is that we really want to only use localizable maps if we want to avoid a complete breakdown of measure theory as we know it.
Surprisingly, once we impose conditions on objects (namely, strict localizability and compactness) that eliminate pathological objects, it turns out that all maps between such objects are localizable. This is a deep theorem essentially due to Fremlin (implicitly contained in §451Q).
In the previous section we constructed (essentially by definition) a functor
from the category of localizable enhanced measurable spaces and localizable maps to the opposite category of complete Boolean algebras and complete homomorphisms of Boolean algebras.
This functor lands inside complete Boolean algebras that admit a faithful semifinite measure, i.e., a map of sets that is completely additive, vanishes only on 0, and . We refer to such Boolean algebras as localizable Boolean algebras.
Thus, the above functor descends to a functor
The opposite category of is known as the category of measurable locales, since every complete morphism of complete Boolean algebras is a morphism of frames, so localizable Boolean algebras form a full subcategory of frames.
The Stone duality is an equivalence of categories from the opposite category of Boolean algebras to the category of Stone spaces (or Stone locales). It restricts to an equivalence of categories from the opposite category of complete Boolean algebras and complete homomorphisms of Boolean algebras to the category of Stonean spaces (or Stonean locales) and open maps. Restricting further to the full category of localizable Boolean algebras, the essential image of the Stonean duality functor is precisely the full subcategory of hyperstonean spaces (or hyperstonean locales) and open maps (Pavlov, Propositions 2.72, 2.73).
The Gelfand duality is an equivalence of categories from the opposite category of (unital) commutative C*-algebras and (unital) *-homomorphisms and the category of compact Hausdorff spaces (or compact regular locales). It restricts to an equivalence of categories from the opposite category of commutative von Neumann algebras and (unital) normal *-homomorphisms to the category of hyperstonean spaces (or hyperstonean locales) and open maps. Furthermore, this equivalence factors through the opposite category of localizable Boolean algebras: the relevant functor sends a commutative von Neumann algebra to the localizable Boolean algebra of its projections and a (unital) normal *-homomorphism of commutative von Neumann algebras to the induced complete homomorphism of Boolean algebras of projections (Pavlov, Theorem 3.20).
(Pavlov, Propositions 2.72, 2.73; Theorem 3.20.) The following four categories are equivalent.
The opposite category of commutative von Neumann algebras and unital normal *-homomorphisms.
The opposite category of localizable Boolean algebras and complete homomorphisms.
The category of hyperstonean locales and open maps.
The category of hyperstonean spaces and open maps.
We take this theorem as a strong evidence that whatever good category of enhanced measurable spaces we end up constructing, it better be equivalent to the above four categories.
We have already constructed a functor
In the next section, we construct a functor
that exhibits as a retract (in particular, a full subcategory) of .
The functor
is constructed as the composition of functors
where the first functor is the hyperstonean duality functor explained in the previous section.
The second functor is known as the Loomis–Sikorski construction (Loomis, 1947; Sikorski, 1948; see also Pavlov, Definition 5.2) and is defined as follows. Send a hyperstonean topological space to the enhanced measurable space , where is the σ-ideal of nowhere dense sets (equivalently in the case of hyperstonean spaces: meager sets) and is the σ-algebra of subsets with the property of Baire, i.e., symmetric differences of clopen subsets and nowhere dense sets.
The quotient Boolean algebra is easily seen to be precisely the complete Boolean algebra of clopen subsets of and the latter is precisely the inverse of the Stone spectrum functor evaluated on . Thus, the Loomis–Sikorski construction indeed exhibits as a retract of .
We have seen that in order to have a theory resembing conventional measure theory, we have to work with localizable enhanced measurable spaces and localizable morphisms.
As it turns out, the essential image of the Loomis–Sikorski functor is the full subcategory of enhanced measurable spaces comprising precisely compact and strictly localizable enhanced measurable spaces, defined in the next section.
In particular (and rather surprisingly), all morphisms of compact strictly localizable enhanced measurable spaces are automatically localizable, even though there are examples (one of which is given below) of nonlocalizable morphisms from a σ-finite enhanced measurable space to a completely atomic (i.e., discrete) enhanced measurable space, both of which are localizable.
Thus, if one finds the necessity of extending the above equivalence of four categories to include some form of enhanced measurable spaces convincing enough, one can skip the next section and proceed directly to the summary. Below, we provide additional independent motivation for strict localizability and compactness that does not rely on the above reasoning.
We already established in the previous section that it is highly desirable (e.g., for Gelfand duality) to be able to lift complete homomorphisms of Boolean algebras to morphisms of enhanced measurable spaces .
Consider the simplest case when is a discrete enhanced measurable space.
Then complete homomorphisms can be identified with -indexed families of elements () such that implies and . That is to say, the elements form a partition of 1 in the complete Boolean algebra .
Likewise, measurable maps can be identified with -indexed families of elements such that implies and . That is to say, the sets form a (disjoint) partition of .
Lifting complete homomorphisms to morphisms of enhanced measurable spaces amounts to constructing such that the equivalence class of in equals .
Pick some arbitrary representative for every . For every we have , hence . Furthermore, is the essential supremum of . The question is then whether it is possible to find such that and are disjoint.
Surprisingly, the answer is negative in general.
An enhanced measurable space is strictly localizable if it is isomorphic to the coproduct of a set-indexed family of σ-finite enhanced measurable spaces.
Coproducts of enhanced measurable spaces are computed in the expected manner:
i.e., a subset of is measurable or negligible if and only if its intersection with every is measurable or negligible, respectively.
A rather delicate example of a complete locally determined localizable measure space that is not strictly localizable can be found in Fremlin (§216E).
It is not difficult to see that a localizable enhanced measurable space admits liftings of complete homomorphisms if and only if it is strictly localizable. Indeed, if is localizable and admits liftings, then the lifting of a σ-finite partition of is a strictly localizable partition of . Conversely, if is strictly localizable, then any lifting problem for can be solved separately for every σ-finite , with individual solutions combined using disjoint unions. In the σ-finite case, only countably many can be nonnegligible, which allows us to take for all such that is negligible, whereas for the remaining we take , for some fixed well-ordering of indices .
Surprisingly, the lifting property for complete homomorphisms out of complete atomic Boolean algebras implies the lifting property for complete homomorphisms out of arbirary localizable Boolean algebras. Thus, the latter property holds if and only if the enhanced measurable space is strictly localizable.
This is the rather deep von Neumann–Maharam theorem, an exposition of which can be found in Fremlin (§341M).
Thus, if we want to be able to lift complete homomorphisms of Boolean algebras (or, equivalently, normal unital *-homomorphisms of commutative von Neumann algebras) to measurable maps of measurable spaces, we have to assume strict localizability.
Suppose
is a morphism of enhanced measurable spaces.
What subset of should we take as the image of ?
The ordinary image of as a map of sets does not result in a useful notion. Indeed, suppose , i.e., . Then every map of sets defines a morphism of enhanced measurable spaces, since every subset of is a subnegligible set. If the cardinality of is at least the cardinality of , then every subset of is the image of some measurable map . In particular, such a subset need not be measurable.
On the other hand, we have already seen that the enhanced measurable space is isomorphic to the empty space . It is reasonable to assume that the notion of the image of a morphism should be invariant under isomorphisms of enhanced measurable spaces. In particular, we expect the image of to be empty, or equivalent to the empty set, i.e., negligible.
To resolve the contradiction, we modify the definition to allow for images-up-to-a-subnegligible subset.
Suppose
is a morphism of enhanced measurable spaces. The essential image of (if it exists) is an element such that and for every such that we have .
All essential images of taken together form a (unique) equivalence class in .
For example, in the above example, the essential image of is always negligible, even if the ordinary image coincides with .
However, the essential image of does not always exist. Consider a set together with a probability measure such that for every we have . Such measures exist if and only if has the cardinality of a real-valued-measurable cardinal, a type of a large cardinal. The identity map of sets defines a morphism of enhanced measurable spaces
Indeed, given any such that , for every we have , where . Thus, if is the essential image of , then we must have , a contradiction since .
To eliminate pathological examples such as the one given above, we need to require to be a compact enhanced measurable space. Compactness is the “abstract essence” of the notion of Radon measure that is not affixed to any particular topology on the underlying set. It was first introduced by Marczewski.
An enhanced measurable space is compact if there is a compact class such that for any there is such that . A collection of subsets of a set is a compact class if for any the following finite intersection property holds: if for any finite we have , then also .
To connect to the notion of a compact topological space, observe (Fremlin, Lemma 342D(a)) that is a compact class if and only if there is a compact topology on the set such that every element of is a closed (and hence compact) subset of . Thus, an enhanced measurable space is compact if and only if it admits a compact topology such that every nonnegligible measurable set contains a nonnegligible subset that is closed (Fremlin, Corollary 342F).
A Radon enhanced measurable space is an enhanced measurable space equipped with a structure of a Hausdorff topological space such that the σ-algebra of measurable sets contains open sets and there is a faithful measure that is locally finite (every point has a neighborhood of finite measure) and inner regular with respect to compact subsets (the measure of any measurable subset is the supremum of measures of its compact subsets). (See Fremlin Definition~411H(b).) Every Radon enhanced measurable space is compact and strictly localizable by Fremlin (Proposition 416W(a), Theorem 414J).
The following theorem answers the question of existence of the essential image in the affirmative in the case when the domain of is a compact enhanced measurable space. The crucial ingredient is a deep result of Fremlin (§451Q) that shows that a compact enhanced measurable space whose σ-ideal of negligible sets is induced by a faithful semifinite measure cannot be partitioned into an uncountable family of negligible sets whose arbitrary unions are measurable subsets.
(Pavlov, Proposition 4.65.) Suppose is a compact enhanced measurable space that admits a faithful semifinite measure, is a strictly localizable enhanced measurable space, and is a morphism of enhanced measurable spaces. Then admits an essential image.
It is easy to see that the essential image of (if it exists) must be the complement of the essential supremum of all such that . The difficult part is to show that , and this is exactly what Fremlin’s theorem achieves.
As an added bonus, we obtain the following counterpart to the von Neumann–Maharam co-lifting theorem for strictly localizable spaces.
(von Neumann 1932; C.~Ionescu Tulcea 1965; Vesterstrøm–Wils 1969; Edgar 1976; Graf 1980; see also Fremlin, Theorem~343B(iv).) Suppose is an enhanced measurable space that admits a faithful semifinite measure. Assume . The following two conditions are equivalent.
For every there is such that and is compact. (If is strictly localizable, this condition implies compactness of .)
For every strictly localizable enhanced measurable space and complete homomorphism of localizable Boolean algebras there is a morphism of enhanced measurable spaces that induces .
Previously, we constructed a functor
from localizable Boolean algebras and complete homomorphisms to enhanced measurable spaces. The Loomis–Sikorski construction applied to hyperstonean spaces produces compact and strictly localizable spaces, thus landing in the category of compact strictly localizable enhanced measurable spaces.
We also constructed a functor
which we can now restrict to a functor
Previously, we saw that the compustion
is isomorphic to the identity functor.
Showing that the composition
is isomorphic to the identity functor is much more difficult. Indeed, the construction of the isomorphism and its inverse requires the properties of compactness and strict localizability and uses deep theorems due to von Neumann–Maharam and Ionescu Tulcea.
(Pavlov, Theorem 5.19.) The category is equivalent to the following four categories:
opposite category of commutative von Neumann algebras
opposite category of localizable Boolean algebras (i.e., measurable locales)
The following category is suitable for measure theory in the sense that it matches the existing practice of real analysis, probability theory, stochastic processes, etc.
Objects are (complete) compact strictly localizable enhanced measurable spaces .
Morphisms are equivalence classes of maps of sets that reflect measurable and negligible sets.
Two morphisms and are equivalent if they are weakly equivalent almost everywhere for every we have .
The following remarks are in order.
Enhanced measurable spaces have just the right amount of information: enough to define (weak) equality almost everywhere, not too much to require constructions of noncanonical measures.
However, one could use conventional measure spaces instead, using as the σ-ideal of negligible sets.
To ensure that composition descends to the quotient category, measurable maps must reflect negligible sets.
The equivalence relation of equality almost everywhere must be coarsened to weak equality almost everywhere to ensure morphisms are fully determined by their preimages up to subnegligible sets.
Completeness is optional, but simplifies some aspects of the presentation. Local determinacy is implied by strict localizability.
The property of strict localizability is a straightforward generalization of the notion of a σ-finite space.
The property of compactness is an abstraction of the definition of a Radon measure.
These properties eliminate pathologies and ensure the following desirable properties of objects and morphisms.
The resulting category is equivalent to four other categories: opposite of commutative von Neumann algebras, opposite of localizable Boolean algebras (i.e., measurable locales), hyperstonean locales, hyperstonean spaces.
Compact strictly localizable spaces are localizable and hence satisfy the traditional theorems of elementary measure theory: the Radon–Nikodym theorem, the Hahn and Jordan decomposition theorems, the Riesz representation theorem, bounded measurable functions form a von Neumann algebra, the Boolean algebra of equivalence classes of measurable sets is complete.
Morphisms of compact strictly localizable enhanced measurable spaces induce complete homomorphisms of localizable Boolean algebras.
Morphisms of enhanced measurable spaces admit essential images.
The category has excellent categorical properties: it is complete and cocomplete, admits a closed monoidal structure whose product is the measure-theoretic product, is comonadic over sets and over compact Hausdorff spaces. It also admits a commutative Giry-type probability monad (Furber).
Irving E. Segal, Equivalences of Measure Spaces. American Journal of Mathematics 73:2 (1951), 275. doi.
Edward Marczewski, On compact measures, Fundamenta Mathematicae 40 (1) (1953) 113–124. doi.
John L. Kelley, Decomposition and representation theorems in measure theory. Mathematische Annalen 163:2 (1966), 89-94. doi.
Dmitri Pavlov, Gelfand-type duality for commutative von Neumann algebras, Journal of Pure and Applied Algebra 226:4 (2022), 106884, 1–53. doi.
Robert Furber?, Commutative W*-algebras as a Markov Category (Extended Abstract), PDF.
Last revised on May 5, 2024 at 02:53:36. See the history of this page for a list of all contributions to it.