Théorème du prologement des mesures

[invite815c52ba]

Bonsoir,

J'ai un théorème qui me pose problème:

Soit une algèbre de Boole et une application vérifiant les "conditions de la mesure" (bien entendu on suppose que appartient à . Soit T la tribu engendré par . Alors il existe une unique mesure vérifiant pour tout

Si on prend une algèbre de boole et que , alors c'est une tribu?
Je ne vois pas pourquoi dans ce cas, on prend une algebre de Boole.

Sinon je voulais savoir, ou je pouvais trouver une demonstration simple de ce théoreme.
merci d'avance
-----

[invite179e6258]

tu veux parler de ce théorème? http://fr.wikipedia.org/wiki/Th%C3%A...ath%C3%A9odory

[invite815c52ba]

Oui je pense. Mais c'est une version simplifié qu'on a eu je pense

[invite815c52ba]

Ah j'ai enfin compris! merci à vous

[A voir en vidéo sur Futura]