Construction des entiers naturels

Documents pareils
Axiomatique de N, construction de Z

De même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que

Exo7. Calculs de déterminants. Fiche corrigée par Arnaud Bodin. Exercice 1 Calculer les déterminants des matrices suivantes : Exercice 2.

Structures algébriques

Problème 1 : applications du plan affine

I. Ensemble de définition d'une fonction

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours

Calcul matriciel. Définition 1 Une matrice de format (m,n) est un tableau rectangulaire de mn éléments, rangés en m lignes et n colonnes.

AC AB. A B C x 1. x + 1. d où. Avec un calcul vu au lycée, on démontre que cette solution admet deux solutions dont une seule nous intéresse : x =

Image d un intervalle par une fonction continue

Le produit semi-direct

108y= 1 où x et y sont des entiers

Cours d arithmétique Première partie

1 Définition et premières propriétés des congruences

La fonction exponentielle

Première partie. Préliminaires : noyaux itérés. MPSI B 6 juin 2015

Probabilités sur un univers fini

Limites finies en un point

Le théorème de Thalès et sa réciproque

Exercices - Polynômes : corrigé. Opérations sur les polynômes

Angles orientés et trigonométrie

Raisonnement par récurrence Suites numériques

Représentation d un entier en base b

DOCM Solutions officielles = n 2 10.

Planche n o 22. Fonctions de plusieurs variables. Corrigé

Chapitre 2 Le problème de l unicité des solutions

Chapitre 2. Matrices

Continuité en un point

Problèmes de Mathématiques Filtres et ultrafiltres

Enoncé et corrigé du brevet des collèges dans les académies d Aix- Marseille, Montpellier, Nice Corse et Toulouse en Énoncé.

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable

Cours d Analyse. Fonctions de plusieurs variables

6. Les différents types de démonstrations

Chapitre 1 : Évolution COURS

3 ème 2 DÉVELOPPEMENT FACTORISATIONS ET IDENTITÉS REMARQUABLES 1/5 1 - Développements

Corrigé du baccalauréat S Asie 21 juin 2010

FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)

Fonctions de plusieurs variables

Intégration et probabilités TD1 Espaces mesurés Corrigé

1S Modèles de rédaction Enoncés

Extrait du poly de Stage de Grésillon 1, août 2010

Développement décimal d un réel

I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES

CHAPITRE IV. L axiome du choix

Continuité d une fonction de plusieurs variables

Correction : E = Soit E = -1,6. F = 12 Soit F = y = 11. et G = -2z + 4y G = 2 6 = 3 G = G =

* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours.

Université Paris-Dauphine DUMI2E 1ère année, Applications

Rappels et compléments, première partie : Nombres complexes et applications à la géométrie

UNIVERSITE IBN ZOHR Faculté des sciences Agadir. Filière SMA & SMI. Semestre 1. Module : Algèbre 1

Chapitre 3. Quelques fonctions usuelles. 1 Fonctions logarithme et exponentielle. 1.1 La fonction logarithme

Logique. Plan du chapitre

CONJUGUÉ D'UN POINT PAR RAPPORT À UN TRIANGLE

Cours de mathématiques

FONDEMENTS DES MATHÉMATIQUES

Dérivation : cours. Dérivation dans R

CCP PSI Mathématiques 1 : un corrigé

Cours Fonctions de deux variables

Continuité et dérivabilité d une fonction

Suites numériques 3. 1 Convergence et limite d une suite

Une forme générale de la conjecture abc

Activités numériques [13 Points]

Fonctions homographiques

Dérivées d ordres supérieurs. Application à l étude d extrema.

Exercices - Fonctions de plusieurs variables : corrigé. Pour commencer

Représentation géométrique d un nombre complexe

1 radian. De même, la longueur d un arc de cercle de rayon R et dont l angle au centre a pour mesure α radians est α R. R AB =R.

Intégration et probabilités TD1 Espaces mesurés

Date : Tangram en carré page

Algèbre binaire et Circuits logiques ( )

EXERCICE 4 (7 points ) (Commun à tous les candidats)

Présentation du cours de mathématiques de D.A.E.U. B, remise à niveau

I. Polynômes de Tchebychev

Comparaison de fonctions Développements limités. Chapitre 10

Cryptographie et fonctions à sens unique

Exo7. Limites de fonctions. 1 Théorie. 2 Calculs

CORRIGE LES NOMBRES DECIMAUX RELATIFS. «Réfléchir avant d agir!»

Géométrie dans l espace Produit scalaire et équations

Corrigé du baccalauréat S Pondichéry 12 avril 2007

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

Quelques tests de primalité

Proposition. Si G est un groupe simple d ordre 60 alors G est isomorphe à A 5.

L ALGORITHMIQUE. Algorithme

Différentiabilité ; Fonctions de plusieurs variables réelles

CHAPITRE 10. Jacobien, changement de coordonnées.

Mathématiques Algèbre et géométrie

Géométrie dans l espace

Optimisation des fonctions de plusieurs variables

Bac Blanc Terminale ES - Février 2011 Épreuve de Mathématiques (durée 3 heures)

Calcul fonctionnel holomorphe dans les algèbres de Banach

Résolution d équations non linéaires

Représentation des Nombres

Relation d ordre. Manipulation des relations d ordre. Lycée Pierre de Fermat 2012/2013 Feuille d exercices

Exercices de géométrie

Premiers exercices d Algèbre. Anne-Marie Simon

Moments des variables aléatoires réelles

Introduction à l étude des Corps Finis

Nombres premiers. Comment reconnaître un nombre premier? Mais...

Chapitre 14. La diagonale du carré

DÉRIVÉES. I Nombre dérivé - Tangente. Exercice 01 (voir réponses et correction) ( voir animation )

Transcription:

Construction des entiers naturels Tout ce qui suit est une définition et l étude des propriétés élémentaires de l ensemble des entiers naturels, définis dans le cadre axiomatique de la théorie des ensembles. Nous utilisons ces propriétés sans y penser, elles nous semblent évidentes... Mais peut-être méritent-t elles parfois que l on s y attarde quelque peu? Le cadre de théorie des ensembles est ici l axiomatique de Zermelo-Fraenkel, ainsi que l axiome de fondation, même si celui-ci n est pas réellement nécessaire. On pourra trouver une introduction à cette axiomatique dans le texte Les axiomes de théorie des ensembles. 1 Définition. Propriétés Axiome : Il existe un ensemble N (dont les éléments sont dits entiers naturels) vérifiant les propriétés suivantes : (i) N (ii) L inclusion est un bon ordre sur N (i.e. tout sous-ensemble non vide de N admet un plus petit élément). (iii) En notant N = N\ { } : n N m N, n = m {m} Remarques n N, n {n} N n N, n n {n} et n n {n} Notation : = 0 ; 0 {0} = 1 ; 1 {1} = 2... La relation d ordre sur N est notée ; on définit sur N la relation par : n m [n m et n m] Remarque étant un bon ordre, c est un ordre total sur N. Théorème 1.1 La relation vérifie : a x a {a} [x = a ou x = a {a}] Démonstration : Supposons x a. a x et a x donc y x\a. Alors y x donc y a {a} ; et comme y / a on a y {a} donc y = a et donc a x. D où {a} x ; et comme a x, on a bien a {a} x donc a {a} = x. 1

Théorème 1.2 L application ϕ de N dans N qui à un entier n associe l entier ϕ(n) = n {n} est une bijection de N sur N. Démonstration : ϕ est surjective d après la définition de N. Soient m et n deux entiers de même image par ϕ. On peut supposer n m ( est un ordre total). ϕ(m) = ϕ(n) m {m} = n {n}. Alors m m {m} = n {n} ; or m m {m} (sinon on aurait m m), donc m n {n}. C est-à-dire que n m n {n} et donc m = n. N.B. La propriété x / x est prise ici comme axiome, conséquence de l axiome de fondation. Sans cet axiome, cette propriété reste toutefois vérifiée pour x un entier, et de manière plus générale pour x un ordinal (l appartenance étant un ordre strict sur tout ordinal). Remarque N est donc un ensemble infini (car en bijection avec une de ses parties strictes). 2 Récurrence Théorème 2.1 (principe de récurrence) Soit A N tel que : 0 A n N, n A ϕ(n) A Alors A = N. Démonstration : Supposons A N et notons n le plus petit élément de N\A (qui existe puisque est un bon ordre). Alors n N (car 0 A) ; et d autre part ϕ 1 (n) A (car ϕ 1 (n) n). Donc n = ϕ(ϕ 1 (n)) A, ce qui contredit la définition de n. Remarque (Principe de récurrence finie) Soit b N et B = {n N n b}. Soit A B tel que : 0 A n B\ {b}, n A ϕ(n) A Alors A = B. (démonstration identique à la précédente, en remplaçant N par B). Le principe de la démonstration par récurrence est donc le suivant. Pour prouver une propriété P n (propriété dépendant de n) pour tout n N, il suffit de prouver que : P 0 est vraie. n N, P n P ϕ(n) On applique ensuite le principe de récurrence à l ensemble A = {n N P n }. Théorème 2.2 Pour tout entier n, on a : n = {m N m n} 2

Démonstration : Par récurrence. La propriété P n est ici [n = {m N m n}]. 1) P 0 est ici 0 = {m N m 0}. Comme 0 =, aucun entier m ne peut vérifier m 0 (c est-à-dire m et m ). Donc P 0 est vraie. 2) Par hypothèse de récurrence, n = {m N m n}. Montrons que ϕ(n) = {m N m ϕ(n)}, c est-à-dire que n {n} = {m N m ϕ(n)}. a) Soit m n {n}. Alors m n ou m {n}, c est-à-dire m = n. Si m n, alors m n (par hypothèse de récurrence) ; donc m ϕ(n) (car n ϕ(n)). Si m = n, alors m ϕ(n). b) Soit m ϕ(n) = n {n}. Alors m n (sinon n m ϕ(n), ce qui est impossible). Si m n, alors par hypothèse de récurrence m n donc m n {n}. Sinon m = n, donc m n {n}. Remarque m n m n m ϕ 1 (n) (sinon ϕ 1 (n) m ϕ(ϕ 1 (n)), ce qui est impossible). On note n = { 0, 1,, ϕ 1 (n) } 3 Addition dans N Pour tout a N on définit la fonction f a, de N dans N, de la façon suivante : { fa (0) = a n N, f a (ϕ(n)) = ϕ(f a (n)) Notation : On note f a (n) = a + n. On a ainsi défini une addition sur N. Les deux propriétés définissant f a se traduisent par : { a N, a + 0 = a a N, n N, a + ϕ(n) = ϕ(a + n) Remarque Pour n = 0 dans cette égalité, on obtient a + 1 = ϕ(a) donc : a N, n N, a + (n + 1) = (a + n) + 1 Propriétés de l addition : a) Associativité : a, b, c N, (a + b) + c = a + (b + c) Démonstration : Par récurrence sur c. c = 0 : (a + b) + 0 = a + b = a + (b + 0) On suppose (a + b) + c = a + (b + c) Alors (a + b) + (c + 1) = [(a + b) + c] + 1 = [a + (b + c)] + 1 = a + [(b + c) + 1] = a + [b + (c + 1)] 3

b) 0 est élément noutre. Démonstration : Il suffit de montrer a N, a N, a + 0 = a). Par récurrence sur a. a = 0 : 0 + 0 = 0 0 + a = a (on a déjà vu On suppose 0 + a = a. Alors 0 + (a + 1) = (0 + a) + 1 = a + 1. c) Commutativité : a, b N, Démonstration : Par récurrence sur b. b = 0 : a + b = b + a a + 0 = a = 0 + a On suppose a + b = b + a. Alors a + (b + 1) = (a + b) + 1 = (b + a) + 1 = b + (a + 1). Montrons par récurrence sur a que a + 1 = 1 + a : a = 0 : 0 + 1 = 1 = 1 + 0 Si a + 1 = 1 + a, alors (a + 1) + 1 = (1 + a) + 1 = 1 + (a + 1). On peut alors conclure : b + (a + 1) = b + (1 + a) = (b + 1) + a, et la commutativité a été établie par récurrence. d) Régularité de tout élément de N : a, b, c N, [a + b = a + c b = c] Démonstration : Par récurrence sur a. a = 0 : 0 + b = 0 + c b = c car 0 + b = b et 0 + c = c. On suppose [a + b = a + c b = c] Soient a, b et c tels que (a+1)+b = (a+1)+c. Alors a+(1+b) = a+(1+c) donc 1 + b = 1 + c. Il vient ϕ 1 (1 + b) = ϕ 1 (1 + c) soit b = c 4 Addition et relation Théorème 4.1 Pour tous entiers a et n, on a : a + n a Démonstration : Par récurrence sur n. Le résultat est vrai pour n = 0 : on a l égalité. Soit donc n N, on suppose a + n a. Alors a + (n + 1) = (a + n) + 1 = ϕ (a + n) a + n a, et l on conclue par récurrence. Théorème 4.2 Soient a et b deux entiers. Alors on a l équivalence : a b [ c N, b = a + c] 4

Démonstration : Par double implication. Par récurrence finie, on montre que pour b un entier fixé, a {0, 1,..., b}, c N, b = a + c Pour a = 0, on a bien b = 0 + b. Supposons le résultat établi pour a b. Soit donc c un entier tel que b = a + c. c N ; soit donc d = ϕ 1 (c). Alors c = d + 1, donc : b = a + (d + 1) = a + (1 + d) = (a + 1) + d Sachant que b = a + c (c N), supposons que a b. D après ce qui précède, il existe un entier d N tel que a = b + d. On obtient b = (b + d) + c = b + (d + c) Donc, comme b est régulier, d + c = 0. Or d + c d (théorème 4.1), donc d + c 0, et l on obtient une contradiction. Remarque Si a b, l entier c tel que b = a + c est unique. En effet, l égalité a + c = a + c 1 implique c = c 1, puisque a est régulier. Cet entier est appelé différence de a et b, et est noté b a. Théorème 4.3 L addition et la relation d ordre sont compatibles : [ a b et c d ] a + c b + d Démonstration : Soient a, b, c et d quatre entiers tels que [ a b et c d ]. Il existe des entiers a 1 et c 1 tels que b = a + a 1 et d = c + c 1. Mais alors, b + d = (a + c) + (a 1 + c 1 ) et donc b + d a + c 5 Multiplication dans N Pour tout a N ; on définit une fonction g a de N dans N par : { ga (0) = 0 n N, g a (n + 1) = g a (n) + a Notation : On note a n = g a (n) (on note encore a n ou an) ; on définit ainsi une multiplication sur N. Les deux propriétés ci-dessus se traduisent par : { a N, a 0 = 0 a N, n N, a(n + 1) = an + a Remarque a 1 = a 0 + a donc a 1 = a Propriétés de la multiplication : a) Distributivité sur l addition : a, b, c N, Démonstration : Par récurrence sur c. a(b + c) = ab + ac 5

c = 0 : a(b + 0) = ab = ab + a.0 On suppose a(b + c) = ab + ac. Alors : a [b + (c + 1)] = a [(b + c) + 1] = a(b + c) + a = (ab + ac) + a = ab + (ac + a) = ab + a(c + 1) La distributivité à droite découle alors de la commutativité, que nous allons montrer plus loin. b) Associativité : a, b, c N, Démonstration : Par récurrence sur c. (ab)c = a(bc) c = 0 : (ab) 0 = 0 = a(b 0) On suppose (ab)c = a(bc). Alors : (ab)(c + 1) = (ab)c + ab = a(bc) + ab = a(bc + b) = a [b(c + 1)] c) 1 est élément neutre. Démonstration : Il suffit de montrer, par récurrence sur a, que pour tout entier a, on a 1 a = a. a = 0 : 1 0 = 0 On suppose 1 a = a. Alors 1 (a + 1) = 1 a + 1 1 = a + 1. d) 0 est un élément absorbant. Démonstration : Par récurrence sur a, montrons que a N, 0 a = 0. a = 0 : 0 0 = 0 On suppose 0 a = 0. Alors 0 (a + 1) = 0 a + 0 1 = 0 + 0 = 0. e) Commutativité : a, b N, Démonstration : Par récurrence sur b. b = 0 : ab = ba a 0 = 0 = 0 a On suppose donc ab = ba. Alors a(b + 1) = ab + a = ba + a = b(a + 1). f) a, b N, ab = 0 [a = 0 ou b = 0] Démonstration : Comme 0 est absorbant, seul reste à démontre le sens ab = 0 [a = 0 ou b = 0]. Supposons ab = 0 et a 1. Montrons que b = 0. Si b 1, alors b s écrit b = 1 + c (c N) et ab = a(1 + c) = a + ac donc ab a 1, ce qui est une contradiction. Donc b = 0. g) Tout entier non nul est régulier pour la multiplication : a N, b, c N, [ab = ac b = c] Démonstration : Par symétrie, on peut suppoer b c. Alors b = c + d (d N). Donc ac = ab = a(c + d) = ac + ad 6

Et comme tout élément est régulier pour l addition, ad = 0. D après le point précédent, on a donc a = 0 ou bien d = 0. Comme par hypothèse a N, on a d = 0, c est-à-dire b = c. h) et sont compatibles : [a b et c d] ac bd Démonstration : Soient donc a, b, c et d tels que a b et c d. Il existe deux entiers a 1 et c 1 tels que b = a + a 1 et d = c + c 1. Alors : bd = (a + a 1 )(c + c 1 ) = a(c + c 1 ) + a 1 (c + c 1 ) = ac + (ac 1 + a 1 c + a 1 c 1 ) donc ac bd 6 Division euclidienne dans N Lemme 6.1 (d Archimède) Soient a et b entiers avec b non nul. Alors k N, a bk Démonstration : Il suffit de prendre k = a + 1. On a : (a + 1) b = ab + b ab a Théorème 6.2 (division euclidienne dans N) Soient a et b entiers avec b non nul. Alors { a = bq + r!(q, r) N N, r b Démonstration : Existence du couple (q, r). Soit E = {p N a pb}. D après le lemme d Archimède, E. Soit donc x = min E son plus petit élément. x 0 (puisque a 0), donc x 1. Si q = x 1, on a alors a xb = (q + 1)b et q / E, d où l encadrement qb a (q + 1)b = qb + b. Soit r = a bq. On obtient a = bq + r bq + b donc r b Unicité du couple (q, r). Soit a = bq + r = bq 1 + r 1 avec r b et r 1 b. Supposons par exemple r 1 r. Néccessairement q 1 q. Soit s tel que r 1 = r + s et t tel que q = q 1 + t. On a s b (car r 1 b). Il vient en remplaçant : b(q 1 + t) + r = bq 1 + r + s donc bt = s Si t 1, alors bt b donc s b, ce qui est absurde. Donc t = 0 et donc s = 0. On obtient donc q = q 1 et r = r 1. Définition L application ainsi définie, de N N dans N N, qui au couple (a, b) associe le couple (q, r) s appelle l opération de division euclidienne dans N. q est le quotient et r est le reste dans la division euclidienne de a par b. 7