NxN dénombrable

[Archytas]

tu parles à x fixé? c'est justement le problème, ce n'est pas forcément différent donc l'indice dans la définiton de f permet de différencier

Désolé, je comprends que dalle... Je m'y repencherais un autre moment ! Merci quand même !

[Nightmare]

Désolé, je comprends que dalle... Je m'y repencherais un autre moment ! Merci quand même !

L'idée de la démo est simple : on a un nombre dénombrable d'ensembles donc à chacun d'entre eux on peut associer un unique numéro. Puis chaque ensemble est lui même dénombrable donc on peut associer de même à chacun de leurs éléments un unique numéro. Au final chaque élément aura un couple de numéro unique (le premier étant celui de l'ensemble auquel il appartient et le second celui au sein de l'ensemble ) et on sait d'après l'exo 6 qu'à chaque couple de numéro on peut associer encore un unique numéro donc on a bien dénombrabilité.

[Archytas]

L'idée de la démo est simple : on a un nombre dénombrable d'ensembles donc à chacun d'entre eux on peut associer un unique numéro. Puis chaque ensemble est lui même dénombrable donc on peut associer de même à chacun de leurs éléments un unique numéro. Au final chaque élément aura un couple de numéro unique (le premier étant celui de l'ensemble auquel il appartient et le second celui au sein de l'ensemble ) et on sait d'après l'exo 6 qu'à chaque couple de numéro on peut associer encore un unique numéro donc on a bien dénombrabilité.

D'accord !!! Oui c'est plus simple avec des mots (: ! Ok ok, je vois merci à vous !