2008 - Grard Lavau - http://pagesperso-orange.fr/lavau/index.htm Vous avez toute libert pour tlcharger, imprimer, photocopier ce cours et le diffuser gratuitement.

Toute diffusion titre onreux ou utilisation commerciale est interdite sans accord de l'auteur. Si vous tes le gestionnaire d'un site sur Internet, vous avez le droit de crer un lien de votre site vers mon site, condition que ce lien soit accessible librement et gratuitement. Vous ne pouvez pas tlcharger les fichiers de mon site pour les installer sur le vtre.

SUITES
PLAN I : Corps des rels 1) Proprits 2) Borne suprieure et infrieure a) Dfinition b) Droite acheve c) Partie entire 3) Intervalles 4) Suites II : Limite d'une suite 1) Prambule 2) Un exemple historique 3) Dfinitions 4) Oprations sur les limites 5) Ingalits et limites 6) Suites monotones 7) Suites adjacentes 8) Thorme de BolzanoWeierstrass III : Suites particulires 1) Suites arithmtiques 2) Suites gomtriques 3) Suites arithmticogomtriques 4) Suites rcurrentes linaires 5) Suites rcurrentes 6) Suites homographiques IV : Comparaison des suites numriques 1) Suites quivalentes 2) Suites de rfrences Annexe I : fonctions chaotiques 1) Etude d'une suite rcurrente 2) Fonctions chaotiques Annexe II : Caractrisations du corps des rels I : Corps des rels 1 Proprits u Un rel peut tre vu, sous forme numrique, comme un entier relatif constituant sa partie entire, suivie d'une infinit de chiffres constituant sa partie dcimale. EXEMPLE : -1-

 = 3,1415926535897932384626433832795028841971693993751... Nous prfrons cependant partir de proprits de plutt que de cette dfinition, qui pose par ailleurs un certain nombre de problmes. Par exemple, les deux rels suivants (le premier tant suivis d'une infinit de 0 et le second d'une infinit de 9) sont gaux : 5,280000000000000000000... et 5,279999999999999999999....... (la diffrence vaut en effet 0.00000000000000000000... et est nulle !!). D'autre part, les oprations sur deux rels ne sont pas si facilement dfinies qu'il y parat. Pour connatre la nme dcimale d'une somme, par exemple, il faut connatre tous les chiffres qui suivent pour savoir si une retenue ne serait pas susceptible de se propager de droite gauche jusqu' la dcimale considre. Nous supposerons donc plutt qu'il existe un corps , contenant , muni d'une relation d'ordre (ingalit) compatible avec les oprations de dans le sens suivant : a, b, c, a b a + c b + c a, b, c 0, a b ac bc La relation d'ordre est dite totale, dans le sens o l'on peut toujours comparer deux rels entre eux. A noter qu'une relation jouissant des mmes proprits n'existe pas dans . Soit x un rel. ou bien x appartient

. x est dit rationnel.

. x est dit irrationnel. Exemples : 2 , , e, Ln(2) ... p p Voici une preuve de l'irrationalit de 2. Si 2 = avec p et q entiers, on peut choisir irrductible q q (c'estdire p et q premiers entre eux). On a alors p2 = 2q2. p2 est pair, donc p aussi (si p est impair, p = 2k+1 et p2 = 4k2 + 4k + 1 est impair). Ainsi p = 2k. Donc p2 = 4k2 = 2q2 donc 2k2 = q2. Donc q est pair. Ce qui est impossible car la fraction est irrductible.

ou bien x 0 et l'on pose x = x ou bien x 0 et l'on pose x = x

dfinir la distance de deux rels a et b comme tant b a . L'ingalit triangulaire : x y x+y x + y peut se montrer en levant au carr, ce qui donne : x2 + y2 2 xy x2 + y2 + 2xy x2 + y2 + 2 xy xy xy xy ce qui est vrai.

Il existe bien des variantes de l'ingalit triangulaire, par exemple : x y xy x + y obtenue en changeant y en y.

-2-

La valeur absolue joue dans

le mme rle que le module dans

u La relation d'ordre total permet de dfinir la valeur absolue sur

ou bien x n'appartient pas

. Elle permet en particulier de

2 Borne suprieure et infrieure a) Dfinition : L'une des proprits caractristiques de est l'existence de la borne suprieure. Il s'agit d'une ou des proprit caractristique dans le sens o cette proprit fait partie de la dfinition de axiomes rgissant la relation d'ordre de . Il est donc hors de propos de la dmontrer. On se reportera l'annexe II Caractrisations du corps des rels pour avoir plus de dtails. Soit A une partie de . I est la borne infrieure de A si I est le plus grand minorant de A, c'est dire si I est plus petit que tous les lments de A (I minore A), mais que, parmi tous les minorants possibles, I est le plus grand. S est la borne suprieure de A si S est le plus petit majorant de A, c'est dire si S est plus grand que tous les lments de A (S majore A), mais que, parmi tous les majorant possibles, S est le plus petit. EXEMPLE : Soit A = ]0,1[. Tous les rels ngatifs ou nuls minore A. Le plus grand de ces minorants est 0. On note Inf A = 0. Tous les rels suprieur ou gaux 1 majore A. Le plus petit de ces majorants est 1. On note Sup A = 1. On notera qu'il ne s'agit ni de minimum ni de maximum, puisque ni Inf A ni Sup A n'appartiennent A. On peut crire galement : a A, a S > 0, a A, a > S La premire ligne signifie que S majore A, et la deuxime signifie que tout nombre infrieur S (donc de la forme S avec > 0) ne majore pas A. Donc S est le plus petit majorant de A. C'est la borne suprieure. S = Sup A

De mme : I = Inf A a A, a I > 0, a A, a < I+

AXIOME Toute partie non vide majore de admet une borne suprieure. Comme dit plus haut, cette proprit est caractristique de et ne saurait tre dmontre. CONSEQUENCE Toute partie non vide minore de admet une borne infrieure. Il suffit en effet d'effectuer une symtrie par rapport 0 pour changer les nombres positifs et ngatifs, pour transformer une partie majore en partie minore et une borne suprieure en borne infrieure. Plus formellement, si B = {a, a A} et si S = Sup A, alors on pourra vrifier que S = Inf B. Une utilisation courante de la borne suprieure est la suivante : x A, x M Sup A M De mme : x A, x m Inf A m b) Droite acheve : On dfinit en ajoutant

deux symboles, + et . -3-



















L'intrt de la droite acheve rside dans le fait que nombre de rsultats dans est li au fait d'tre born au pas. Ainsi, si A est major, on peut dfinir S = Sup A. Si A est non major, on posera Sup A = +. + n'est autre que la borne suprieure de A, mais dans la droite acheve . Par ailleurs, on obtient, dans la droite acheve, des rsultats plus concis : Voici une liste de rsultats dans , dont certains seront prouvs ultrieurement : Toute partie non vide majore admet une borne suprieure. Toute partie non vide minore admet une borne infrieure. Toute suite croissante majore converge vers sa borne suprieure. Toute suite croissante non majore tend vers +. Toute suite dcroissante minore converge vers sa borne infrieure. Toute suite dcroissante non minore tend vers . De toute suite borne, on peut extraire une soussuite convergente. De toute suite non borne, on peut extraire une suite tendant vers + ou . Ces rsultats s'noncent, dans la droite acheve : Toute partie admet une borne suprieure. Toute partie admet une borne infrieure. Toute suite croissante converge vers sa borne suprieure. Toute suite dcroissante converge vers sa borne infrieure. De toute suite, on peut extraire une soussuite convergente. c) Partie entire : PROPOSITION : Soit x un rel. Il existe un unique entier p, appel partie entire de x tel que : p x < p+1. Dmonstration : Soit x > 0. Considrons A = {n | n x}. Cet ensemble est une partie non vide (elle contient 0) majore (par x lui-mme). Elle admet donc une borne suprieure . Montrons que est entier et lment de A. En effet, 1 n'est pas un majorant de A donc il existe n lment de A tel que 1 < n . Les entiers suprieurs n sont alors suprieurs et ne peuvent tre dans A. n est donc le plus grand lment de A et est donc gal . est donc non seulement la borne suprieure mais le maximum de la partie A. n'est autre que l'entier p que nous cherchons. En effet, p est dans A donc p x, mais p+1 n'est pas dans A donc x < p+1. Ce qui prouve l'existence. On note p = E(x). Pour x < 0, posons p = E(x)1 si x est non entier, et x si x est entier. Dans le premier cas, on a : E(x) < x < E(x) + 1 E(x) 1 < x < E(x) Ainsi, E(3,5) = 4. -4-

!!



Sur le nouvel ensemble ainsi dfini, on prolonge la relation d'ordre usuelle sur x rel, < x < + On peut alors dsigner le nouvel ensemble sous la forme d'intervalle [,+].

par :

##

""

On remarquera que cette dfinition utilise en Mathmatiques ne correspond pas toujours aux valeurs donnes par la plupart des calculatrices qui donne souvent comme partie entire de x < 0, la valeur E(x). Montrons l'unicit. Si q < p, avec p et q entiers, alors q+1 p x, et si q > p, alors q p+1 > x, ce qui montre qu'aucun nombre infrieur ou suprieur p ne peut vrifier la dfinition de la partie entire de x. Seul p convient. Soit n un entier positif. Tout rel peut tre encadr de manire unique sous la forme : d d d d +1 M + 1 + ... + nn x < M + 1 + ... + n n 10 10 10 10 valeur approche valeur approche par dfaut par excs o M est un entier et les di des chiffres entre 0 et 9. Il suffit en effet de considrer l'encadrement E(10nx) 10nx < E(10nx) + 1. 3 Intervalles Un intervalle s'crit |a,b| (*) o | remplae ici [ ou ]. a peut tre fini ou valoir , b peut tre fini ou valoir +. L'intervalle est alors l'ensemble des rels compris entre a et b, ventuellement au sens large. Dbut de partie rserve aux MPSI PROPOSITION : I est un intervalle si et seulement si : x I, y I, x < z < y z I Une partie vrifiant cette proprit est dite convexe. Une autre formulation est : x I, y I, x < y [x, y] I Dmonstration : Il est vident qu'un intervalle vrifie la proprit de convexit. Montrons la rciproque. Soit I convexe. Montrons qu'il est de la forme (*). Si I est minor, posons a = Inf I sinon, a = . Si I est major, posons b = Sup I sinon, b = +. On a donc I inclus dans [a, b]. Soit z tel que a < z < b. Dans tous les cas, il existe x et y lments de I tels que : ax<z<yb Montrons le pour x : Si a = , cela signifie que I n'est pas minor, et donc que z ne minore pas I, et donc qu'il existe x lment de I tel que x < z. Si a est fini, a est le plus grand des minorants, donc z ne minore pas I, et donc il existe x lment de I tel que a x < z. La proprit de convexit prouve que z est lment de I. Ainsi, ]a, b[ est inclus dans I. Le fait que a et b appartienne ou non I fermera ventuellement l'une des bornes de l'intervalle ou les deux. Fin de la partie rserve aux MPSI. Retour la partie commune MPSI, PCSI, PTSI. PROPOSITION Soit ]a, b[ un intervalle non vide. Alors ]a, b[ rencontre Dmonstration : -5-

&'% &

et

$$

Nous devons montrer que ]a, b[ contient un rationnel et un irrationnel. Soient x et y deux lments de ]a, b[. Si l'un d'eux est rationnel et l'autre irrationnel, il n'y a rien montrer. S'ils sont tous deux rationnels, il suffit de montrer que : i) Entre deux rationnels, il existe un irrationnel. S'ils sont tous deux irrationnels, il suffit de montrer que : ii) Entre deux irrationnels, il existe un rationnel. i) Si x et y sont deux rationnels tels que x < y, alors posons : (yx) 2 z=x+ 2 z est un irrationnel compris entre x et y. ii) Si x et y sont deux irrationnels tels que x < y, il existe q entier tel que : 1 0< <yx q 1 , par exemple la partie entire de ce nombre augment de 1). Considrons (prendre q suprieur yx maintenant p = E(qx). On a : p qx < p + 1 qx + 1 < qx + q(yx) = qy p+1 x< <y q p+1 est un rationnel compris entre x et y. q Il rsulte des proprits prcdentes que, pour tout x rel, il existe une suite (yn) de rationnels et une 1 1 suite (zn) d'irrationnels ayant pour limite x. En effet, dans tout intervalle ]x , x + [, il existe un n n rationnel yn et un irrationnel zn. On a : 1 1 xyn < et xzn < n n donc lim yn = lim zn = x. n n

: L'anneaux des nombres dcimaux L'anneau [1/2] des nombres dyadiques {p/2n | p , n } L'ensemble + = {a + b, a , b }. Dans ce dernier cas, il suffit de montrer qu'il est dense dans [0,1]. Considrons les parties fractionnaires des n, savoir les n E(n), notes galement n mod 1. Tous ces nombres sont diffrents, car si n mod 1 est gal m mod 1, cela signifie que nm est entier et que est rationnel, or est irrationnel. Soit > 0. Considrons les intervalles [0, ], [, 2], ..., [k, (k+1)]... Les n mod 1 tant en nombre infini, les intervalles prcdents ne peuvent tous possder 0 ou 1 des n mod 1, faute de quoi il n'y aurait qu'un nombre fini de n mod 1 dans [0,1]. Il existe donc un sous-intervalle de [0,1] de longueur qui en possde au moins 2. Par diffrence, il existe un nombre -6-

99

88

CC

BB

AA

@@

66

77

55

dans

342 3

11

00

))

dans

. Ainsi,

est dense dans

((

Si A est une partie de

telle que tout intervalle ]a, b[ non vide rencontre A, on dit que A est dense , de mme que . Voici d'autres exemples de partie denses

4 Suites Une suite u = (un)n peut tre vue comme une application n un (ou ). On peut dfinir la somme u + v de deux suites en posant (u + v)n = un + vn. On peut de mme dfinir le produit par un scalaire : (u)n = un Ces deux oprations confre l'ensemble des suites une structure d'espace vectoriel (voir le chapitre Espaces Vectoriels dans le fichier ESPVECT.PDF) On peut dfinir une relation d'ordre dans l'espace des suites relles : u v n , un vn Une suite relle u est majore si : M, n, un M Une suite relle u est minore si : m, n, m un Une suite relle est borne si elle est majore et minore. Cela peut s'crire galement sous la forme : M, n, un M Cette dernire dfinition a l'intrt de pouvoir s'appliquer galement aux suites complexes. Une suite relle u est croissante si : n, un un+1 Une suite relle u est dcroissante si : n, un un+1 Une suite relle est monotone si elle est croissante ou dcroissante. Une suite relle u est strictement croissante si : n, un < un+1 Une suite relle u est strictement dcroissante si : n, un > un+1 Une suite relle est strictement monotone si elle est strictement croissante ou strictement dcroissante. II : Limite d'une suite 1 Prambule On se posera les questions suivantes : Quand diton qu'une suite tend vers 0 ? Comment montreton que an tend vers 0 quand n tend vers , pour a < 1 ? Les affirmations suivantes sont-elles vraies ou fausses ? Si (xn) est dcroissante positive, (xn) converge vers 0. Si (xn) tend vers +, alors (xn) est croissante partir d'un certain rang. Si (xn) tend vers l, avec l 0, alors (xn) est positive partir d'un certain rang. -7-

RR

QQ

PP

FF

Une consquence de ce qui prcde est que {sin(n), n l'ensemble + , est dense dans [1,1].

} qui est l'image directe par sinus de

EE

DD

de la forme y = k mod 1 dans [0,]. Donc 0 y . y est lment de se trouveront dans tout intervalle de longueur .

et des multiples de y

SS

II

HH

GG

Si (xn) converge, alors (xn) est borne. Si (xn+1 xn) tend vers 0, alors (xn) converge. (Toutes les affirmations prcdentes sont fausses, sauf une) 2 Un exemple historique Archimde prouve que l'on peut approximer l'aire d'un disque d'aussi prs que l'on veut par des polygones rguliers. Par encadrement d'un cercle par un polygone de 96 cts, Archimde prouve que : 10 22 3+ << 71 7 et, par la mme mthode, AlKashi, en 1424, utilise un polygone de 3 228 cts pour trouver 16 dcimales de . Ce record ne fut battu qu'en 1596 par Ludolph, avec 35 dcimales. On amliore l'approximation donne par un polygone en doublant le nombre de ses cts.

Soient A et B deux sommets adjacents du premier polygone, et C le milieu de l'arc AB. On peut remarquer que le triangle ABC possde une aire moiti de celle du rectangle de cot AB, dont un autre ct est tangent au cercle en C. L'aire du triangle ABC est donc suprieure la moiti de l'aire de la portion de cercle ABC. Ainsi, quand on double le nombre de cts d'un polygone rgulier, la diffrence d'aire entre le disque et le polygone est divis par un rapport suprieur 2. Archimde ne dit pas que la diffrence des aires entre le disque et le polygone tend vers 0 lorsque le nombre de cts tend vers +, mais il conclut que cette diffrence pourra tre rendue aussi petite que l'on veut en nonant le principe suivant : Deux grandeurs ingales tant proposes, si l'on retranche de la plus grande une partie suprieure sa moiti, et si l'on retranche encore du reste une partie suprieure sa moiti, et si l'on fait toujours la mme chose, il restera une certaine grandeur qui sera plus petite que toute grandeur donne de la mme espce. Nous pourrions traduire cet nonc de la faon suivante : Soit (un) une suite vrifiant : 1 u0 > 0 et n, un un1, 2 alors : > 0, n, un < En tenant compte du fait que la suite est ici dcroissante, on pourra comparer cette dernire formulation (datant du IIIme sicle avant JC) avec la dfinition d'une suite convergeant vers 0 donne ci-dessous (datant de la deuxime moiti du XIXme sicle). Il peut paratre tonnant de voir qu'il a fallu 2000 ans pour formaliser dfinitivement cette notion de limite.

-8-

3 Dfinition La ncessit des dfinitions suivantes est apparue au cours du XIXme sicle. Elles se substituent aux concepts intuitifs qui avaient prvalu jusque l. Les dfinitions cidessous s'appliquent aux suites relles ou complexes. DEFINITION : i) Une suite (xn)nN converge vers l si : > 0, N, n > N, xn l < ii) (Dans ) Une suite (xn)nN tend vers + si : A, N, n > N, xn > A iii) (Dans ) Une suite (xn)nN tend vers si : A, N, n > N, xn < A iv) Une suite (xn)nN tend vers si : A, N, n > N, xn > A On remarquera que les dfinitions cidessus correspondent dans tous les cas la dfinition gnrale suivante : DEFINITION : Une suite (xn)nN tend vers une limite L, finie ou non si : V voisinage de L, N, n > N, xn V un voisinage dsignant une partie contenant : pour un rel l, un intervalle de la forme ]l, l+[ pour un complexe l, un disque de centre l de rayon pour +, un intervalle de la forme ]A,+[ pour , un intervalle de la forme ],A[ pour , le complmentaire d'un disque (ou d'un intervalle) de centre 0, de rayon A. Tous les termes de la suite, sauf un nombre fini, sont dans un voisinage quelconque de la limite. Une suite qui converge est une suite qui tend vers une limite finie. Sinon, elle diverge. Il rsulte de la dfinition que toute suite convergente est borne. En effet, tous les termes, sauf un nombre fini, sont contenus dans l'intervalle ]l , l + [ pour les suites relles, ou le disque de centre l, de rayon > 0 pour les suites complexes. La limite, finie ou non, si elle existe, est unique. S'il y avait deux limites L et L', il suffirait de choisir deux voisinages disjoints V et V' pour obtenir une contradiction. Pour une suite complexe u = v + iw avec vn = Re(un) et wn = Im(un), on a : lim un = l lim vn = Re(l) et lim wn = Im(l) n n n En effet, si lim un = l, alors vn Re(l) un l et wn Im(l) un l permettent de montrer n l'implication . Rciproquement, si lim vn = Re(l) et lim wn = Im(l), on pourra utiliser le fait que : n n un l vn Re(l) + wn Im(l) -9-

UU

TT

Ainsi, on a la possibilit de raisonner globalement sur la suite u, ou bien de se ramener l'tude des deux suites relles v et w. On appelle soussuite ou suite extraite d'une suite (xn) une suite que nous noterons (x(n)) o ((n)) est une suite strictement croissante d'indice. Par exemple, si (n) = 2n, la suite extraite est celle des termes d'indices pairs. Si (n) = 2n+1, la suite extraite est celle des termes d'indices impairs. On remarque aisment que, si une suite converge, alors toute soussuite converge vers la mme limite. En effet, soit l la limite de (xn), et (x(n)) une suite extraite. tant strictement croissante, on a, par rcurrence, (n) n pour tout n. > 0, N, n > N, xn l < Comme (n) n, on a, a fortiori : n > N, x(n) l < On se sert couramment de la contrapose pour montrer qu'une suite ne converge pas. On extrait deux soussuites convergeant vers des limites diffrentes. Par exemple : (1)n pour laquelle la soussuite de rang pair converge vers 1 et celle de rang impair vers 1. La suite complte ne converge pas. 4 Oprations sur les limites Les thormes qui suivent taient jugs vidents au XVIIIme sicle. Une tentative de dmonstration aurait alors paru incongrue et superflue. Ces dmonstrations nous sont cependant ncessaires pour plusieurs raisons : Montrer l'efficacit de notre dfinition de limite. Justifier la validit de notre intuition. Servir de modle de dmonstration pouvant servir dans des cas plus complexes. a) SOMME : PROPOSITION : Soient (an) et (bn) deux suites. i) Si (an) converge vers et (bn) vers , alors (an+bn) converge vers +. ii) Si (an) est borne et (bn) tend vers , alors (an+bn) tend vers iii) Dans , si (an) est minore et (bn) tend vers +, alors (an+bn) tend vers + iv) Dans , si (an) est majore et (bn) tend vers , alors (an+bn) tend vers Dmonstration : i) > 0, an + bn ( + ) an + bn Or, N, n > N, an < et M, n > M, bn < . Donc n > Max(N,M), an + bn ( + ) < 2. En particulier, lim (C + an) = C + lim an ii) A, an + bn bn an Or, M, n, an M et N, n > N, bn > A + M Donc, n > N, an + bn > A. - 10 -

VV

WW

Les dmonstrations pour iii et iv sont analogues celles de ii. On obtient une forme indtermine lorsque l'une des suites tend vers +, et l'autre vers . b) PRODUIT : PROPOSITION : Soient (an) et (bn) deux suites. i) Si (an) converge vers et (bn) vers , alors (anbn) converge vers . ii) Si (an) est borne et (bn) converge vers 0, alors (anbn) tend vers 0 iii) Si ( an ) est minor par un rel strictement positif et si (bn) tend vers , alors (anbn) tend vers . Dmonstration : i) > 0 anbn = an(bn ) + (an ) an bn + an M bn + an o M est un majorant de la suite borne (an). Or, N, n > N, bn < 2M K, n > K, a <
n

Donc, n > Max(K,N), anbn < . En particulier, lim Can = C lim an ii) Soit M un majorant de ( an ). On a, > 0 : anbn M bn Or, N, n > N, bn < M Donc, n > N, anbn < . iii) Soit m > 0 minorant ( an ). On a, A > 0 : anbn bn m Or, N, n > N, bn > A m

Donc, n > N, anbn > A On obtient une forme indtermine lorsque l'une des suites tend vers 0, et l'autre vers .

- 11 -

c) INVERSE : Dans ce paragraphe et le suivant, on supposera que les suites se trouvant au dnominateur ne s'annulent pas. PROPOSITION : Soit (an) une suite. 1 1 i) Si (an) converge vers non nul, alors ( ) converge vers . an 1 ii) Si (an) tend vers 0, alors ( ) tend vers . an 1 iii) Si (an) tend vers , alors ( ) tend vers 0. an Dmonstration : i) > 0, an 1 1 = an an Or N, n > N, an > Donc, n > N, 2

1 1 2 < C an , avec C = 2 an

Or M, n > M, an < C Donc, n > Max(N,M), 1 1 < an

ii) A > 0, N, n > N, an <

1 1 donc >A A an

La dmonstration de iii) est analogue celle de ii) d) QUOTIENT : PROPOSITION : Soient (an) et (bn) deux suites.

a i) Si (an) converge vers et (bn) vers non nul, alors ( n) converge vers . bn a ii) Si (an) est borne et (bn) converge vers , alors ( n) tend vers 0. bn a iii) Si ( an )est minor par un rel strictement positif et si (bn) tend vers 0 , alors ( n) tend bn

vers . a iv) Si (an) converge vers et si (bn) est borne, alors ( n) converge vers . bn - 12 -

a v) Si (an) converge vers 0 et si ( bn ) est minore par un rel strictement positif, alors ( n) bn converge vers 0. Dmonstration : Il suffit d'utiliser les rsultats dmontrs pour le produit et l'inverse On obtient une forme indtermine lorsque les suites tendent vers , ou vers 0. 5 Ingalits et limites Ce paragraphe n'est valable que sur . PROPOSITION : Soit (xn) une suite qui converge vers l. Alors : i) l > a N, n > N, xn > a ii) N, n > N, xn a l a On a des rsultats analogues avec < et . Dmonstration : i) rsulte de la dfinition de la convergence en prenant = la. ii) : Si l < a, alors il existe M tel que, pour tout n suprieur M, xn < a. Alors , pour n > Max(N,M) on devrait avoir simultanment xn a et xn < a, ce qui est impossible. Ce rsultat s'appelle passage la limite dans une ingalit. On remarquera qu'elle se pratique avec des ingalits larges. PROPOSITION : i) Si (an) converge vers , (bn) vers , alors : < N, n > N, an < bn ii) Si (an) converge vers , (bn) vers , alors : N, n > N, an bn iii) Si (an) et (cn) convergent vers l, et si : N, n > N, an bn cn alors (bn) converge vers l. iv) Si (bn) tend vers +, alors : n, an bn lim an = + Dmonstration : i) et ii) se montrent en appliquant la proposition prcdente la suite an bn. iii) > 0, M, n > M, l < an < l+. K, n > K, l < cn < l+. Donc, n > Max(N,M,K), l < an bn cn < l+ Le iv est laiss en exercice.

XX

- 13 -

6 Suites monotones Ce paragraphe n'est valable que sur . PROPOSITION : Soit (xn) une suite croissante. Alors : i) Ou bien (xn) est majore et alors (xn) converge. ii) Ou bien (xn) n'est pas majore et alors (xn) tend vers +. Dmonstration : i) Soit l = Sup(xn). Nous allons montrer que (xn) converge vers l. On a : (*) n, xn+1 xn (**) n, xn l (***) > 0, N, l < xN Soit > 0 et considrons le N donn par (***). Par rcurrence, (*) permet de montrer que : n > N, xn xN Donc, en utilisant (**) n > N, l < xN xn l < l+ ii) On a : (*) n, xn+1 xn (**) A, N, xN > A Soit A donn, et considrons le N donn par (**). Par rcurrence, (*) permet de montrer que : n > N, xn xN Donc, n > N, A < xN xn On a videmment la proposition duale : PROPOSITION : Soit (xn) une suite dcroissante. Alors : i) Ou bien (xn) est minore et alors (xn) converge. ii) Ou bien (xn) n'est pas minore et alors (xn) tend vers . Dans le cas i), la limite est la borne infrieure de la suite. EXEMPLE 1 : 1 1 1 + + ... + . (xn) est videmment croissante. On prouve par rcurrence que n! 2 3! (n+1)! > 2n pour n 1. Donc la suite est majore par : 1 1 1 xn 1 + 1 + + + ... + n1 = 1 + 2[1 1/2n] < 3 2 4 2 Etant croissante majore, elle converge. (On prouvera ultrieurement qu'elle converge vers e). Soit xn = 1 + 1 + EXEMPLE 2 : 1 1 Soit xn = 1 + + ... + . La suite est croissante. On a : 2 n 1 1 1 1 1 1 1 x2n = 1 + + ( + ) + ( + ... + ) + ... + ( n1 + ... + n) 2 3 4 5 8 2 +1 2 1 2 4 2n1 1 1 1 + + + + ... + n = 1 + + ... + 2 4 8 2 2 2 - 14 -

YY

n 2 Donc la suite n'est pas majore. Elle tend vers +. 1+ 7 Suites adjacentes Ce paragraphe n'est valable que sur . Avant de dfinir les suites adjacentes, nous allons d'abord tudier les suites vrifiant les proprits suivantes. PROPOSITION : Soit (an) et (bn) deux suites vrifiant : (an) est croissante (bn) est dcroissante n, an bn Alors ces deux suites convergent vers des limites et telles que . Dmonstration : Montrons d'abord que : n, m, an bm. En effet : Si n m, on a an am bm Si n > m , on a an bn bm Donc (an) est une suite croissante majore par n'importe quel terme de la suite (bm). Elle converge donc vers une limite . tant la borne suprieure de la suite (an), elle est infrieure tout majorant de la suite. On a donc : m, bm. La suite (bm) est dcroissante minore. Elle converge donc vers une limite vrifiant : . Cette proposition admet comme corollaire la proprit des segments embots, dmontre dans un autre chapitre. Soit (In) = ([an, bn]) une suite dcroissante de segments, alors il existe un lment commun tous les segments. La proposition permet de montrer que l'intersection de tous les segments est gale [, ], o est la limite des an et la limite des bn. Dfinissons maintenant les suites adjacentes : DEFINITION : On appelle suites adjacentes deux suites (an) et (bn) telles que : i) (an) est croissante ii) (bn) est dcroissante iii) lim bn an = 0 n On dispose de la proposition suivante : PROPOSITION : Soit (an) et (bn) deux suites adjacentes. Alors ces deux suites admettent la mme limite. Dmonstration : Il suffit de prouver que n, an bn et d'appliquer la proposition vue plus haut. Or ,si l'on avait aN > bN pour un certain N, alors posons = aN bN > 0. On a alors : - 15 -

``

 n > N, an bn aN bN > ce qui est contradictoire avec iii) Une formulation quivalente est la suivante : Soit (In) une suite dcroissante de segments dont la longueur tend vers 0. Alors l'intersection des In est rduite un point. EXEMPLE : les suites babyloniennes. 1 a (b + ) o b est 2 b un nombre arbitraire, en pratique proche de a, par exemple sa partie entire. Le procd peut tre itr. Soit a un rel strictement positif. On dfinit les deux suites : b0 est arbitraire, lment de ] a ,+[ a an = bn a + bn bn+1 = n 2 Montrons que les deux suites convergent vers a . Les babyloniens (2000 avant JC) donnent comme approximation de a la quantit i) n, an a bn Cette relation est vraie pour n = 0. Par ailleurs : a bn+1 a + bn 2 a bn2 2bn a + a 0 bn (bn a)2 0 a a an+1 = = a bn+1 a ii) (an) est croissante et (bn) est dcroissante. a + bn a bn bn+1 bn = n bn = n 0 2 2 a a an+1 an = 0 bn+1 bn iii) Il en rsulte que (an) converge vers une limite et (bn) vers une limite . En passant la limite dans les relations dfinissant an et bn, on obtient : a + = et = = a et = = = a 2 Prenons l'exemple de a = 2, en partant de b0 = 2. On obtient successivement : an = 1, 1.333333333, 1.411764706, 1.414211438, 1.414213562 bn = 2, 1.500000000, 1.416666667, 1.414215686, 1.414213562 La convergence est trs rapide. Le nombre de dcimales exactes crot exponentiellement avec n. 8 Thorme de BolzanoWeierstrass La suite du paragraphe est rserve aux MPSI Nous avons vus deux thormes de convergence des suites : celui des suites croissantes majores celui des suites adjacentes - 16 -

En voici un troisime : De toute suite borne, on peut extraire une soussuite convergente. Par exemple, si xn = (1)n, alors la suite extraite (x2n) converge vers 1 et la suite extraite (x2n+1) converge vers 1. En outre, si une suite n'est pas borne, il existe une soussuite qui tend vers . Dmonstration 1 : Nous procderons par dichotomie. Soit (xn) une suite borne, contenue dans le segment [a, b]. On va dfinir une suite d'intervalles embots In tels que : Pour tout n, In contient une infinit de termes de la suite (c'est--dire qu'il existe une infinit d'indices p tels que xp appartienne In) La suite (In) est dcroissante. ba La longueur des In est gale n . 2 On choisit I0 = [a, b]. Supposons In choisi, In = [an, bn]. Par rcurrence, In possde une infinit de termes de la suite. Donc il existe ncessairement une infinit de termes dans au moins l'un des deux b +a b +a intervalles [an, n n] ou [ n n, bn]. On choisit pour In+1 cet intervalle. Il rsulte des proprits des 2 2 In que (an) et (bn) forment deux suites adjacentes, convergeant vers la mme limite l. Dfinissons maintenant la sous-suite. On choisit (0) = 0. Si (1), (2), ... (n1) sont choisis, on choisit (n) tel que (n) > (n1) et x(n) appartiennent In, ce qui est possible puisque In contient une infinit de termes de la suite. On en conclut que : n, an x(n) bn et donc que x(n) converge vers l. l s'appelle valeur d'adhrence de la suite. Dmonstration 2 : Voyons les entiers n comme des individus situs une hauteur xn. On dit que n a "vue sur la mer" si : p > n, xn > xp. (n est plus haut que tous les entiers qui viennent aprs lui). On dit que n a "la vue bouche" si : p > n, xp xn. (Il existe un entier p suprieur n et situ plus haut que lui). Il y a alors deux cas : Ou bien il y a une infinit d'entiers ayant vue sur la mer. Dans ce cas, les xn correspondant forment une sous-suite dcroissante. Etant minore, elle converge. Ou bien il n'y a qu'un nombre fini d'entiers ayant vue sur la mer. Se plaant au-del de ce nombre fini, tous les termes ont la vue bouche. On en choisit un d'indice p0. Il existe un indice p1 > p0 tel que xp1 xp0 puis p2 > p1 tel que xp2 xp1, etc... On construit ainsi une sous-suite croissante. Etant majore, elle converge. Etant borne par a et b, la limite est dans [a,b]. Dmonstration 3 : Soit yn = Sup {xp | p n}. La suite (yn) est dcroissante (car {xp | p n+1} est un ensemble inclus dans {xp | p n} donc est major par yn donc sa borne suprieure yn+1 est infrieure ou gale ce majorant yn). En outre, la suite (xn) tant suprieure ou gale a pour tout n, il en est de mme des yn. Etant dcroissante minore, la suite (yn) converge vers une limite l. Nous allons montrer qu'il existe une sous-suite de (xn) qui converge vers l. - 17 -

Soit = 1. Il existe N1 (et mme une infinit de tels N1) tel que l 1 < yN1 < l + 1 (dfinition de la limite d'une suite convergente, ici (yn)). Il existe donc xp1, avec p1 N1, tel que l 1 < xp1 yN1 < l + 1 (dfinition de la borne sup, ici yN1) 1 Supposons xp1, xp2, ..., xpk1 dfinis et choisissons = . Il existe Nk tel que, pour tout n N, on ait k 1 1 l < yn < l + ( nouveau dfinition de la convergence de la suite (yn)) k k Choisissons n suprieur pk1. Il existe alors un xpk, avec pk n tel que : 1 1 l < xpk yn < l + k k (A nouveau, dfinition de la borne sup yn) Continuant indfiniment, on construit une sous-suite (xpk) telle que, pour tout k, on ait : 1 1 l < xpk < l + k k Cette suite converge donc vers l. EXEMPLE : On notera que la dmonstration ne donne pas de construction explicite de la sous-suite. On peut ne pas tre capable d'expliciter une telle sous-suite. Par exemple, il existe des entiers n1, n2, ..., nk strictement croissant tels que sin(nk) converge, mais on n'en possde pas d'expression. On obtiendra un joli dessin des 1000 premiers points de la suite sin(n) en traant en MAPLE les points de coordonnes (n, sin(n)) au moyen de la commande suivante
> plot([seq([n,sin(n)],n=0..1000)],style=POINT);

Le thorme de Bolzano-Weierstrass s'applique galement aux suites complexes. Il suffira en effet d'extraire une premire soussuite telle que les parties relles convergent, puis de cette premire soussuite, on extrait une deuxime soussuite telle que les parties imaginaires convergent galement. Fin de la partie rserve aux MPSI. Retour la partie commune MPSI, PCSI, PTSI. III : Suites particulires 1 Suites arithmtiques Une suite arithmtique est donne par son premier terme u0 et sa raison r : n, un+1 = un + r On a alors un = u0 + nr et u0 + u1 + ... + un = (n+1)u0 + r n(n+1) (n+1)(u0 + un) = 2 2

2 Suites gomtriques Une suite gomtrique est donne par son premier terme u0 et sa raison q (non nulle en gnral) : n, un+1 = q.un On a alors un = qn.u0 et u0 + u1 + ... + un = (n+1)u0 1 qn+1 = u0 1q si q = 1 si q 1 - 18 -

Cette somme converge si et seulement si q < 1. La limite de la somme vaut alors

u0 . 1q

EXEMPLE : Une utilisation courante des suites gomtriques intervient dans les prts crdits. Un prteur dispose d'une somme M qu'il consent prter au taux d'intrt mensuel t. Un emprunteur demande recevoir cette somme M en contrepartie d'un paiement mensuel d'une somme a, pendant n mensualits. Quelle est la valeur de a en fonction de M, t et n ? Du point de vue de prteur, le taux d'intrt correspond ce qu'il pourrait gagner par ailleurs en plaant son argent. Ainsi, le capital M deviendrait M(1+t) au bout du premier mois, M(1+t)2 au bout du deuxime, ..., M(1+t)n au bout de n mois. Il ne peut consentir prter la somme M que si les remboursements rguliers lui permettent d'obtenir un capital quivalent M(1+t)n au bout de n mois, en plaant ces remboursements dans des conditions comparables. Ainsi, recevant une somme a au bout d'un mois, et plaant cette somme au taux t, il aura a(1+t)n1 au bout des n1 mois restants. Recevant une autre somme a au bout de deux mois, il aura a(1+t)n2 au bout des n2 mois restants, etc... La dernire somme reue, au nme mois, est a et ne rapporte aucun intrt. Son capital final sera donc : (1+t)n 1 a(1+t)n1 + a(1+t)n2 + ... + a(1+t) + a = a t n qui doit tre gal M(1+t) , d'o la relation : Mt a= 1 (1+t)n Une autre explication de cette formule sera donne au paragraphe suivant. Indiquons par ailleurs qu'il existe deux mthodes pour passer du temps mensuel t au taux annuel T : u La mthode exacte du taux actuariel (tenant compte des intrts cumuls) : 1 + T = (1 + t)12 Ainsi, un taux annuel de 6% correspond un taux mensuel de 0,4868 %. T (tout en pratiquant 12 quand mme des intrts cumuls). Ainsi, un taux proportionnel annonc de 6% correspond un taux mensuel de 0,5 %, et donc un taux annuel actuariel rel de 6,17 % = 1,00512 1. Le prteur a avantage parler de taux proportionnel. A charge pour l'emprunteur de le convertir en taux actuariel qui lui sera vraiment appliqu. u La mthode du taux proportionnel consistant annoncer la formule t = Application numrique : emprunt de 40 000 Euros au taux annuel de 6% sur 10 ans. Le montant mensuel des remboursements est de 440,90 Euros au taux actuariel, et de 444,08 au taux proportionnel. La diffrence est minime, mais, sur 120 mois, cela reprsente quand mme 381,60 Euros. 3 Suites arithmticogomtriques Une telle suite est de la forme : n, un+1 = aun + b avec b 0 et a 1, sinon on retrouve les suites prcdentes. Une solution particulire est obtenue pour la suite constante l telle que l = al + b. Cette valeur l est d'ailleurs la limite ventuelle de la suite si elle converge. Soit (vn) la suite auxiliaire dfinie par : n, vn = un l. - 19 -

On a alors : n, vn+1 = a.vn autrement dit, la suite (vn) est la solution gnrale de l'quation homogne. On a vn = an v0 et un = l + an (u0 l) La suite converge donc si et seulement si a < 1 ou u0 = l. EXEMPLE : Un prteur dispose d'une somme M qu'il consent prter au taux d'intrt mensuel t. Un emprunteur demande recevoir cette somme M en contrepartie d'un paiement mensuel d'une somme a, pendant n mensualits. Quelle est la valeur de a en fonction de M, t et n ? Au moment de payer la kme mensualit, l'emprunteur a dj rembours une partie du capital. Soit Ck1 le capital restant rembourser aprs le k1me versement, de sorte que C0 = M et Cn = 0. Le paiment de la mensualit a consiste d'une part rembourser la partie du capital Ck1 Ck, d'autre part payer des intrts sur le capital Ck1 pendant un mois, de sorte que : a = Ck1 Ck + tCk1 Ck = (1+t)Ck1 a a On reconnat dans (Ck) une suite arithmtico-gomtrique, de point fixe l = (1+t)l a, soit l = t a a Ck = (1+t)(Ck1 ) t t a a a Ck = (1+t)k(C0 ) = (1+t)k(M ) t t t a a n = (1+t) (M ) puisque Cn = 0 t t Mt a= 1 (1+t)n 4 Suites rcurrentes linaires Une telle suite est de la forme : avec b 0. n, un+2 = aun+1 + bun (*)

Mthode 1) Les suites gomtriques rn non nulles solution de cette rcurrence vrifient : r2 = ar + b Soit r solution (ventuellement complexe). Cherchons les autres solutions sous la forme : un = vnrn. On obtient : vn+2 r2 = ar vn+1 + b vn vn+2(ar+b) = ar vn+1 + b vn (ar+b)(vn+2vn+1) = b(vn+1 vn) b b Donc la suite vn+2 vn+1 est une suite gomtrique de raison ou 2 ou enfin r'/r si r' est ar+b r l'autre racine. On a donc : r' n vn vn1 = C ( ) , o C est une constante. r On en dduit que vn = C( r' n r' n1 r' ) + C( ) + ... + C( ) + v0 r r r Si r = r', alors vn est de la forme n + , et un est combinaison des suites rn et nrn. - 20 -

Si r r', alors vn est de la forme (

r' n ) + , et un est combinaison de rn et de r'n. r

Mthode 2) Posons S = {(un) | (un) vrifie (*)} S est un sousespace vectoriel de l'espace vectoriel des suites. Cet espace est de dimension 2. En effet, considrons les deux suites particulires U et V lments de S, dfinies par U0 = 1 et U1 = 0, V0 = 0 et V1 = 1. On prouve facilement par rcurrence que toute suite u de S s'crit : u = u0U + u1V Cette dcomposition est unique. Ceci prouve que (U,V) constitue une base de S. Cette base est malheureusement de peu d'utilit car elle ne permet pas de calculer le terme gnral de la suite. Cherchons donc une autre base. Cherchons les lments de S qui sont des suites gomtriques (rn). r doit alors vrifier : r2 = ar + b Cette quation s'appelle quation caractristique associe la suite. Plusieurs cas sont considrer : u sur : Si le discriminant est non nul, il y a deux suites diffrentes de raison r1 et r2. Il n'est pas difficile de montrer que ces deux suites forment un systme libre et donc une base de S. Cette base permet de calculer le terme gnral de toute suite de S. a2 a Si le discriminant est nul, alors il y a une racine unique r, gale , et b = . Cherchons 4 2 une autre suite sous la forme vn.rn. On obtient alors : vn+2.r2 = a.vn+1.r + b.vn a2 v v vn+2. = a2. n+1 a2. n 4 2 4 vn+2 = 2vn+1 vn vn+2 vn+1 = vn+1 vn. Ainsi vn+1 vn est constante. On peut prendre par exemple comme solution particulire vn+1 vn = 1 ou vn = n. Les deux suites (rn) et (nrn) sont indpendantes. Elles forment une base de S. . Si le discriminant est positif, cf cidessus Si le discriminant est nul, cf cidessus Si le discriminant est ngatif, alors, en tant que sousespace vectoriel complexe, on peut prendre comme base les suites gomtriques de raison complexe r1 et r2, ncessairement conjugues si a et b sont rels. Mais on peut galement prendre Re(r1n) et Im(r2n) qui, tant combinaison linaires de r1n et r2n sont bien lment de S, sont relles, et engendrent S. PROPOSITION : Soit la relation de rcurrence un+2 = aun+1 + bun. On associe cette relation l'quation caractristique r2 = ar + b. L'ensemble des suites solutions forme un espace vectoriel de dimension 2 dont une base est : Si le discriminant est non nul : (r1n) et (r2n) o r1 et r2 sont solution de l'quation caractristique. Dans le cas d'un discriminant ngatif sur , on prend (Im(r1n)) et (Re(r1n)). Si le discriminant est nul : (rn) et (nrn) o r est racine double de l'quation caractristique. - 21 -

cc

bb

u sur

aa

EXEMPLES : un+2 = 3un+1 2un un+2 = un+1 + un (suite de Fibonacci) un+2 = 4un+1 4un

un = + 2n 1+ 5 n 1 5 n un = ( ) +( ) 2 2 un = 2n + n2n

5 Suites rcurrentes La suite du paragraphe est rserve aux MPSI On s'intresse aux suites de la forme un = f(un1) o f est une fonction continue dfinie sur un intervalle I. De faon que la suite soit dfinie pour tout n, nous supposerons que f(I) est inclus dans I. a) limite ventuelle : Si l est une limite possible de la suite, alors, en passant la limite dans la relation de rcurrence, l = f(l). De tels points sont appels points fixes de f. Dans toutes les tudes qui suivent, un graphique est de la plus grande utilit. b) f croissante : Une fois que l'on a trouv les limites ventuelles, on partage I en intervalles de la forme [a, b], o a et b sont des limites ventuelles ou + ou , ce qui est possible le plus souvent, sauf cas d'une fonction f pathologique. Commenons par supposer [a, b] born. On a alors : f(a) = a a < x < b f(a) f(x) f(b) a f(x) b f(b) = b f(x) x est de signe constant sur [a, b]. Traitons d'abord le cas o f(x) x 0 sur ]a, b[. La construction suivante permet d'utiliser un graphique pour conjecturer le comportement de la suite. On trace le graphe de f, ainsi que la droite y = x.

b
(u2,u3) (u1,u2) (u0,u1) (u1,u1) (u3,u3)

(u2,u2)

a a
(u0,0)

- 22 -

On a indiqu sur "l'escalier" qui est dessin les coordonnes des points anguleux. La suite (un) apparat aussi bien comme suite des abscisses que comme suite des ordonnes. On voit immdiatement que la suite est croissante majore par b. Vrifions-le : Soit u0 lment de ]a, b[. On a alors : i) n, un [a, b]. Cette proprit est vraie pour n = 0. Si elle est vraie pour n1, alors on a : a un1 b f(a) f(un1) f(b) car f est croissante a un b car f(a) = a, f(un1) = un et f(b) = b. ii) (un) est croissante. En posant x = un1, on a en effet f(x) x un un1. iii) (un) est croissante majore par b, donc est convergente. Sa limite ventuelle est l, point fixe suprieur ou gal u0 et infrieur ou gal b. Le seul qui convienne est b. Ainsi la suite converge vers b. Dans le cas o f(x) x 0 sur ]a, b[, on montre de mme que la suite est dcroissante, convergente vers a.

(u1,u1) (u2,u2)

(u0,u1)

(u1,u2)

(u0,0)

Ainsi, le sens de variation de la suite n'est pas li celui de f, mais seulement la position de f(x) par rapport x. On a le rsultat suivant : f croissante sur I (un) monotone. qui peut d'ailleurs se montrer directement par rcurrence. Considrons maintenant le cas d'un intervalle partitionnant I non born, par exemple [a, +[ et f(x) x > 0 sur [a, +[. On montre comme prcdemment que la suite reste dans [a, +[, et est croissante. Si elle convergeait, ce serait vers un point fixe l suprieur a, ce qui est contraire notre - 23 -

hypothse. On en conclut donc que la suite ne converge pas, et qu'elle tend donc vers +. Si f(x) x < 0, la suite est dcroissante et converge vers a. On traitera de mme le cas ], b]. Exemple 1 : f(x) = 2x+3 . Le point fixe est 3. Toutes les suites convergent vers 3. Exemple 2 : f(x) = 2exp(x2). Il existe deux points fixes, l'un attractif, l'autre rpulsif. c) f dcroissante : On peut distinguer le cas de la soussuite de rang pair (u2n) et de rang impair (u2n+1) car : u2n = f o f(u2n2) = g(u2n2) u2n+1 = f o f(u2n1) = g(u2n1) avec g = f o f croissante. On peut donc appliquer g l'tude prcdente. Chacune des deux suites est donc monotone, et de monotonie oppose car u2n+1 = f(u2n), donc si (u2n) crot par exemple, (u2n+1) dcrot. Il se peut que la suite admette une limite, mais aussi que (u2n) tende vers l et (u2n+1) vers l' avec l = f(l') et l' = f(l). C'est le cas dans l'illustration ci-dessous :

Il peut aussi ne pas y avoir de limite, la suite (un) tendant vers l'infini. On peut aussi essayer de majorer un l o l est une limite ventuelle. D'une manire gnrale, on montrera par rcurrence que, si l est point fixe de f, un l change de signe chaque incrmentation de n. EXEMPLE 1 : f(x) = 4 3x 10

- 24 -

On montrera que la suite n'est dfinie que pour u0 [ multipliant par la quantit conjugue : 1 3 un 2 1 un+1 = 2 4 3x 10 +5 10

124 4 1 , ]. Le point fixe est . On a, en 27 3 2

un+1

1 3 1 un 2 5 2

1 Donc la suite converge vers . 2 EXEMPLE 2 : 3 f(x) = 2 2x + 1 Le point fixe est 1. La mthode de l'exemple 1 ne donne pas grand chose. On tudie les suites de rang pair, et de rang impair. On pose g = f o f. Le signe de g(x) x est celui de : 3(2x2+1)2 (2x2+1)2x 18x = (x1)(2x2+2x+3)(2x2+6x1) 3 7 . On a alors l'une des deux soussuites qui tend g admet deux points fixes supplmentaires : 2 vers l'un des points fixes, et l'autre qui tend vers l'autre, sauf dans le cas particulier o u0 = 1, auquel cas la suite est constante. d) f quelconque :

?
L'tude peut se rvler extrmement difficile. Considrons par exemple la suite rcurrente suivante. x0 = 0 1 n 0, xn+1 = f(xn) avec f(x) = , o E(x) dsigne la partie entire de x. 1 + 2E(x) x On montre que, lorque n dcrit , xn prend toutes les valeurs rationnelles positives une fois et une seule. (Bibliographie : American Mathematical Monthly, vol. 110, n7, aot-septembre 2003, p.642643) Mme dans le cas o f est continue, la situation est complexe et fait l'objet actuellement de recherches trs pousses. Les suites que l'on obtient sont lies aux notions de fonctions chaotiques, de fractals, de sensibilit aux valeurs initiales, d'effet papillon... On se reportera l'annexe I, Fonctions chaotiques. Fin de la partie rserve aux MPSI. Retour la partie commune MPSI, PCSI, PTSI.

dd

- 25 -

6 Suites homographiques Un cas particulier de suite rcurrente est : un+1 = aun + b = f(un) cun + d

ax + b . cx + d On se place sur . Afin d'viter le cas de suite dont un terme est non dfini cause du dnominateur a d qui s'annule, on prolonge parfois la fonction {} en posant f() = et f( ) = . On cherche c c les points fixes de f, c'est--dire les rels x tels que f(x) = x (ce sont les limites potentielles de la suite), ce qui conduit une quation du second degr. avec f(x) = S'il existe deux racines distinctes (ventuellement complexes) et , on tudie la suite auxiliaire : u vn = n un On vrifie que cette suite est gomtrique, ce qui permet de trouver le terme gnral de la suite initiale. On remarquera que si les racines sont non relles, la suite initiale ne peut pas converger, puisqu'il n'existe pas de points fixes dans . S'il existe une racine double , on considre la suite auxiliaire : 1 vn = un On vrifie que cette suite est arithmtique. On en dduit que vn tend vers et donc que un tend vers , dans tous les cas. EXEMPLES : un u un+1 = 3 2un Les points fixes vrifient : x x= x = 0 ou x = 1 3 2x un un+1 un 1 . Alors vn+1 = = = vn. un 1 un+1 1 3un 3 3 v0 vn v0 u0 Donc vn = n et un = = = 3 vn 1 v0 3n u0 3n(u0 1) Considrons la suite auxiliaire vn = un + 1 un 1 Les points fixes vrifient : x+1 x= x2 2x 1 = 0 x = 1 2. x1 u un+1 = Notons les deux racines = 1 + 2 et = 1 2. On a donc = +1 +1 ,= , = 1. 1 1 u u (1) un + 1 + 1 Considrons la suite auxiliaire vn = n . Alors vn+1 = n+1 = = vn un un+1 (1) un + 1 + 1 - 26 -

ff

gg

ee

avec

1 = 1. Donc vn+1 = vn et vn = (1)n v0. 1 v (1)n v0 Donc un = n = = etc... vn 1 (1)n v0 1

1 + un 1 un Les points fixes vrifient : 1+x x= x2 + 1 = 0 x = i. 1x u i (1+i) un + 1 i 1+i u i 1+i Considrons la suite auxiliaire vn = n . Alors vn+1 = n+1 = = vn avec =i un + i un+1 + i (1i) un + 1 + i 1i 1i . Donc vn+1 = i vn et vn = in v0. iv + i in+1 v0 + i Donc un = n = = etc... 1 vn 1 in v0 u un+1 = 3un 2 2un 1 Les points fixes vrifient : 3x 2 x= x=1 2x 1 u un+1 = Considrons la suite auxiliaire vn = 1 1 2u 1 . Alors vn+1 = = n = 2 + vn. Donc vn = 2n + v0 un 1 un+1 1 un 1 1 + vn 2n + v0 + 1 2n(u0 1) + u0 et un = = = vn 2n + v0 2n(u0 1) + 1

IV : Comparaison des suites numriques 1 Suites quivalentes DEFINITION : i) Une suite (xn) est ngligeable devant une suite (yn) s'il existe une suite (n) tendant vers 0 telle que xn = ynn pour tout n. ii) Une suite (xn) est quivalente une suite (yn) s'il existe une suite (n) tendant vers 0 telle que xn = yn.(1+n) pour tout n. iii) Une suite (xn) est domine par une suite (yn) s'il existe une constante C telle que, pour tout n, xn C yn . Pour des suites non nulles, cela signifie : x i) n tend vers 0. On note xn = o(yn) yn x ii) n tend vers 1. On note xn yn. yn x iii) ( n) est borne. On note xn = O(yn) yn Les proprits suivantes rsultent directement des dfinitions : Si xn = yn + zn et si (zn) est ngligeable devant (yn), alors (xn) et (yn) sont quivalentes. - 27 -

Si xn xn' et yn yn', alors xn xn' yn yn' et

xn yn xn' yn'

2 Suites de rfrences On a : Suites tendant vers + : Pour > 0, > 0, k > 1, on note ci-dessous les suites par ordre de dominance. Une suite est ngligeable devant les suites situes sa droite. (lnn) n kn n! Suites tendant vers 0 : Pour > 0, > 0, k < 1 1 1 1 kn n! n (lnn) Le cas des suites tendant vers 0 se dduit du cas des suites tendant vers l'infini par inversion. Il suffit donc de montrer le permier cas : (lnn) lnn lim = 0 car lim / = 0 qu'il suffit d'lever la puissance . n + n n + n n n n/ln(k) ln(k) n/ln(k) lim lim lim ( n ) = 0 car lim =0 n = nln(k) = n n k n e n e n e kn Enfin, pour le calcul de lim , posons K un entier suprieur k, prenons n suprieur K et n n! crivons : kn kK knK kn = = n! 1 2 ... K (K+1) ... n 1 2 ... K (+1) (K+2) ... n kK k nK k nK ( ) dont la limite est nulle puisque ( ) est une suite 1 2 ... K K+1 K+1 gomtrique de raison infrieure 1. Annexe I : fonctions chaotiques le 1- est lisible ds la premire anne. Le 2- est beaucoup plus difficile. Les points exposs ci-dessous ont fait l'objet de recherches actives lors des dernires dcennies, comme le montre la bibliographie suivante : A. N. Sharkovski, Coexistence of cycles of a continuing map of a line into itself, Ukrainian Math. J., 16 (1964), p.61-71 R. Devaney, An introduction to chaotic dynamical systems, 2nd ed. Addison-Wesley, Redwood City, CA, (1989) T. Li & J. Yorke, Period three implies chaos, Amer. Math. Monthly, 82 (1975), p.985-992 C.-H. Hsu & M.-C. Li, Transitivity implies period six, a simple proof, Amer. Math. Monthly, 109 (2002), p.840-843 1 Etude d'une suite rcurrente Considrons une fonction polynme 4x(1x) du second degr (le type de fonction le plus simple qui soit, aprs les fonctions affines) et considrons la suite rcurrente dfinie par : xn+1 = 4xn(1 xn) o x0 [0,1] et [0,1] Cette suite particulire est caractristique de phnomnes tout fait gnraux, relatifs de nombreuses suites, et que l'on pourra tester numriquement sur une simple calculatrice : - 28 -

u convergence vers une limite pour < 0,75, avec (xn) monotone ou non. Ci-dessous, = 0,7. La suite converge vers l'unique point fixe positif.

u bifurcation partir de 1 = 0,75 de la suite vers deux valeurs, ci-dessous, pour = 0,77. Le point fixe s'est scind en deux valeurs s'loignant peu peu au fur et mesure que augmente. On a pris x0 proche d'une des deux valeurs.

puis bifurcation vers quatre valeurs pour une certaine valeur du paramtre 2, ci-dessous pour = 0,865. Les deux valeurs prcdentes se scindent nouveau en deux.

- 29 -

puis vers huit valeurs pour une valeur 3 du paramtre, ... Les i convergent vers . Feigenbaum a n1 montr que n convergeait vers une limite appele depuis nombre de Feigenbaum. Cette limite n+1 n est une constante universelle dans le sens o elle n'est pas propre la fonction 4x(1x), mais s'applique galement aux fonctions de mme forme, telles sin(x). u comportement chaotique de la suite (xn) lorsque > . Ci-dessous pour = 0.95.

Cela ne signifie pas seulement que la suite ne converge pas, mais aussi qu'il est impossible d'tre certains de la valeur de la suite au bout de quelques termes. Toujours pour = 0.95, en partant de x0 = 0.4, on obtient un rsultat x50 diffrent suivant la calculatrice utilise (par exemple 0.5804900348 pour ma calculatrice et 0.2966295248 pour MAPLE). L'itration est ici extrmement sensible aux erreurs d'arrondis. Par exemple, MAPLE donne x50 = 0.2247101979 si on part de x0 = 0.400000001. Si votre calculatrice donne un rsultat encore diffrent, c'est normal. Cette sensibilit rend toute prvision long terme impossible. Une telle sensibilit a t mise en vidence dans les calculs relatifs aux prvisions mtorologiques et explique la limitation huit jours de ces prvisions. Une infime variation des donnes initiales donnera au bout de ce dlai un temps prvu totalement diffrent. L'image illustrant ce phnomne est passe dans le grand public sous le nom d'effet papillon (un battement d'aile de papillon suffira provoquer un cyclne) et est en passe de figurer ct du mythe de la pomme de Newton et de la baignoire d'Archimde. - 30 -

A noter cependant qu'il y a vingt ans, les prvisions mtorologiques taient limites un ou deux jours. Les progrs sont ds d'une part la prise en compte des donnes mondiales et non plus seulement des donnes nationales pour le calcul du climat, et l'augmentation de vitesse des ordinateurs. Nul intrt de prvoir le temps sur une semaine s'il faut un mois de calcul pour cela !! Il n'en reste pas moins vrai que, quels que soient les progrs techniques raliss, il reste une barrire inhrente au problme et son instabilit. Revenons notre suite rcurrente. Il existe certaines valeurs de dans la zone > pour laquelle le comportement redevient rgulier, et en particulier des valeurs du paramtre pour lesquelles la suite (xn) admet 3, 5, 7, ... limites possibles de sous-suites. Ci-dessous, trois valeurs pour = 0,9580.

- 31 -

Ci-dessous, le graphe est construit de la faon suivante : en abscisse on porte , et en ordonnes, on porte des valeurs xn de la suite pour n grand.

Premire bifurcation La suite (xn) converge vers 1 1/4

Deuxime bifurcation

La suite (xn) converge vers 0 1 1 3 Lorsque est infrieur , la suite tend vers 0. Pour compris entre et , la suite tend vers le 4 4 4 1 point fixe x = 4x(1 x), soit x = 1 , ce qui correspond la branche d'hyperbole. Ensuite, la 4 suite se scinde en deux, la sous-suite de rang pair convergeant vers une limite et celle de rang impair vers une autre, puis chacune se scinde nouveau en deux, etc...

- 32 -

Au dela de apparat une nuage de points. Si on agrandit cette zone, on verra apparatre une bande de valeurs de o la suite admet trois valeurs d'adhrence.

D'autres bandes apparaissent, correspondant cinq, sept... valeurs. L' ordre dans lequel apparaissent ces valeurs lorsque crot est dcrit de la faon suivante. Considrons la suite S d'entiers (ordre de Sarkovski) : 3 5 7 9 11 ... 6 10 14 18 22 ... 12 20 28 36 44 ... ... ... 32 16 8 4 2 1 Si un cycle de priode p apparat dans la suite (xn) pour une valeur du paramtre, la suite a d avoir, pour des valeurs du paramtre infrieures , des cycles de priodes q, o q suit p dans la suite S. Ainsi, la priode 7 apparat APRES les priodes 9, 11...6...4, 2, 1. Autrement dit, les priodes apparaissent dans l'ordre : 1 2 4 8 16 32 ... ... ... 44 36 28 20 12 ... 22 18 14 10 6 ... 11 9 7 5 3 Ainsi, gauche de la bande indique par le chiffre 3 dans le dessin prcdent, toutes les priodes sont dj apparues. L'ordre de Sarkovski apparat galement dans le rsultat suivant, dmontr en 1964. Si f est une fonction continue admettant un cycle de priode p, (i.e. il existe x tel que f o f o f ... o f(x) = x o f est compose p fois), alors f admet des cycles de priode q, o q suit p dans l'ordre de Sarkovski. En particulier, si f admet un cycle de priode 3, f admet des cycles de n'importe quelle priode. Par ailleurs, pour tout n, il existe une fonction continue admettant un cycle d'ordre n mais aucun cycle d'ordre m pour m prcdant n. - 33 -

Enfin, il existe une fonction continue admettant des cycles d'ordre 2n et eux seulement. On peut montrer qu'un tel exemple est donn par la fonction suivante : 1 1 g(x) = 2x + si 0 x 2 4 3 1 3 = 2x + si x 2 4 4 3 3 = 2x si x 1 2 4 Dans l'expression f(x) = 4x(1 x), est choisi entre 0 et 1 de faon que [0,1] soit stable par f. Ce 1 n'est plus le cas si > 1. Dans ce cas, [0,1] se divise en trois intervalles, symtriques par rapport , 2 I, J et K tels que f(I) = f(K) = [0,1] et f(J) soit inclus dans ]1,+[. Si on s'intresse aux points dont les itrs restent dans [0,1], il faut donc enlever J au segment [0,1], mais galement un segment I et K, etc... de sorte que l'ensemble des points dont l'orbite est dans [0,1] forme un ensemble dit ensemble de Cantor. 2 Fonctions chaotiques Soit E l'ensemble des suites s = (si)i formes de 0 ou de 1. E est muni de la distance suivante :

Deux suites "proches" concident sur un certain nombre de termes. Elles sont d'autant plus proches que le nombre de termes pour lesquelles elles cocident est grand. On pose : E E s (s) = s1s2...sn... (s) est la suite s dont on a supprim le terme initial. On peut vrifier que : u est continue. (Pour que (s) et (t) concident sur n termes, il suffit que s et t concident sur n+1 termes) u L'ensemble des points priodique de est dense (*). (Toute suite s peut tre approche d'aussi prs que l'on veut par une suite priodique de priode suffisamment grande) u Il en est a fortiori de mme de l'ensemble des points x ultimement priodiques (i.e. N tq n ( (x))n>N est priodique). u Il en est galement de mme des points non ultimement priodiques. u Il existe un point de E dont l'orbite est dense. Prendre par exemple le point 0100011011000001... constitu de 0 1 00 01 10 11 000 001 ... mis bout bout. u est topologiquement transitive (**), ce qui signifie que, pour tout ouvert U et V, il existe n entier et x dans U tel que n(x) soit dans V. (Ainsi, on peut passer de tout ouvert U tout ouvert V par l'intermdiaire de , condition de bien choisir son point initial et d'itrer suffisamment ). Ce point rsulte du prcdent, car on montre que toutes les fonctions possdant une orbite dense sont topologiquement transitives. u possde une dpendance sensible aux conditions initiales (***), ce qui signifie que : > 0, x, > 0, y, n , d(x,y) < et d(n(x),n(y)) > (Si on bouge un peu le point initial de n'importe quelle quantit , le point final peut se trouver plus loin que prvu d'une certaine distance , condition d'itrer suffisamment ).

- 34 -

ii

hh

d(s,t) =

siti 2i

i=0

Une fonction vrifiant (*), (**) et (***) est dite chaotique (au sens de Devaney). Si une fonction est dfinie sur un ensemble infini, alors (*) et (**) entrane (***). Voici des exemples de fonctions chaotiques : EXEMPLE 1 : est chaotique. sert de modle de fonction chaotique et, pour montrer qu'une fonction est chaotique, on tente souvent de la relier .

De mme, la fonction D() = 2 est chaotique sur S1 = /2 . Si on dcompose un lment de S1 par un dveloppement non pas dcimal, mais binaire, D n'est autre que . f est identique D en considrant l'argument de z. EXEMPLE 3 : Soit T : [0,1] [0,1], dfinie par T(x) = 2x si x < est chaotique. EXEMPLE 4 : Soit h(x) = 4x(1x). Pour > 1, [0,1] n'est pas stable par h. [0,1] est la runion de deux intervalle I0 et I1, dont l'image par h est [0,1]. Posons L = {x, n, hn(x) [0,1]}. L est un ensemble de Cantor, stable par h. En outre, pour tout x de L, on peut dfinir la suite de E s0s1...sn... de faon que n, hn(x) Isn. On dfinit ainsi un homomorphisme (bijection bicontinue) de L dans E. En outre, l'application h correspond ; en effet, h = 1 o o , de sorte que h est chaotique.

On montre que la suite zn+1 = N(zn) converge vers i si on part de z0 ayant une partie imaginaire strictement positive. Elle converge vers i si on part de z0 ayant une partie imaginaire strictement ngative. Elle a un comportement chaotique si on part de z0 rel. Le plan complexe est donc divis en deux zones (les deux demi-plans) o le comportement de la suite est parfaitement prvisible, avec une frontire commune (la droite relle), o le comportement est chaotique. Si on applique cette fois la mthode de Newton la recherche des racines du polynme P(z) = z3 1, z3 1 2z3 + 1 2i savoir : N(z) = z ) ou j2. Le plan 2 = 2 , alors la suite peut converger vers 1, j = exp( 3z 3z 3 2 complexe est divis en trois zones (qui se dduisent les unes des autres par des rotations de ), 3 - 35 -

uu

vv

tt

ss

EXEMPLE 5 : Soit N(x) dfinie sur

{} par : x 1 N(x) = (avec N(0) = et N() = ) 2x N est la fonction relative la mthode de Newton pour la recherche des racines du polynme P(x) P(x) = x2+1, savoir N(x) = x . Ces racines tant complexes, la suite xn+1 = N(xn) ne peut P'(x) converger si on part de x0 rel. Posons () = cotan(/2), avec S1 = /2 . (0) = . Dfinissons sur S1, la fonction D() = 2. On a alors : N = o D o 1 de sorte que N est chaotique. Plus gnralement, la mthode de Newton dans applique un polynme de degr 2 ayant des racines distinctes est chaotique sur la mdiatrice de ces racines.
2

rr

qq

pp

EXEMPLE 2 : Soit U = { z

, z = 1} et soit f : U U dfinie par f(z) = z2. Alors f est chaotique.

1 1 et T(x) = 22x si x . Alors T 2 2

chaque zone tant le domaine de convergence de la suite zn+1 = N(zn) vers chacune des limites possibles. Ces trois zones partagent une frontire commune, ce qui signifie que tout disque de rayon aussi petit soit-il, pris en un point quelconque de la frontire passe par les trois rgions. Il va de soi que, si le terme initial z0 appartient la frontire, la suite y reste et que son comportement est hautement imprvisible. Une variation infime de la valeur initiale fera converger la suite vers l'une des trois valeurs limites, sans qu'on puisse vraiment savoir a priori laquelle. Ci-aprs, la zone blanche est le domaine de convergence vers 1.

Annexe II : Caractrisations du corps des rels Jusqu'au XIXme, les rels ne sont pas dfinis (comme dans le I-1). Certaines proprits sont utilises implicitement. Les mathmaticiens du XIXme se sont employs les mettre jour explicitement. Ainsi, Cauchy utilise-t-il vers 1820 une proprit analogue celle que nous appelons proprit des segments embots. Plus tard, voici ce que Dedekind (18311916) crit sur la droite relle (Continuit et nombres irrationnels 1872) : La comparaison entre le domaine des nombres rationnels et une droite induit reconnatre que le premier est lacunaire, incomplet ou discontinu, tandis que la droite doit tre dite complte, non lacunaire ou continue. Mais en quoi consiste en fait cette continuit ?[...] J'y ai rflchi longtemps en vain, mais finalement j'ai trouv ce que je cherchais. Les avis sur cette dcouverte seront peuttre partags ; je crois cependant que la plupart des gens en trouveront le contenu bien trivial. Il consiste en ceci. [...] Si tous les points de la droite sont rpartis en deux classes, telles que tout point de la

ww

- 36 -

premire classe soit situ gauche de tout point de la seconde classe, il existe un point et un seul qui opre cette partition de tous les points en deux classes, cette dcoupe de la droite en deux portions. La proprit prcdente est appele proprit des coupures de Dedekind. Cependant, la plupart des cours de premier cycle universitaire (et en particulier le programme de CPGE) fait reposer les proprits de sur l'existence d'une borne suprieure. L'objet de ce paragraphe est de montrer que les diverses prsentations (existence d'une borne suprieure, coupures de Dedekind, segments embots de Cauchy, Proprit de Cousin) sont quivalentes. La lecture du paragraphe est assez difficile et ne saurait intresser en priorit que des tudiants de MPSI ou MP s'intressant particulirement aux mathmatiques. dsigne un corps muni d'une relation d'ordre total Considrons les proprits suivantes, o compatible avec les oprations du corps (entre autres ou ) :

que : a A, b B, a < b alors il existe un lment x0 de tel que : ou bien A = { a K / a x0 } et B = { b K / b > x0 } ou bien A = { a K / a < x0 } et B = { b K / b x0 }

(P2) (Proprit de la borne suprieure) Toute partie non vide majore admet une borne suprieure. (P3) (Proprit de la borne infrieure) Toute partie non vide minore admet une borne infrieure. (P4) a) (Proprit des segments embots) Si (an) est une suite croissante et (bn) une suite dcroissante telles que : n, an bn alors il existe un lment x de vrifiant : n, an x bn (x appartient tous les segments [an, bn]). b) (Proprit d'Archimde) x > 0, y > 0, n , x < ny. (P5) (Proprit de Cousin) Si a c < d b et si est une fonction dfinie sur [a,b] valeurs strictement positives, alors il existe une sudvivision c = x0 < x1 < ... < xn = d et des nombres t1, ..., tn tels que, pour tout i, ti (ti) < xi1 ti xi < ti + (ti). On dit que ti marque le segment [xi1, xi].On dit que la subdivision {xi} marque par les points ti est plus fine que . La proprit (P5) est peu rpandue dans les ouvrages d'analyse. Si jamais elle est utilise dans une autre partie de ce cours, une dmonstration plus classique sera toujours donne. Le lecteur est donc libre de l'oublier compltement. Elle intervient cependant dans certaines thories modernes de l'intgration et son champ d'application est peut-tre amen se dvelopper dans les annes qui viennent. - 37 -

(P1) (Proprits des coupures de Dedekind) Si (A,B) forme une partition de

yy

xx

de faon

ne vrifie aucune de ces proprits. Voici des contreexemples : p p2 p p (P1) : A = { | < 0 ou [ 0 et 2 < 2] } et B = A.La coupure devrait tre 2 mais c'est un q q q q irrationnel. (P2) : La partie A prcdente, bien que majore, n'admet pas de borne suprieure dans . Sa borne

(P4) : Si (an) est une suite croissante de rationnels convergeant vers 2, et (bn) une suite dcroissante de rationnels convergeant vers 2, alors il n'existe aucun rationnel x vrifiant : n, an x bn x existe dans , mais c'est l'irrationnel 2. (P5) Si a = c est un rationnel infrieur 2 et b = d un rationnel suprieur, alors, dfinissons sur les rationnels de [a,b] de la faon suivante. Si x est un rationnel infrieur 2, on choisit (x) strictement positif tel que x + (x) < 2. Si y est un rationnel suprieur 2, on choisit (y) strictement positif tel que y (y) > 2. Il n'existe pas de subdivision de rationnels telle que dcrite dans la proprit de Cousin. Si i est l'indice tel que xi1 < 2 < xi, alors ou bien ti < 2 mais dans ce cas ti (ti) < xi1 ti xi < ti + (ti) < 2 ce qui est contradictoire avec 2 < xi, ou bien ti > 2 mais alors 2 < ti (ti) < xi1 ti xi < ti + (ti) ce qui est contradictoire avec xi1 < 2. Si on se plaait dans , serait dfinie en 2 et on pourrait prendre ti = 2. vrifie toutes ces proprits. Nous allons d'abord montrer que, si l'une de ces proprits est vraie, les autres aussi. Elles sont quivalentes. Dmonstration : u (P1) (P2) Soit E une partie non vide, majore par m. Appelons B l'ensemble des majorants de E et A = B. Alors : B est non vide, car m appartient B. A est non vide, car il existe un lment x dans E, et x1 ne majorant pas x se trouve donc dans A. a A, b B, a < b. En effet, a A signifie que a ne majore pas E, et donc qu'il existe x lment de E tel que a < x. b B signifie que b majore E et donc que x b. Donc a < b. {A,B} forme une partition de . C'est vident puisque A = B. Les hypothses de (P1) sont vrifies. Il existe donc m0 lment de tel que : () ou bien A = { a / a m0 } et B = { b / b > m0 } () ou bien A = { a K / a < m0 } et B = { b K / b m0 } Dans le cas (), m0 est le plus petit lment de B. m0 est donc le plus petit majorant de E. La borne suprieure de E existe donc. Montrons que le cas () est impossible. Dans le cas (), m0 est lment de A et ne majore donc pas E. Il existe x lment de E tel que m0 < x. m +x m +x On a alors m0 < 0 < x. 0 tant suprieur m0 est lment de B, donc majore E. Il est 2 2 cependant infrieur x lment de E. La contradiction est ainsi prouve. - 38 -

dd

infrieure existe dans

, mais c'est un irrationnel : 2.

suprieure existe dans , mais c'est un irrationnel : 2. (P3) : La partie B prcdente, bien que minore, n'admet pas de borne infrieure dans

. Sa borne

u (P2) (P3) Supposons (P2). On peut donner deux dmonstrations de (P3). dm 1 : Soit E une partie non vide minore par m. Posons E' = {x | x E}. Alors E' est non vide et majore par m. Elle admet donc une borne suprieure S. x E', x S < S, x E', x > Donc : y E, S y (poser x = y) > S, y E, y < (car il existe x lment de E' tel que < x, et l'on pose y = x) S est donc la borne infrieure de E. Une dmonstration symtrique prouve que (P3) (P2) dm 2 : Soit E une partie non vide minore. Soit F l'ensemble non vide des minorants. Alors : x F, y E, x y Donc F est major par n'importe quel lment de E. Il admet donc une borne suprieure S, qui, en tant que plus petit majorant de F, est plus petit que n'importe quel lment de E (qui sont tous des majorants de F). On a donc : y E, S y Cela montre que S minore E ; il appartient donc lui-mme l'ensemble F des minorants. Il s'agit donc, non seulement d'une borne suprieure, mais aussi d'un maximum. Ce maximum S est donc le plus grand des minorants de E. Mais cela est la dfinition mme de la borne infrieure de E. Ainsi, S = Inf E. u (P2) (P4) (La raison pour laquelle nous prfrons montrer (P4) partir de (P2) et non de (P3) est que (P2) est traditionnellement choisi comme axiome vrifi par , plutt que (P3)). Montrons a) On a : n, a0 an bn b0 Donc (an) est majore par b0. Soit x la borne suprieure des an. x rpond la question. On a en effet an x . Montrons que : n, x bn Si n < m, on a : an am bm car (an) est croissante. Si n > m, on a : an bn bm car (bn) est dcroissante. On a donc : n, m, an bm Donc tous les bm majorent les an. x tant le plus petit majorant, on en dduit que : m, x bm. Montrons b) Soit E = {ny | n , ny x }. E est non vide (il contient 0) et major par x. Il admet donc une borne suprieure S. Sy n'est donc pas un majorant de E, puisqu'il est infrieur S, plus petit majorant. Donc il existe ny lment de E tel que : S y < ny S < (n+1)y. Donc (n+1)y ne peut tre lment de E, donc (n+1)y > x.

- 39 -

ee

ff

Une autre formulation de (P4) a) est la suivante : On appelle segment [a,b] l'ensemble des x de vrifiant : a x b. Soit (In) une suite dcroissante de segments. Alors l'intersection de tous les In est non vide. u (P4) (P1) (La dmonstration de cette implication a pour but de montrer l'quivalence des proprits (P1) (P4) sans utiliser la proprit de Cousin. Choisissons a et b arbitraires respectivement dans A et B. Posons I0 = [a, b] et dfinissons par rcurrence une suite dcroissante de segment (In). Supposons In1 dfini, avec In1 = [an1,bn1], a + bn1 an1 A, bn1 B. On peut dfinir l'lment n1 , et l'on a : 2 a + bn1 < bn1 an1 < n1 2 a + bn1 appartient soit A, soit B. {A,B} formant une partition de , l'lment n1 2 a + bn1 S'il appartient A, on pose an = n1 et bn = bn1. 2 a + bn1 S'il appartient B, on pose bn = n1 et an = an1. 2 Dans tous les cas, on a In inclus dans In1, et de plus : b a 0 < bn an = 0 n 0. 2 D'aprs la proprit a) de (P4), il existe x0 tel que : n, an x0 bn Il suffit alors de montrer que x0 majore A et minore B. Pour cela, on raisonne par l'absurde. Si x0 ne majore pas A, il existe lment de A tel que x0 < . Puisque 0 < x0 et 0 < b0 a0, il existe, d'aprs la proprit b) de (P4) un entier n tel que : 0 < b0 a0 < n( x0) n Or n < 2 donc 0 < b0 a0 < n( x0) < 2n ( x0) 0 < bn an < x0. Par ailleurs, an x0 bn x0 bn an. bn x0 < x0 bn < or ceci est impossible car tout lment de B est suprieur tout lment de A. On montre de mme que x0 minore B. Enfin il appartient A ou B puisque {A,B} ralise une partition de . On notera l'intrt de la proprit d'Archimde pour conclure. u (P4) (P5) Posons a0 = c et b0 = d. Nous raisonnons par l'absurde. Si la proprit de Cousin est fausse sur a + b0 a + b0 [a0, b0] alors ou bien elle est fausse sur [a0, 0 ], ou bien elle est fausse sur [ 0 , b0] car s'il 2 2 existait une sudvision adquate sur chacun de ces intervalles, la runion de ces deux subdivisions rpondrait la question sur [a0, b0]. Nous notons [a1, b1] l'intervalle sur laquelle la proprit de - 40 -

gg

hh

ii

Cousin est fausse et itrons le procd. Si [an, bn] est dfini de faon que la proprit de Cousin soit a + bn en dfaut sur cet intervalle, alors ou bien la proprit est galement fausse sur [an, n ] ou bien 2 a + bn , bn]. Notons [an+1, bn+1] l'intervalle sur lequel elle est fausse. On dfinit elle est fausse sur [ n 2 ainsi une suite croissante (an) et une suite dcroissante (bn), avec pour tout n an < bn. Soit x un point commun tous les segments [an, bn]. Soit le nombre strictement positif (x). On a : b a b a0 b0 a0 bn an = 0 n 0 < 0 et < pour un certain n d'aprs la proprit d'Archimde. 2 n n On a construit [an, bn] de faon que la proprit de Cousin soit fausse sur cet intervalle, mais pourtant la subdivision de ce segment forme des deux seuls points an et bn vrifie bien la proprit de Cousin si on prend x comme marqueur du segment, puisque : x (x) = x < an < bn < x + = x + (x) D'o une contradiction. L'hypothse tait donc fausse, et la proprit de Cousin est vraie sur [c, d]. u (P5) (P1) Soit (A,B) est une coupure. Raisonnons par l'absurde et supposons que A n'admet pas de maximum et B pas de minimum. On dfinit de la faon suivante. Si a est lement de A, on choisit (a) strictement positif tel que a + (a) soit lment de A, ce qui est possible puisque a n'est pas le maximum de A. Si b est lment de B, on choisit (b) strictement positif tel que b (b) soit lment de B, ce qui est possible puisque b n'est pas le minimum de b. Si a = c est dans A et b = d dans B, il ne peut exister aucune subvivision vrifiant la proprit de Cousin contrairement l'hypothse. En effet, si i est le premier indice tel que xi soit dans B et xi1 encore dans A, alors ou bien ti est dans A mais dans ce cas ti (ti) < xi1 ti xi < ti + (ti), lments tous dans A, ce qui est contradictoire avec xi dans B, ou bien ti est dans B mais alors ti (ti) < xi1 ti xi < ti + (ti), lments tous dans B, ce qui est contradictoire avec xi1 dans A. D'o une contradiction. L'existence d'un maximum pour A ou d'un minimum pour B permet de dfinir un point supplmentaire de la subvision levant l'impossibilit. vrifie ces proprits car cela rsulte de la dfinition de . DEFINITION : est un corps totalement ordonn vrifiant la proprit de la borne suprieure. Il vrifie donc galement les autres proprits.

REMARQUE : Dans l'article "Calcul infinitsimal" de l'Encyclopedia Universalis, R. Godement dfinit les rels partir de leur dveloppement dcimal et prouve la proprit de la borne suprieure partir de ce dveloppement. Dans notre dmarche, nous caractrisons par la proprit de la borne suprieure et nous montrons que les rels admettent un dveloppement dcimal.

- 41 -

mm

On montre qu'un tel corps existe. On le construit par exemple partir des coupures de ailleurs, on montre qu'il est unique isomorphisme prs.

nn

kk

jj ll

. Par