Мера Лебега

Материал из Википедии — свободной энциклопедии

Мера Лебега на $\R^n$ — мера, являющаяся продолжением меры Жордана на более широкий класс множеств, была введена Лебегом в 1902-ом году.

Содержание

1 Построение меры на прямой
- 1.1 Внешняя мера
- 1.2 Внутренняя мера
2 Измеримые множества
- 2.1 Пример неизмеримого множества
3 Литература

[править] Построение меры на прямой

[править] Внешняя мера

Для произвольного подмножества E числовой прямой можно найти сколь угодно много различных систем из конечного или счётного числа интервалов, объединение которых содержит множество E. Назовём такие системы покрытиями. Так как сумма длин интервалов, составляющих любое покрытие, есть величина неотрицательная, она ограничена, и, значит, множество длин всех покрытий имеет нижнюю грань. Эта грань , зависящая только от множества E, и называется внешней мерой:

$m^*E = \inf \left\{ \sum_{i} \Delta_i\right\}$

Варианты обозначения внешней меры:

$m^*E = \varphi(E) = |E|^*$

Очевидно, внешняя мера любого интервала совпадает с его длиной. Свойства внешней меры:

$E_1 \subseteq E_2 \Longrightarrow m^*E_1 \le m^*E_2$
$E = \bigcup_{k=1}^\infty E_k \Longrightarrow m^*E \le \sum_{k=1}^\infty m^*E_k$
$\forall E,\epsilon > 0 \exists G \supseteq E: m^*G \le m^*E+\epsilon$

где G - открытое множество. И действительно, достаточно в качестве G взять сумму интервалов, составляющих покрытие E, такую что $\sum_{i} \Delta_i \le m^*E+\epsilon$ . Возможность существования такого покрытия следует из определения точной нижней грани.

[править] Внутренняя мера

Если множество $E$ ограничено, то внутренней мерой множества $E$ называется разность между длиной сегмента $[a, b]$ содержащего $E$ и внешней мерой дополнения $E$ в $[a, b]$ :

$m_*E = (b-a)-m^*([a,b]\backslash E)$

Для неограниченных множеств, $m * E$ определяется как точная верхняя грань $(b-a)-m^*([a,b]\backslash E)$ по всем отрезкам $[a, b]$ .

[править] Измеримые множества

Множество называется измеримым по Лебегу если его внешняя и внутренняя меры равны. Тогда общее значение последних называется мерой множества по Лебегу и обозначается $m E$ , $μ E$ , $| E |$ или $λ(E)$ .

[править] Пример неизмеримого множества

Рассмотрим на прямой отрезок [0,1]. Если две точки отстоят друг от друга на рациональное расстояние, то будем считать, что они принадлежат одному классу эквивалентности. Разобъем весь отрезок на такие классы эквивалентности. Далее, из каждого каждого класса эквивалентности выберем по представителю — одной точке. Тогда полученное множество представителей будет неизмеримым.

Действительно, если сдвинуть его счётное число раз,— то оно заполнит весь отрезок. Если бы у построенного множества $E$ существовала мера, то по счётной аддитивности меры Лебега $\sum_{n=-\infty}^{\infty}\mu(E) = 1$ , что невозможно а значит $μ(E)$ не существует.

Заметим, что построение этого, как и любого другого примера неизмеримого множества на отрезке, было бы невозможно без принятия аксиомы выбора (было бы невозможно выбрать по представителю в каждом классе эквивалентности).

[править] Литература

Гелбаум, Олмстед «Контрпримеры в анализе».

Это незавершённая статья по математике.
Вы можете помочь проекту, исправив и дополнив её.

Категории: Незавершённые статьи по математике | Теория меры

Мера Лебега

Материал из Википедии — свободной энциклопедии

Содержание

[править] Построение меры на прямой

[править] Внешняя мера

[править] Внутренняя мера

[править] Измеримые множества

[править] Пример неизмеримого множества

[править] Литература

Views

Навигация

Участие

Поиск

На других языках