search

boisgera / CDIS

Calcul Différentiel, Intégral et Stochastique
Other
15 stars 24 forks source link

Produit d'ensembles mesurables #160

Closed boisgera closed 4 years ago

boisgera commented 4 years ago

En l'état du chapitre Calcul intégral III, montrer que A x B est mesurable quand A et B le sont -- ou l'équivalent avec les fonctions, ce qui est lié à l'affirmation que (x, y) -> f(x) g(y) est mesurable quand f et g le sont -- ne peut pas (autant que je puisse en juger) être prouvé par des méthodes "haut-niveau".

Regarder avec les jauges et réfléchir à incorporer le résultat à "Calcul Intégral III"

boisgera commented 4 years ago

C'est marrant, à première vue ça semble faire intervenir spontanément les "free tagged partitions" utilisées par l'intégrale de McShane !

boisgera commented 4 years ago

Plus simple, en se limitant aux fonctions (x, y) -> f(x) (ce qui suffit). 4085de8653c84793588929e538e3f457110d54e7