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é.
Axiomes des probabilitésEn théorie des probabilités, les axiomes de probabilités, également appelés axiomes de Kolmogorov du nom d'Andreï Nikolaievitch Kolmogorov qui les a développés, désignent les propriétés que doit vérifier une application afin de formaliser l'idée de probabilité. Ces propriétés peuvent être résumées ainsi : si est une mesure sur un espace mesurable , alors doit être un espace de probabilité. Le théorème de Cox fournit une autre approche pour formaliser les probabilités, privilégiée par certains bayésiens.
Cas pathologiquedroite|vignette|La fonction de Weierstrass est une fonction continue nulle part dérivable. En mathématiques, un objet pathologique est un objet qui s'oppose à l'intuition que l'on a de la situation générale. Par exemple, la fonction de Weierstrass, qui est une fonction continue nulle part dérivable, peut être considérée comme pathologique car elle s'oppose à l'intuition que l'on a des fonctions continues. Ainsi, Henri Poincaré écrit à leur sujet : Objet exceptionnel Position générale Catégorie:Vocabulaire d
Mesure de comptageLa mesure de comptage (ou mesure de dénombrement) est une mesure positive associée à la cardinalité d'un ensemble. Si l'on note la mesure de comptage sur la tribu des parties d'un ensemble , on a, pour tout : Par définition de l'intégrale de Lebesgue, pour toute application , on a : L'intégrale pour la mesure de comptage est donc une somme (ou une série). Elle est particulièrement utile avec les suites numériques. Ainsi les divers théorèmes associés à la théorie de la mesure s'appliquent aux séries (inversion série/intégrale et série/limite par exemple).
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.
Limite supérieure et limite inférieurevignette|upright=1.8|Exemple de recherche de limites inférieure et supérieure. La suite (x) est représentée en bleu. En mathématiques, plus précisément en analyse réelle, les limites inférieures et supérieures sont des outils d'étude des suites de nombres réels. Une telle suite n'est en général ni monotone, ni convergente. L'introduction des limites supérieure et inférieure permet de retrouver, partiellement, de telles propriétés. Il s'agit d'un cas particulier de valeurs d'adhérence de la suite.
Sigma-anneauUn σ-anneau (lire sigma-anneau) est un système d'ensembles dont la définition est un peu plus générale que celle des σ-algèbres (ou « tribus »). Il est possible de présenter dans ce formalisme alternatif la théorie de la mesure, aujourd'hui plus souvent exposée dans le cadre des tribus. Toute σ-algèbre (on dit aussi « tribu ») est un σ-anneau. De même que les algèbres d'ensembles sont les anneaux d'ensembles contenant , les σ-algèbres sont les σ-anneaux contenant . Un anneau d'ensembles sur un ensemble fini est aussi un σ-anneau.
Algèbre des parties d'un ensembleEn théorie des ensembles, l'ensemble des parties d'un ensemble, muni des opérations d'intersection, de réunion, et de passage au complémentaire, possède une structure d'algèbre de Boole. D'autres opérations s'en déduisent, comme la différence ensembliste et la différence symétrique. L'algèbre des parties d'un ensemble étudie l'arithmétique de ces opérations (voir l'article « Opération ensembliste » pour des opérations qui ne laissent pas stable l'ensemble des parties d'un ensemble).
Mesure de BorelIn mathematics, specifically in measure theory, a Borel measure on a topological space is a measure that is defined on all open sets (and thus on all Borel sets). Some authors require additional restrictions on the measure, as described below. Let be a locally compact Hausdorff space, and let be the smallest σ-algebra that contains the open sets of ; this is known as the σ-algebra of Borel sets. A Borel measure is any measure defined on the σ-algebra of Borel sets.
Fonction étagéeEn mathématiques et en analyse : Une fonction simple est une fonction numérique dont l' est constituée d'un nombre fini de valeurs réelles (ou éventuellement complexes) ; Une fonction étagée est une fonction simple définie sur un espace mesurable et qui est elle-même une fonction mesurable ; Une fonction en escalier est une fonction étagée définie sur l’ensemble des réels et dont les valeurs (réelles) sont constantes sur des intervalles : ce sont donc des fonctions constantes par morceaux.
