9
$\begingroup$

Let $X$ denote a measurable space, that is, a set equipped with a $\sigma$-algebra $\Sigma(X)$. Let $M(X)$ denote the space of real-valued measures over $X$. This is a vector space over the real numbers, since the sum of two measures is again a measure, as is a scalar multiple of a measure. I would like to know the most general setting for which $M(X)$ is a measurable vector space.

Does $M(X)$ admit a canonical choice of $\sigma$-algebra, turning it into a measurable space?

If the answer is "no", then what about the setting where $X$ is a localizable measurable space?

If the answer is again "no", then what is the most general setting so that $M(X)$ is admits a canonical measurable structure?

Most generally, what is the largest subcategory $\mathcal C$ of $\mathbf{Meas}$ so that $M : \mathcal C \to \mathcal C$ is an endofunctor?

$\endgroup$
2
  • 1
    $\begingroup$ I guess you want to add some property to your "canonical" measurable structure, otherwise you can always use e.g. the set of all parts of $M(X)$ as $\sigma$-algebra. $\endgroup$ Dec 24, 2012 at 15:02
  • 1
    $\begingroup$ Since you seem to be excited about the approach emphasized by Dmitri Pavlov, I'd like to point out to you that a lot of what DP is talking about in his answers is discussed in volume 3 of Fremlin's measure theory: essex.ac.uk/maths/people/fremlin/mt.htm (mostly in the notes and exercises). Instead of working with von Neumann algebras, Fremlin emphasizes Boolean and measure algebras and Riesz spaces where the translation to/from classical measure theory, probability theory and ergodic theory seems to become clearer, at least to someone with a more classical analytic slant like me. $\endgroup$ Dec 26, 2012 at 15:10

2 Answers 2

6
$\begingroup$

Let $(X,\Sigma)$ be the measurable space. I think the sigma-algebra on $\mathcal M$ that you want is this. The least sigma-algebra so that for all $A \in \Sigma$, the map $\mu \mapsto \mu(A)$ is measurable.

$\endgroup$
5
  • 2
    $\begingroup$ I think it is worth pointing out that the corresponding endofunctor takes a measurable map $f:X\to Y$ to the map $\mu\mapsto \mu\circ f^{-1}$ from $M(X)$ to $M(Y)$. $\endgroup$ Dec 25, 2012 at 15:04
  • $\begingroup$ @Gerald Edgar or @Michael Greinecker, I have another question for you folks. In the same vein, one may also consider the minimal topology so that the evaluation functions $\mu \mapsto \mu(A)$ are continuous; this topology generates a Borel $\sigma$-algebra on the space. How is this $\sigma$-algebra related to the one that Gerald proposed? $\endgroup$ Dec 26, 2012 at 2:45
  • $\begingroup$ @Tom: that uninteresting toplogy is discrete. So of course its Borel sigma-algebra is the power set. $\endgroup$ Dec 26, 2012 at 14:23
  • $\begingroup$ @Gerald, that's good to hear. Thank you very much for your answers. $\endgroup$ Dec 26, 2012 at 18:45
  • 2
    $\begingroup$ @Gerald: Unless I'm missing something, the topology generated by the maps $\mu \mapsto \mu(A)$ for $A \in \Sigma$ is weaker than the total variation topology. In particular, it is not discrete, and its Borel $\sigma$-algebra contains the cylindrical $\sigma$-algebra proposed by Gerald. The inclusion will usually be strict when $\Sigma$ is infinite, as suggested by the nonseparability of the topology. Bogachev's Measure Theory Vol I discusses this topology, beginning on page 291. $\endgroup$
    – Dan
    Dec 29, 2012 at 19:26
2
$\begingroup$

First try it with $X$ a point. Then the space of measures is $\mathbb R^+$.

If you want the measure to be bounded, you give up at this point. I think the right thing to do here is to look at the space of probability measures. Then on a finite set of points you get a simplex, which has a canonical measure. However, once you set $X = \mathbb N$ (with the discrete $\sigma$-algebra, which is also the unique $\sigma$-\algebra that separates the points), it is clear that there cannot be a natural probability measure on the space of probability measures, because it would have to be invariant under the permutation action, so the expected size of each point must be equal, which is clearly impossible.

So you have to give up boundedness -some sets of measures will have infinite measure. For a single point, Lebesgue measure is the obvious choice. For a finite set of points, Lebesgue measure still makes sense. For an infinite set of points, I have no idea what to do - I'm not even sure which sets of measures should have infinite measure.

$\endgroup$
4
  • 1
    $\begingroup$ We're not asking for a measure on $\mathcal{M}(X)$, are we? Just a $\sigma$-algebra. $\endgroup$ Dec 24, 2012 at 6:19
  • 1
    $\begingroup$ And $\mathcal{M}(X)$ here includes all real-valued (i.e. signed) measures on $X$; they need not be positive. So if $X$ is a point then $\mathcal{M}(X)$ is $\mathbb{R}$. $\endgroup$ Dec 24, 2012 at 6:23
  • $\begingroup$ Thanks Will. Like Nate says, I'm looking at not-necessarily-bounded, real-valued measures on $X$. As you point out, the space of measures is invariably too big for there to be a canonical choice of a measure. Nonetheless, I'm hoping that there is a suitably general assumption on $X$ to guarantee a canonical choice of $\sigma$-algebra on $M(X)$. $\endgroup$ Dec 24, 2012 at 8:19
  • $\begingroup$ Oh, I completely misread the question. I think Gerald Edgar's answer is correct. $\endgroup$
    – Will Sawin
    Dec 24, 2012 at 16:09

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

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