التمرين 1
Hahn-Banach et Banach-Steinhaus
- Soit un espace vectoriel normé réel et soient et . Montrer qu'il existe avec telle que pour tout , si et seulement si pour tous on a
مسابقة تخصص · Analyse Fonctionnelle · المدة: 1سا 30د
JSON import — Université 8 Mai 1945 - Guelma 2018
Hahn-Banach et Banach-Steinhaus
1. Nécessité : si existe, alors .
Suffisance : sur , posons . L'hypothèse (appliquée à ) montre que est bien définie (si , la différence a une image contrôlée par ) et que sur . Le théorème de Hahn-Banach prolonge en avec et .
2. Pour chaque , la suite convergente est bornée : . Comme est de Banach, le théorème de Banach-Steinhaus donne .
est linéaire (passage à la limite). Pour : . En extrayant une sous-suite réalisant la des normes : donne à la limite , donc est continu et .
Adjoint et ensemble d'atteinte de la norme dans un Hilbert
Soient et deux espaces de Hilbert réels et une application linéaire continue non nulle. L'adjoint de est . On pose
1. L'application est continue et , donc est fermé.
Suites biorthogonales, perturbation d'une base hilbertienne
Soient deux suites et d'un espace de Hilbert vérifiant
et les deux suites sont complètes dans , c'est-à-dire que le sous-espace engendré par les est dense dans , ainsi que celui engendré par les .
pour toute suite de nombres complexes ayant un nombre fini de termes non nuls. Montrer que :
1. Posons . Pour tout , par continuité du produit scalaire et biorthogonalité : . Donc est orthogonal au sous-espace engendré par les , qui est dense dans : .
2. : autoadjoint. Pour : car : positif.
3. . Comme autoadjoint, il admet une racine carrée autoadjointe et . Donc .
4. Soient et . De : , donc ()
5. Soit , . Alors (car et ). Donc .
2.a. Soit ; par Parseval . Pour , l'hypothèse donne : les sommes partielles sont de Cauchy dans complet, la série converge.
b. À la limite : , donc .
c. est linéaire (linéarité des coefficients de Fourier), et b. montre . Comme , on a aussi .
3. Inégalité triangulaire : et . ( justifie l'inversibilité par la série de Neumann.) En appliquant ces inégalités à : .