Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Table des mati`eres 1 Generalites 3
 

Summary: Table des mati`eres
1 G´en´eralit´es 3
1.1 Un peu de logique . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Vocabulaire . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 Op´erations logiques . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.3 Modes de raisonnement . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.1.4 Quantificateurs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 Th´eorie ´el´ementaire des ensembles . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.1 Ensembles, appartenance. . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.2 Inclusion. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.3 Op´erations sur les parties d'un ensemble . . . . . . . . . . . . . . . . 10
1.2.4 Produit cart´esien de deux ensembles . . . . . . . . . . . . . . . . . . 11
1.2.5 Relations. Applications . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.6 Image d'une partie . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.2.7 Applications injectives, surjectives, bijectives . . . . . . . . . . . . . . 13
1.2.8 Composition d'applications. . . . . . . . . . . . . . . . . . . . . . . . 14
1.2.9 Application r´eciproque d'une bijection . . . . . . . . . . . . . . . . . 15
2 Le corps des nombres r´eels 17
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Ensembles ordonn´es . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17

  

Source: Anker, Jean-Philippe - Laboratoire de Mathématiques et Applications, Physique Mathématique, Université d'Orléans

 

Collections: Mathematics