Table des matières
1 Langage mathématique 4
1.1 Ensembles de nombres classiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Propositions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Quanticateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.4 Opérateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4.1 Conjonction « et » . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4.2 Disjonction « ou » . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.4.3 Équivalence « équivaut à » . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4.4 Implication « implique » . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4.5 Négation « non » . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4.6 Identités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5 Énoncés et preuves . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5.1 Équivalences . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.5.2 Démonstration par contre exemple . . . . . . . . . . . . . . . . . . . . . 7
1.5.3 Démonstration par contraposition . . . . . . . . . . . . . . . . . . . . . 7
1.5.4 Démonstration par l’absurde . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5.5 Démonstration par disjonction des cas . . . . . . . . . . . . . . . . . . . 8
1.5.6 Énoncés mathématiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6 Ensembles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.6.1 Inclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6.2 Réunion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6.3 Intersection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6.4 Diérence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.6.5 Diérence symétrique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.6.6 Parties d’un ensemble . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.6.7 Identités . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.7 Intervalles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.8 Produit cartésien . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.9 Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2 Fonctions 13
2.1 Dénitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Constructions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2.3 Notions ensemblistes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.1 Images et préimages . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.2 Surjectivité et injectivité . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.3.3 Application réciproque . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.4 Fonctions réelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2