Un lemme en théorie de la mesure
Bonjour
Je cherche une preuve de ce lemme.
Lemme. Soit $f$ une fonction intégrable de $I$ un segment de $\mathbb{R}$, à valeurs dans $\mathbb{R}^{n}$.
Alors l'ensemble des intégrales de $f$ prises sur tous les sous-ensembles mesurables $A$ inclus dans $I$ est convexe.
Merci à vous.
Je cherche une preuve de ce lemme.
Lemme. Soit $f$ une fonction intégrable de $I$ un segment de $\mathbb{R}$, à valeurs dans $\mathbb{R}^{n}$.
Alors l'ensemble des intégrales de $f$ prises sur tous les sous-ensembles mesurables $A$ inclus dans $I$ est convexe.
Merci à vous.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Ce n'est pas facile de trouver une preuve, il y a un document ici https://www.pnas.org/content/pnas/91/6/2145.full.pdf
J'en poste un autre (je n'ai pas de références) que j'avais mis de côté il y a quelques années, c'est le théorème 6 (page 6)
PS : les mesures signées $\mu_1,\ldots,\mu_n$ dont parle le document sont données dans ton cas particulier par les applications $A\mapsto \int_A p_j\circ f dx$, où les $p_j$ sont les projections.
Ne pourrait-on pas utiliser cette propriété pour se ramener au cas où $n=1$?
Ma première affirmation me paraît très fausse après réflexion…. Désolé pour le bruit.
Un cercle dans $\Bbb R^2 $ est un contre-exemple à ce que tu dis MrJ.
Effectivement la preuve est tout sauf triviale (du Radon-Nikodym -enfin, pas dans mon cas particulier mais modulo cet ajout la preuve est la même-, du Krein-Milman, du dual de $L^{1}$...), mais elle est jolie (bien vu de voir l'ensemble comme l'image de la boule unité de $L^{\infty}$ par l'évaluation en les mesures).
Pour l'histoire le lemme m'était nécessaire en théorie du contrôle pour montrer que l'ensemble des points accessibles en temps T d'une EDO linéaire contrôlée par des fonctions u à valeurs dans un compact est convexe. Si la preuve est facile si le compact est lui-même supposé convexe, le résultat vaut même sans cette hypothèse (et ce n'est pas intuitif).
Une propriété puissante puisque la théorie peut alors supposer que les contraintes sur les contrôles sont convexes dans tous les cas.
Ce document était dans un de mes dossiers où j'avais recueillis plusieurs PDF sur la convexité. J'avoue n'avoir jamais lu la preuve...