1
$\begingroup$

Let $(\mathbb{R}, \mathcal{B}, \mathbb{P})$ be a probability space. I want to show that $\mathbb{P}$ can be written as $\mathbb{P} = \mu + \nu$, where $\mu$ is a continuous measure (no atoms) and $\nu$ an atomic measure ($\nu = \sum_i \epsilon_i \delta_{x_i}$).

I think first one has to show, that $\mathbb{P}$ has only countable many atoms $x_i$. Then, that $\mathbb{P} - \nu = \mu$ is a measure.

The second part should not be to hard. But how to do the first? If there are uncountable many $x_i \in \mathbb{R}$ with $\mathbb{P}(x_i) >0$, I guess $\mathbb{P}(\mathbb{R})=1$ is not possible anymore, but how to show that?

1 Answers 1

2

Suppose that there are uncountably many such $x_i$, indexed by $i\in I$. Then $ 1=\mathsf P(\mathbb R)\geq \sum\limits_{J}\mathsf P(x_j) $ where $J\subseteq I$ is any finite set. You can show that if $\mathsf P(x_i)>0$ for all $i\in I$ which is uncountable, then for any $E\geq 0$ there is $J(E)$ such that $\sum\limits_{J(E)}\mathsf P(x_j)\geq E$. Then take $E = 2$ and you're done.

Let us show that if $p_i >0$ for uncountably many $i\in I$ then there exists a finite $J\subset I$ such that $ \sum_J p_i>2. $ Let us put $I_n = \{i\in I:p_i\geq 1/n\}$. Suppose that each $I_n$ is finite, then $I = \bigcup\limits_{n=1}^\infty I_n$ is countable as a countable union of finite set. But in our case $I$ is uncountable, hence as a contradiction, there is $N$ such that $I_N$ is infinite. Take any finite $J\subseteq I$ of cardinality $\# J\geq 2N$, then $ \sum\limits_J p_i\geq \sum\limits_J \frac1N\geq 2. $

Above, $2$ can be replaced with an arbitrary positive integer number.

  • 2
    @Haatschii: updated2012-07-16