Bonjour,
Je travaille sur l'exercice suivant. Soit et soit
une suite de fonctions de
. On suppose qu'il existe une constante
strictement positive telle que pour tout entier
,
.
Il faut alors montrer que admet une sous-suite qui converge vers une fonction
de
.
Voilà ce à quoi j'ai pensé.
Puisque que pour tout ,
, donc en particulier,
, et donc pour tout
. On en déduit alors que
. La suite
est donc une suite bornée de
, elle admet donc une sous-suite convergente. Notons
sa limite.
Il reste à montrer que est continue et que
.
Est-ce que jusque-là, je n'ai pas écrit d'énormités ? Je note que pour l'instant, je ne vois pas pourquoi l'on fait intervenir la norme infini de la dérivée...
Merci beaucoup pour votre aide.
Bonjour
Je pense que ton énonce n'est pas complet. Je subodore que la norme choisie sur E est définie par
N(f)=||f||+||f'||
où || est la norme de la convergence uniforme.
Bonsoir
Shipz Attention ton raisonnement ne tient pas :
Pour (fixé), la suite
est bornée elle admet donc une sous-suite convergente. Oui
Notons sa limite. Non car il se peut très bien qu'il existe plusieurs suites extraites (voir une infinité) convergentes vers des limites différentes !
Et même si on utilise l'axiome du choix pour choisir pour chaque de
une suite extraite avec une limite
,
on ne pourra pas justifier ni la continuité de ni la convergence uniforme des
vers
.
Ceci dit il y a bien un théorème derrière cet énoncé et dont les hypothèses doivent certainement être vérifiées par celui-ci
Peux tu énoncer le théorème d'Ascoli ?
Bonjour elhor_abdelali, et merci beaucoup pour ta réponse !
J'ai bien compris tes remarques.
J'ai un théorème d'Ascoli qui s'énonce ainsi : soit une suite de fonctions définies sur un intervalle fermé borné I, à valeurs réelles. On suppose que cette suite de fonctions est équicontinue et qu'il existe un réel
strictement positif tel que
pour tout n et pour tout
.
Alors on peut extraire une sous-suite qui converge uniformément sur I vers une fonction continue
.
Ici, par hypothèse de l'énoncé, on obtient qu'il existe une constante strictement positive telle que pour tout
,
pour tout
.
J'ai l'impression que l'on va pouvoir extraire une suite convergente, mais pour la norme infinie, à condition d'avoir l'équicontinuité...
Je continue à réfléchir au problème.
Sinon, ce n'est pas demandé, mais j'ai montré que muni de la norme N de l'énoncé est complet.
Et bien tu es tout près de trouver et c'est la bornitude des dérivées qui va garantir l'hypothèse manquante qu'est l'equicontinuité
Bonjour à tous,
@ Shipz : est-ce que tu pourrais renseigner ton profil en précisant son niveau stp ?
C'est par-ici : [lien]
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :