boisgera / CDIS

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

Critère de Carathéodory #91

Open boisgera opened 4 years ago

boisgera commented 4 years ago

(Calcul intégral IV)

Pour caractériser les mesures (extérieures) de Borel.

La preuve du critère demande un peu de travail (additivité sur les ens à distance >0 implique Borel), mais la "réciproque" est très facile.