Recherche d'un contre-exemple
dans Analyse
Salut, je cherche un exemple de la réciproque demandée.
En Passant, est-ce que je peux raisonner comme ça à la première question ?
Soit $ f_n$ une suite de fonctions continues uniformément convergente vers $f$, alors $f$ est continue.
Soit $ x_n $ une suite d'éléments de $X$ convergente dans $X$ vers $x$. et $f$ continue, alors $ f(x_n) $ converge vers $f(x)$.
Soit $ \varepsilon > 0,$ à partir d'un certain rang $N$ on aura : $ \Vert f_n - f \Vert_{\infty} \leq \varepsilon $ et $ \vert f(x_n) - f(x)\vert < \varepsilon. $
D'où $ \vert f_n(x_n) -f(x) \vert< \vert f_n(x_n) - f(x_n) \vert+ \vert f(x_n) - f(x)\vert <\Vert f_n - f \Vert_{\infty} + \vert f(x_n) - f(x) \vert < 2 \varepsilon $
En Passant, est-ce que je peux raisonner comme ça à la première question ?
Soit $ f_n$ une suite de fonctions continues uniformément convergente vers $f$, alors $f$ est continue.
Soit $ x_n $ une suite d'éléments de $X$ convergente dans $X$ vers $x$. et $f$ continue, alors $ f(x_n) $ converge vers $f(x)$.
Soit $ \varepsilon > 0,$ à partir d'un certain rang $N$ on aura : $ \Vert f_n - f \Vert_{\infty} \leq \varepsilon $ et $ \vert f(x_n) - f(x)\vert < \varepsilon. $
D'où $ \vert f_n(x_n) -f(x) \vert< \vert f_n(x_n) - f(x_n) \vert+ \vert f(x_n) - f(x)\vert <\Vert f_n - f \Vert_{\infty} + \vert f(x_n) - f(x) \vert < 2 \varepsilon $
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Il faudrait détailler ce qui est attendu pour la réciproque (pour toute suite $(f_n)_n$, pour toute suite $(x_n)_n$ ?).
On considère une suite de fonctions $(f_n)$ continues entre deux espaces métrique E et F . Les affirmations suivantes sont équivalentes
J’espère que je n'ai pas dit des conneries
Si on remplace $(a)$ par $(a')$:
, le sens $(b)\implies (a')$ est faux
Je ne sais pas si c'est cette réciproque dont tu veux chercher un contre
Il faut écrire : « ... pour toute suite $(x_n)$ dans $X$ convergeant vers $x \in X$ ...».
https://la-conjugaison.nouvelobs.com/du/verbe/converger.php
Ce n'est pourtant pas très compliqué, le participe présent, pour des mathématiciens réputés intelligents. Décidément, ça ne s'arrange pas... Pauvres de nous !
Bonne soirée quand même.
Fr. Ch.
Je ne suis pas d'accord avec ton contre , car j'ai une "preuve" que (b) implique que $f_n \to f$ uniformément lorsque E est un compact
Si E est compact . on veut prouver que pour tout $\epsilon > 0$,il existe $n_0$ tel que $n>n_0 \implies d(f_n(x), f(x)) < \epsilon$, pour tout $x \in E$.
Tout d'abord l'hypothèse (b) entraine la continuité de f !
Par l'absurde: pour tout $n$ , il exsite $x_n\in E $ tel que $d(f_n(x), f(x)) \ge \epsilon$. Puisque $E$ est compact , il existe une sous-suite $\{x_{n_k}\}$ convergeant vers un $x\in E$. La condition (b) implique que $\{f_{n_k}(x_{n_k})\}$ converge vers $f(x)$. Par continuité de $f$ implique que $\{f(x_{n_k})(x)\}$ converge aussi vers $f(x)$ . Mais $d(f_{n_k}(x_{n_k}), f(x_{n_k}))\ge\epsilon$ pour tout $n_k$, contradiction.
Explique moi mon erreur
Ce que je ne comprends pas c'est que tu as donné un contre dans un compact à savoir ton $I$.
Merci side