Tap to unmute

[EM#24] Théorème des bornes | Fonction continue sur un segment (Démonstration)

  Рет қаралды 26,654

Øljen - Les maths en finesse

Øljen - Les maths en finesse

Күн бұрын

Пікірлер: 42
@nareklarmenien8490
@nareklarmenien8490 2 жыл бұрын
Merci bcp ! C'est plaisant de retrouver les démonstrations complètes de 1ère année en vidéo bien expliqué
@fanny7395
@fanny7395 3 жыл бұрын
"Soit le bienvenu" merci 🥰 Et merci pour votre chaîne ! Je viens de la découvrir et elle va m'accompagner tout le long de cette année Je pense savoir également quel livre me faire offrir pour Noël (PMK) 😉 Bonne continuation
@oljenmaths
@oljenmaths 3 жыл бұрын
Merci beaucoup pour ce message très chouette, bonne continuation de même 🙏!
@matthieub4963
@matthieub4963 4 жыл бұрын
J'ai cette démo en colle cette semaine, on a fait à peu près la même démo mais on a utilisé une méthode plus générale : 1ère étape on a montré que f était bornée (en faisant la négation de la phrase quantifiée de f bornée) et en 2ème étape on a montré que la borne inf puis la borne sup sont atteintes à l'aide de la caractérisation séquentielle de la borne inf/sup et d'une extractice phi (c'est quasiment identique à la 1ère étape)
@oljenmaths
@oljenmaths 4 жыл бұрын
On commence à atteindre un niveau de mathématiques où plusieurs options sont possibles, c'est le début des festivités ! En donnant un peu dans l'humour, il s'agit de deux profils psychologiques différents. 🔸 De mon côté, j'aime bien l'idée de feindre de ne traiter qu'un cas particulier puis, par une manipulation habile, traiter les cas laissés de côté (côté prestidigitation, feinte, magie). 🔸 De l'autre, je conçois aussi que l'idée de tout démontrer d'un coup puisse avoir de l'attrait (côté puissance, impétuosité, sans peur).
@antoinescarcella3932
@antoinescarcella3932 3 жыл бұрын
Bonjour et merci pour cette vidéo très claire et instructive ! J'ai une petite question concernant le point de départ du premier raisonnement par l'absurde qui vise à prouver que f(I) admet une borne supérieure. Je reconnais qu'il s'agit d'un détail qui peut paraître ennuyeux car d'une méticulosité poussée et m'en excuse d'avance. Considérons les assertions ci-dessous : A : f(I) est une partie non vide de R ; B : f(I) est une partie majorée de R ; C : f(I) admet une borne supérieure. Le raisonnement par l'absurde nous dit qu'il faut partir de l'assertion (non C) et tenter d'aboutir à une contradiction. Cependant, et c'est peut-être une mauvaise compréhension de ma part, pour moi, (non C) n'implique pas (non B) a priori. En effet, on a : A ET B => C (car R a la propriété de la borne supérieure), d'où sa contraposée : (non C) => (non A) OU (non B). Donc, en toute rigueur, ne conviendrait-il pas de préciser qu'on suppose que A est vraie pour dire que : ((non C) => (non A) OU (non B)) (non C) => (non B) vers 1:20 dans la vidéo ?
@oljenmaths
@oljenmaths 3 жыл бұрын
Bonjour ! C'est tout à fait exact. Je m'en aperçois d'ailleurs à 5:20; j'ai supposé insidieusement que f(I) était non vide, en pensant que I l'était aussi, ce que je n'avais mentionné nulle part au préalable 🙃.
@antoinescarcella3932
@antoinescarcella3932 3 жыл бұрын
@@oljenmaths Merci beaucoup !
@nabilalami349
@nabilalami349 4 жыл бұрын
Excellentes vidéos
@Jackski669
@Jackski669 4 жыл бұрын
Quelle étude avez-vous fait ??
@oljenmaths
@oljenmaths 4 жыл бұрын
MPSI/MP/Licence/Master/Agrégation/Thèse. Bref, la totale 👍🏻.
@guevorgakobian3990
@guevorgakobian3990 4 жыл бұрын
Bonsoir, dans quelle prépa enseignez vous ?
@oljenmaths
@oljenmaths 4 жыл бұрын
Institution des Chartreux, Lyon, France.
@lowcamie8652
@lowcamie8652 4 жыл бұрын
3:21 vous avez dit que alpha appartient à I car I est un fermé, je n'arrive pas à comprendre pourquoi alpha est dans I ??
@user-fh1pz9qu9x
@user-fh1pz9qu9x 4 жыл бұрын
c'est une des définitions possibles d'un ensemble fermé : un sous-ensemble F de R est fermé si et seulement si toute suite convergente d'éléments de F converge vers une limite elle-même élément de F
@oljenmaths
@oljenmaths 4 жыл бұрын
Voici de quoi compléter la réponse de F5 (que je remercie !) pour quelqu'un qui n'a jamais fait de topologie. 🔸 Si l'on considère une suite à valeurs dans ]0,1[, par exemple celle des 1/n, on s'aperçoit que cette suite converge en tant que suite réelle, mais que sa limite, 0, n'appartient pas à ]0,1[. Il s'agit donc, déjà, de préciser quelque chose quant à la nature de l'intervalle dans laquelle la suite prend ses valeurs. 🔸 En première année, on explique ce phénomène et disant qu'en passant à la limite, les inégalités strictes deviennent des inégalités larges. Ainsi, même si une suite vérifie 0 < u_n < 1 pour tout entier naturel n, la limite de la suite est, a priori, dans [0,1], et non pas dans ]0,1[. 🔸 Pour revenir à l'émission, si l'intervalle I est fermé, et qu'on le note [a,b], alors tous les termes de la suite sont dans [a,b] (inégalités larges). En passant à la limite dans l'encadrement a
@javan2088
@javan2088 2 жыл бұрын
bonjour et si l'intervalle n'est borné que de un coté ? on fait comment ? est ce qu'il est toujours max global ou min global ?
@oljenmaths
@oljenmaths 2 жыл бұрын
Le résultat du théorème n'est plus vrai: on peut penser à la fonction inverse sur ]0,1], par exemple 👨🏻‍🏫.
@julient5432
@julient5432 4 жыл бұрын
Bonjour, pourriez-vous faire une démonstration de "Toute partie non vide et majorée dans R admet une borne supérieure" ? Celles que l'on peut trouver ailleurs ne sont pas très intuitives...merci !
@oljenmaths
@oljenmaths 4 жыл бұрын
Bonjour ! Ce type de démonstration est délicat, parce qu'on touche ici la construction même de la droite réelle, dont une construction peut-être basée sur cette même propriété prise comme axiome. Je ferai une émission d'une bonne demi-heure sur la droite réelle quand je trouverai le temps, les projets ne manquent pas mais celui-ci est sur le haut de ma liste !
@LukeDoladilleunique
@LukeDoladilleunique 2 жыл бұрын
Bonjour, Merci pour cette vidéo. Ne faudrait-il pas préciser que A est strictement positif pour la deuxième étape?
@oljenmaths
@oljenmaths 2 жыл бұрын
Bonjour ! Si, tout à fait. Sinon, on se fait taxer de potentielle division par 0 et on s'expose aux ratures véhémentes et aux éclats de voix 🤣. Merci d'avoir repéré ça, j'en tiendrai compte si je fais une nouvelle version de cette émission un jour.
@faissalsoussou4412
@faissalsoussou4412 11 ай бұрын
svp vous pouvez me dire quel logiciel vous excerces dans vos vidéo cest superbe ?
@oljenmaths
@oljenmaths 11 ай бұрын
Salutations 👋🏻! En réalité, j'utilise donc toute une panoplie de logiciels: GoodNotes pour la composition graphique, puis Photoshop, Audition et Premiere pour toute la suite, du découpage des vignettes au montage en passant par l'enregistrement du son. Rien n'est automatique et j'ai tout configuré à la main 😉.
@mehdi2062
@mehdi2062 4 жыл бұрын
Bonsoir, merci pour la vidéo. Est-ce que s'il vous plait vous avez une démonstration générale de : -max (-f) = min (f) ?
@oljenmaths
@oljenmaths 4 жыл бұрын
Il suffit de revenir à la définition d'un minimum et d'un maximum pour obtenir cette égalité. En fait, si on part du minimum, on aura (...quantificateurs en masse... f(x) >= m), suite à quoi il suffira de multiplier l'inégalité par -1 de chaque côte pour conclure 👍.
@mehdi2062
@mehdi2062 4 жыл бұрын
@@oljenmaths merci monsieur.
@hbx380
@hbx380 3 жыл бұрын
Dommage que ce soit écrit si petit. Merci pour tes vidéos.
@oljenmaths
@oljenmaths 3 жыл бұрын
Je parviens à lire chaque ligne sans forcer en 480p sur l'écran de mon téléphone portable (5,45 pouces)... Je te recommande sérieusement, et avec bienveillance, de ne surtout pas forcer sur ta vue et de vérifier si tu n'as pas perdu quelques points! Bon nombre de mes étudiants ont malheureusement vu leur vue se dégrader au fil de leurs études supérieures (fatigue, beaucoup de lecture toute la journée), et il vaut mieux prendre cela au plus tôt si c'est bien le cas!
@hbx380
@hbx380 3 жыл бұрын
@@oljenmaths Merci pour tes conseils et ta bienveillance. Oui j'ai des petits soucies au niveau de la vue mais tu ne peux pas malgrer tout augmenté la taille des phrases de tes vidéos pour celle à venir ?
@oljenmaths
@oljenmaths 3 жыл бұрын
@@hbx380 C'est assez difficile d'un point de vue technique, il faudrait que je change bon nombre de choses dans la configuration. Je ferai de mon mieux lorsque je reprendrai les vidéos. J'espère de tout cœur que tes problèmes pourront s'arranger!
@hbx380
@hbx380 3 жыл бұрын
@@oljenmaths Merci pour ton message.
@JoshLagoon
@JoshLagoon Жыл бұрын
Bonjour, sur le net on stipule toujours que f doit être continue sur le segment [a,b] pour ce théorème. Peut-on affirmer que ce théorème est vrai pour les fonctions continues par morceaux ? (désolé si je dis des bêtises, je suis loin d'être un matheux ;) ).
@oljenmaths
@oljenmaths Жыл бұрын
Salutations ! Nul besoin d'être un matheux pour se stimuler le cerveau 🥳 ! La réponse est oui: le théorème reste vrai. L'idée principale d'une démonstration consisterait à appliquer le théorème des bornes sur chacun des tronçons où f est continue en fermant les bords pour expliquer que la fonction y est bornée 👍🏻.
@racinededeux
@racinededeux 4 жыл бұрын
Bonjour, j'aime bien vos videos, coté contenus et design, veuillez partager avec moi les logiciels que vous utilisez pour produire ces capsules.. Merciii
@oljenmaths
@oljenmaths 4 жыл бұрын
Merci ! Toutes les informations sont dans l'onglet "À propos" de ma chaîne.
@racinededeux
@racinededeux 4 жыл бұрын
@@oljenmaths :) merci bcp
@racinededeux
@racinededeux 4 жыл бұрын
Le logiciel d'écriture graphique n'est pas mensionné, le quel vous utilisez ?
@oljenmaths
@oljenmaths 4 жыл бұрын
@@racinededeux 📝 Screen recording: Camtasia + Photoshop
@theeo1977
@theeo1977 4 жыл бұрын
Merci !
@lazaredurand6675
@lazaredurand6675 6 ай бұрын
Je perd le fil au moment ou tu parle de contruire une suite. Est ce que tu as une video qui explique cette notion?
@oljenmaths
@oljenmaths 6 ай бұрын
Hélas, non. Mais je peux toujours tenter un surcroît d'explications ; vu que, [pour tout A, il existe un x tel que f(x) > A], alors en appliquant cette propriété plusieurs fois (pour A = n, où n est un entier naturel), on récupère une collection de x, que j'indice par n, tels que f(x(n)) > A. C'est l'application une infinité de fois d'une seule et même propriété.
[EM#25] Théorème de Rolle (Démonstration)
6:47
Øljen - Les maths en finesse
Рет қаралды 67 М.
[EM#23] Théorème des valeurs intermédiaires (Démonstration)
14:45
Øljen - Les maths en finesse
Рет қаралды 29 М.
Леон киллер и Оля Полякова 😹
00:42
Канал Смеха
Рет қаралды 4,7 МЛН
How Strong Is Tape?
00:24
Stokes Twins
Рет қаралды 96 МЛН
[EM#22] Théorème de Heine (Démonstration)
10:38
Øljen - Les maths en finesse
Рет қаралды 29 М.
Théorème des bornes atteintes
5:02
KhanAcademyFrancophone
Рет қаралды 8 М.
Comment comprendre FACILEMENT les dérivées
14:05
ParaMaths
Рет қаралды 622 М.
[EM#37] Caractérisation séquentielle de la borne supérieure (Démonstration)
8:56
Øljen - Les maths en finesse
Рет қаралды 13 М.
L'image d'un segment par une fonction continue
8:32
Bibmath.net
Рет қаралды 7 М.
[DET#11] Théorème fondamental de l'analyse (Démonstration)
11:52
Øljen - Les maths en finesse
Рет қаралды 23 М.
Théorème des bornes atteintes | Lê Nguyên Hoang
7:37
Wandida, EPFL
Рет қаралды 26 М.
[UT#49] La comparaison série-intégrale (Explication)
11:40
Øljen - Les maths en finesse
Рет қаралды 52 М.