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 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 ?
Qu’est-ce que le théorème de Fubini faible ?
En gros si ça existe dans un sens ça existe aussi dans l’autre et on peut échanger
Qu’est-ce que le théorème de Fubini fort ?
Calculer
Définir un ensemble fini et un ensemble dénombrable
Comment montrer qu’un ensemble est dénombrable par une bijection ne portant pas sur IN ?