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

Поделиться
HTML-код
  • Опубликовано: 6 янв 2025

Комментарии • 100

  • @guillaumereydellet4902
    @guillaumereydellet4902 2 года назад +86

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

    • @Valerian-_-
      @Valerian-_- 2 года назад +1

      Clairement 😂

    • @bhnexys4127
      @bhnexys4127 2 года назад

      Bonsoir oui

    • @draaagoo7799
      @draaagoo7799 2 года назад

      haha

    • @oljenmaths
      @oljenmaths  2 года назад +16

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

    • @archeacnos
      @archeacnos 2 года назад +1

      C'est effectivement de là que je viens

  • @machine4774
    @machine4774 5 лет назад +21

    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  5 лет назад +6

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

  • @imperium5195
    @imperium5195 8 месяцев назад +3

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

    • @oljenmaths
      @oljenmaths  8 месяцев назад +2

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

  • @Gabi_09
    @Gabi_09 5 лет назад +10

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

  • @maxime703
    @maxime703 4 года назад +5

    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 года назад +6

      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 3 года назад

      @@oljenmaths o

  • @z-ed8053
    @z-ed8053 5 лет назад +5

    UN ÉNORME MERCI À VOUS.

  • @remilff7902
    @remilff7902 Год назад

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

  • @riemann5445
    @riemann5445 5 лет назад +9

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

    • @oljenmaths
      @oljenmaths  5 лет назад +1

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

    • @riemann5445
      @riemann5445 5 лет назад

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

    • @oljenmaths
      @oljenmaths  5 лет назад +1

      @@riemann5445 👏 Bon courage pour la suite !

  • @BrawlDstars1246
    @BrawlDstars1246 2 года назад +2

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

    • @oljenmaths
      @oljenmaths  2 года назад +2

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

  • @hogokage2433
    @hogokage2433 5 лет назад +2

    Merci pour votre travail.

  • @hichamchegue1720
    @hichamchegue1720 4 года назад +2

    très bien expliqué .. merci infiniment

  •  5 лет назад +4

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

    • @oljenmaths
      @oljenmaths  5 лет назад

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

  • @mohammedsofou7692
    @mohammedsofou7692 4 года назад

    UN ÉNORME MERCI

  • @MrArtemisMA
    @MrArtemisMA 4 года назад +1

    Trés clair merci !!

  • @rainbow-kj3ks
    @rainbow-kj3ks 5 лет назад +1

    MERCI À VOUS.

  • @Imane-y4k6z
    @Imane-y4k6z Месяц назад

    Merci infiniment

  • @herogsm8045
    @herogsm8045 4 года назад

    Merci infiniment monsieur

  • @Amine-xb9wi
    @Amine-xb9wi Год назад

    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  Год назад

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

  • @hikikomort
    @hikikomort 4 года назад +4

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

  • @thomasmarchand4398
    @thomasmarchand4398 4 года назад

    Superbe vidéo !

  • @I_xK
    @I_xK Год назад

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

  • @davidyou8228
    @davidyou8228 2 года назад

    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  2 года назад +1

      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 2 года назад

      @@oljenmaths Merci bcp!!

  • @BorneInf
    @BorneInf 3 месяца назад

    Question: Existe t'il une démonstration similaire (ou pas) si le corps n'est pas R mais K un corps complet quelconque?

    • @oljenmaths
      @oljenmaths  3 месяца назад

      Similaire, je ne pense pas. Pour un R-ev de dimension finie, on peut obtenir un théorème similaire en utilisant celui-ci pour extraire, puis extraire de l'extraction, et ainsi de suite. Par contre, dans le cas général, je pense qu'il faut utiliser des arguments topologiques bien plus puissants.

    • @BorneInf
      @BorneInf 2 месяца назад

      @@oljenmathsJe vois comment on adapte pour un R-ev et j'ai trouvé sur internet une démo (plus ou moins bien compris) pour E quelconque. Merci beaucoup en tout cas pour ces videos qui donne une super intuition de la chose!

  • @prosperyouplaboum5826
    @prosperyouplaboum5826 Год назад

    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  Год назад

      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 Год назад

      @@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  Год назад

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

    • @prosperyouplaboum5826
      @prosperyouplaboum5826 Год назад

      @@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  Год назад

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

  • @ilalfirdaws0000
    @ilalfirdaws0000 Месяц назад

    mrc 😊

  • @z-ed8053
    @z-ed8053 5 лет назад +1

    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  5 лет назад +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.

  • @labelmaths7787
    @labelmaths7787 2 года назад

    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  2 года назад +1

      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 🥳).

  • @1eleveprepa006
    @1eleveprepa006 Месяц назад

    je veux just questionner a propos de la 2eme idee ou vous avez mentionne que un n est pas majoree sachant qu elle est majoree ??

    • @oljenmaths
      @oljenmaths  Месяц назад

      Si vous parlez de la phrase que j'achève de prononcer à 7:09, alors ce n'est pas de la suite dont je dis qu'elle n'est pas majorée, mais d'un ensemble d'indices. J'explique que l'ensemble des indices p tel que u(p) est dans le petit segment est infini, donc n'est pas majoré. Cela ne contredit pas l'hypothèse faite sur la suite elle-même 😉.

  • @mathsplusun
    @mathsplusun 4 года назад +5

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

    • @oljenmaths
      @oljenmaths  4 года назад +1

      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 :)

  • @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 🤷🏻‍♂️.

  • @francoisgirardot6277
    @francoisgirardot6277 Год назад

    tres clair bravo

  • @egillandersson1780
    @egillandersson1780 2 года назад

    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  2 года назад +1

      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 2 года назад

      @@oljenmaths 💡 ! Merci

  • @mameballabousso5516
    @mameballabousso5516 3 года назад +1

    Comment pourrais-je faire pour avoir votre livre PMK

    • @oljenmaths
      @oljenmaths  3 года назад

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

  • @Al-tm3ju
    @Al-tm3ju 4 года назад +1

    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  4 года назад +1

      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 4 года назад

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

  • @LablinasMounas
    @LablinasMounas 9 дней назад

    Bjr je comprends pas comment une suite infinie peut etre majoree pouvez vous me l'expliquer avec des exemples si possibles svp

    • @oljenmaths
      @oljenmaths  8 дней назад

      Je pense que la confusion se situe au niveau [des indices de la suite] et [des valeurs prises par la suite pour chacun de ces indices], qui sont à distinguer de la même manière que le sont x (en abscisses) et f(x) (en ordonnées).
      Par exemple, la suite 0, 1/2, 3/4, 7/8 (on ajoute la moitié de la distance à 1 à chaque fois) est majorée par 1. Pourtant, le nombre de termes de cette suite est infini (comme celui de toutes les suites, en réalité : on peut voir une suite réels comme une collection infinie dénombrable de nombres réels).

  • @archeacnos
    @archeacnos 2 года назад

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

    • @oljenmaths
      @oljenmaths  2 года назад

      Photoshop, tout simplement 😉.

    • @archeacnos
      @archeacnos 2 года назад

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

  • @mathyss.9842
    @mathyss.9842 3 года назад

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

    • @oljenmaths
      @oljenmaths  3 года назад

      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.

  • @theeo1977
    @theeo1977 4 года назад

    Merci

  • @momobouajila1692
    @momobouajila1692 2 года назад +2

    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 2 года назад +3

      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)

  • @fabricesolaris4294
    @fabricesolaris4294 4 года назад

    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  4 года назад +2

      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 🙃.

  • @TionebFountain
    @TionebFountain Год назад +1

    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

  • @studingsup9425
    @studingsup9425 3 года назад

    COOL

    • @oljenmaths
      @oljenmaths  3 года назад +2

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

  • @lilrifi9854
    @lilrifi9854 29 дней назад

    7:05 il y a une erreur dans l'ensemble je pense

    • @oljenmaths
      @oljenmaths  27 дней назад

      Je te confirme qu'il n'y a pas d'erreur 😉. C'est bien l'ensemble des indices que je considère, et non pas un ensemble de termes de la suite.

    • @lilrifi9854
      @lilrifi9854 27 дней назад

      Alors je ne comprends pas pourquoi phi(n-1) appartient a cet ensemble

    • @oljenmaths
      @oljenmaths  26 дней назад

      @@lilrifi9854 Dire que phi(n-1) appartient à l'ensemble, c'est dire que u(phi(n-1)) appartient à In. Cela, on l'a par notre « hypothèse de récurrence » : c'est ce que j'écris à 6:36, en particulier pour p = n-1.

    • @lilrifi9854
      @lilrifi9854 26 дней назад

      @@oljenmaths est ce que In avec n fixé ou bien pour tout n?

    • @oljenmaths
      @oljenmaths  26 дней назад

      @@lilrifi9854 Dans « l'hérédité » de l'idée #2, on fixe un n tel que les termes soient construits jusqu'à un certain rang, et on explique ensuite comment construire le suivant.

  • @ismailaitabdelkarim7164
    @ismailaitabdelkarim7164 Год назад

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

  • @jolanmoussier9267
    @jolanmoussier9267 4 года назад

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

    • @oljenmaths
      @oljenmaths  4 года назад

      On peut s'arranger en démontrant ce passage à partir du théorème sur les suites adjacentes, comme ici:
      🎥 [EM#16] ruclips.net/video/kJfGmfPTOfw/видео.html
      Ça fait faire un petit détour, mais ça gagne quand même 👍🏽 !

    • @jolanmoussier9267
      @jolanmoussier9267 4 года назад

      @@oljenmaths tres bien merci ^^

  • @OmarLabiade
    @OmarLabiade Год назад

    soleil levant?

  • @Pod_TM
    @Pod_TM 10 месяцев назад

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

    • @oljenmaths
      @oljenmaths  10 месяцев назад

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