Cours arithmétique et groupes. Licence première année, premier

Cours arithmétique et groupes.
Licence première année, premier semestre
Raphaël Danchin, Rejeb Hadiji, Stéphane Jaffard,
Eva Löcherbach, Jacques Printems, Stéphane Seuret
Année 2006-2007
2
Table des matières
3
4TABLE DES MATIÈRES
Chapitre 1
Les ensembles de nombres
1.1 L’ensemble N
Naïvement, l’ensemble Ndes entiers positifs est l’ensemble des nombres
{0,1,2,3, . . .}.
Il est muni d’une relation d’ordre total notée ; cela signifie que, si a,bet csont trois entiers
quelconques, on a
abet bc=ac,
aa
abet ba=a=b,
et on a toujours abou ba(Nous reviendrons sur les relations d’ordre dans le chapitre ??).
De façon plus rigoureuse, on peut démontrer que, à une bijection respectant l’ordre près, il
existe un seul ensemble vérifiant les quatre axiomes suivants :
Axiome 1 L’ensemble Nest totalement ordonné, c’est-à-dire muni d’une relation d’ordre totale.
Axiome 2 Toute partie non vide de Na un plus petit élément.
(Ceci veut dire : Pour tout x, y N, x you yx, et : pour toute partie AN,xA
yA:xy.)
Axiome 3 L’ensemble Nn’a pas de plus grand élément.
Axiome 4 Tout élément Ndistinct du plus petit élément de Npossède un “prédécesseur”.
Rappelons qu’un prédécesseur de xest un entier yxtel que zN,tel que yzx, on a
z=xou z=y; on le notera x1(on montrera en exercice qu’un prédécesseur est nécessairement
unique).
1.1.1 Le Principe de récurrence
Soit f(n)une propriété dépendant de n.
Théorème 1.1.1 S’il existe un entier n0tel que f(n0)est vraie et si pour tout entier n,nn0,
f(n)entraîne f(n+ 1) alors pour tout entier n, n n0, f(n)est vraie.
Soit en utilisant les quantificateurs :
[n0Nf(n0)et nN, n n0,(f(n)f(n+ 1))] [nN, n n0, f(n)].
Démonstration : On va effectuer un raisonnement par l’absurde : notons
A={nn0:f(n)est faux},
5
1 / 57 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !