layout | title |
---|---|
post |
Théorie naïve des ensembles |
- Définition naïve d'ensemble et de fonction;
- Paradoxe de Russel;
- Opérations ensemblistes;
- Injectivité, surjectivité, bijectivité;
- Cardinalité des ensembles finis;
- Cardinalité des ensembles infinis, ensembles dénombrables;
- Argument diagonal de Cantor : non dénombrabilité de
$$ℝ$$ .
- Arnold - Guessarian, Sections 1.1 -- 1.3;
- Vélu, Chapitres 1 -- 3.
Notez que Vélu fait une exposition plus détaillée et riche en exemples par rapport à Arnold et Guessarian. Vous pourrez aussi consulter les pages sur les ensembles et les fonctions du cours IN310.