Limite faible
Bonsoir
J'ai un doute sur les limites faibles (ici dans les espaces réflexifs), n'ayant pas de livre d'analyse fonctionnelle à portée de main et ayant un problème pour ouvrir les pdf sur Google, qui sont la forme de toutes les pages de résultats de recherches sur les sujets de maths, ou presque toutes, je vous demande ici.
J'ai plus précisément une compacité à montrer, et pour ça, je dois étudier une suite d'éléments de l'espace des fonctions de carré intégrable d'un segment de R à valeurs dans un convexe C.
Ma suite est bornée et par réflexivité de L^2 elle admet une sous-suite convergeant faiblement dans L^2.
Mais je veux que la limite trouvée soit à valeurs dans C. Y a-t-il une propriété de la limite faible pour m'assurer que c'est le cas ?
J'ai de vagues souvenirs de résultats concernant la localisation de la limite faible dans l'enveloppe convexe mais c'est vague.
Bref, merci pour toute aide !
J'ai un doute sur les limites faibles (ici dans les espaces réflexifs), n'ayant pas de livre d'analyse fonctionnelle à portée de main et ayant un problème pour ouvrir les pdf sur Google, qui sont la forme de toutes les pages de résultats de recherches sur les sujets de maths, ou presque toutes, je vous demande ici.
J'ai plus précisément une compacité à montrer, et pour ça, je dois étudier une suite d'éléments de l'espace des fonctions de carré intégrable d'un segment de R à valeurs dans un convexe C.
Ma suite est bornée et par réflexivité de L^2 elle admet une sous-suite convergeant faiblement dans L^2.
Mais je veux que la limite trouvée soit à valeurs dans C. Y a-t-il une propriété de la limite faible pour m'assurer que c'est le cas ?
J'ai de vagues souvenirs de résultats concernant la localisation de la limite faible dans l'enveloppe convexe mais c'est vague.
Bref, merci pour toute aide !
Réponses
-
Bonjour,
Si $C$ est un fermé convexe de $\Bbb R^d$, alors $\mathfrak{C} := L^2([a,b],\Bbb R^d)\cap C^{[a,b]}$ est un ensemble convexe, fermé dans $L^2([a,b],\Bbb R^d)$ pour la topologie forte. Donc tout point de $L^2\setminus \mathfrak{C}$ est séparé de $\mathfrak{C}$ par une forme linéaire (théorème de Hahn-Banach géométrique). Donc $\mathfrak C$ est fermé pour la topologie faible.
En revanche, si $C$ n'est pas fermé, $\mathfrak C$ n'est pas fermé pour la topologie faible. -
En fait C est compact, donc tout va bien. Merci pour la réponse !
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 165.1K Toutes les catégories
- 58 Collège/Lycée
- 22.1K Algèbre
- 37.5K Analyse
- 6.3K Arithmétique
- 58 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 20 CultureMath
- 51 Enseignement à distance
- 2.9K Fondements et Logique
- 10.7K Géométrie
- 83 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 79 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 337 Mathématiques et Physique
- 5K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 801 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres