♾️ ТФДП

Свойство Каратеодори

Q: Зачем проверять равенство для всех T, а не только для самого E?

Потому что качество разреза проявляется на чужом материале: для самого $E$ равенство $m^*(E) = m^*(E) + 0$ тривиально и не проверяет ничего. Множество Витали само по себе выглядит безобидно, но, разрезая отрезок на счётное число своих сдвигов, теряет меру из ниоткуда. Универсальная проба по всем $T$ отсекает такие сюрпризы заранее.

Q: Что переход к измеримым множествам даёт мере?

Аддитивность. Внешняя мера лишь полуаддитивна, и на неизмеримых множествах это не лечится. На измеримом классе Каратеодори равенство выдерживает счётные дизъюнктные разбиения, мера становится σ-аддитивной, и на неё встаёт интеграл Лебега: интеграл дробится по измеримым кускам, как по счётным слагаемым. Без этой ступени теория оставалась бы на уровне грубых оценок сверху.

англ. Carathéodory measurability criterion

Критерий измеримости: множество измеримо, если без потерь режет любое пробное множество; на измеримом классе мера становится аддитивной.

Свойство Каратеодори — критерий измеримости множества $E$ : оно измеримо, если режет без потерь любое пробное множество $T$ , то есть $m^{*} (T) = m^{*} (T \cap E) + m^{*} (T ∖ E)$ . Неравенство $\leq$ бесплатно даёт полуаддитивность, поэтому проверять нужно только $\geq$ — то, что разрез не съедает часть меры. Измеримые по Каратеодори множества образуют σ-алгебру, и на ней внешняя мера наконец σ-аддитивна — превращается в меру.

Смысл условия — тест на приличность: $E$ измеримо, когда его граница не умеет красть меру у произвольного множества $T$ . Для меры Лебега критерий равносилен определению из урока — накрываемости открытым $G \supset A$ с малым запасом $m^{*} (G ∖ A) < ε$ . Классический провал — множество Витали: оно разрезает отрезок так, что равенство рушится, и потому неизмеримо. Полная конструкция меры через критерий — в уроке мера множества.

E измеримо ⟺ m^{*} (T) = m^{*} (T \cap E) + m^{*} (T ∖ E) для всякого пробного T

критерий Каратеодори: измеримость проверяется поведением множества как «скальпеля» на всех пробных множествах — разрез обязан делить меру без остатка

Частые вопросы

Зачем проверять равенство для всех T, а не только для самого E?

Потому что качество разреза проявляется на чужом материале: для самого $E$ равенство $m^{*} (E) = m^{*} (E) + 0$ тривиально и не проверяет ничего. Множество Витали само по себе выглядит безобидно, но, разрезая отрезок на счётное число своих сдвигов, теряет меру из ниоткуда. Универсальная проба по всем $T$ отсекает такие сюрпризы заранее.

Что переход к измеримым множествам даёт мере?

Аддитивность. Внешняя мера лишь полуаддитивна, и на неизмеримых множествах это не лечится. На измеримом классе Каратеодори равенство выдерживает счётные дизъюнктные разбиения, мера становится σ-аддитивной, и на неё встаёт интеграл Лебега: интеграл дробится по измеримым кускам, как по счётным слагаемым. Без этой ступени теория оставалась бы на уровне грубых оценок сверху.