Réflexion sur le théorème des valeurs intermédiaires
Bonjour à tous, je me faisais une réflexion après avoir relu le théorème des valeurs intermédiaires. J'ai lu à de nombreuses reprises que les 2 énoncés suivants étaient équivalents (repris d'ailleurs dans l'article wikipédia https://fr.wikipedia.org/wiki/Théorème_des_valeurs_intermédiaires ) :
1) Pour toute fonction $f$ définie et continue sur un intervalle $I$ et à valeurs réelles, l'image $f(I)$ est un intervalle
2) Pour toute application continue $f : [a,b] \mapsto \mathbb{R}$ et tout réel $u$ compris entre $f(a)$ et $f(b)$, il existe au moins un réel $c$ compris entre $a$ et $b$ tel que $f(c) = u$.
J'ai l'impression que la 1) s'entend par elle-même, je veux dire par là que pour moi toute fonction continue sur un intervalle $I = [a,b]$ vérifie que $f(I) = f([a,b]) = \{ f(x)\mid x \in [a,b]\}$ est un intervalle ? Dans le sens où $f(I)$ n'est pas un intervalle si il y a un "trou" et donc intuitivement si $f$ n'est pas continue.
Par conséquent ça voudrait dire qu'être une fonction continue est équivalent au fait de vérifier le théorème des valeurs intermédiaires. Or c'est faux (le contre-exemple est donné sur l'article wikipédia d'ailleurs)
Où est-ce que je me trompe ?
Merci d'avance pour votre attention.
1) Pour toute fonction $f$ définie et continue sur un intervalle $I$ et à valeurs réelles, l'image $f(I)$ est un intervalle
2) Pour toute application continue $f : [a,b] \mapsto \mathbb{R}$ et tout réel $u$ compris entre $f(a)$ et $f(b)$, il existe au moins un réel $c$ compris entre $a$ et $b$ tel que $f(c) = u$.
J'ai l'impression que la 1) s'entend par elle-même, je veux dire par là que pour moi toute fonction continue sur un intervalle $I = [a,b]$ vérifie que $f(I) = f([a,b]) = \{ f(x)\mid x \in [a,b]\}$ est un intervalle ? Dans le sens où $f(I)$ n'est pas un intervalle si il y a un "trou" et donc intuitivement si $f$ n'est pas continue.
Par conséquent ça voudrait dire qu'être une fonction continue est équivalent au fait de vérifier le théorème des valeurs intermédiaires. Or c'est faux (le contre-exemple est donné sur l'article wikipédia d'ailleurs)
Où est-ce que je me trompe ?
Merci d'avance pour votre attention.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
f continue sur I --> f(I) intervalle est vraie mais
f(I) intervalle --> f continue ne l'est pas forcément
ok, merci c'est un peu plus clair
@gebrane un condition suffisante est que l'ouvert de départ soit simplement connexe et que $f$ soit un homéomorphisme sur son image. C'est fort comme condition mais je n'ai pas l'impression que l'on puisse trouver vraiment mieux, à part des conditions tautologiques ou triviales (style "$f$ est constante").
Soient $\Omega$ un ouvert connexe de $\Bbb R^n$, $p\in[1,\infty]$, $u\in W^{1,p}(\Omega) $ et $a<b$ dans $\Bbb R$. Si $u^{-1}(]-\infty,a])$ et $u^{-1}([b, \infty[)$ sont de mesure non nulle, alors $u^{-1}(] a, b[)$ est aussi de mesure non nulle. Et on en déduit même que pour tout $I\subset [a, b] $ d'intérieur non vide, $u^{-1}(I) $ est de mesure non nulle. Autrement dit, l'image essentielle* de $u$ est un intervalle. Or l'image essentielle c'est entre guillemets "la bonne notion" qui remplace celle d'image essembliste rigoureuse en théorie de la mesure, donc c'est un bon analogue du TVI qu'on a là.
* $\text{Im-ess} (u) :=\{x\in\Bbb R\mid \forall \varepsilon>0, \lambda(u^{-1}(] x-\varepsilon, x+\varepsilon[)) >0\}$