CDIS
CDIS copied to clipboard
Critère de Carathéodory
(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.