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.
Relation (mathématiques)Une relation entre objets mathématiques d'un certain domaine est une propriété qu'ont, ou non, entre eux certains de ces objets ; ainsi la relation d'ordre strict, notée « < », définie sur N l'ensemble des entiers naturels : 1 < 2 signifie que 1 est en relation avec 2 par cette relation, et on sait que 1 n'est pas en relation avec 0 par celle-ci. Une relation est très souvent une relation binaire, définie sur un ensemble comme la relation d'ordre strict sur N, ou entre deux ensembles.
Ensemble infini non dénombrableUn ensemble infini non dénombrable est un ensemble qui est « trop gros » pour être dénombrable. De manière précise, c'est un ensemble infini qui ne peut être mis en bijection avec les entiers naturels. En présence de l'axiome du choix, cela signifie que son cardinal est strictement supérieur au cardinal du dénombrable. On dit souvent simplement ensemble non dénombrable. L'ensemble des nombres réels en est un exemple. Avec l'hypothèse généralisée du continu, un ensemble des cardinalités infinies non dénombr
Image (mathématiques)En mathématiques, la notion d’image est reliée à la notion d’application avec plusieurs définitions distinctes. Étant donné une application : pour tout élément x de E, l’unique élément qui lui est relié dans F est appelé image de x par f, et dans ce cas on dit que x est un antécédent de par f ; l’ensemble des images des éléments de E est appelé de f, ou simplement image de f, et se note ; vignette|f(X) est en jaune.
Inclusion (mathématiques)En mathématiques, l’inclusion est une relation d'ordre entre ensembles. On dit qu'un ensemble A est inclus dans un ensemble B si tous les éléments de A sont aussi éléments de B. On dit dans ce cas que A est un sous-ensemble ou une partie de B, ou encore que B est sur-ensemble de A. Cette relation n'est pas symétrique a priori, car il peut y avoir des éléments du deuxième ensemble qui n'appartiennent pas au premier. Plus précisément, il y a inclusion dans les deux sens entre deux ensembles si et seulement si ces deux ensembles sont égaux.
Union (mathématiques)Dans la théorie des ensembles, l'union ou réunion est une opération ensembliste de base. En algèbre booléenne, l'union est associée à l'opérateur logique ou inclusif et est notée ∪. L'union de deux ensembles A et B est l'ensemble qui contient tous les éléments qui appartiennent à A ou appartiennent à B. On la note A ∪ B et on la dit « A union B » Formellement : Par exemple l'union des ensembles A = {1, 2, 3} et B = {2, 3, 4} est l'ensemble {1, 2, 3, 4}.
Felix HausdorffFelix Hausdorff est un mathématicien allemand né le à Breslau (aujourd'hui Wrocław) et mort le à Bonn. Il est l'auteur, sous le nom de Paul Mongré, de travaux philosophiques et littéraires. Considéré comme l'un des fondateurs de la topologie moderne, il contribua aussi significativement à la théorie des ensembles, à la théorie de la mesure et à l'analyse fonctionnelle. Son nom a été donné en 2007 au Centre Hausdorff pour les mathématiques de Bonn, ville où il a enseigné et s'est suicidé avec sa femme pour échapper à la déportation.
Singleton (mathématiques)En mathématiques, un singleton est un ensemble qui comprend exactement un élément. Le singleton dont l'élément est a se note . Soit S une classe définie par une fonction indicatrice alors S est un singleton si et seulement s’il existe y ∈ X tel que pour tout x ∈ X, La définition suivante vient de Alfred North Whitehead et Russell Le symbole ι'x désigne le singleton {x} et désigne la classe des objets identiques à x, soit l'ensemble {y / y = x}.
Récurrence transfinieEn mathématiques, on parle de récurrence transfinie ou de récursion transfinie pour deux principes reliés mais distincts. Les définitions par récursion transfinie — permettent de construire des objets infinis, et généralisent les définitions de suite par récurrence sur l'ensemble N des entiers naturels en considérant des familles indexées par un ordinal infini quelconque, au lieu de se borner au plus petit d'entre eux qu'est N, appelé ω en tant que nombre ordinal.
Ordinal limiteEn mathématiques et plus précisément en théorie des ensembles, un ordinal limite est un nombre ordinal non nul qui n'est pas un ordinal successeur. D'après la définition ci-dessus, un ordinal α est limite si et seulement s'il satisfait l'une des propositions équivalentes suivantes : α ≠ 0 et ∀ β β+1 ≠ α ; 0 < α et ∀ β < α β+1 < α ; α ≠ 0 et ∀ β < α ∃ γ β < γ < α ; α est non nul et égal à la borne supérieure de tous les ordinaux qui lui sont strictement inférieurs (l'ensemble des ordinaux strictement inférieurs à un ordinal successeur β +1 possède un plus grand élément, l'ordinal β) ; en tant qu'ensemble d'ordinaux, α n'est pas vide et ne possède pas de plus grand élément ; α peut s'écrire sous la forme ω·γ avec γ > 0 ; α est un point d'accumulation de la classe des nombres ordinaux, munie de la topologie de l'ordre.
