## You are here

Homemeasurable space

## Primary tabs

# measurable space

A *measurable space* is a set $E$ together with a collection $\mathcal{B}$ of subsets of $E$ which is a sigma algebra.

The elements of $\mathcal{B}$ are called *measurable sets*.

A measurable space is the correct object on which to define a measure; $\mathcal{B}$ will be the collection of sets which actually have a measure. We normally want to ensure that $\mathcal{B}$ contains all the sets we will ever want to use. We usually cannot take $\mathcal{B}$ to be the collection of all subsets of $E$ because the axiom of choice often allows one to construct sets that would lead to a contradiction if we gave them a measure (even zero). For the real numbers, Vitali’s theorem states that $\mathcal{B}$ cannot be the collection of all subsets if we hope to have a measure that returns the length of an open interval.

## Mathematics Subject Classification

28A33*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff
- Corrections

## Corrections

Measurable sets by mathcam ✘

why B(E) depends on E? by paolini ✓

add to defines list by Mathprof ✓