Centre Des Classes Préparatoires Lydex -BENGUERIR- ‘Théordme de Bolzano-Weierstrass Octobre 2020 Le but de ce devoir libre est de démontrer le théoréme de Bolzano-Weierstrass, qui dit que de toute suite réelle bornée on peut extraire une suite convergente, ‘+ Un ensemble E est dit fini lorsqu'l est constitué d'un nombre fini d’eléments, Dans le cas contra it qu'il est infin * Si E et 2’ sont deux ensembles finis, alors HUB" est aussi un ensemble fini. Par contraposte, si EU E est infini, alors au moins ’un des deux ensembles E et 45’ est infini. Soit (tun) une suite réelle bornée. 1 Partie I Nous voulons construire par un procédé dichotomique deux suites adjacentes (an) et (bn) telles que, pour tout centier naturel n, Vensemble An ={kEN: Gn Sth S bn} soit infin. 1. Justifier Pexistence de ap, bo € R tels que Ap soit infin 2. Soient ay et ba tels que Vensemble An = {kK EN: Gn Sty S bn} cst infini, On pose Gy = 22428 et on considére les ensembles suivants AZ SIREN san Sue Seq} eb AL = (KEN tC Ste S ba} (a) Montrer que au moins l'un des deux ensembles Az ou Ay est infin. (b) On pose a, si Agest infin _ [en si Azest infini 7 -{ & yon 2 -{ by si Atest infini Montrer que Anes est infini (c) Verifier que buyi — ang = 5" 4. La relation de récurrence () et ao, bo donnés dans la question 1.1 permettent de défini les suites (an) et (ba) de sorte que, pour tout n € N, l'ensemble An = {KEN sy Sux S bn} est infini. Montrer que (an) et (bn) sont adjacentes, Notons J leur limite commune. 2 Partie II Nous allons maintenant construire une application y : N —+ N strictement croissante telle que la suite extraite (tg¢m) converge vers 1. On suppose que y(n) est déja défini. Justfier que An¢a\{0, 1,..,o(n)} admet un plus petit élement. 2. On considére l'application y : N—+ N definie pox (0) € Ag et YnEN (n+l) min (Anga\{0)1,.--¢(9)}) Montrer que ¢ est strictement croissante et que, pour tout n € N,o(n) € An 3. Montrer que (zy(n)) converge vers I. Scanné avec CamScanner