Cтраница 4
Пусть X - некото рое измеримое множество, v - заданная на 0-алгебре его подмножеств а-конечная мера, ф - заданная на X вещественная функция. [46]
Легко, однако, видеть, что эти два понятия совпадают: каждая 0-алгебра является в то же время б-алгеброй, а каждая б-алгебра - а-алгеброй. [47]
Определим вначале ковариантный функтор У: Alg Т - - в. Для каждой алгебры 31 e Alg Т, рассматриваемой как функтор 31: Т - Set, соответствующая 0-алгебра У ( Щ ( А i s Г) задается уже отмечавшимися условиями. [48]
Ясно, что в примере с бросанием точки на отрезок модель выглядела бы крайне неуклюже, если бы нельзя было считать наблюдаемыми интервалы вида 0 асо6 1, где со - результат опыта. Отсюда вытекает, что в качестве 35 должна быть взята сг-алгебр З, совпадающая с наименьшей сг-алгеброй, содержащей все интервалы, или еще более широкая 0-алгебра. [49]
Легко, однако, видеть, что эти два понятия совпадают: каждая о - - алгебра является в то же время б-алгеброй, а каждая б-алгебра - 0-алгеброй. [50]