Bonjour à tous,

J'ai lu une démonstration d'un théorème indiquant que si A était un ensemble dénombrable, alors l'était également.

Pour cela, l'auteur indique que est donc dénombrable. Puis il pose l'ensemble dénombrable pour . Un élément de A^n a alors la forme :

avec et

On peut alors identifier comme . Comme une réunion d'ensemble dénombrable est dénombrable, on peut conclure que l'est également.

Mais ce que je n'arrive pas à comprendre, c'est l'équivalence entre et ...

Quelqu'un pourrait-il m'aider ?

Merci d'avance
Phys2