[EM#17] Théorème de Bolzano-Weierstrass (Démonstration)

🔗 Ressources en lien:
📗 Le petit manuel de la khôlle:
bit.ly/3P3fJO7
Dans cette émission, je démontre le théorème de Bolzano-Weierstrass en m'appuyant sur le théorème des segments emboîtés qui a été présenté dans l'émission [EM#16]. En décomposant le raisonnement en deux étapes et en fournissant une illustration graphique, je présente une manière simple de comprendre cette démonstration.
🎥 Émissions connexes:
[PMK#1] Le petit manuel de la khôlle - • [PMK#1] Le petit manue...
[EM#16] Segments emboîtés - • [EM#16] Suites adjacen...
✒️ Notions abordées: théorème de Bolzano-Weierstrass, théorème des segments emboîtés, suite extraite convergente, construction par procédé itératif.
🌞 Bonne écoute !
📚 Découvre mes formations ! - www.oljen.fr/formations
🎁 Dedalus Fecit (Extraits gratuits) - bit.ly/3SlYXfJ
🎁 Lux in Tenebris (Extraits gratuits) - bit.ly/3FH6cHk
🤖 Rejoins mon serveur Discord ! - / discord
🌐 Explore mon site internet ! - www.oljen.fr/
📧 Contact - www.oljen.fr/contact
🔸Tu apprécies le contenu que je produis ?
🔸Tu souhaites que je réalise davantage de vidéos ?
🔸Tu souhaites me remercier pour ce que cette chaîne t'a apporté ?
👨‍🏫 Soutiens-moi en rejoignant la chaîne ! - bit.ly/3djsfcg
🤝🏻 Tu peux aussi faire un don libre ici ! - bit.ly/3pMOJFN
📗 Le petit manuel de la khôlle - bit.ly/3P3fJO7
📘 Les principes d'une année réussie - bit.ly/42WH8ai

Пікірлер: 85

  • @guillaumereydellet4902
    @guillaumereydellet4902 Жыл бұрын

    Le reuf bao qui nous dirige sur cette jeune vidéo

  • @Valerian-_-

    @Valerian-_-

    Жыл бұрын

    Clairement 😂

  • @bhnexys4127

    @bhnexys4127

    Жыл бұрын

    Bonsoir oui

  • @draaagoo7799

    @draaagoo7799

    Жыл бұрын

    haha

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Je vous prie de remercier ce reuf de ma part 🤣!

  • @archeacnos

    @archeacnos

    Жыл бұрын

    C'est effectivement de là que je viens

  • @imperium5195
    @imperium51952 ай бұрын

    Tu es un MOONSTRE ! Félicitation, incroyable comment en moins de minute tu arrives a nous faire comprendre un cours de 2h !

  • @oljenmaths

    @oljenmaths

    2 ай бұрын

    Merci 🙏🏻 ! Voilà qui m'encourage à continuer mon aventure de vidéos mathématiques 😇.

  • @machine4774
    @machine47744 жыл бұрын

    Merci pour cette vidéo *que j’avais d’ailleurs demandé* J’ai tout compris alors qu’en sup non. J’adore votre manière d’expliquer les choses : clair, fluide, ...

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    On a le même point de départ: ce théorème m'avait laissé complètement perdu 🙃.

  • @Gabi_09
    @Gabi_094 жыл бұрын

    Très bonnes explications comme d'habitude. Bravo pour votre pédagogie !

  • @z-ed8053
    @z-ed80534 жыл бұрын

    UN ÉNORME MERCI À VOUS.

  • @hogokage2433
    @hogokage24334 жыл бұрын

    Merci pour votre travail.

  • @hichamchegue1720
    @hichamchegue17203 жыл бұрын

    très bien expliqué .. merci infiniment

  • @mohammedsofou7692
    @mohammedsofou76924 жыл бұрын

    UN ÉNORME MERCI

  • @riemann5445
    @riemann54454 жыл бұрын

    Je khôlle dessus mardi, cette vidéo tombe à point nommé, merci 🙏🏼

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Et du coup, as-tu réussi cette démonstration 😃 ?

  • @riemann5445

    @riemann5445

    4 жыл бұрын

    @@oljenmaths je suis tombé sur la démonstration du théorème de limite monotone, 14 c'est déjà ça ! 😆

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    @@riemann5445 👏 Bon courage pour la suite !

  • @MrArtemisMA
    @MrArtemisMA3 жыл бұрын

    Trés clair merci !!

  • @maxime703
    @maxime7034 жыл бұрын

    Merci beaucoup, grâce à vous, nous pouvons écouter des maths dans le métro avant d'aller en cours pour optimiser d'avantage notre temps, au lieu de sortir un cahier... Par ailleurs, vous avez une super pédagogie.

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Je réalise aujourd'hui les vidéos que j'aurais aimé avoir lorsque j'étais étudiant, exactement pour cet usage. Qu'on puisse me ré-expliquer des démonstrations en une dizaine de minutes, sans sortir mon cahier de mon sac 🙃 !

  • @jerroldcharles5949

    @jerroldcharles5949

    2 жыл бұрын

    @@oljenmaths o

  • @rainbow-kj3ks
    @rainbow-kj3ks4 жыл бұрын

    MERCI À VOUS.

  • @remilff7902
    @remilff79028 ай бұрын

    J'aime beaucoup le recul que vous prenez lors de vos démonstrations. Merci pour votre travail

  • @oljenmaths

    @oljenmaths

    8 ай бұрын

    Au plaisir 😁!

  • @herogsm8045
    @herogsm80453 жыл бұрын

    Merci infiniment monsieur

  • @thomasmarchand4398
    @thomasmarchand43983 жыл бұрын

    Superbe vidéo !

  • @BrawlDstars1246
    @BrawlDstars1246 Жыл бұрын

    vos démonstrations sont simples à comprendre, claires et élégentes contrairement aux miennes

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Merci 🙏🏻! Ça vient avec beaucoup de travail et d'expérience, patience 😇.

  • @francoisgirardot6277
    @francoisgirardot6277 Жыл бұрын

    tres clair bravo

  • 4 жыл бұрын

    Très bonne vidéo ! Je vais peut-être le démontrer en colle la semaine prochaine !

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Alors, as-tu investi le temps nécessaire pour apprendre la démonstration, et es-tu tombé dessus 😃 ?

  • @theeo1977
    @theeo19774 жыл бұрын

    Merci

  • @labelmaths7787
    @labelmaths7787 Жыл бұрын

    Bravo pour votre travail, les explications sont claires, fluides et agréables sur la forme. Je me demandais pourquoi utiliser une preuve par récurrence au sens fort dans la deuxième partie... Est-ce simplement pour s'éviter de construire le deuxième terme de la sous-suite lors de l'initialisation ?

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Merci beaucoup 🙏🏻! La justification première, c'est que c'est le premier raisonnement qui m'est venu en tête pour formaliser la construction d'une suite par itération: il faut que j'explique comment, ayant ses n premiers termes, je construis le (n+1)-ème. En réalité, il s'avère en effet, a posteriori, qu'on peut se contenter de la connaissance du terme précédent pour construire le suivant, mais cela me fait le même effet que d'abattre un mur de ma maison sous prétexte qu'il n'est pas porteur (l'image n'est sans doute pas optimale mais je pense que j'ai à peu près réussi à expliquer ce qui m'était passé par la tête 🥳).

  • @Lucas-tm9ib
    @Lucas-tm9ib3 жыл бұрын

    J'ai cliqué juste pcq j'avais oublié comment ça se prononçait mais bonne vidéo 👍

  • @z-ed8053
    @z-ed80534 жыл бұрын

    Bonjour, en regardant cette vidéo encore une fois une question m'est venue. Le théorème dit que de toute suite bornée on peut extraire une sous suite convergente. Mais cette sous suite elle converge vers quoi exactement ? Est-ce que cela veut dire que pour n'importe quel réel on peut trouver une sous suite qui converge vers ce dernier ?

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    Bonjour ! C'est une question enthousiasmante 😃. 🔹 Considérons des suites périodiques, du type (1,0,1,0,1,0,...), ou bien (1,2,3,1,2,3,1,2,3,...), etc. Pour ces suites là, nul besoin des messieurs Bolzano et Weierstrass: on peut extraire, à la main, des sous-suites convergentes, et même obtenir leurs limites. 🔹 Cela dit, cela écarte la dernière assertion: "pour n'importe quel réel on peut trouver une sous-suite qui converge vers ce dernier". On peut aussi considérer ce genre de suites (1,2,1,3,1,4,1,5,1,6,1,7,1,8,...), de laquelle on ne pourra jamais extraire une suite qui converge vers 7. 🔹 En toute généralité, le théorème nous explique, par exemple, qu'il est possible d'extraire une sous-suite convergente de la suite donnée, pour tout entier naturel n, par un = sin(n). Cela dit, à cet endroit, le théorème ne permet pas de déterminer la limite d'une sous-suite convergente. On sait qu'il en existe au moins une, mais c'est vraiment tout.

  • @davidyou8228
    @davidyou8228 Жыл бұрын

    salut, j'ai une petite question qui me turlupine. Que se passerait il si la suite était repartie équitablement entre la partie [m, (M+n)/2] et la partie [(M+m/2), M]. Je pense par exemple à la fonction cosinus qui repartirait pour les termes de la suite 1 pour les termes paire et -1 pour les termes impaires. Aussi je me demande si le théorème de Bolzano Weierstrass permet d'affirmer qu'une suite bornée possède une limite convergente en un point L?

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Salut ! Pour la fonction cosinus, il y aurait des sous-suites convergentes vers plusieurs limites. Plus simple encore: la suite des (-1)^n admet des sous-suites convergentes vers -1, mais aussi vers 1. Quant à affirmer qu'une suite bornée possède une limite, non, et ce serait le même exemple, mais peut-être que je comprends mal la question 😉.

  • @davidyou8228

    @davidyou8228

    Жыл бұрын

    @@oljenmaths Merci bcp!!

  • @Al-tm3ju
    @Al-tm3ju3 жыл бұрын

    Bonjour, merci pour cette démonstration, mais s'agit-il du raisonnement pas dichotomie ? J'ai l'impression d'y voir des ressemblances mais mon professeur n'a jamais parlé de segments emboîtés.

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    Il s'agit en effet d'un raisonnement par dichotomie (mot assez complexe pour désigner la division d'un tout entre deux parties, plus simplement). Le passage par les segments emboîtés n'est pas indispensable: on pourra s'appuyer, à défaut, sur le théorème des suites adjacentes 👨‍🏫.

  • @Al-tm3ju

    @Al-tm3ju

    3 жыл бұрын

    @@oljenmaths Très bien, merci beaucoup !!

  • @momobouajila1692
    @momobouajila1692 Жыл бұрын

    Je suis en première et j'ai 15 ans et j'ai tout compris je rêve de dépasser le mathématicien heistein en passantar toute les théorème en aquiran des compétences

  • @mdgt1356

    @mdgt1356

    Жыл бұрын

    avant d'essayer d'obtenir ce genre de rêve essaye d 'être fort en français parce que sinon c'est fini pour toi (j ai aussi 15ans)

  • @mathyss.9842
    @mathyss.98423 жыл бұрын

    Bonjour, ce théorème s’applique-t-il aux suites complexes définit comme: ∀n ∈ ℕ, (zₙ) ∈ ℂ^ℕ ?

  • @oljenmaths

    @oljenmaths

    2 жыл бұрын

    Le résultat reste vrai pour des suites complexes. Voici les grandes lignes d'une démonstration possible: 🔹 Démontrer que le résultat est vrai dans R² (il suffit d'utiliser deux fois le théorème de la vidéo). 🔹 Exploiter le fait que R² et C se ressemblent beaucoup.

  • @Nononinon8non
    @Nononinon8non Жыл бұрын

    Bonjour est-ce que c’est assez accessible pour en faire un sujet de grand oral ( donc niveau terminale )

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Salutations ! D'instinct, je dirais que non, c'est vraiment une démonstration épineuse même pour les préparationnaires et c'est un terrain glissant pour les candidats qui se feraient interroger sur les à côtés de la démonstration. Mais je ne suis pas professeur en terminale; peut-être qu'un collègue aurait un avis différent 🤷🏻‍♂️.

  • @mathsplusun
    @mathsplusun4 жыл бұрын

    Et il ne faut pas confondre le petit manuel de la kholle avec le petit manuel de l’alcool 😉

  • @oljenmaths

    @oljenmaths

    4 жыл бұрын

    On peut néanmoins établir un lien entre les deux: les étudiants les plus nerveux pourraient envisager de siffler une petite pinte de brune avant de passer en khôlle. Résultats non garantis 🍻 !

  • @mathsplusun

    @mathsplusun

    4 жыл бұрын

    @@oljenmaths Hi hi oui le résultat est loin d'être garanti ;) Sinon bravo pour ta chaîne ça m'évite tout un tas de vidéos à faire :)

  • @studingsup9425
    @studingsup94253 жыл бұрын

    COOL

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    L'association du mot "COOL" à "Bolzano-Weierstrass", je le prends comme un accomplissement personnel 😋 !

  • @Amine-xb9wi
    @Amine-xb9wi8 ай бұрын

    Donc si je comprends bien, vers environ 4:08, l c'est soit a0 ou bien b0 vu que la limite d'une suite Un avec une suite constante Vn et c'est juste le terme constant de la suite, c'est bien ca ?

  • @oljenmaths

    @oljenmaths

    8 ай бұрын

    Mmh, non. La limite de la sous-suite peut être, a priori, n'importe où dans le segment.

  • @archeacnos
    @archeacnos Жыл бұрын

    Bonjour, quel est le nom du logiciel que tu utilises pour émuler le tableau ?

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Photoshop, tout simplement 😉.

  • @archeacnos

    @archeacnos

    Жыл бұрын

    @@oljenmaths un facteur de plus qui me rappelle que je dois apprendre à l'utiliser X)

  • @fabricesolaris4294
    @fabricesolaris42944 жыл бұрын

    Si je ne m'abuse, il peut y avoir une infinité de termes de la suite dans tout sous intervalle de [m, M], pas uniquement dans la partie [m, (M+n)/2] ou dans la partie [(M+m/2), M]. donc I1 peut être égal à tout sous intervalle [m, M].

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    La suite (1,2,2,2,2,2,2,2,2,...) semble contredire cela 🧐 ! L'intervalle [5/4 , 7/4] ne contient aucun terme de cette suite, par exemple 🙃.

  • @prosperyouplaboum5826
    @prosperyouplaboum582611 ай бұрын

    Bonjour, merci pour votre travail. J'arrive peut-être un peu tard. Une question. Soit une suite bornée divergente. Comment monter qu'elle possède deux sous-suites convergeant vers des limites différentes?

  • @oljenmaths

    @oljenmaths

    11 ай бұрын

    Salutations, au plaisir 😄! La question que vous posez n'est pas « immédiate »: c'est l'énoncé d'un exercice. Je ne donnerai donc que les deux ingrédients principaux: le théorème de Bolzano-Weierstrass (en premier) puis une conséquence de la divergence à utiliser subtilement (en deuxième).

  • @prosperyouplaboum5826

    @prosperyouplaboum5826

    11 ай бұрын

    @@oljenmaths Merci de votre réponse. Je ne suis pas étudiant mais un retraité passionné par les mathématiques. En tous cas encore merci pour votre disponibilité et je vais voir ce que je peux faire.

  • @oljenmaths

    @oljenmaths

    11 ай бұрын

    @@prosperyouplaboum5826 N'hésitez pas à revenir vers moi si mes indices ne suffisent pas, dans ce cas, et je vous aiderai davantage.

  • @prosperyouplaboum5826

    @prosperyouplaboum5826

    11 ай бұрын

    @@oljenmaths Voilà, j 'ai un peu réfléchi à la question.Les petits enfants étant à la maison en ce moment ils avaient la priorité sur les maths. D'abord par le théorème de Bolzano Weieirstrass la suite étant bornée elle possède une sous suite qui converge vers un réel, disons "l". Pour les termes qui ne font pas parti de cette sous suite, comme la suite de départ diverge alors il existe epsilon tel que à partir d'un certain rang abs(Un - l)> epsilon. C'est à dire de manière imagée ces termes se tiennent à distance de l. Alors soit tous les termes restants convergent vers une limite différente de l, soit ils constituent à leur tour une suite divergente bornée et on applique à nouveau le théorème de Bolzano Weieirstrass et on construit une sous suite qui converge vers un réel différent de l. Je ne sais pas si c'est clair, cela reste à formaliser. En vous remerciant.

  • @oljenmaths

    @oljenmaths

    11 ай бұрын

    @@prosperyouplaboum5826 Magnifique, c'est tout à fait juste ! Bravo 👏🏻!

  • @mameballabousso5516
    @mameballabousso55162 жыл бұрын

    Comment pourrais-je faire pour avoir votre livre PMK

  • @oljenmaths

    @oljenmaths

    2 жыл бұрын

    Pour l'instant, il n'est en vente que sur Amazon (et imprimé par leurs soins).

  • @MRBEST_ARBIC
    @MRBEST_ARBIC Жыл бұрын

    المحاضره الخامسه موضوع مبرهنة المسار الخاص Der fünfte Vortrag ist das Thema des Private-Track-Theorems.

  • @ismailaitabdelkarim7164
    @ismailaitabdelkarim7164 Жыл бұрын

    Stp fait noud la demonstration de la proprieté de la borne sup

  • @egillandersson1780
    @egillandersson1780 Жыл бұрын

    7:09 Je ne comprends pas en quoi une suite infinie ne peut pas être majorée. J'aime bien la première parti de la démo. À partir de là, on peut construire une suite de Cauchy, dont les termes deviennent aussi proches qu'on veut (à 1/2^n près) et c'est donc bien une suite convergente, mais une suite strictement croissante c'est compliqué : admettons qu'on prenne phi(0) dans la seconde moitié de l'intervalle et que la moitié contenant un nombre infini de termes soit justement la première, c'est déjà mort. Ou alors j'ai raté un point de la démo (c'est bien possible).

  • @oljenmaths

    @oljenmaths

    Жыл бұрын

    Ah oui, il y a un petit dérapage. À 7:09, je ne parle pas d'une suite infinie qui ne peut pas être majoré, mais d'une suite d'indices 😱! Et c'est justement ce qui permet de rendre la suite strictement croissante, parce que je peux trouver des indices aussi grands que je veux là-dedans. Si tu comprends cette explication, alors tu as fait le plus dur, on touche au but 🥳!!

  • @egillandersson1780

    @egillandersson1780

    Жыл бұрын

    @@oljenmaths 💡 ! Merci

  • @jolanmoussier9267
    @jolanmoussier92673 жыл бұрын

    dommage que je ne puisse pas utiliser le truc sur les segments adjacents pour mon controle ca aurait ete bcp mieux sinon

  • @oljenmaths

    @oljenmaths

    3 жыл бұрын

    On peut s'arranger en démontrant ce passage à partir du théorème sur les suites adjacentes, comme ici: 🎥 [EM#16] kzread.info/dash/bejne/nX6aqc-fgLe1lto.html Ça fait faire un petit détour, mais ça gagne quand même 👍🏽 !

  • @jolanmoussier9267

    @jolanmoussier9267

    3 жыл бұрын

    @@oljenmaths tres bien merci ^^

  • @TionebFountain
    @TionebFountain Жыл бұрын

    Au lieu d'utiliser le théorème des segments emboîtés (c'est un peu lourd) l'argument des suites adjacentes est aussi élégant

  • @OmarLabiade
    @OmarLabiade6 ай бұрын

    soleil levant?

  • @oljenmaths

    @oljenmaths

    6 ай бұрын

    Soleil couchant 😎!

  • @Pod_TM
    @Pod_TM4 ай бұрын

    Bien plus facile une fois qu'on à les compacts 😂

  • @oljenmaths

    @oljenmaths

    4 ай бұрын

    Ah oui ! Bon nombre de « prises de hauteur » ont ce genre d'effets 😉.