Cтраница 2
Для доказательства достаточности заметим прежде всего, что при сформулированных условиях - измеримость влечет Я-изме-римость. Действительно, пусть S - - измеримое, а / ( - компактное множество, тогда пересечение Sfl / C также ji - измеримо. Множество Р интегрируемо относительно всякой положительной меры Радона, откуда вытекает, что множество SD / C Я-интегрируемо, так что множество 5 -измеримо. [16]