Why is the Borel sigma-algebra the standard choice in continuous probability?

Conditions

• The context is the continuous setting.
• The measure is defined on $\mathcal{B}([0,1])$.
• The endpoint condition is $0 \leq a \leq b \leq 1$.

Reasoning, step by step

1. Acknowledge that the power set is unsuitable for continuous uniform distributions due to non-existence theorems.
2. Introduce the Borel sigma-algebra $\mathcal{B}([0,1])$ as a restricted, manageable collection of sets.
3. State the fact that there exists a unique probability measure $\mu$ on $\mathcal{B}([0,1])$ such that $\mu((a,b]) = b-a$.
4. Identify this measure as Lebesgue measure, which corresponds to the uniform distribution.
5. Conclude that because this natural length-preserving measure exists uniquely on the Borel sigma-algebra, it becomes the standard choice.

Example

The video states as a fact that there is a unique probability measure $\mu : \mathcal{B}([0,1]) \to [0,1]$ such that $\mu((a,b]) = b-a$ for all $0 \leq a \leq b \leq 1$, and boxes the conclusion that the Borel sigma-algebra is the standard choice.

Common misconceptions

• Assuming that any sigma-algebra can support a uniform probability measure matching interval lengths.
• Thinking that the Borel sigma-algebra is chosen arbitrarily rather than for its specific measure-theoretic properties.

Watch the explanation

Connected concepts

Explore next

• What is the unique probability measure on $\mathcal{B}([0,1])$ that sends intervals to their lengths?
• How do sigma-algebras resolve the measurement problem in continuous probability?