Continuité uniforme
Bonjour,
Dans mon livre, on donne les deux exemples ci-dessous mais il n'y a pas de démonstration.
L'application $\begin{array}[t]{cccl}f :& \R^{+*} &\longrightarrow& \R \\ &x& \longmapsto &\ln x\end{array}$ est continue mais pas uniformément continue.
L'application $\begin{array}[t]{cccl}g :& \R^{+*}& \longrightarrow &\R \\& x &\longmapsto &\sqrt{ x}\end{array}$ est uniformément continue mais pas lipschitzienne.
Je n'arrive pas à démontrer que $f$ n'est pas uniformément continue.
Dans mon livre, on donne les deux exemples ci-dessous mais il n'y a pas de démonstration.
L'application $\begin{array}[t]{cccl}f :& \R^{+*} &\longrightarrow& \R \\ &x& \longmapsto &\ln x\end{array}$ est continue mais pas uniformément continue.
L'application $\begin{array}[t]{cccl}g :& \R^{+*}& \longrightarrow &\R \\& x &\longmapsto &\sqrt{ x}\end{array}$ est uniformément continue mais pas lipschitzienne.
Je n'arrive pas à démontrer que $f$ n'est pas uniformément continue.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Connais-tu la caractérisation séquentielle de l'uniforme continuité ?
$f : A \longrightarrow F$ est uniformément continue si :
$\forall \varepsilon >0, \ \exists \eta >0 ,\ \forall (x,y) \in A^2 ,\quad ||x-y|| \leq \eta \implies ||f(x)-f(y)|| \leq \varepsilon$.
La négation est :
$\exists \varepsilon >0 ,\ \forall \eta >0 ,\ \exists (x,y) \in A^2, \quad ||x-y|| \leq \eta \ \text{et} \ ||f(x)-f(y)|| > \varepsilon$.
C'est pratique pour justifier une non uniforme continuité.
Montre qu'une fonction $f$ définie sur une partie $A$ d'un evn et à valeurs dans un evn $F$ est uniformément continue sur $A$ si et seulement si pour tout couple de suites $u$ et $v$ d'éléments de $A$, si $u-v\rightarrow 0$ alors $f\circ u-f\circ v\rightarrow 0$.
Ensuite, sers-toi de ce critère pour montrer que la fonction logarithme n'est pas uniformément continue sur l'intervalle dont on te parle.
Je lui avais proposé de montrer que la racine carrée est uniformément continue en message privé il y a un petit moment. Je suis content de voir que son bouquin contient ce même exemple de base, et encore plus content qu'il n'y a pas de corrigé à pomper pour ça.
La caractérisation séquentielle de la convergence uniforme est pourtant un grand classique et sert notamment à prouver le théorème de Heine en utilisant celui de Bolzano-Weierstrass.
Soit $f$ définie sur $A$.
Supposons que $f$ est uniformément continue. Soit $\varepsilon >0$
Il existe $\eta >0$ tel que $|| u_n -v_n || \leq \eta \implies || f(u_n)-f(v_n) || \leq \varepsilon$
Comme $u_n -v_n \longrightarrow 0 $ il existe $N \in \N $ tel que $n \geq N \implies || u_n -v_n || \leq \eta$
Ainsi pour $n \geq N$ on a $ || f(u_n)-f(v_n) || \leq \varepsilon$
Par contraposée, si $f$ n'est pas uniformément continue alors $\exists \eta >0 \ \forall \eta >0 \ \exists (x,y) \in A^2$ tel que $||x-y|| \leq \eta$ et $||f(x)-f(y)|| > \varepsilon$
Soit $\eta= 1/n$. On construit ainsi deux suites $(u_n)$ et $(v_n)$ telles que $||u_n -v_n|| \leq 1/n$ donc $u_n -v_n \longrightarrow 0$ et $f(u_n) -f(v_n) $ qui ne tend pas vers $0$.
On a bien $u_n -v_n \longrightarrow 0$ mais $\ln(u_n)- \ln(v_n)=\ln 2$ qui ne tend pas vers $0$.
On a montré que $f$ n'est pas uniformément continue sur $\R^{+*}$.
Je vais au sport et j'essaierai de montrer que $g$ n'est pas lipschitzienne et qu'elle est uniformément continue.
Je viens de lire la définition dans ton message ici.
Ok. Clair. Du coup, si tu as compris ce que tu as écrit, la démonstration prend 3 minutes, non ?
La démonstration de quel résultat prend 3 minutes ?
La définition de 'uniformément continue', elle dit quoi, avec des mots simples : elle dit que pour tout intervalle 'vertical' Epsilon, aussi petit soit-il, on peut trouver une longueur 'horizontale' k, telle que l'image de tout intervalle de longueur inférieure ou égale à k sera un intervalle de longueur inférieure à epsilon.
Et pour la fonction ln, on a cette asymptote verticale, et on voit immédiatement que pour tout couple (epsilon , k), on va trouver un petit intervalle, de longueur plus petite que k, et qui va avoir une image ln(a)-ln(b) > epsilon.
On a le plan, on sait ce qu'on doit faire.
Le calcul lui même, le couple de valeur (a,b) qui va servir de contre-exemple, on va galérer quelques secondes avant de le trouver.
Mais on sait que c'est cette piste qu'il faut suivre.
Toi, tu as dit que tu ne sais pas démontrer , et tu es incapable de montrer un début de réflexion... Au moment où tu postes cette question, tu ne sais pas dire que c'est l'asymptote verticale qui va poser problème ? Tu n'as pas le moindre plan pour répondre à la question ?
J'avais proposé l'exo sur la racine carrée à OShine pour l'amener doucement à littéralement faire le dessin de ce que signifie la continuité uniforme. Pour l'inciter à faire des dessins dans les situations simples.
Bon, tu ne lui as pas exactement indiqué le dessin que j'ai en tête, donc... ça va encore.
Prenons $\varepsilon=1$. D'après l'ordre des quantificateurs, le choix de $x$ et de $y$ dépend du $\eta$.
Soit $\eta >0$ fixé. On choisit $x < \dfrac{ \eta}{e-1}$. Prenons $y=x+ \eta$. On a bien $|x-y| \leq \eta$. Par contre $|f(x)-f(y)|=\ln (\dfrac{x+ \eta}{x} ) \longrightarrow + \infty$ en $0^{+}$
Avec ce choix de $x$ on aura $|f(x)-f(y)| > \varepsilon =1$
Explication du choix de $x$ :
On cherche $x$ assez petit de sorte que $\ln (\dfrac{x+ \eta}{x} ) >1$ soit $1+ \eta /x >e$ et donc $\eta /x > e-1$
Ce qui donne $x/ \eta < \dfrac{1}{e-1}$ soit $x < \dfrac{ \eta}{e-1}$
ou
Revenir à la définition avec $x=3/n$ et $y=1/n$. La distance $|x-y|$ est aussi petite que tu veux suivant les valeurs de $n\in\N^{*}$ et pourtant on a toujours $|\ln(x)-\ln(y)|>1$...
Voilà deux moyens pour montrer la non uniforme continuité sans passer par des suites.
Soient $(x,y) \in [1,+\infty[^2$ de sorte que $x <y$.
La fonction $x \mapsto \ln (x)$ est continue sur $[x,y]$ et dérivable sur $]x,y[$. D'après le théorème des accroissements finis, il existe $c \in ]x,y[$ tel que $f(y)-f(x) \leq f'(c) (y-x)$
Or $f'(c)= 1/c \leq 1$ car $c \geq 1$. Ainsi, $|f(y)-f(x)| \leq |y-x|$
Par symétrie entre $x$ et $y$, le résultat est valable pour tout $(x,y)$. $f$ est 1 lipchitzienne sur $[1,+\infty[$, elle est donc uniformément continue.
Pour la fonction $g$, montrons qu'elle est uniformément continue. Montrons un résultat préliminaire.
Soient $y \geq x >0$ alors $(\sqrt{y}- \sqrt{x})^2 = y+x-2 \sqrt{xy} \leq y-x$ donc $ \sqrt{y}- \sqrt{x} \leq \sqrt{y-x}$
Soient $x \geq y >0$ alors $(\sqrt{x}- \sqrt{y})^2 = x+y-2 \sqrt{xy} \leq x-y$ donc $ \sqrt{x}- \sqrt{y} \leq \sqrt{x-y}$
Ainsi $\boxed{\forall x,y >0 \ | \sqrt{y}- \sqrt{x} | \leq \sqrt{ |y-x|} }$
Soit $\varepsilon >0$. Prenons $\eta= \varepsilon ^2 >0$.
Pour $x,y >0$ si $|y-x| \leq \eta$ alors $ | \sqrt{y}- \sqrt{x} | \leq \sqrt{ |y-x|} \leq \sqrt{ \varepsilon ^2} = \varepsilon $
Par l'absurde, si $g$ est lipschitzienne, alors il existe $k>0$ tel que $\forall x,y >0 \ \ |\sqrt{y}- \sqrt{x} | \leq k |y-x|$
En particulier on aurait $\forall x>0 \ \dfrac{\sqrt{x}}{x} \leq k $ c'est absurde car $\dfrac{\sqrt{x}}{x}$ tend vers $+\infty$ au voisinage de $0$ donc pour un $x$ assez petit, cette quantité sera plus grande que $k$.
Je corrige ton message :
Quand on lit une définition, donnée avec des quantificateurs mathématiques, il faut la traduire à voix haute, avec des mots.
Dans ton exercice, on parle de fonction uniformément continue, et de fonction lipschitzienne.
Avec des mots simples, faciles à retenir, quelle est la différence entre ces 2 notions ?
Ou, un peu plus simple : quelle est la différence entre une fonction non uniformément continue et une fonction non lipschitzienne ?
Et surtout, est-ce que tu avais la réponse à cette question avant d'envoyer ton message, hier midi ?
Ici, je pose ces questions pour les fonctions de R vers R ... la généralisation aux fonctions de C vers C , ou de C vers R ou .... ce n'est que de la généralisation.
$\exists k>0 \ \forall (x,y) \in A^2 \ \ |f(x)-f(y) | \leq k |x-y |$
Déjà si $x$ et $y$ sont égaux, cela est vrai. Sinon cela revient à dire qu'il existe un réel $k$ positif tel que la valeur absolue de la pente de toute corde du graphe de $f$ soit inférieure à $k$. Cela revient à dire que la pente de toute corde de $f$ est bornée.
Fonction non lipschitzienne :
Il existe une corde du graphe de $f$ qui a une pente infinie.
Par exemple la fonction $x \mapsto 1/x$ n'est pas lipschitzienne car la pente des cordes du graphe de la fonction est aussi pentue qu'on veut en se rapprochant de $0$.
Du coup elle admet une corde de pente infinie. Tu peux m'en donner une?
Les pentes d'une fonction sont toutes finies. C'est leur borne supérieure qui peut éventuellement être infinie.
Ton message ici a un très vague rapport avec la question que je posais juste avant.
C'est une réponse à ma question (totalement incomplète donc), ou c'est juste une coïncidence si le message a un très vague rapport ?
Une fonction est lipschitzienne signifie que la pente du graphe de toute corde de $f$ est bornée.
Une fonction est uniformément continue si il existe un $\eta$ commun pour tous les couples $(x,y)$ tel que si la distance entre $x$ et $y$ est plus petite que ce $\eta$ alors la distance entre $f(x)$ et $f(y)$ est aussi petite que l'on souhaite.
Je ne saurais pas expliquer la différence entre ces deux notions. Je ne vois pas de lien évident.
Je sais juste qu'une fonction lipschitzienne est uniformément continue mais que la réciproque est fausse.
En plus, tu te retrouves à 'traduire en français' une formule avec des quantificateurs, sauf qu'au passage, tu as perdu des quantificateurs en route. Ta définition de 'uniformément continue' est fausse.
Pour les 2 fonctions ln et racine carrée, on a une branche'verticale', donc une branche avec une pente non bornée.
Mais dans un cas, cette branche a une longueur finie, et pas dans l'autre.
Si la pente est bornée sur tout l'ensemble de définition de la fonction, et si bien sûr la fonction est dérivable : la fonction a toutes les qualités, elle est lipschitzienne.
Si on a une zone avec une pente non bornée, mais que cette zone est de longueur finie : pas lipschitzienne, mais quand même uniformément continue.
Si on a une zone avec une pente non bornée, et que cette zone est de longueur infinie : nada, rien, la fonction est seulement continue et dérivable.
Je ne suis pas certain que c'est ça. Le sujet ne m'intéresse que moyennement.
Mais si le sujet m'intéressait, la première chose que je me ferais, c'est un aide-mémoire de ce type. Et je ferais valider cet aide-mémoire par des gens compétents avant de m'attaquer à des exercices.
De la même façon qu'on classe les ensembles N inclus dans D inclus dans Q, inclus dans R ... on classe les fonction dans des ensembles, en définissant précisément ce qui différencie un ensemble du suivant.
Et on fait en sorte de COMPRENDRE les objets qu'on manipule, avant de les manipuler. Pas après.
$$
\omega(\delta) = \sup_{\substack{(x,y)\in I^2\\ |x-y| \leqslant \delta}} \ |f(x) - f(y)|.
$$
Par définition, $f$ est uniformément continue sur $I$ lorsque $\lim\limits_{\delta \to 0}\ \omega(\delta) \to 0$. Si $f$ est $k$-lipschitzienne, ceci est vrai car $\omega(\delta) \leqslant k\,\delta$ quelque soit $\delta > 0$.
Mais il est clair qu'on peut avoir $\omega \to 0$ sans que $\omega$ soit sous-linéaire. Pour la racine carrée sur $\R_+$ par exemple, $\omega(\delta) = \sqrt \delta$.
La fonction $\omega$ est ce qu'on appelle le module de continuité uniforme.
Mais je comprends l'ordre des quantificateurs et les définitions théoriques.
Il vaut mieux que je me tienne aux définitions théoriques je crois.
Cordialement.
(*) sur un autre forum.
1- il ne comprend pas un truc
2- il demande de l'aide
3- il reçoit de l'aide
4- il n'aime pas l'aide qu'il reçoit
5- il fabrique une pseudo-explication comme quoi l'aide n'est pas bonne
Je pense que la machine boucle sur l'étape 4. Il faut changer la façon dont l'utilisateur utilise la machine. Soit vous lui donnez un corrigé tout fait, avec chaque détail, et surtout un rapport du jury à l'appui comme quoi la question est faisable... soit vous éteignez la machine.
Plus sérieusement OShine, tu ne remarques pas que ta façon de fonctionner est complètement débile ?
Encore plus borné qu'un sinus, ce type.
$$\left( \forall question \in Questions \right)\left( \exists\, poire \in Poires \right)\left( {\rm repond}(poire, question) \wedge {\rm est\_fier\_de\_lui}(poire)\right)$$
En particulier, il y a vraiment de quoi être fier de montrer l'eau à l'âne qui n'a pas soif, car ... (compléter après le pointillé, et envoyer à l'IUFM le plus proche).
Une fonction périodique et continue sur $\R$ est-elle uniformément continue ?
Une fonction continue sur $\R$ ayant des limites finies en $\pm\infty$ (par exemple $x\mapsto \arctan x$ est-elle uniformément continue sur $\R$ ?
En dimension finie peux-tu montrer qu'une application bilinéaire est continue sur l'espace source mais pas uniformément ?
Tu peux effectivement diminuer. D'autant qu'actuellement c'est Rackam qui s'y colle ... il fera son expérience (l'expérience de l'inutilité des aides à OS n'est malheureusement pas transmissible, c'est tellement incompréhensible !).
Cordialement.
Homo Topi on dit que mes interprétations en français sont fausses tu veux que j'y fasse quoi ? Je ne sais pas les écrire en français sinon c'est faux à chaque fois. Du coup, j'abandonne je vais pas passer une journée à raconter des âneries.
Par contre je sais appliquer la définition rigoureuse avec les $\epsilon$. Je n'ai critiqué personne :-S
Bd2017 personne ne m'a donné de corrigé de mon exercice de base ici, je l'ai résolu moi-même. Bisam m'a donné une méthode de résolution il ne m'a pas donné la solution.