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}.
Dedekind-infinite setIn mathematics, a set A is Dedekind-infinite (named after the German mathematician Richard Dedekind) if some proper subset B of A is equinumerous to A. Explicitly, this means that there exists a bijective function from A onto some proper subset B of A. A set is Dedekind-finite if it is not Dedekind-infinite (i.e., no such bijection exists). Proposed by Dedekind in 1888, Dedekind-infiniteness was the first definition of "infinite" that did not rely on the definition of the natural numbers.
Paradoxe de CantorLe paradoxe de Cantor, ou paradoxe du plus grand cardinal, est un paradoxe de la théorie des ensembles dont l'argument a été découvert par Georg Cantor dans les années 1890. On le trouve dans sa lettre adressée à David Hilbert, datée de 1897. Il est appelé ainsi par Bertrand Russell dans ses Principles of Mathematics de 1903. Le paradoxe énonce que l'existence d'un plus grand cardinal conduit à une contradiction.
Beth (nombre)Dans la théorie des ensembles ZFC (avec axiome du choix), les nombres beth désignent une hiérarchie de nombres cardinaux indexée par les ordinaux, obtenue à partir du dénombrable en prenant le cardinal de l'ensemble des parties pour successeur, et la borne supérieure (ou réunion) pour passer à la limite. La notation de ces nombres utilise la deuxième lettre de l'alphabet hébreu, ou ב. En théorie des ensembles, les nombres cardinaux représentent la taille d'un ensemble.
Universal setIn set theory, a universal set is a set which contains all objects, including itself. In set theory as usually formulated, it can be proven in multiple ways that a universal set does not exist. However, some non-standard variants of set theory include a universal set. Many set theories do not allow for the existence of a universal set. There are several different arguments for its non-existence, based on different choices of axioms for set theory. In Zermelo–Fraenkel set theory, the axiom of regularity and axiom of pairing prevent any set from containing itself.
Type d'ordreEn mathématiques, en particulier dans la théorie des ensembles, deux ensembles ordonnés X et Y sont dits avoir le même type d'ordre s'ils sont isomorphes pour l'ordre, c'est-à-dire, s'il existe une bijection f: X → Y telle que f et son inverse soient strictement croissantes (c'est-à-dire préservent l'ordre). Dans le cas particulier où X est totalement ordonnée, la monotonie de f implique la monotonie de son inverse. Par exemple, l'ensemble des entiers et l'ensemble des nombres entiers pairs ont le même type d'ordre, parce que la correspondance et sa réciproque préservent toutes deux l'ordre.
Principe des tiroirsEn mathématiques, le principe des tiroirs de Dirichlet, affirme que, sans perte de généralité, si chaussettes sont rangées dans tiroirs, alors au moins un tiroir contient plus d’une chaussette. Mathématiquement, le principe peut s'énoncer ainsi : Si et sont deux ensembles finis tels que , alors il n'existe pas d'application injective de dans . La première version du principe fut énoncée par Dirichlet en 1834 sous le nom de Schubfachprinzip (« principe du tiroir ») ; sa première utilisation lui est cependant antérieure d'au moins deux siècles.
Commensurabilité (mathématiques)La commensurabilité est un terme mathématique essentiellement employé en histoire des mathématiques. Utilisé principalement dans la Grèce antique, il correspond au concept actuel de nombre rationnel. En mathématiques, deux grandeurs de même nature (deux longueurs, deux aires, deux volumes, etc.) non nulles a et b sont commensurables si et seulement s'il existe une unité u de ces grandeurs dont a et b soient multiples, i.e. tels qu'il existe un couple d'entiers (m, n) tels que a = mu et b = nu.
