Mesure produit

[legeniedesalpages]

Bonsoir, j'ai du mal à montrer ce théorème:

Soient espaces mesurés -finis.

On considère l'ensemble des pavés mesurables sur :

[CENTER],[/CENTER]

et la tribu produit sur :

[CENTER].[/CENTER]

Il existe une unique mesure sur telle que
pour tout .

est appelée mesure produit de et est notée


Déjà pour l'existence, je pense qu'il faut procéder par récurrence sur .

Pour , c'est ok.

Mais pour , je ne vois pas comment procéder, pour montrer la -additivité (ie pour toute famille dénombrable disjointe , on a ).

:hein:

Merci pour vos indications.

[tize]

Bonjour legénie,
il me semble bien que c'est une question assez difficile et longue à traiter (surtout l'existence)... tu peux faire une recherche sur google : mesure produit, tu trouveras des cours avec idées de démonstrations et même des démonstrations complètes.
Bon courage, c'est assez long si l'on fait tout dans les détails.
Cordialement.

[Lierre Aeripz]

Bonjour,

Ca ne m'étonne pas que ait du mal à montrer la -additivité puisque tu ne semble pas avoir contruit ...

Le théorème n'est pas simple du tout. Je te renvoie à [1] pour un cours complet.

[1] http://www.dma.ens.fr/edition/NotesCours/2002-2003/CoursIP.pdf

(Beaucoup de notes de cours des cours donnés à l'ENS sont disponibles ici : http://www.dma.ens.fr/edition/NotesCours/index.html , profitez-en.)

[legeniedesalpages]

Bonjour tize et lierre aeripz,

merci pour vos indications, c'est vrai que notre prof a admis tous les résultats concernant la caractérisation et la construction de la mesure de Lebesgue sur et sur (à raison je pense, en moins de 20h, il doit nous faire un cours sur mesure/intégration/probas , donc il n'a pas pu trop s'attarder sur la mesure).

Et c'est vrai que la mesure donnée est "construite" seulement sur les pavés mesurables.

Je vais consulter vos liens.

Pour l'unicité, je pense qu'il y aura moins de problèmes, si j'arrive à montrer que est un -système, j'utilise alors la caractérisation d'une mesure sur un -système et normalement c'est bon.

[Lierre Aeripz]

Qu'appelles-tu un -système ?
(Ton prof doit bien aimer les lettre-grecque quelque chose )

[BQss]

Salut, la réference pour moi en théorie de la mesure:

Mister Jacod
voila son cours de licence http://www.proba.jussieu.fr/cours/Integr01.pdf , ta demo page 57, et je peux te confirmer ce qu'on t'as dit, elle ne se demontre pas comme ca, et generalement on l'a démontre en meme temps que l'on démontre fubini(cf poly) , a l'epoque je l'avais eu a un oral, aujourd'hui j'ai un peu oublié lol, c'est pas mal technique.

Avis au amateurs, son cours de dea de calcul sto mouvement brownien, pour les kamikazes, je vous dirai si j'en serai ressorti indemne http://www.proba.jussieu.fr/cours/DEA-07.pdf.


Et pour des petits poly d'autres stars internationallllles grgrgrgrrrr http://www.proba.jussieu.fr/supports.php, mention speciale a Yor et Bertoin.

Et d'une manière generale je ne saurai trop conseiller de visiter les pages personnelles des gens du labo de chevaleret, cliquez sur equipe de recherche dans le lien ci dessus, si vous aimez les probas et la théorie de la mesure, je vous garanti une orgie festive.


a+ et vive las probas :zen:


PS: si vous avez la chance d'y aller, c'est comme a Orsay, profitez de cette occasion de cotoyer tous ces gens a la pointe de la recherche, chevaleret(P6 P7) est le labo de mathématiques le plus actifs au monde et en particulier en proba, alors sachez que si vous aimez ca, vous avez de la chance d'etre francais...

[BQss]

Excuse j'avais oublié de mettre le cours emporté par mon enthousiasme :briques:

[legeniedesalpages]

Qu'appelles-tu un -système ?
(Ton prof doit bien aimer les lettre-grecque quelque chose )

Mon prof a pris comme définition de -système :

Soit E un ensemble. Un ensemble est un -système si

est stable par intersection finie;

contient une famille dénombrable croissante exhaustive (ie il existe un sous-ensemble tel que ).

J'ai vu qu'il y avait des démos différentes dans le pdf de Jf Legall de le bouquin de Briane & Pagès (que m'a conseillé tize il y a pas longtemps) de -systèmes qui était plus forte.

Merci BqSS pour ces sours c'infos, je les mets dans mes favoris :we:

[legeniedesalpages]

je vous dirai si j'en serai ressorti indemne http://www.proba.jussieu.fr/cours/DEA-07.pdf.

oui effectivement, bonne chance