2
$\begingroup$

I am trying to understand the arguments in a book I am reading.

Consider the probability space $\left( X, \mathcal{B} \right)$ and let $\mathcal{P}$ be the set of probability measures on it. Let $\mathcal{C}$ be the $\sigma$-algebra generated by the sets $A_{B, t} = \left\{ P \in \mathcal{P}: P \left( B \right) \leqslant t \right\}$ where $B \in \mathcal{B}$ and $t \in \left[ 0, 1 \right]$.

  • How does one prove that $\mathcal{C}$ is the smallest $\sigma$-algebra making the functions $g_B$ from $\mathcal{P}$ into $\mathbb{R}$ defined by $g_B \left( P \right) = P \left( B \right)$ measurable?
  • I am looking also for specific counterexamples of functions not measurable in this context to help me understand it more.
  • It is also indicated in the book that there is some link to the topology of pointwise convergence. What is that link?
  • 1
    If $X$ is a compact metric space (might work with something more general) one can endow $\mathcal{P}$ with the weak*-topology (sometimes called the topology of weak convergence or the narrow topology). The Borel sets in that topology coince with this $\sigma$-algebra.2012-11-17
  • 0
    Hi Michael. Thanks a lot for the help. I will try to prove that the sets $A_{B,t}$ constitute a base for the weak*-topology and see if I am successful.2012-11-19

1 Answers 1

2

Regarding your first question:

One definition of a measurable real-valued function on a measure space $(X,\mathcal{A},\mu)$ is that the pre-image of every interval $(-\infty,\alpha)$ is in $\mathcal{A}$. This characterisation of measurability comes from the fact that the Borel sigma algebra on $\mathbb{R}$ can be generated by such intervals.

For each $g_B$ to be measurable in this sense we certainly require that each $A_{B,t}$ is measurable in $\mathcal{P}$. Hence the sigma algebra generated by these $A_{B,t}$ is the smallest sigma algebra with this property.

  • 0
    For your second question, a rather trivial example of a non-measurable function can be given for any measure space in which there exist non-measurable sets. Simply take the characteristic function of a non-measurable set.2012-11-17
  • 0
    I am unsure as to what you are asking here, $P$ as I used it was a probability measure rather than a set.2012-11-19
  • 0
    Also note that $\mathcal{P}=A_{B,1}$ for any $B\in\mathcal{B}$.2012-11-19
  • 0
    Yes, I realize now that my comment was stupid!2012-11-21