Вы находитесь на странице: 1из 6

BORNE SUPERIEURE

P. Pansu 15 fvrier 2005 e

Motivation
Grandeur et mis`re de Q. e

1.1

Proprits de lordre dans Q e e

Lordre est compatible avec les oprations daddition et de multiplication (par exemple, x y e et a 0 entra ax ay). ne Q est archimdien : pour tous x > 0 et y > 0, il existe n 1 entier tel que nx > y. e Q est dense en soi : si a < b, il existe c Q tel que a < c < b.

1.2

Des quations sans solutions dans Q e

Thor`me 1 (Hippias). Lquation x2 = 2 na pas de solution dans Q. e e e Interprtation gomtrique : la diagonale dun carr de ct rationnel nest pas rationnelle. e e e e oe Interprtation graphique : la parabole dquation y = x2 2 ne coupe pas laxe Ox. e e Interprtation analytique : la proprit des valeurs intermdiaires nest pas vraie dans Q, les e ee e raisonnements par continu e, ncessaires ` la gomtrie dEuclide, sont impossibles. t e a e e Interprtation en terme dordre. Lensemble {x Q | x2 2} nest pas un intervalle de Q. Il e ne poss`de pas de plus grand lment. e ee

1.3

Objectif

R compense les faiblesses de Q. On va dduire toutes les proprits remarquables de R, et les e ee thor`mes fondamentaux de lanalyse, dune seule proprit, lexistence de la borne suprieure. e e ee e

Relation dordre
Le vocabulaire familier pour Q peut tre utilis dans des situations plus gnrales. e e e e

2.1

Dnition e

Dnition 1 Une relation dordre R sur un ensemble E, cest une relation, note x R y, qui est e e Rexive : pour tout x E, x R x. e Antisymtrique : x R y et y R x entra x = y. e ne Transitive : x R y et y R z entra x R z. ne Exemple 2 E = Q avec lordre usuel. E = lensemble des parties dun ensemble, avec linclusion. E = un dictionnaire, avec lordre alphabtique. e

2.2

Ordre total

Dnition 3 Un ensemble muni dune relation dordre est dit totalement ordonn si deux le e ee ments sont toujours comparables, i.e. ou bien x R y, ou bien y R x. Exemple 4 Q, le dictionnaire, sont totalement ordonns. Lensemble des parties dun ensemble e ne lest pas.

3
3.1

Majorant, borne suprieure e


Majorant, plus grand lment ee

Dnition 5 Soit E un ensemble muni dune relation dordre note . Soit A E. Un lment e e ee y E est un majorant de A si pour tout x A, x y. y est un minorant de A si pour tout x A, y x. Exemple 6 Soit, dans Q, A = {x Q | x2 2}. Alors 2 est un majorant de A, 2 un minorant de A. 3/2 est aussi un majorant de A. Soit, dans Q, B lensemble des rationnels positifs dont la partie enti`re est un nombre ` deux e a chires. Alors 100 est un majorant de B. Soit, dans Q, C lensemble des rationnels dont le dnominateur na que des chires 9. Alors C e na pas de majorant. Dnition 7 Soit E un ensemble muni dune relation dordre note . Soit A E. Un lment e e ee y A est le plus grand lment de A si, pour tout x A, x y. Lorsquil existe, on note le plus ee grand lment y = max A. ee De mme, y A est le plus petit lment de A si, pour tout x A, x y. Lorsquil existe, on e ee note le plus petit lment y = min A. ee Exemple 8 Dans la liste de lexemple 6, A, B et C nont pas de plus grand lment. ee Cest clair pour C qui ne poss`de aucun majorant. Pour B, on remarque que si x B, alors e x < 100. Il existe un rationnel y tel que x < y < 100. Alors y B, donc x nest pas le plus grand lment de B. Pour A, on raisonne par labsurde. Supposons que A poss`de un plus grand lment ee e ee y. Par dnition, y 2 < 2. Il existe un entier n tel que 2 y 2 > 10n . On pose z = y + 10n1 . e Comme y < 2, z2 = y 2 + 2y.10n1 + 102n2 < y 2 + 2y.10n1 + 10n1 < y 2 + 5.10n1 < y 2 + 10n < 2.

Donc z B et y < z, contradiction. On conclut que A na pas de plus grand lment. ee Remarque 9 Si A poss`de un plus grand lment y, alors y est un majorant de A, et cest e ee videmment le plus petit possible. e

3.2

Borne suprieure e

Dnition 10 Soit E un ensemble muni dune relation dordre note . Soit A E. Un lment e e ee y E est appel borne suprieure de A, not y = sup A, si e e e y est un majorant de A. y est le plus petit des majorants de A. De mme, on dit que y E est la borne infrieure de A, not y = inf A, si e e e y est un majorant de A. y est le plus petit des majorants de A. Clairement, si la borne suprieure de A existe, elle est unique. e 2

Exemple 11 Dans la liste de lexemple 6, B poss`de une borne suprieure, cest 100. Ce nest pas e e le plus grand lment de B. ee En eet, tout rationnel positif dont la partie enti`re a deux chires est < 100, donc 100 est un e majorant, et 100 nest pas un lment de B. Soit y un rationnel positif, y < 100. Alors il existe ee un rationnel z tel que y < z < 100. Ce z appartient ` B, donc y nest pas un majorant de B. a On conclut que tout majorant de B est 100, donc 100, le plus petit des majorants, est la borne suprieure de B. e Remarque 12 Si A E poss`de une borne suprieure y et y A, alors y est le plus grand e e lment de A. Dans ce cas, on dit que la borne suprieure est atteinte. ee e Ce nest pas toujours le cas, comme le montre lexemple de lensemble B. Exemple 13 Dans la liste de lexemple 6, A ne poss`de pas de borne suprieure. e e Par labsurde. Supposons que A poss`de une borne suprieure y Q. Comme A ne poss`de pas de e e e plus grand lment, y 2 > 2. Il existe un entier n tel que y 2 2 > 10n . On pose z = y 10n1 . ee On remarque que y < 2. Si x z, x2 z 2 = y 2 2y.10n1 + 102n2 > y 2 2y.10n1 > y 2 4.10n1 > y 2 10n > 2. Par consquent, tout x A est < z. Donc z est un majorant de A, et z < y, contradiction. On e conclut que A na pas de borne suprieure. e Fin du cours n0 1

Nombres rels e

On se contente dune notion intuitive de nombre rel. Elle peut-tre assise sur une base solide, e e au prix de dmonstrations plutt fastidieuses. e o Un nombre rel, cest un dveloppement dcimal illimit. Soit x = 0.9999.... Alors 10x = 9 + x, e e e e donc x = 1. Plus gnralement, il faut identier un dveloppement qui se termine par une suite de e e e 9 avec un nombre dcimal, i.e. dont le dveloppement se termine par une suite de zros. Autrement e e e dit, chaque nombre rel non dcimal poss`de exactement un dveloppement dcimal, et chaque e e e e e nombre dcimal en poss`de exactement 2. e e

4.1

Deux caractrisations de la borne suprieure e e

Proposition 14 Soit A R. Le rel y est la borne suprieure de A si et seulement si e e y est un majorant de A ; > 0, il existe x A tel que x > y . Preuve. Soit y = sup A le plus petit des majorants de A. Alors > 0, y < y nest pas un majorant de A, donc il existe x A tel que x > y . Rciproquement, soit y un majorant de A. Si y nest pas le plus petit, il existe un autre majorant e z < y. Posant = y z, on voit que pour tout x A, x z = y . Cest la contrapose de e lnonc. e e Proposition 15 Soit A R. Le rel y est la borne suprieure de A si et seulement si e e y est un majorant de A ; il existe une suite de nombres xn A qui converge vers y.

Preuve. Soit y = sup A la borne suprieure de A. Appliquons la proposition 14 aux nombres e 1 de la forme 1/n, n entier. Il existe xn A tel que xn > y n . Comme y est un majorant de A, xn y. Cela prouve que xn tend vers y. Rciproquement, soit y un majorant de A, (xn ) une suite dlments de A telle que y = lim xn . e ee Etant donn > 0, il existe N tel que e n N |xn y| < . En particulier, xn > y , ce quil fallait dmontrer. e Exemple 16 Considrons la suite un = (1)n n1 et lensemble A = {un | n 1}. Alors sup A = e n 1. En eet, pour tout n 1, un n1 1, donc 1 est un majorant de A. Dautre part, la suite n e des termes pairs xn = u2n = 2n1 converge vers 1, donc, dapr`s la proposition 15, 1 est la borne 2n suprieure de A. e Danger : la borne suprieure dune suite nest pas toujours la limite dune sous-suite. e Exemple 17 Considrons la suite vn = (1)n n+1 et lensemble B = {vn | n 1}. Alors sup B = e n 3/2. En eet, pour tout n 2, vn n+1 3/2, et v1 < 0 3/2, donc 3/2 est un majorant de B. n Dautre part, 3/2 = v2 B est le plus grand lment de B, donc a fortiori la borne suprieure de ee e B. Autrement dit, dans cet exemple, la suite xn dont lexistence est garantie par la proposition 15 est stationnaire.

4.2

Supriorit de R sur Q e e

Thor`me 2 Soit A R un ensemble non vide qui poss`de un minorant. Alors A poss`de une e e e e borne infrieure. e Preuve. Elle repose sur la proprit suivante des entiers : tout ensemble E dentiers poss`de ee e un plus petit lment. Cest clair, car pour tout x E, les lments de E infrieurs ` x sont en ee ee e a nombre ni. Quitte ` translater A, on peut supposer que le minorant donn est 0. Soit m = bk bk1 b0 la a e plus petite des parties enti`res des lments de A. Par construction, m est un minorant de A et il e ee y a des lments de A dans lintervalle [m, m + 1[. Soit a1 le plus petit des premiers chires apr`s ee e la virgule des lments de A [m, m + 1[. Par construction, bk bk1 b0 .a1 = m + a1 .101 est un ee minorant de A et il y a des lments de A dans lintervalle [m + a1 .101 , m + (a1 + 1).101 [. Soit a2 ee le plus petit des seconds chires apr`s la virgule des lments de A[m+a1 .101 , n+(a1 +1).101 [. e ee Par construction, bk bk1 b0 .a1 a2 = m + a1 .101 + a2 .102 est un minorant de A et il y a des lments de A dans lintervalle [m + a1 .101 + a2 .102 , m + a1 .101 + (a2 + 1).102 [. ee On continue indniment. On produit ainsi un dveloppement dcimal illimit e e e e y = bk bk1 b0 .a1 a2 an , limite de nombres dcimaux yn = bk bk1 b0 .a1 a2 an . Alors y est un minorant de A. En eet, e si x A, alors x yn pour tout n, donc, en passant ` la limite, x y. Aussi, pour tout n, il existe a xn A [yn , yn + 10n [. La suite xn converge vers y. Dapr`s la proposition 15, y est la borne e infrieure de A. e

4.3

Suites croissantes

Thor`me 3 Soit (un ) une suite croissante majore de rels. Alors un poss`de une limite nie. e e e e e Preuve. Soit y = sup{un }. Soit > 0. Dapr`s la proposition 14, il existe N tel que uN > y . e Pour n N , y un uN > y , do` |un y| < . Autrement dit, y = lim un . u Remarque 18 Clairement, cette proprit nest pas vraie dans Q. ee Prendre la suite des approximations dcimales de 2. e Exercice 19 Soit un une suite croissante de rels. On suppose que (un ) ne poss`de aucun majoe e rant. Alors un tend vers +. Solution de lexercice 19. Suite croissante non majore. e Soit T R. Comme T nest pas un majorant de {un }, il existe N tel que uN > T . Pour n N , un uN T . Autrement dit, lim un = +. Corollaire 20 Soit vn un 0. On suppose que la srie de terme gnral vn est convergente. e e e Alors la srie de terme gnral un est convergente. e e e

4.4

Caractrisation des intervalles e

Dans un ensemble totalement ordonn, on peut parler dintervalles, comme lensemble des mots e compris entre ordre et total dans le dictionnaire. Dans Q ou R, il y a 9 types dintervalles (non vides), [a, b], ]a, b], [a, b[, ]a, b[, ] , b], ] , b[, [a, +[, ]a, +[, ] , +[.

Proposition 21 Soit I R un sous-ensemble convexe, i.e. qui poss`de la proprit suivante : si e ee a I et b I, alors [a, b] I. Alors I est un intervalle. Preuve. Supposons dabord I major et minor. Soit a = inf I, b = sup I. Alors I [a, b]. e e De plus, ]a, b[ I. En eet, dapr`s la proposition 15, il existe des suites an I et bn I telles e que an tend vers a et bn tend vers b. Si x ]a, b[, alors pour n assez grand an < x < bn , do` u x [an , bn ] I. Cela prouve que I est lun des 4 intervalles de bornes a et b. Si I nest pas minor, remplacer a par avec la mme preuve. Si I nest pas major, remplacer e e e b par + avec la mme preuve. e Remarque 22 Cet nonc est faux dans Q. e e Lensemble {x Q | x2 2} est convexe dans Q mais nest pas un intervalle, car sinon il possderait e une borne suprieure et une borne infrieure dans Q. e e

4.5

Intervalles embo es t

Thor`me 4 Soient [an , bn ] des intervalles borns embo es, i.e. [an+1 , bn+1 ] [an , bn ]. Alors e e e t lintersection J = n [an , bn ] est un intervalle ferm non vide. Si, de plus, bn an tend vers 0, J e est rduit ` un point. e a

Preuve. Par hypoth`se, pour tout n, a1 an bn b1 . La suite an est croissante et majore e e par b1 , la suite bn est dcroissante est minore par a1 . Par consquent elles admettent des limites e e e nies a et b, et sup{an } = a b = inf{bn }. Clairement, pour tout n, [a, b] [an , bn ] donc il est contenu dans lintersection J. Inversement, si x < a, alors pour n assez grand, x < an , donc x [an , bn ], donc x J. De mme, J ne contient pas les points x > b, donc J = [a, b]. Enn, si / / e bn an tend vers 0, a = b. Corollaire 23 Soient an et bn des suites adjacentes, i.e. an est croissante, bn dcroissante, an e bn , et bn an tend vers 0. Alors an et bn convergent vers la mme limite nie. e Corollaire 24 Soit un une suite telle que (1)n un dcro et tend vers 0. Alors la srie de terme e t e gnral un est convergente. e e En eet, les suites an =
2n1 p=1

up et bn =

2n p=1

up sont adjacentes.

Оценить