Algebre et mathematique
37536 mots
151 pages
` ´ ALGEBRE ET ARITHMETIQUE 1Cours de l’Universit´ de Rennes 1 (2009–2010). e Url : http://perso.univ-rennes1.fr/david.bourqui/enseignement/0910S1/index.html#ar1
Ce texte est une version l´g`rement modifi´e du poly 2008-2009 du module AR1, qui avait ´t´ e e e ee r´dig´ par Christophe Mourougane sur la base d’un texte ant´rieur d’Antoine Chambert-Loir. e e e Que ces deux auteurs soient ici remerci´s. e 25 septembre 2009
` ´ ALGEBRE ET ARITHMETIQUE 1
` TABLE DES MATIERES
Partie I. Logique, th´orie des ensembles, nombres entiers naturels. . . . . . . . . . . . . . e 1. Logique et th´orie des ensembles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e 1.1. Un peu de logique. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. Un peu de th´orie des ensembles. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e 2. Les entiers naturels. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1. Construction des nombres entiers naturels. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. Le principe de r´currence. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e 2.3. Les op´rations ´l´mentaires sur N. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e ee 2.4. La relation d’ordre sur N. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.5. Quelques d´monstrations par r´currence. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . e e 2.6. Un peu d’histoire. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .