Formes linéaires en dimension infinie
Bonsoir
Je révise actuellement pour un partiel d'analyse fonctionnelle et au cours d'une démonstration, le résultat suivant est utilisé sans preuve mais il ne me semble pas évident.
Soit E un espace de Banach de dimension infinie. On se donne une famille finie (f_i) de formes linéaires continues sur E. Comme E est de dimension infinie, il existe un z non nul tel que <f_i,z>=0 pour tout i.
Quelqu'un saurait démontrer ce résultat svp ?
Je révise actuellement pour un partiel d'analyse fonctionnelle et au cours d'une démonstration, le résultat suivant est utilisé sans preuve mais il ne me semble pas évident.
Soit E un espace de Banach de dimension infinie. On se donne une famille finie (f_i) de formes linéaires continues sur E. Comme E est de dimension infinie, il existe un z non nul tel que <f_i,z>=0 pour tout i.
Quelqu'un saurait démontrer ce résultat svp ?
Réponses
-
Pour tout $i$, le noyau $F_i$ de $f_i$ est de codimension $1$ dans $E$, donc l'intersection des $F_i$ est de codimension au plus le cardinal de ta famille, en particulier fini. $E$ étant de dimension infinie, cette intersection n'est pas réduite à $\{0\}$.
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
- 65 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