Convergence pour les suites de fonctions
dans Analyse
Bonjour.
J'ai encore un problème dans la compréhension d'une démonstration mais cette fois je ne m'en sors pas.
Il s'agit de la démonstration du théorème suivant:
Soit $f_n [ a,b ] \mapsto \R$, $n\geq 1$ des fonctions R-intégrable qui convergent uniformément sur $[a,b]$ vers $f$. Alors $f$ est R-intégrable etc...
Pour montrer qu'elle est bien R-intégrable, on se fixe $\epsilon > 0$ et on affirme que la convergence uniforme permet de trouver un $N\geq 1$ tel que $\mid f_n (x) -f(x) \mid \leq \dfrac{\epsilon}{(b-a)}$ pour tout $x$ de $[a,b]$ pour tout $n\geq N$. On affirme ensuite que pour $n\geq$ N et pour toute subdivision $p$ de $[a,b]$:
$s_p(f)\geq s_p(f_n)-\epsilon$ et $S_p(f)\leq S_p(f_n)+\epsilon$
Où $s$ et $S$ sont les sommes de Darboux.
Je ne comprends pas ces deux inégalités, auriez vous des idées pour m'aider?
Merci d'avance.
J'ai encore un problème dans la compréhension d'une démonstration mais cette fois je ne m'en sors pas.
Il s'agit de la démonstration du théorème suivant:
Soit $f_n [ a,b ] \mapsto \R$, $n\geq 1$ des fonctions R-intégrable qui convergent uniformément sur $[a,b]$ vers $f$. Alors $f$ est R-intégrable etc...
Pour montrer qu'elle est bien R-intégrable, on se fixe $\epsilon > 0$ et on affirme que la convergence uniforme permet de trouver un $N\geq 1$ tel que $\mid f_n (x) -f(x) \mid \leq \dfrac{\epsilon}{(b-a)}$ pour tout $x$ de $[a,b]$ pour tout $n\geq N$. On affirme ensuite que pour $n\geq$ N et pour toute subdivision $p$ de $[a,b]$:
$s_p(f)\geq s_p(f_n)-\epsilon$ et $S_p(f)\leq S_p(f_n)+\epsilon$
Où $s$ et $S$ sont les sommes de Darboux.
Je ne comprends pas ces deux inégalités, auriez vous des idées pour m'aider?
Merci d'avance.
Réponses
-
Bonsoir !
Tu prends $f_n(x)-f(x)=g(x)$ et tu écris les sommes de Darboux pour chaque fonction. -
$\mid f_n (x) -f(x) \mid \leq \dfrac{\epsilon}{(b-a)}$ implique $ - \dfrac{\epsilon}{(b-a)}+ f_n (x)\leq f(x)\leq f_n (x)+ \dfrac{\epsilon}{(b-a)}$ implique par exemple $S_p(f)\leq S_p(f_n)+ S_p(\dfrac{\epsilon}{(b-a)})=S_p(f_n)+\epsilon$Le 😄 Farceur
-
Merci je vois le truc maintenant.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 64 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres