Mesure de Borel

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, la mesure de Borel est définie sur le semianneau S des intervalles de la droite réelle R de la forme [a,b[ où a<b de la façon suivante : µ([a,b[)=b-a.
Cette mesure se prolonge d'une façon canonique à l'anneau engendré par S par le théorème de Jordan. Le théorème de Carathéodory assure le prolongement de la définition de la mesure à la tribu de Borel.