Mesure de LebesgueLa mesure de Lebesgue est une mesure qui étend le concept intuitif de volume à une très large classe de parties de l'espace. Comme l'a immédiatement perçu son inventeur, Henri Lebesgue, elle permet de bâtir une théorie de l'intégration très performante et fondamentale en analyse moderne : la théorie de l'intégrale de Lebesgue. Plusieurs constructions bien différentes de la mesure de Lebesgue sont connues. Chacune d'entre elles peut naturellement être prise pour définition ; dans le cadre d'un article où il faut toutes les évoquer, il est prudent de fournir en ouverture une définition plus unificatrice.
Espace mesurableUn espace mesurable (en théorie de la mesure), également appelé espace probabilisable (en théorie des probabilités), est un couple où est un ensemble et une tribu sur . Les éléments de sont alors appelés des ensembles mesurables de . Un espace mesurable est rarement utilisé seul : le plus souvent, il est complété d'une mesure en vue de construire un espace mesuré . En théorie des probabilités, on utilise une terminologie spécifique. Un espace mesurable est appelé un espace probabilisable, l'ensemble est appelé l'univers et les éléments de la tribu sont appelés événements.
Non-measurable setIn mathematics, a non-measurable set is a set which cannot be assigned a meaningful "volume". The mathematical existence of such sets is construed to provide information about the notions of length, area and volume in formal set theory. In Zermelo–Fraenkel set theory, the axiom of choice entails that non-measurable subsets of exist. The notion of a non-measurable set has been a source of great controversy since its introduction. Historically, this led Borel and Kolmogorov to formulate probability theory on sets which are constrained to be measurable.
Ensemble de VitaliL'ensemble de Vitali, aussi appelé espace de Vitali, est un exemple simple de partie non mesurable de la droite réelle, découvert en 1905 par le mathématicien Giuseppe Vitali. L'axiome du choix joue un rôle essentiel dans sa construction. Soit la relation deux réels sont en relation si leur différence est un rationnel. Chaque classe d'équivalence élément du groupe quotient R/Q rencontre l'intervalle unité [0, 1]. En effet si on note la partie entière (par défaut) de , et sont équivalents.
Cardinal mesurableEn mathématiques, un cardinal mesurable est un cardinal sur lequel existe une mesure définie pour tout sous-ensemble. Cette propriété fait qu'un tel cardinal est un grand cardinal. Un cardinal mesurable est un cardinal non dénombrable κ tel qu'il existe une mesure μ non triviale, κ-additive, à valeurs dans , définie sur tous les sous-ensembles de κ ; μ est donc une application de l'ensemble des parties de κ vers telle que : Pour toute famille (avec α