## You are here

HomeLebesgue measure

## Primary tabs

# Lebesgue measure

Let $S\subseteq\mathbb{R}$, and let $S^{{\prime}}$ be the complement of $S$ with respect to $\mathbb{R}$. The set $S$ is said to be *Lebesgue measurable* if, for any $A\subseteq\mathbb{R}$,

$m^{{*}}(A)=m^{{*}}(A\cap S)+m^{{*}}(A\cap S^{{\prime}})$ |

where $m^{{*}}(S)$ is the Lebesgue outer measure of $S$. If $S$ is Lebesgue measurable, then we define the *Lebesgue measure* of $S$ to be $m(S)=m^{{*}}(S)$. The Lebesgue measurable sets include open sets, closed sets as well all the sets obtained from them by taking countable unions and intersections. However, with aid of the axiom of choice it is possible to construct non-measurable sets.

The Lebesgue measure on $\mathbb{R}^{n}$ is the completion of the $n$-fold product measure of the Lebesgue measure on $\mathbb{R}$.

The Lebesgue measure is a formalization of the intuitive notion of length of a set in $\mathbb{R}$, an area of a set in $\mathbb{R}^{2}$ and volume in $\mathbb{R}^{3}$, etc. It obeys many properties one would expect from these intuitive notions, such as invariance under translation and rotation.

The Lebesgue measure was introduced by Henri Lebesgue in the first decade of the twentieth century. It became the prototypical example of what later became known simply as measure, a concept which unified such diverse objects as area, probability, and function.

## Mathematics Subject Classification

28A12*no label found*26A42

*no label found*03B52

*no label found*03B50

*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

## Comments

## the real question...

is how to pronounce "Lebesgue"

-apk

## Re: the real question...

I think it rhymes with "the pig" (with the accent on "pig").

vampyr

## borel sets

I think you should point out that the 'lebesgue measurable' sets in this sense contains the borel sigma algebra, and that it coincides with the obvious measure on the intervals (a,b]! Also it might be worth pointing out it's the unique such measure on the borel sigma algebra.