Aller au contenu

Discussion:Lemme de classe monotone

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

dessins inutiles ??

[modifier le code]

Je me suis fait plaisir en rendant hommage à Wacław Sierpiński, car je viens de découvrir qu'en dehors de ces 2 beaux objets mathématiques qui m'ont ravi sans pour autant m'être très utiles, il a aussi démontré un lemme d'une grande importance dans mon domaine. Peut-être ces dessins encombrent-il trop cette page, mais, dans le doute, je les laisse quand même.--Chassaing 25 février 2009 à 14:43 (CET)

à faire ??

[modifier le code]
  • une version fonctionelle (voir Barbe et Ledoux)
  • caractériser la loi d'une suite via les lois fini-dimensionelles ??
  • autre chose ??

Chassaing 16 septembre 2009 à 13:03 (CEST)

Démonstration

[modifier le code]

Je ne comprends pas tout à fait la démonstration du lemme, je crois qu'elle omet une justification, en effet qu'est-ce qui garanti que si est une tribu, alors  ??

Jfisc86 (d) 13 avril 2011 à 15:32 (CEST)[répondre]

Par définition de (voir tribu engendrée) est la plus petite (pour l'inclusion) tribu contenant alors que est une tribu contenant Donc est plus petite (pour l'inclusion) que autrement dit C'est un raisonnement classique dans ce domaine, mais il aurait peut-être fallu l'expliciter. Chassaing 13 avril 2011 à 20:50 (CEST)

Lemme d'unicité

[modifier le code]

Ne peut-on pas généraliser le lemme aux mesures quelconques plutôt que de le restreindre aux mesures de probabilités ?

Jfisc86 (d) 14 avril 2011 à 14:23 (CEST)[répondre]

Là comme ça, je dirai que ça marche si l'espace a la même masse totale finie pour les deux mesures, bien sûr. Il suffit de regarder la démonstration pour voir si on peut laisser tomber l'hypothèse "fini". Cela dit, la généralité pour la généralité, quand c'est aussi évident ... Chassaing 14 avril 2011 à 21:19 (CEST)
J'avoue être très porté sur la généralisation, cependant je cherchais une façon de démontrer l'unicité de la mesure de Lebesgue, qui n'est pas une mesure de probabilité. Justement quand la généralisation est aussi évidente autant la faire. Jfisc86 (d) 14 avril 2011 à 21:41 (CEST)[répondre]
Soit deux mesures et définies sur La classe n'est pas a priori une classe monotone, car
tombe a priori en défaut quand A et B sont de masse infinie (prendre la mesure de Lebegue et 2 fois la mesure de Lebesgue pour P et Q : M se réduit aux boréliens de mesure nulle ou infinie, exactement, laquelle famille n'est pas stable par différence). Une réparation ne me saute pas aux yeux immédiatement, mais elle existe peut-être pour autant (ou pas) car je n'ai beaucoup réfléchi. Si la seule généralisation est "de même masse finie" alors ce n'en est pas vraiment une. Contrexemple à rajouter sur la page principale. Chassaing 14 avril 2011 à 22:31 (CEST)

Une erreur ? (à vérifier)

[modifier le code]

Il me semble qu'un pi-système doit être non vide. Sinon, le théorème pi-lambda dirait que pour toutes mesures mu et nu, on doit avoir mu(Omega) = nu(Omega), ce qui semble faux...