Examinateur peu bavard, il n'intervenait pas dans la discussion hormis pour donner des indications.
1) Existe-t-il une famille dénombrable (non finie !) de parties infinies de N deux à deux disjointes ?
- Spoiler:
Oui
2) Existe-t-il une famille non dénombrable de parties infinies de N deux à deux disjointes ?
- Spoiler:
Non
3) Existe-t-il une famille non dénombrable de parties infinies de N d'intersection deux à deux finies ?
- Spoiler:
Regarder l'ensemble des parties de P (nombre premiers) pour indexer la famille
- Spoiler:
Il faut considérer certains types de produits, et retirer les parties finies. Il m'a fait démontrer à la fin de la question que l'ensemble des parties infinies de P est indénombrable
4) (suite de la question 3)
- Spoiler:
Redémontrer le résultat en considérant comme R\Q pour indexer la famille et une suite x_n de rationnels tendant vers x irrationnel. Il restait deux minutes donc il m'a aussi fait démontrer que R\Q est indénombrable.