Условие:
Докажите, что для любой алгебры

Докажите, что для любой алгебры
Рассмотрим алгебру 𝒜 на множестве X и конечно-аддитивную меру μ, заданную на 𝒜. Цель состоит в том, чтобы показать, что существует конечно-аддитивное (на самом деле даже σ‐аддитивное) продолжение μ на σ‐алгебру, порожденную 𝒜. Для этого воспользуемся стандартной процедурой построения внешней меры и критерием Каратеодори. Ниже приводится пошаговое доказательство.

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит
Попробуй решить по шагам
Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение