Собственно, предлагается привести пример борелевской, конечно-аддитивной, но не счётно аддитивной меры. Задача
отсюда (какая-то из контрольных Вербицкого по мере), и там написано, что эту задачу сам Вербицкий не знает как решить без ультрафильтров. Я придумал следующее: введём меру на сигма-алгебре
следующим образом:
1) Мера одноточечного множества
равна
.
2) Мера любого конечного множества - по аддитивности.
3) Мера любого бесконечного множества
.
теперь ограничим
на сигма-алгебру борелевских множеств. Получим требуемую меру (счётно аддитивность теряется, например, если взять объединение одноточечных множеств вида
), мне интересно, я что-то в задаче не допонял, или собака была зарыта столь неглубоко? Или имелись в виду только конечные меры?