Table des matières
Avant-propos v
Notation vii
1 Éléments de logique et de théorie des ensembles 1
1.1 Quelques notions de logique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 Les connecteurs logiques de base . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Quelques méthodes de raisonnement . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4 Notions de base sur les ensembles. Quantificateurs . . . . . . . . . . . . . . . . . 8
1.5 Les symboles Xet Y................................ 10
1.6 Les théorèmes de récurrence . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.7 L’algèbre des parties d’un ensemble . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.8 Applications. Notions d’injectivité, surjectivité et bijectivité . . . . . . . . . . . 27
1.9 Cardinal d’un ensemble fini . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
1.10 Ensembles infinis dénombrables . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
2 Le corps Cdes nombres complexes 41
2.1 Conditions nécessaires à la construction de C. . . . . . . . . . . . . . . . . . . . 41
2.2 Construction de C.................................. 42
2.3 Conjugué et module d’un nombre complexe . . . . . . . . . . . . . . . . . . . . . 47
2.4 Les équations de degré 2............................... 51
2.5 Les équations de degré 3et 4. . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
2.6 Arguments d’un nombre complexe . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.7 Racines n-ièmes d’un nombre complexe . . . . . . . . . . . . . . . . . . . . . . . 71
2.8 Représentation géométrique des nombres complexes . . . . . . . . . . . . . . . . 74
3 Espaces vectoriels réels 79
3.1 L’espace vectoriel Rn................................. 79
3.2 Définition d’un espace vectoriel réel . . . . . . . . . . . . . . . . . . . . . . . . . 80
3.3 Sous-espaces vectoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
3.4 Applications linéaires . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
3.5 La base canonique de Rnet expression matricielle des applications linéaires de
Rndans Rm...................................... 90
3.6 Matrices réelles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
3.6.1 Opérations sur les matrices . . . . . . . . . . . . . . . . . . . . . . . . . 93
3.6.2 Matrices inversibles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 97
3.6.3 Déterminant d’une matrice d’ordre 2. . . . . . . . . . . . . . . . . . . . 102
3.6.4 Transposée d’une matrice . . . . . . . . . . . . . . . . . . . . . . . . . . 103
3.6.5 Trace d’une matrice carrée . . . . . . . . . . . . . . . . . . . . . . . . . . 105
iii