Bonjour,
Dans un livre de maths (Algèbre), j'ai trouvé une définition de la puissance d'un ensemble:
Soit E un ensemble, la collection de tous les ensembles équipotents à E, est dite puissance ou nombre cardinal de E.
D'abord, je n'ai pas compris ce que c'est la puissance d'un ensemble. De plus, d'après la d'éfinition, E est un ensemble quelconque, donc est ce qu'on peut parler de cardinal d'un ensemble discontinu comme ?
soit l'ensemble A={1,2,...,n} avec n, on a A
, donc il existe une injection de A dans
(injection canonique), mais comment montrer que A et
sont équipotents? (je veux prouver que A est dénombrable).
Bonjour lilealias.
En gros, la puissance d'un ensemble est la classe (la collection) de tous les ensembles qui sont en bijection entre eux.
Evidemment, un tel objet est indescriptible et on lui choisit un représentant qu'on appelle cardinal (du latin cardinalis (« autour duquel tout tourne »), dérivé de cardo (« pivot », « gond »). Ce sens est appliqué aux nombres autour desquels tout tourne).
Par exemple :
quel est le cardinal de l'ensemble vide ?
Comme il n'existe qu'un ensemble vide, alors il est le seul dans sa classe.
Donc le cardinal de l'ensemble vide est l'ensemble vide. On le note en général 0.
Quel est le cardinal de l'ensemble {0} ?
Là, il existe une très grosse classe d'objet qui sont en bijection avec {0} : ce sont tous les éléments de la forme {x}.
Là, il est plus difficile de choisir un élément privilégié dans cette classe pour servir de cardinal. Alors on le note 1 et on a 0 1.
Quel est le cardinal de l'ensemble {0,1} ?
Là aussi il existe une très grosse classe d'objet qui sont en bijection avec {0,2} : ce sont tous les éléments de la forme {x,y} avec x y.
Là aussi il est difficile de choisir un élément privilégié dans cette classe pour servir de cardinal. Alors on le note 2.
Bref, là, on construit tous les cardinaux finis.
Etc etc.
Quel est le cardinal de l'ensemble ?
La classe de l'ensemble est donc constituée de tous les ensembles en bijection avec
Là, pareil difficile de choisir un élément privilégié dans cette classe pour servir de cardinal. Alors on le note .
Quel est le cardinal de l'ensemble ?
La classe de l'ensemble est donc constituée de tous les ensembles en bijection avec
Là, pareil difficile de choisir un élément privilégié dans cette classe pour servir de cardinal. Alors on le note .
On a donc .
On a
L'hypothèse du continu affirme qu'il n'existe aucun ensemble dont le cardinal soit strictement compris entre et
Bonjour,
@jsvdb,
Tes explications sont très claires ( pour moi en tous cas ), mais
avant d'écrire
, ne faudrait-il pas définir une relation d'ordre quelque part ?
Bonjour Sylvieg.
Effectivement, je ne suis pas rentré dans tous les détails, mais oui, il faut définir une relation d'ordre sur la classe des puissances, et ce à l'aide des cardinaux.
Si et
sont deux cardinaux (disons, accessibles dans un premier temps), on a
s'il existe une injection
.
Alors je confonds le cardinal et l'un des quelconques représentants de la classe qu'il représente. L'ordre sur la classe propre des cardinaux accessible est un ordre total et même un bon ordre.
On peut définir des opérations sur les cardinaux et notamment si est un cardinal, alors on peut définir
qui est un cardinal.
Dans ce cas, un cardinal est dit fini si .
Et l'hypothèse du continu généralisée dit que si un cardinal est infini alors, en désignant par
un cardinal qui lui est strictement supérieur, alors
contient au moins une partie équipotente à
.
Ou encore que si est un cardinal infini, le cardinal qui lui est immédiatement supérieur est
et il n'existe aucun cardinal compris entre ces deux là.
Merci beaucoup Mr jsvdb pour cette explication claire, j'ai aussi trouvé que l'hypothèse du continu est prouvée par Cantor en utilisant le procédé diagonal.
Je veux juste comprendre comment prouver que l'ensemble {1,2,...,n} est dénombrable, i.e. qu'il y'a une bijection entre {1,2,...,n} est , et par conséquent je suis confondu, car si c'était le cas (bijection entre deux ensembles) alors {1,2,...,n} et
ont le même cardinal ?
Et un ensemble est fini si son cardinal est fini.
INn est en bijection avec {0,1,...n-1} donc son cardinal est celui que je note .
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :