Théorie naïve des ensembles

Sujets abordés

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 $ℝ$ .

Sources

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.