Cтраница 4
Необходимость условия ( 11) была установлена ранее ( § 1 гл. [46]
Необходимость условия ясна, так как полупрямая ( - с - с) есть борелевское множество. Для доказательства достаточности заметим прежде всего, что 0-алгебра, порожденная системой S всех полупрямых ( - оо, с), совпадает с ст-ал-геброй всех борелевских множеств на прямой. [47]