MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

It is easy to give examples of non-separable $L^p$ spaces by considering a measure on a big space. If one adds the condition that the space has to have total measure 1, the problem is not as easy.

The following equivalences are known, and not very useful:

  1. $L^1(\Omega,A, P)$ is separable

  2. for all $p \in [1,\infty)$, $L^p(\Omega,A,P)$ is separable

  3. the $\sigma$-algebra $A$ of measurable sets with the pseudometric $\rho(a,b)=P(a\Delta b)$ is separable, where $\Delta$ is the symmetric difference.

share|cite|improve this question
Perhaps an uncountably infinite product of probability measures will do the trick; search for infinite product measure in Google. – Philip Brooker Jun 16 '11 at 21:28
up vote 5 down vote accepted

Philip is right. A family of events is independent if any finite subfamily is independent. In order to discuss an uncountable independent family of events, we need a probability space that is not separable in your pseudometric, or equivalently the $L^1$ space is not separable. As usual, we may model the situation by taking a product of copies of $\{0,1\}$, with one factor for each of the events. And then use the (uncountable) product measure.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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