est ce contradictoire avec mes propos ?
et encore une fois, quel rapport avec les compacts ?????
-----
est ce contradictoire avec mes propos ?
et encore une fois, quel rapport avec les compacts ?????
Dernière modification par ansset ; 26/11/2015 à 17h27.
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
Le rapport avec les compact c'est que pour s'assurer l'existence d'une maximum l'hypothese de compacité des segments est suffisante.
Comme on vous a dit il y a des tas de fonctions continues bornés et qui n'ont pas de maximum. Ou des tas de fonctions bornée sur un compact mais qui n'ont pas de maximum.
Les deux hypotheses sont suffisantes, pour s'assurer de l'existence d'un maximum, continue et définie sur un compact. Mais enlever une des deux fait perdre la suffisance (dit autrement les deux hypotheses sont necessaire à la suffisance du critère).
Pour vous dire pourquoi ce que vous proposez fonctionne/ne fonctionne aps, il faudrait le detailler parce qu'en l'etat vous n'avez pas donné de preuve. Et la manière la plus naturelle de completer votre preuve est justement d'utiliser la compacité des segments (ou ce qui revient au meme le fait que l'image d'un segment soit bornée et fermée).
mais enfin R+ n'est ni un segment, ni un ensemble fini de segments finis.Pour vous dire pourquoi ce que vous proposez fonctionne/ne fonctionne aps, il faudrait le detailler parce qu'en l'etat vous n'avez pas donné de preuve. Et la manière la plus naturelle de completer votre preuve est justement d'utiliser la compacité des segments (ou ce qui revient au meme le fait que l'image d'un segment soit bornée et fermée).
soyez plus claire, enfin ...
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
Certes, mais on s'en fout que R+ ne soit pas un segment, puisqu'on utilise pas la propriété en question sur R+ mais sur [0,a] pour un a bien choisi.
Voir la preuve de Tryss
Le a bien choisi en question c'est le y.Donc l'idée de la démo c'est :
1) si 0 est un maximum => la propriété est vraie
2) si 0 n'est pas maximum il existe un t tel que f(t) > 0. On en déduit par la définition de la limite de f qu'il existe un intervalle [0,y] tel qu'en dehors, f(x) < f(t)/2. Puis on applique le théorème des bornes à cet intervalle
très bien,
j'attend une démo "très propre" ......
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
La discussion tourne en rond.
Quelle est l'utilité de répéter les mêmes remarques? Cela n'appelle que les mêmes réponses!
La discussion contient toutes les informations utiles, on peut arrêter là.
À quel titre cette exigence???j'attend une démo "très propre" .....
(En plus elle est déjà donnée...)
Pour toute question, il y a une réponse simple, évidente, et fausse.
Huh??
![]()
Je n'ai pas compris ce que tu essayes de dire.
- Si c'est que je me suis servi du fait que [0,a] est compact pour prouver que f atteint un maximum sur [0,a], je doute qu'on puisse faire autrement.
- Si c'est parce que tu penses que je n'ai prouvé la proposition que sur un compact, tu te trompes, et tu devrais relire plus attentivement ma preuve.
- Si c'est encore autre chose, il faudra expliciter![]()
Dernière modification par Tryss2 ; 26/11/2015 à 18h04.
Pour le fun voici une autre démo utilisant la compacité (bon certainement pas celle qui était attendu en L1).
Soitle compactifié d'alexandroff de R+. Les voisinages de choucroute étant les complémentaires des compacts par définition. C'est un espace compact et f se prolonge en un fonction continue dessus, notée g.
Commeest compact g a un maximum dessus. Soit c'est g(choucroute) mais comme g(choucroute)=g(0) alors g(0) est un maximum de g. Soit ce maximum est atteint en un point de R et dans les deux cas on a exhibé un maximum de f sur R.
![]()
merci de me foutre de moi.
R+ n'est pas un compact.
Dernière modification par ansset ; 26/11/2015 à 18h17.
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
Vous trollez ou bien? Personne ici n'a dit que R+ etait compact. Ce qu'il n'est pas.
Pour toute question, il y a une réponse simple, évidente, et fausse.
Merci, on peut d'ailleurs rendre la chose moins pompeuse (et accesible en première année du coup) en considérant g=f\circ tan(x) pour x dans [0,\pi/2[. Comme tan est strictement croissante f admet un maximum ssi g admet un maximum et g est une brave fonction sur [0,\pi/2[ qui est prolongeable par continuité en \pi/2 puisqu'elle y a une limite finie. Comme g(0)=g(\pi/2) g admet un maximum sur [0,\pi/2[ et donc f aussi.
Bref plein de variations imaginables.![]()
Merci les amies pour votre reponses mais je comprend pas pourquoi on a besoin dutuliser la notion des compacts et aussi cest pas dans le programme (niveau classe prepas) tous ce que jai est une assertion a montrer avant cette question qui dit montrer si f admet une limite finie en +linfine alors f est bornee
et dans la demonstration je pense que je dois utuliser le fait que f(0)=0 et lim en linfinie =0
Dans la démonstration pour le maximum, oui. (Pas pour la démo pour bornée.)
Facile de trouver un contre-exemple si la limite en +infini est strictement supérieure à f(0).
Ah!aussi cest pas dans le programme (niveau classe prepas)
Dernière modification par Amanuensis ; 26/11/2015 à 21h03.
Pour toute question, il y a une réponse simple, évidente, et fausse.
Pour Ansset, je reprends la preuve en entier :
Sialors 0 est un maximum global, atteint en 0.
Sinon, il existe un réel a tel que b=f(a)>0. Du fait que la limite à l'infini est nulle, il existe un réel A tel que
(1)
[0,A] est un intervalle fermé borné sur lequel f est continue. Donc f([0,A]) est un intervalle fermé borné [B,C] et en particulier, il existe c tel que f(c)=C et pour tout x de [0,A]. Comme
on a
, donc, en tenant compte de (1) :
Donc en C, f présente un extremum global.
Sauf erreur de frappe ou omission.
Marcrener,
je lis dans le programme de prépa PCSI :
Image d’un intervalle par une fonction continue.
Une fonction continue sur un segment est bornée et atteint
ses bornes.
Même chose en MPSI et PTSI.
Cordialement.
il me semble que c'était le sens de mes propos.
sans passer par les compacts.
est ce drosophilesque ?
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
Effectivement.
Si tu voulais dire que parler de compacts est inutile ici puisqu'on a le théorème sur l'image d'un segment fermé borné, c'est dit depuis longtemps (message #10, de Tryss). Si tu as compris depuis le début que ce théorème (forme simple d'un théorème sur les compacts) permet de conclure, il est difficile de comprendre tes interventions ultérieures.
En tout cas, cet exercice est une application classique des théorèmes sur limites et continuité. Où l'on utilise le fait que [0,A] est un compact sans le dire
Cordialement.
Simple curiosité : comment est-ce qu'on démontre en prépa ce théorème : l'image continue d'un intervalle fermé borné est un intervalle fermé borné ? Est-ce qu'on utilise sans le dire une des caractérisations des parties compactes? (toute suite a un point d'accumulation)
oui, j'admet tout cela, et j'ai même dit avoir été trop court.Effectivement.
Si tu voulais dire que parler de compacts est inutile ici puisqu'on a le théorème sur l'image d'un segment fermé borné, c'est dit depuis longtemps (message #10, de Tryss). Si tu as compris depuis le début que ce théorème (forme simple d'un théorème sur les compacts) permet de conclure, il est difficile de comprendre tes interventions ultérieures.
En tout cas, cet exercice est une application classique des théorèmes sur limites et continuité Où l'on utilise le fait que [0,A] est un compact sans le dire
Cordialement.
c'est l'utilisation formelle des compacts qui a suivie que je pensais inutile.
ps: rien à dire sur ta démo plus haut.
cordialement.
Dernière modification par ansset ; 27/11/2015 à 09h55.
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
pour répondre à MiPaMa, un prolongement par continuité n'est pas une continuité.
en tout cas pas en prépa.
avec toutes les réserves ( antériorité )
Dernière modification par ansset ; 27/11/2015 à 10h12.
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
Oui, on utilise Bolzano Weierstrass.
Si. C'en est meme la défintion en fait... Voir par exemple ici, définition 4.3
désolé, suis un vieux moiSi. C'en est meme la défintion en fait... Voir par exemple ici, définition 4.3![]()
y'a quelque chose qui cloche là dedans, j'y retourne immédiatement !
Heu ...MiPaMa,
tu tires un peu trop sur la ficelle ! la définition 4.1 dit bien que si f n'est pas définie en a, f n'est pas continue en a. Et 4.3 définit le prolongement par continuité comme une nouvelle fonction (justement, pas notée f).
Par contre, il est vrai que remplacer f par un prolongement permet de faire des preuves élégantes sur f. Par exemple montrer qu'elle est bornée et atteint ses bornes (dans certains cas).
Cordialement.
Ben... evidement.
D'ailleurs dans ma première preuve j'ai noté le prolongement differement de la fonction... Je vois pas bien le rapport avec ce que dit Ansset ou ce que je dis.
En meme temps, en relisant son message je me dis que je l'ai peut etre compris de travers, j'ai cru qu'il voulait dire "un prolongement par continuité n'est pas (necessairement) continu". Peut etre voulait il dire "dire que f est prolongeable par continuité ne veut pas dire qu'elle etait continue au point où on l'a prolonge", ce qui est bien sur vrai, vu qu'elle n'y est meme pas définie.
Bref, tout ceci est tellement trivial je vois pas vraiment pourquoi on passe 4 pages la dessus.
Effectivement. Mais c'est justement parce qu'on ne se comprend pas !
Cordialement.