Doute sur une équivalence

Un problème, une question, un nouveau théorème ?

Messages : 1276

Inscription : 30 juil. 2010 23:10

Profil de l'utilisateur : Élève de lycée

Doute sur une équivalence

Message par Hoetre » 19 déc. 2010 18:07

Bonjour,

J'ai un DM à faire dont un des exercices traites le thème des expansions.

On y définit une expansion comme une application
f : R -> R continue telle que |f(x)-f(x')| > |x - x'| (pour tout réel x, x')

Et je me dis que ce serait pas mal de montrer que (f expansion dérivable <=> | f'(x) | > 1 | ) --- Si tant est que ce soit vrai... :roll:

Sens direct :
x =/= x' ==>
|f(x)-f(x')| / |x - x'| > 1
Passage à la limite (avec l'hypothèse de dérivabilité) et voilà.

Mais dans l'autre sens je bloque ;

si pour tout x' |f'(x)| > 1
alors lim |f(x)-f(x')| / |x - x'| > 1 (quand x -> x')

Mais comment "virer" la limite ?
Thiers ; Le Parc [5/2]
X 2013

Silvere Gangloff

Re: Doute sur une équivalence

Message par Silvere Gangloff » 19 déc. 2010 18:24

Quand tu passe à la limite, l'inégalité devient large.. L'équivalence est évidemment fausse..
Par contre l'implication retour est vraie, en utilisant le théorème des accroissements finis.

sotwafits

Re: Doute sur une équivalence

Message par sotwafits » 19 déc. 2010 18:55

Hoetre a écrit :Et je me dis que ce serait pas mal de montrer que (f expansion dérivable <=> | f'(x) | > 1 | ) --- Si tant est que ce soit vrai... :roll:
C'est aussi vrai que l'équivalence $ (f $ est strictement croissante $ \Leftrightarrow \forall x\in\mathbb{R}, f'(x)>0) $

D'ailleurs, en rajoutant l'identité à une fonction strictement croissante, on obtient une expansion : les 2 notions sont très liées

Silvere Gangloff

Re: Doute sur une équivalence

Message par Silvere Gangloff » 19 déc. 2010 19:00

sotwafits a écrit :
Hoetre a écrit :Et je me dis que ce serait pas mal de montrer que (f expansion dérivable <=> | f'(x) | > 1 | ) --- Si tant est que ce soit vrai... :roll:
C'est aussi vrai que l'équivalence $ (f $ est strictement croissante $ \Leftrightarrow \forall x\in\mathbb{R}, f'(x)>0) $

D'ailleurs, en rajoutant l'identité à une fonction strictement croissante, on obtient une expansion : les 2 notions sont très liées
Equivalence qui est fausse en fait (Un contre exemple classique : la fonction cube..)

Messages : 3855

Inscription : 04 nov. 2002 00:30

Profil de l'utilisateur : Élève de lycée

Re: Doute sur une équivalence

Message par Philippe PATTE » 19 déc. 2010 23:27

Silvere Gangloff a écrit :Equivalence qui est fausse en fait (Un contre exemple classique : la fonction cube..)
C'est peut-être bien de le préciser, en effet.
Philippe PATTE
MP maths Lakanal Sceaux

Grisha

Re: Doute sur une équivalence

Message par Grisha » 20 déc. 2010 14:14

C'est pour cela qu'il ne vaut mieux écrire que des implications!!:)

Eliiiiiiiiite

Re: Doute sur une équivalence

Message par Eliiiiiiiiite » 20 déc. 2010 14:27

Grisha a écrit :C'est pour cela qu'il ne vaut mieux écrire que des implications!!:)
Pour n'avoir aucun point lorsque la résolution par équivalence s'avère nécessaire, c'est la bonne méthode effectivement. A moins que tu ne résolves systématiquement tes systèmes (entre autre) par double implication ...

Grisha

Re: Doute sur une équivalence

Message par Grisha » 20 déc. 2010 14:33

Mon message était évidemment fallacieux!

bunte_kuh

Re: Doute sur une équivalence

Message par bunte_kuh » 21 déc. 2010 00:09

Soit f une fonction de D dans R;
f strictement croissante sur D <=> Quel que soit x dans D, f'(x)>0 sauf peut-être en un nombre dénombrable de points.

sotwafits

Re: Doute sur une équivalence

Message par sotwafits » 21 déc. 2010 01:19

bunte_kuh a écrit :Soit f une fonction de D dans R;
f strictement croissante sur D <=> Quel que soit x dans D, f'(x)>0 sauf peut-être en un nombre dénombrable de points.
Le sens $ \Rightarrow $ est faux

Répondre