Sigma additivitévignette|Illustration de la sigma additivité La sigma additivité, appelé aussi additivité dénombrable, est un concept en théorie de la mesure. Soit un ensemble et un ensemble de parties de . On dit que l'application μ est σ-additive sur lorsqu'elle vérifie la propriété suivante : si E1, E2, ... est une suite d'éléments de , si ces parties de sont deux à deux disjointes et si leur réunion E est aussi un élément de , alors la valeur μ(E) de μ sur cette réunion E est égale à la somme des valeurs de μ sur les parties Ek : Il s'agit d'une version plus forte de l'additivité simple.
Mesure complexeEn mathématiques et plus particulièrement en théorie de la mesure, une mesure complexe, ou mesure à valeurs complexes, est une extension de la notion de mesure signée finie dans le sens où les valeurs complexes sont autorisées, ce qui n'est pas le cas d'une mesure signée finie qui est, par définition, à valeurs réelles. De manière équivalente, une mesure complexe est une fonction qui peut s'écrire sous la forme où et sont des mesures signées finies, appelées respectivement, partie réelle et partie imaginaire de .
Mesure extérieureLa notion de mesure extérieure (ou mesure extérieure au sens de Carathéodory) est un concept, dû au mathématicien Constantin Carathéodory, qui généralise dans un cadre axiomatique une construction utilisée par Henri Lebesgue pour définir la mesure de Lebesgue des parties Lebesgue-mesurables de la droite réelle. Soit un ensemble.
Mesure localement finieIn mathematics, a locally finite measure is a measure for which every point of the measure space has a neighbourhood of finite measure. Let be a Hausdorff topological space and let be a -algebra on that contains the topology (so that every open set is a measurable set, and is at least as fine as the Borel -algebra on ). A measure/signed measure/complex measure defined on is called locally finite if, for every point of the space there is an open neighbourhood of such that the -measure of is finite.
Vector measureIn mathematics, a vector measure is a function defined on a family of sets and taking vector values satisfying certain properties. It is a generalization of the concept of finite measure, which takes nonnegative real values only.
Mesure signéeEn mathématiques et plus particulièrement en théorie de la mesure, une mesure signée est une extension de la notion de mesure dans le sens où les valeurs négatives sont autorisées, ce qui n'est pas le cas d'une mesure classique qui est, par définition, à valeurs positives. Une mesure signée est dite finie si elle ne prend que des valeurs réelles, c'est-à-dire, si elle ne prend jamais les valeurs ou . Pour clarifier, on utilisera le terme de « mesure positive », au lieu du simple « mesure », pour les mesures signées ne prenant jamais de valeurs strictement négatives.
Théorème d'extension de CarathéodoryEn théorie de la mesure, le théorème d'extension de Carathéodory est un théorème fondamental, qui est à la base de la construction de la plupart des mesures usuelles. Constitué par généralisation à un cadre abstrait des idées fondant la construction de la mesure de Lebesgue, et exposé sous diverses variantes, il est également mentionné par certains auteurs sous les noms de théorème de Carathéodory-Hahn ou théorème de Hahn-Kolmogorov (certaines sources distinguent un théorème de Carathéodory qui est l'énoncé d'existence, et un théorème de Hahn qui est l'énoncé d'unicité).
Mesure de probabilitévignette|300x300px| Dans de nombreux cas, la physique statistique utilise des mesures de probabilité, mais toutes les mesures qu'elle utilise ne sont pas des mesures de probabilité. En mathématiques, une mesure de probabilité est une fonction à valeurs réelles définie sur un ensemble d'événements dans un espace de probabilité qui satisfait les propriétés de mesure telles que la -additivité. La différence entre une mesure de probabilité et la notion plus générale de mesure (qui inclut des concepts tels que l'aire ou le volume) est qu'une mesure de probabilité doit attribuer la valeur 1 à tout l'espace de probabilité.
Mesure sigma-finieSoit (X, Σ, μ) un espace mesuré. On dit que la mesure μ est σ-finie lorsqu'il existe un recouvrement dénombrable de X par des sous-ensembles de mesure finie, c'est-à-dire lorsqu'il existe une suite (E) d'éléments de la tribu Σ, tous de mesure finie, avec Mesure finie Mesure de comptage sur un ensemble dénombrable Mesure de Lebesgue. En effet, l'ensemble des intervalles pour tous les nombres entiers est un recouvrement dénombrable de , et chacun des intervalles est de mesure 1.
Espace probabiliséUn espace de probabilité(s) ou espace probabilisé est construit à partir d'un espace probabilisable en le complétant par une mesure de probabilité : il permet la modélisation quantitative de l'expérience aléatoire étudiée en associant une probabilité numérique à tout événement lié à l'expérience. Formellement, c'est un triplet formé d'un ensemble , d'une tribu sur et d'une mesure sur cette tribu tel que . L'ensemble est appelé l'univers et les éléments de sont appelés les événements.
