Ensembles Dénombrables Flashcards
Qu’appelle-t-on A ⊂ IN fini ? Qu’appelle-t-on son cardinal ?
A est fini s’il existe p€IN et φ : A → [|1,p|] bijective. Alors, p est unique et on l’appelle cardinal de A
Qu’appelle-t-on A ⊂ IN infini ?
On dit que A est infini s’il n’est pas fini
Qu’appelle-t-on un ensemble dénombrable ?
A est dénombrable s’il existe une bijection de A sur IN
Qu’appelle-t-on un ensemble au plus dénombrable ?
A est au plus dénombrable si A est fini ou s’il existe une bijection de A sur IN
Montrer que IN* est dénombrable
φ : p → p -1 est une bijection de IN* dans IN
Montrer que Z est dénombrable
…5|3|1|0|2|4|6…
Qu’appelle-t-on cardinal d’un ensemble dénombrable ?
Que peut-on dire du cardinal de Z ?
Card(Z) = card(IN) = ℵ0, car il existe une bijection entre les deux !
Qu’est-ce que le premier critère de au plus dénombrabilité ?
Justif
Montrer que Q est dénombrable
Montrer que IN² est dénombrable
Que peut-on dire du produit cartésien fini d’ensembles dénombrables ?
Justif
Qu’est-ce que le deuxième critère d’au plus dénombrabilité ?
Justif
Pas par unicité du min, juste parce que ψ(g(x)) = ψ(g(x’)) ⇒ x = x’ par def de g
Que peut-on dire de la réunion et de la dénombrabilité ?
Justif
Définir une famille sommable de réels indexés par un ensemble dénombrable
Définir la somme d’une famille sommable de réels positifs indexée par un ensemble dénombrable
Comment montrer qu’une famille est sommable en passant par une suite ? Que vaut alors sa somme ?
Définir un famille de réels/complexes sommables
Quel est l’équivalent de l’absolue convergence généralisée ?
Qu’est-ce que le théorème de la sommation par paquet ?