Mesure et intégration

[invite769a1844]

Bonsoir,

je bloque sur cet exercice:

Soit un ensemble mesurable de -mesure finie et soit une suite de fonctions réelles intégrables sur et convergeant uniformément sur vers une fonction .

Montrer que est intégrable sur et que

et

Je ne vois pas comment montrer que f est intégrable.

J'ai l'impression que cette proposition pourrait me servir:

Soit une suite décroissante de fonctions positives intégrables sur (à valeurs dans ).

Alors cette suite de fonctions tend simplement sur vers une fonction positive et cette fonction f est intégrable sur avec:

car l'hypothèse que f est limite uniforme des fonctions intégrables me permet de dire que:

f est limite simple de et du fait que:



Mais avec, après quelques bricolages, j'arrive seulement à montrer que |f| est intégrable.


D'autre part ce cours d'intégration suit un schéma assez original:

Je ne dispose pas du résultat "f est mesurable car limite de fonctions mesurables sur A" (et je ne pense pas que le prof attend qu'on le montre pour cet exercice).

Autres bizarreries:

Les fonctions mesurables sont définies après les fonctions intégrables,

définition:

une fonction définie -pp sur à valeurs dans est mesurable si il existe une suite de fonctions en escaliers tendant -pp sur vers .


les ensembles mesurables sont définies à partir des fonctions mesurables (après des résultats genre Fubini).

Je suis totalement dérouté.

Ca a pas l'air vraiment commun comme plan de cours.

Merci pour vos indications.
-----

[invite769a1844]

J'oubliais de préciser que dans la correction le prof utilise le fait qu'il existe tel que quelque soit , mais je vois pas pourquoi la suite des est majorée dans .

[mehdi_128]

Bonsoir,

je bloque sur cet exercice:

Soit un ensemble mesurable de -mesure finie et soit une suite de fonctions réelles intégrables sur et convergeant uniformément sur vers une fonction .

Montrer que est intégrable sur et que

et

Je ne vois pas comment montrer que f est intégrable.

J'ai l'impression que cette proposition pourrait me servir:



car l'hypothèse que f est limite uniforme des fonctions intégrables me permet de dire que:

f est limite simple de et du fait que:



Mais avec, après quelques bricolages, j'arrive seulement à montrer que |f| est intégrable.


D'autre part ce cours d'intégration suit un schéma assez original:

Je ne dispose pas du résultat "f est mesurable car limite de fonctions mesurables sur A" (et je ne pense pas que le prof attend qu'on le montre pour cet exercice).

Autres bizarreries:

Les fonctions mesurables sont définies après les fonctions intégrables,

définition:

une fonction définie -pp sur à valeurs dans est mesurable si il existe une suite de fonctions en escaliers tendant -pp sur vers .


les ensembles mesurables sont définies à partir des fonctions mesurables (après des résultats genre Fubini).

Je suis totalement dérouté.

Ca a pas l'air vraiment commun comme plan de cours.

Merci pour vos indications.

salut géniedesalpages

[invite769a1844]

salut géniedesalpages

salut (tu veux bien me rappeler le pseudo où je te reconnais un peu plus?)


oublie ma question, tu t'appelles pareil sur les deux forums mdr

[A voir en vidéo sur Futura]

[mehdi_128]

salut (tu veux bien me rappeler le pseudo où je te reconnais un peu plus?)


oublie ma question, tu t'appelles pareil sur les deux forums mdr

on a un point commun

[Garf]

J'oubliais de préciser que dans la correction le prof utilise le fait qu'il existe tel que quelque soit , mais je vois pas pourquoi la suite des est majorée dans .

Repart de la définition de convergence uniforme et amuse-toi avec les petits epsilons

(en fait, il suffit de prendre un epsilon arbitraire, un n tel que pour tout k>n etc. ; A étant de mesure finie, tout se passe bien)

[invite769a1844]

on a un point commun

lol, oui enfin on est pas les seuls à être inscrit sur ces deux forums.
Il y a barbu et ThsQ aussi (et peut-être d'autres).

Enfin je mise un peu sur ce forum vu que Romain-des-Bois qui est un habitué est un collègue sérieux de ma promo, et il a du venir un peu plus souvent que moi en cours (non pas que je suis pas sérieux, mais je suis employé à la poste et je ne peux pas être très assidu en cours, bon après c'est vrai que je ne suis pas très sérieux ). Donc voilà je garde espoir; lol.

[invite769a1844]

Repart de la définition de convergence uniforme et amuse-toi avec les petits epsilons

(en fait, il suffit de prendre un epsilon arbitraire, un n tel que pour tout k>n etc. ; A étant de mesure finie, tout se passe bien)

Bonsoir Garf, merci je regarde ça tout de suite

[invite769a1844]

Bon je vois pas vraiment comment procéder, a priori la convergence uniforme me donne des informations sur |f_n-f|, mais je ne vois pas ce que ça peut me donner sur |f_n| (surtout sans savoir si f est bornée ou des hypothèses du genre) là je suis un peu perdu

[Garf]

Ben, lf_nl est intégrable, c'est dans tes hypothèses...

[invite769a1844]

Voilà ce que je vois pour l'instant:

Je me fixe .

Par définition de la convergence uniforme, il existe tel que:

.


Et là je dois trouver tel que pour tout , on ait

.


Ce qui me pose problème, c'est comment majorer la famille ?

[invite769a1844]

Ben, lf_nl est intégrable, c'est dans tes hypothèses...

ok mais si je prends par exemple, on a bien de intégrable, mais n'est pas majorée dans .

Edit: donc ce serait apparemment le fait que A a une mesure finie qui jouerait plutôt, mais je vois pas comment jongler avec cette donnée dans mon raisonnement.

[invite769a1844]

Une autre question que je me pose aussi (due sûrement à une lacune au niveau de la distance sup):

je prends par exemple (ie A=[0,1] de mesure finie). Chaque est intégrable.

Est-ce qu'on peut dire qu'elle converge uniformément vers dans (par rapport à la topologie de l'ordre qu'on associe usuellement à ), et comment affirmer qu'elle ne converge pas uniformément dans ?

[invite769a1844]

Voilà ce que je vois pour l'instant:

Je me fixe .

Par définition de la convergence uniforme, il existe tel que:

.


Et là je dois trouver tel que pour tout , on ait

.


Ce qui me pose problème, c'est comment majorer la famille ?

Bonjour, je bloque toujours sur ce problème et je ne comprends toujours pas pourquoi |fn| intégrable résoud le problème, je pensais que cette hypothèse était essentiellement là pour pouvoir travailer avec les réels , mais je ne vois pas en quoii ça peut les majorer.

Merci pour votre aide.

[invite769a1844]

Avec la convergence uniforme, j'arrive plutôt à montrer que:

et

et aussi que |f| est intégrable (mais j'arrive pas à utiliser ce résultat pour montrer que f est intégrable).


Mais pour la majoration je ne vois pas.

[Garf]

Soit N>0 tel que

Soit n>N. Soit x dans A.



Il suffit de prendre

[invite769a1844]

Soit N>0 tel que

Soit n>N. Soit x dans A.



Il suffit de prendre

ah d'accord merci Garf, en fait f est supposée finie dans l'énoncé comme les , c'est bien ça?

[invite35452583]

A majorer indépendamment de n.
Il existe N tel que pour m>N-1, on a lf_m-f_Nl<1. On a alors pour m>N-1, lf_ml<lf_Nl+1 ce qui permet de les majorer toutes sauf un nomre fini (f_m, m allant de 1 à N-1). Il n'est pas dificile de terminer.

[invite769a1844]

A majorer indépendamment de n.
Il existe N tel que pour m>N-1, on a lf_m-f_Nl<1. On a alors pour m>N-1, lf_ml<lf_Nl+1 ce qui permet de les majorer toutes sauf un nomre fini (f_m, m allant de 1 à N-1). Il n'est pas dificile de terminer.

Merci Homotopie, donc tu peux carrément majorer les et pas seulement l'intégrale, c'est bien ça? et du coup je peux appliquer le théorème de convergence dominée pour montrer que f est intégrable? (je comprends pas du tout la correction du prof, il dit que pour tout , mais l'énoncé de l'exo dit qu'elles seulement réelles pas forcément positives )

[Romain-des-Bois]

Salut !

et bonne année


Tu peux toujours dire fn = fn⁺ - fn^-
où les deux composantes sont positives


C'était ma petite remarque inutile

[invite769a1844]

Salut !

et bonne année


Tu peux toujours dire fn = fn⁺ - fn^-
où les deux composantes sont positives


C'était ma petite remarque inutile

Bonne année !


Ptet pas si inutile que ç, du moins je vais regarder dans cette direction, merci romain.

[invite769a1844]

lol, je suis pas réveillé.

Mais il me semble que j'ai toutes les hypothèses pour appliquer le théorème de la convergence dominée.

Et du coup je peux conclure, non?