Let $(X, \Sigma)$ denote a measurable space. Is there a non-trivial $\sigma$-algebra $\Sigma^1$ of subsets of $\Sigma$ so that $(\Sigma, \Sigma^1)$ is also a measurable space?

Here is one natural candidate. I'm not certain, but based on answers to related questions, I think this might be the Effros Borel structure that Gerald Edgar has mentioned here and here.

The $\sigma$-algebra $\Sigma$ is an ordered set under the canonical relation given by subset inclusion $\subseteq$, and is therefore naturally equipped with a specialization topology. The closed sets are generated by downward-closed sets, and the closure of a singleton is its down-set:$$\overline{\{A\}} = \{ B \in \Sigma : B \subseteq A \}.$$ Even though this topology is highly non-Hausdorff, it's still pretty nice. For example, it's an Alexandroff space: arbitrary unions of closed sets are closed.

Being a topological space, $\Sigma$ now has a natural measurable structure, namely, the one generated by the Borel $\sigma$-algebra $\Sigma^1 := \mathcal B_{\subseteq}(\Sigma)$.

  • Is this space $(\Sigma, \Sigma^1)$ a reasonable one on which to do measure theory and probability?

Whether it is or not, there's some non-trivial structure present. For example, we can iterate this procedure. Set $\Sigma^0 = \Sigma$, and define $\Sigma^n := \mathcal B_{\subseteq}(\Sigma^{n-1}).$ Then each one of these spaces $\Sigma^n(X) := (\Sigma^{n}, \Sigma^{n+1})$ is measurable.

  • Is $\Sigma : \mathrm{Meas} \to \mathrm{Meas}$ an endofunctor on the category of measurable spaces?

  • Under what conditions does the sequence of measurable spaces $\Sigma^n(X)$ have a limit $\Sigma^{\infty}(X)$?

  • $\begingroup$ Tom, I don't think you mean what you said about Alexandroff spaces; arbitrary intersections of closed sets are always closed, in a topological space. $\endgroup$ Feb 10 '13 at 4:01
  • $\begingroup$ Thanks @Paul McKenney. It was a typo: Alexandroff spaces contain arbitrary unions of closed sets. $\endgroup$ Feb 10 '13 at 6:27

If $(X,\Sigma)$ is a measurable space, I think you are asking for a $\sigma$-algebra structure on $|\Sigma|$, the underlying set of $\Sigma$. We can identify this set with the set of measurable functions $$|\Sigma|\cong \text{Hom}_{\text{Meas}}\;(X,2),$$ where $2$ is a two-point space with discrete $\sigma$-algebra.

Thus it suffices to prove a more general result: that $\text{Meas}$ is a closed monoidal category. In other words, we would like to know that for any two measurable spaces, $X,Y$, there is a $\sigma$-algebra on the set of maps $\text{Hom}_{\text{Meas}}\;(X,Y)$, which has good formal properties (functoriality, right adjointness to $\otimes$).

The fact that $\text{Meas}$ is a symmetric monoidal closed category was proven by Kirk Sturtz in the paper Categorical Probability Theory. See Section 2.3.

  • 1
    $\begingroup$ Let no one say category theory lacks practical applications. Thanks for the tip & the existence theorem, David! I will be very interested to hear more about the natural $\sigma$-algebra on the space of measurable functions Hom($X$, $Y$). Can you add some more details to your answer as to what that $\sigma$-algebra looks like? e.g., what are examples of measurable sets of maps, and do those form a base for the $\sigma$-algebra? What do functorality & right-adjointness mean in this context? $\endgroup$ May 27 '15 at 4:57

One way to approach this would be to ask the same question inside a suitable topos in which "everything is measurable" and such that each object is naturally equipped with the structure of a $\sigma$-algebra. In effect you would be expanding the notion of measure space to accommodate better structure, as such toposes typically contain the "classical" measure spaces.

For example, Matthew Jackson's Ph.D. dissertation "A sheaf theoretic approach to measure theory" might be a starting point.

  • $\begingroup$ @Andrej Bauer, that's an interest point of view. Can you expand more on it? Suppose we are considering the category $\operatorname{Meas}$, the topos-category $\operatorname{Set}$ and some other topos $\operatorname{T}$. What does it mean "to ask the same question" in that different topos? $\endgroup$ Feb 11 '13 at 1:57

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.