Concept
Aleph (nombre)
Concepts associés (32)
Puissance du continu
En mathématiques, plus précisément en théorie des ensembles, on dit qu'un ensemble E a la puissance du continu (ou parfois le cardinal du continu) s'il est équipotent à l'ensemble R des nombres réels, c'est-à-dire s'il existe une bijection de E dans R. Le cardinal de R est parfois noté , en référence au , nom donné à l'ensemble ordonné (R, ≤). Cet ordre (et a fortiori le cardinal de l'ensemble sous-jacent) est entièrement déterminé (à isomorphisme près) par quelques propriétés classiques.
Nombre transfini
vignette|Le mathématicien George Cantor (1918). Les nombres transfinis sont des nombres exposés et étudiés par le mathématicien Georg Cantor. Se fondant sur ses résultats, il a introduit une sorte de hiérarchie dans l'infini, en développant la théorie des ensembles. Un nombre entier naturel peut être utilisé pour décrire la taille d'un ensemble fini, ou pour désigner la position d'un élément dans une suite. Ces deux utilisations correspondent aux notions de cardinal et d'ordinal respectivement.
Cofinalité
Considérons un ensemble A muni d'une relation binaire ≤. Un sous-ensemble B de A est dit cofinal si : pour tout élément a de A, il existe un élément b de B tel que a ≤ b ; ∀ a ∈ A, ∃ b ∈ B \ a ≤ b. La cofinalité de l'ensemble A est le cardinal du plus petit sous-ensemble cofinal de A. La cofinalité d'un ordinal limite est le plus petit ordinal tel qu'il existe une fonction non majorée. Cet ordinal est usuellement noté ou . Intuitivement, est le plus petit nombre de pas à faire pour arriver au bout de .
Nombre réel
En mathématiques, un nombre réel est un nombre qui peut être représenté par une partie entière et une liste finie ou infinie de décimales. Cette définition s'applique donc aux nombres rationnels, dont les décimales se répètent de façon périodique à partir d'un certain rang, mais aussi à d'autres nombres dits irrationnels, tels que la racine carrée de 2, π et e.
Axiome de l'infini
En mathématiques, dans le domaine de la théorie des ensembles, l'axiome de l'infini est l'un des axiomes de la théorie des ensembles de Zermelo-Fraenkel, qui assure l'existence d'un ensemble infini, plus précisément d'un ensemble qui contient une représentation des entiers naturels. Il apparait dans la première axiomatisation de la théorie des ensembles, publiée par Ernst Zermelo en 1908, sous une forme cependant un peu différente de celle exposée ci-dessous.
Nombre ordinal
vignette|Spirale représentant les nombres ordinaux inférieurs à ωω. En mathématiques, on appelle nombre ordinal un objet permettant de caractériser le type d'ordre d'un ensemble bien ordonné quelconque, tout comme en linguistique, les mots premier, deuxième, troisième, quatrième, etc. s'appellent des adjectifs numéraux ordinaux, et servent à préciser le rang d'un objet dans une collection, ou l'ordre d'un événement dans une succession.
Ordinal limite
En 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.
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.
Équipotence
En mathématiques, l’équipotence est une relation entre ensembles, selon laquelle deux ensembles sont équivalents lorsqu'il existe une bijection entre eux. Cette notion permet de définir la cardinalité, c'est-à-dire le nombre d'éléments d'un ensemble, qu'il soit fini ou infini. La subpotence est une relation plus faible, satisfaite lorsqu'il existe une injection entre deux ensembles. Elle permet de définir une comparaison de taille entre les ensembles, sans présupposer la construction des nombres cardinaux.
Théorie des ensembles de Zermelo-Fraenkel
vignette|L'appartenance En mathématiques, la théorie des ensembles de Zermelo-Fraenkel, abrégée en ZF, est une axiomatisation en logique du premier ordre de la théorie des ensembles telle qu'elle avait été développée dans le dernier quart du par Georg Cantor. L'axiomatisation a été élaborée au début du par plusieurs mathématiciens dont Ernst Zermelo et Abraham Fraenkel mais aussi Thoralf Skolem.