Forum de mathématiques - Bibm@th.net
Vous n'êtes pas identifié(e).
- Contributions : Récentes | Sans réponse
Pages : 1
Discussion fermée
#1 24-01-2020 20:04:18
- raphael.thiers
- Membre
- Inscription : 24-01-2020
- Messages : 37
Majoration d'intégrale d'une fonction mesurable positive
Bonjour,
Ma question en relation avec Exercice 4 - Mesure à densité de la feuille d'exercices sur l'intégrale de Lebesgue.
Je me pose la question suivante, si h est une fonction mesurable positive , et A partie mesurable, ne peut-on pas écrire le ligne suivante ?
$\int _Ahd\mu <= sup_A(h)\times\mu(A)$
Dans ce cas on a
$(\mu(A)=0)\Rightarrow (\int _Ahd\mu = 0) $
puisque $0\times(+\infty)=0$ (au cas ou le sup de h est $+\infty$)
Ce qui résout une des questions de l'exercice plus facilement (d'où mon doute ...).
Qu'en pensez vous ?
Hors ligne
#2 24-01-2020 20:16:05
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 047
Re : Majoration d'intégrale d'une fonction mesurable positive
Bonjour,
Le problème, c'est que $\sup_A(h)$ peut être infini....
F.
Hors ligne
#3 24-01-2020 20:22:57
- raphael.thiers
- Membre
- Inscription : 24-01-2020
- Messages : 37
Re : Majoration d'intégrale d'une fonction mesurable positive
oui mais compte tenu de la formule $ 0\times(+\infty)=0$ ; qu 'est ce que ça change dans le cas de l'exercice ?
Hors ligne
#4 24-01-2020 22:43:56
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 047
Re : Majoration d'intégrale d'une fonction mesurable positive
Cette formule n'est pas vraie! (Pense aux limites c'est une forme indéterminée)
D
Hors ligne
#5 24-01-2020 23:55:03
- raphael.thiers
- Membre
- Inscription : 24-01-2020
- Messages : 37
Re : Majoration d'intégrale d'une fonction mesurable positive
En fait je n'ai pas inventé cette formule, je l'ai trouvé dans un cours ...
J'ai été choqué aussi la première fois que je l'ai vu, il s agit d'une convention sur le calcul algébrique sur R union {+inf} .
Mais c'est assez logique en fait
une infinité de fois zero , cela est tres différent d'un produit d'une quantité tendant vers zero par l'infini.
Hors ligne
#6 24-01-2020 23:59:27
- raphael.thiers
- Membre
- Inscription : 24-01-2020
- Messages : 37
Re : Majoration d'intégrale d'une fonction mesurable positive
Tu peux retrouve ma formule ici par exemple https://fr.wikipedia.org/wiki/Droite_r% … hev%C3%A9e
justement dans le chapitre sur l'indetermination (cas de la theorie de la mesure)
Hors ligne
#7 25-01-2020 07:53:49
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 047
Re : Majoration d'intégrale d'une fonction mesurable positive
Tu remarqueras bien que dans la page que tu cites il est écrit avant cette formule « par convention ». Il faut la prouver quand tu en as besoin (ou alors avoir un énoncé qui dit clairement quand elle est vraie).
F
Hors ligne
#8 25-01-2020 13:49:33
- raphael.thiers
- Membre
- Inscription : 24-01-2020
- Messages : 37
Re : Majoration d'intégrale d'une fonction mesurable positive
Bonjour Fred,
Je ne comprends pas trop le sens de ta réponse; comment peut-on prouver une convention ?
Peux tu prouver que le degré d'un polynôme nul est $-\infty$ par exemple ?
Pour moi la définition de l'intégrale de Lebesgue intègre cette particularité 0×(+∞)=0 de façon à ne pas se limiter à des mesures finies par exemple.
Si je veux prouver le résultat je suis effectivement obligé de repasser par les fonction étagées;
Si $(h_n)$ est une suite de fonctions étagées croissantes convergeant simplement vers h, alors on a
$\int_Ah_nd\mu \le \mu(A)\times sup_A(h_n)=0 $ dans le cas de l'exercice(cette fois ci le sup de $h_n$ sur A est bien fini puisque $h_n$ prend un nombre fini de valeurs différentes.)
et on prouve alors le résultat par convergence monotone.
Hors ligne
#9 26-01-2020 18:22:05
- Fred
- Administrateur
- Inscription : 26-09-2005
- Messages : 7 047
Re : Majoration d'intégrale d'une fonction mesurable positive
Bonjour
Je veux bien qu'on adopte cette convention lors de la définition de l'intégrale de Lebesgue, mais il faut alors vérifier que les inégalités usuelles sont compatibles avec cette convention. Et donc il faut démontrer que l'on a effectivement $\int_A hd\mu\leq \sup_A h \mu(A)$ même dans le cas $\sup_A h=+\infty$ et $\mu(A)=0$. Je n'ai pas assez en tête la construction de l'intégrale de Lebesgue pour savoir si cela rajoute une difficulté ou non, mais il faut être extrêmement prudent.
En tout cas, c'est une convention que je déconseille fortement d'utiliser, car elle peut porter à confusion si on est dans un cadre où elle ne s'applique pas.
F.
Hors ligne
#10 26-01-2020 20:58:59
- raphael.thiers
- Membre
- Inscription : 24-01-2020
- Messages : 37
Re : Majoration d'intégrale d'une fonction mesurable positive
Bonsoir Fred,
Je te remercie pour le temps passé sur mon post !
Je partage ton point de vue sur la prudence dans les opérations avec un opérande infini.
Raphaël
Hors ligne
Pages : 1
Discussion fermée