Chapitre 5 Flashcards
À quoi servent les cardinaux ?
Ce sont des représentants des classes d’équipotence d’ordinaux
Qu’est-ce qu’un cardinal ?
Un ordinal qui est le plus petit de sa classe d’équipotence, c’est-à-dire qu’il n’est en bijection avec aucun ordinal plus petit que lui
Exemples de cardinaux finis
Tous les ordinaux finis (entiers) sont des cardinaux
Exemples de cardinaux infinis
ω est un cardinal infini, puisque c’est le plus petit ordinal infini
Qu’est-ce que Card ?
La classe de tous les cardinaux (qui ne forment pas un ensemble)
Lien entre les ensembles et les cardinaux (énoncé)
Tout ensemble est en bijection avec un unique cardinal
Lien entre les ensembles et les cardinaux (schéma de preuve)
- On sait que pour tout ensemble bien ordonné (A, <), il existe un unique ordinal α tel que (α, ∈) est isomorphe à (A, <), et donc il existe une bijection entre A et α
- Soit κ le plus petit ordinal en bijection avec α, et par transitivité A est en bijection avec κ qui est un cardinal par construction
- Il y a unicité car deux cardinaux ne sont jamais en bijection, sinon le plus grand des deux ne peut pas être un cardinal par définition
Qu’est-ce que la cardinalité ?
L’unique cardinal κ tel que l’ensemble A est en bijection avec κ est appelé cardinalité de A et noté ||A||
Lien entre la cardinalité et les applications entre ensembles (énoncé)
Pour tout couple d’ensembles A, B
- il existe une injection de A dans B si et seulement si ||A|| ≤ ||B||
- il existe une surjection de A dans B si et seulement si ||A|| ≥ ||B||
- il existe une bijection de A dans B si et seulement si ||A|| = ||B||
Lien entre la cardinalité et les applications entre ensembles (schéma de preuve)
- Avec les bijections de A sur ||A|| et de B sur ||B||, on obtient les injections et surjections de ||A|| dans ||B|| à partir de celles de A dans B
- Pour deux cardinaux κ et λ, soit κ ≤ λ et l’identité est une injection de κ dans λ, soit κ > λ et il n’y a pas d’injection de κ dans λ, sinon il y aurait bijection par Cantor-Bernstein
Lien entre la cardinalité et les parties
Pour tout ensemble A, ||P(A)|| > ||A||
Cardinal des ensembles finis
Si A est un ensemble fini de cardinal n, et si a n’appartient pas à A, alors A ∪ {a} est fini de cardinal n + 1
Dénomnbrement des ensembles finis
Soient A et B des ensembles finis de taille p et q respectivement,
- ||A ∪ B|| + ||A ∩ B|| = p + q
- || A × B|| = pq
- ||AB|| = pq
Qu’est-ce que le successeur d’un cardinal ?
Pour tout cardinal infini κ, il existe un plus petit cardinal strictement supérieur à κ qui correspond au plus petit ordinal ne s’injectant pas dans κ : le successeur de κ noté κ+
Qu’est-ce qu’un cardinal successeur ?
Un cardinal de la forme κ+
Qu’est-ce qu’un cardinal limite ?
Un cardinal qui n’est pas successeur
Borne supérieur de cardinaux
Soit (I, <) un ensemble totalement ordonné et (κi)i ∈ I une suite strictement croissante de cardinaux, alors supi ∈ Iκi est un cardinal
Définition d’aleph
Pour tout ordinal α, on appelle α-ème aleph le cardinal infini ℵα
Lien entre les cardinaux infinis et aleph
Tout cardinal infini est un aleph, par surjectivité de la suite des ℵα
Qu’est-ce que ωα ?
Le cardinal ℵα vu comme un ordinal plutôt que comme le représentant d’une classe d’équipotence
Addition de deux cardinaux
κ + λ = ||κ ⊞ λ||
Produit de deux cardinaux
κ × λ = ||κ × λ||
Exponentiation de deux cardinaux
κλ = ||λκ||, où λκ est l’ensemble des applications de λ dans κ
Cardinal de l’addition de deux ordinaux
Pour ||A|| = κ et ||B|| = λ , ||A + B|| = κ + λ
Cardinal du produit de deux ordinaux
Pour ||A|| = κ et ||B|| = λ , ||A × B|| = κ × λ
Cardinal de l’exponentiation de deux ordinaux
Pour ||A|| = κ et ||B|| = λ , ||BA|| = κλ
Carré d’un cardinal
Pour tout ordinal α, ℵα × ℵα = ℵα
Addition et produit d’alephs
ℵα + ℵβ = ℵα × ℵβ = max(ℵα, ℵβ)
Qu’est-ce que le cardinal ℵω ?
C’est la borne supérieur des ℵn pour n entiers
Qu’est-ce qu’une partie cofinale ?
A ⊆ B est une partie cofinale de B si tout élément de B a un majorant dans A, c’est-à-dire que l’ensemble B “va au bout” de A
Parties cofinales d’un cardinal ?
Soit κ un cardinal, tout sous-ensemble de κ de cardinal κ est cofinal dans κ
Qu’est-ce que la cofinalité d’un ensemble bien ordonné ?
Soit (A, <) un ensemble bien ordonné, la cofinalité de (A, <) est cf(A, <) le plus petit ordinal θ tel qu’il existe une suite structement croissante d’ordinaux (αξ)ξ<θ telle que αξ < α pour tout ξ, et α = supξ<θ αξ
Propriétés de la cofinalité pour un ordinal quelconque
- cf(α) ≤ α
- cf(cf(α)) = cf(α)
- cf(α) est un cardinal
Propriétés de la cofinalité pour un ordinal limite
cf(λ) = cf(ℵλ)