« Espaces de Banach/Exercices/Dual topologique » : différence entre les versions
→Exercice 1-2 : +1 |
→Exercice 1-3 : +1 |
||
Ligne 46 : | Ligne 46 : | ||
*'''Troisième méthode.''' Tout e.v.n. vérifie le lemme de Mazur : si <math>x_n\to x</math> faiblement, il existe une suite de combinaisons linéaires des <math>x_n</math> (donc à valeurs dans ''C'' si <math>x_n\in C</math> convexe) qui converge en norme vers <math>x</math>. |
*'''Troisième méthode.''' Tout e.v.n. vérifie le lemme de Mazur : si <math>x_n\to x</math> faiblement, il existe une suite de combinaisons linéaires des <math>x_n</math> (donc à valeurs dans ''C'' si <math>x_n\in C</math> convexe) qui converge en norme vers <math>x</math>. |
||
*'''Quatrième méthode''' (plus honnête, car Mazur l'utilise) : dans n'importe quel e.v.n., tout convexe fermé ''C'' est faiblement fermé (et a fortiori, faiblement séquentiellement fermé) car ''C'' est l'intersection des demi-espaces fermés qui le contiennent. En effet, d'après la forme géométrique de Hahn-Banach, si <math>x\notin C</math>, il existe un hyperplan séparant strictement <math>x</math> de ''C''. |
*'''Quatrième méthode''' (plus honnête, car Mazur l'utilise) : dans n'importe quel e.v.n., tout convexe fermé ''C'' est faiblement fermé (et a fortiori, faiblement séquentiellement fermé) car ''C'' est l'intersection des demi-espaces fermés qui le contiennent. En effet, d'après la forme géométrique de Hahn-Banach, si <math>x\notin C</math>, il existe un hyperplan séparant strictement <math>x</math> de ''C''. |
||
}} |
|||
==Exercice 1-4== |
|||
Soient ''E'' un espace de Banach et <math>(x_n)_{n\geq0}</math> une suite de ''E'' qui converge faiblement vers <math>x\in E</math>. Soient <math>\varphi_n,\varphi\in E'</math>. |
|||
#Si <math>\varphi_n\to\varphi</math> (fortement), montrer que <math>\langle\varphi_n,x_n\rangle\to\langle\varphi,x\rangle</math>. |
|||
#Cette conclusion subsiste-t-elle si l'on suppose seulement que <math>\varphi_n\to\varphi</math> faiblement ? |
|||
{{Solution|contenu= |
|||
#<math>|\langle\varphi_n,x_n\rangle-\langle\varphi,x\rangle|\le|\langle\varphi_n-\varphi,x_n\rangle|+|\langle\varphi,x_n-x\rangle|\le\|\varphi_n-\varphi\|\|x_n\|+|\langle\varphi,x_n-x\rangle|</math> et <math>(x_n)</math> est bornée (cf. exercice précédent, deuxième méthode). |
|||
#Non, sinon dans tout espace de Hilbert on aurait : si <math>x_n\to x</math> faiblement alors <math>\|x_n\|\to\|x\|</math> donc ([[w:Topologie faible#Convergence faible et espaces de Hilbert|propriété de Radon-Riesz]]) <math>x_n\to x</math> fortement, or dans <math>\ell^2</math>, <math>\delta_n\to0</math> faiblement et <math>\|\delta_n\|=1</math>. Ou moins savamment : non car par exemple dans <math>\ell^2</math>, <math>\delta_n\to0</math> faiblement mais <math>\langle x_n,x_n\rangle=1\not\to\langle0,0\rangle=0</math>. |
|||
}} |
}} |
||
Version du 15 octobre 2021 à 21:28
Exercice 1-1
Soient un espace topologique, l'espace de Banach des fonctions continues bornées, muni de la norme de la convergence uniforme, une suite de points de et une série absolument convergente de nombres réels distincts. Pour tout , on pose
- .
- Montrer que est une forme linéaire continue sur , de norme .
- Montrer que .
- Le seul point non immédiat est la majoration de la norme (qui garantit la continuité). Pour toute , donc .
- Soit . Il existe , tel que . Puis, il existe de norme telle que pour , .
Alors, .
Exercice 1-2
On rappelle que , désigne l'espace des suites de nombres complexes telles que
- .
Toute forme linéaire continue peut s'écrire
où avec .
- Montrer que dans l'espace , le sous-espace des suites de support fini est dense.
- Montrer qu'une suite d'éléments de converge faiblement vers si et seulement si elle vérifie les deux conditions suivantes :
- la suite est bornée ;
- pour tout entier , la suite converge vers (dans ).
- En déduire que toute suite bornée de admet une sous-suite faiblement convergente.
- Tout élément est limite d'une suite d'éléments à support fini : .
- Si faiblement dans , c'est-à-dire si pour tout , alors pour tout , est bornée. D'après le théorème de Banach-Steinhaus, est alors bornée dans l'espace vectoriel normé , égal à d'après le théorème de Hahn-Banach. De plus, en appliquant l'hypothèse aux suites dont un terme vaut et les autres sont nuls, on trouve tout de suite que pour tout , . Réciproquement, supposons que les conditions 1 et 2 sont remplies. D'après le point 2, pour tout à support fini, . Grâce au point 1 (et à la question 1), on en déduit que faiblement dans .
- Soit une suite bornée de . Par récurrence, on construit pour tout une sous-suite (extraite de celle au rang précédent) telle que pour tout , . Puis on applique le « procédé diagonal » : vérifie la condition 2, et bien sûr la condition 1. On conclut grâce à la question précédente.
Exercice 1-3
Soient H un espace de Hilbert et C un convexe de H. Montrer que C est fermé si et seulement s'il est faiblement séquentiellement fermé, c.-à-d. si pour toute suite dans C qui converge faiblement (dans H) vers , la limite appartient à C.
Toute partie d'un e.v.n. qui est faiblement séquentiellement fermée est évidemment séquentiellement fermée donc fermée. Réciproquement, soit C un convexe fermé d'un Hilbert (réel) H, montrons que C est faiblement séquentiellement fermé. Soit faiblement, c'est-à-dire que , montrons que .
- Première méthode. Soit la projection. donc (par convergence faible) donc .
- Deuxième méthode. Tout espace de Hilbert est uniformément convexe (c'est-à-dire ) donc vérifie la propriété de Banach-Saks (c'est-à-dire que toute suite bornée admet une sous-suite Cesaro-convergente). Or toute partie A faiblement bornée (en particulier toute suite faiblement convergente) est bornée (d'après le th. de Banach-Schauder, qui montre que est borné, où est le plongement canonique, et celui de Hahn-Banach, qui dit que ). Donc a une sous-suite dont la suite des moyennes de Cesaro (qui est à valeurs dans C) converge. La limite est nécessairement , donc .
- Troisième méthode. Tout e.v.n. vérifie le lemme de Mazur : si faiblement, il existe une suite de combinaisons linéaires des (donc à valeurs dans C si convexe) qui converge en norme vers .
- Quatrième méthode (plus honnête, car Mazur l'utilise) : dans n'importe quel e.v.n., tout convexe fermé C est faiblement fermé (et a fortiori, faiblement séquentiellement fermé) car C est l'intersection des demi-espaces fermés qui le contiennent. En effet, d'après la forme géométrique de Hahn-Banach, si , il existe un hyperplan séparant strictement de C.
Exercice 1-4
Soient E un espace de Banach et une suite de E qui converge faiblement vers . Soient .
- Si (fortement), montrer que .
- Cette conclusion subsiste-t-elle si l'on suppose seulement que faiblement ?
- et est bornée (cf. exercice précédent, deuxième méthode).
- Non, sinon dans tout espace de Hilbert on aurait : si faiblement alors donc (propriété de Radon-Riesz) fortement, or dans , faiblement et . Ou moins savamment : non car par exemple dans , faiblement mais .