Мера Лебега: различия между версиями

Материал из sawiki
Перейти к навигации Перейти к поиску
Строка 1: Строка 1:
 
= Внешняя мера =
 
= Внешняя мера =
 
== Определение внешней меры ==
 
== Определение внешней меры ==
Пусть <math>S</math> - полукольцо с заданной на нём <math>\sigma</math>-аддитивной мерой <math>\mu</math>. Пусть <math>K(S)</math> - наименьшее кольцо, порождённое данным полукольцом <math>S</math>.  
+
Пусть <math>S</math> - полукольцо с заданной на нём <math>\sigma</math>-аддитивной мерой <math>\mu</math>. Пусть <math>K(S)</math> - наименьшее кольцо, порождённое данным полукольцом <math>S</math>. Рассмотрим продолжение <math> \mu </math> на кольцо <math> K(S) </math>, а впоследствии - на алгебру/<math>\sigma</math>-алгебру. При этом отметим, что такое продолжение сохраняет <math> \sigma</math>-аддитивность. Для упрощения будем обозначать продолжение меры на кольцо/алгебру/<math>\sigma</math>-алгебру так же <math>\mu</math>.
 +
 
 
'''Внешней мерой''' множества <math>A</math> будем называть величину:
 
'''Внешней мерой''' множества <math>A</math> будем называть величину:
 
:<math> \mu^*(A) = \inf\left\{\sum_{i=1}^{\infty}\mu(B_i) ~:~ A \subseteq \bigcup_{i=1}^{\infty} B_i;~ B_i \in K(S)\right\}. </math>
 
:<math> \mu^*(A) = \inf\left\{\sum_{i=1}^{\infty}\mu(B_i) ~:~ A \subseteq \bigcup_{i=1}^{\infty} B_i;~ B_i \in K(S)\right\}. </math>
  
 
В основном, нас будет интересовать случай, когда <math> A \notin K(S) </math>, поскольку в обратном случае значение внешней меры находится тривиально.
 
В основном, нас будет интересовать случай, когда <math> A \notin K(S) </math>, поскольку в обратном случае значение внешней меры находится тривиально.
 +
  
 
== Свойства внешней меры ==
 
== Свойства внешней меры ==

Версия 19:00, 27 декабря 2023

Внешняя мера

Определение внешней меры

Пусть \(S\) - полукольцо с заданной на нём \(\sigma\)-аддитивной мерой \(\mu\). Пусть \(K(S)\) - наименьшее кольцо, порождённое данным полукольцом \(S\). Рассмотрим продолжение \( \mu \) на кольцо \( K(S) \), а впоследствии - на алгебру/\(\sigma\)-алгебру. При этом отметим, что такое продолжение сохраняет \( \sigma\)-аддитивность. Для упрощения будем обозначать продолжение меры на кольцо/алгебру/\(\sigma\)-алгебру так же \(\mu\).

Внешней мерой множества \(A\) будем называть величину: \[ \mu^*(A) = \inf\left\{\sum_{i=1}^{\infty}\mu(B_i) ~:~ A \subseteq \bigcup_{i=1}^{\infty} B_i;~ B_i \in K(S)\right\}. \]

В основном, нас будет интересовать случай, когда \( A \notin K(S) \), поскольку в обратном случае значение внешней меры находится тривиально.


Свойства внешней меры

  • (Монотонность): \(E_1 \subseteq E_2 \Rightarrow \mu^*(E_1) \leqslant \mu^*(E_2).\)
  • (Счётная полуаддитивность): \(E = \bigcup\limits_{k=1}^\infty E_k \Rightarrow \mu^*(E) \leqslant \sum\limits_{k=1}^\infty \mu^*(E_k).\)

Внутренняя мера

Внутренней мерой множества \(A\) называется \[\mu_*(A)=\mu(A)-\mu^*(X\setminus A)~(X \in K(S); ~ A\subseteq X).\] Для неограниченных множеств, \(m_*E\) определяется как точная верхняя грань \((b-a)-m^*([a,\;b]\setminus E)\) по всем отрезкам \([a,\;b]\).

Мера Лебега

Множество \(A\) называется измеримым по Лебегу, если: \[ \forall \varepsilon > 0 ~ \exists B \in K(S):~ \mu^*(A \triangle B) < \varepsilon.\] Мерой Лебега \(\mu_L\) измеримого по Лебегу множества A называется его внешняя мера.

Критерий измеримости

Множество \(A\) измеримо по Лебегу тогда и только тогда, когда его внутренняя мера равна внешней, т.е.: \[ \mu^*(A) = \mu_*(A).\]

Свойства меры Лебега

1) Неотрицательность: Мера Лебега любого измеримого множества неотрицательна\[ \forall A: \exists \mu_L(A) \Rightarrow ~ \mu_L(A) \geqslant 0. \] Данное свойство следует из неотрицательности внешней меры.

2) Нулевая мера: Если множество A имеет нулевую меру (т.е. \(\mu_L(A) = 0.\)), то оно называется множеством нулевой меры.

3) Счетная полуаддитивность: Для любого конечного или счетного набора множеств \(A_1, A_2, A_3, \ldots \) мера Лебега их объединения не превосходит суммы мер каждого множества по отдельности. Формально\[ \mu_L(\bigcup A_i) \leqslant \sum\limits_i \mu_L(A_i).\]

Данное свойство следует из аналогичного свойства внешней меры.

4) Счетная аддитивность: Если множества \(A_1, A_2, A_3, \ldots \) попарно не пересекаются, то мера Лебега их объединения равна сумме мер каждого множества по отдельности. Формально\[\forall i \neq j: ~ A_i\cap A_j = \varnothing \Rightarrow \mu(\cup_{i=1}^{\infty} A_i) = \sum\limits_{i=1}^{\infty} \mu(A_i). \]

5) Полнота: Пусть \(\mu_L(A)=0\). Тогда: \[\forall B \subseteq A:~ \mu_L(B)=0.\]


Пример неизмеримого множества

Пример неизмеримого по Лебегу множества построил Дж. Витали в 1905 году. Рассмотрим следующее отношение эквивалентности \(\sim\) на отрезке \([0, 1]\)\[x \sim y\] если разность \(x - y\) рациональна. Далее, из каждого класса эквивалентности выберем по одному представителю — одной точке (здесь мы пользуемся аксиомой выбора). Тогда полученное множество \(E\) представителей будет неизмеримым.

Действительно, если сдвинуть \(E\) счётное число раз на все рациональные числа в интервале \([-1, 1]\), то объединение будет содержать весь отрезок \([0, 1]\), но при этом оно будет содержаться в отрезке \([-1, 2]\). При этом «сдвинутые копии» множества \(E\) не будут пересекаться друг с другом, что непосредственно следует из построения \(\sim\) и \(E\).

Следовательно, с учётом счётной аддитивности меры Лебега,

\[1 = \mu\big([0; 1]\big) \leqslant \mu\bigg(\bigcup_{n=1}^\infty E_n\bigg) = \sum_{n=1}^\infty \mu(E_n) \leqslant \mu\big([-1; 2]\big) = 3.\]

Однако, если построенное множество \(E\) измеримо, это невозможно: все \(\mu(E_n) = \mu(E)\) в силу свойства инвариантности меры Лебега (мера множества не меняется при сдвиге), а значит, сумма ряда \[\sum_{n=1}^\infty \mu(E_n)\] либо бесконечна (если \(\mu(E) > 0\)), либо равна нулю (если \(\mu(E) = 0\)); третьего не дано.

В обоих случаях получаем противоречие, и значит множество \(E\) неизмеримо; то есть функция меры на \(E\) не распространяется.

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

Множество Хаммоша

Приведём без доказательства полезную теормеу:

<math> \exists M \subseteq \mathbb{R}:~ \forall X \subseteq \mathbb{R}: ~ \mu_*(X)=\mu^*(X)>0:\\


Список литературы

1. Точилин П. А. Семинарские занятия по функциональному анализу, 2021г.

2. Моисеев Е. И. Лекции по функциональному анализу, 2021г.

3. Люстерник Л. А., Соболев В. И. Элементы функционального анализа. М: Наука, 1965.

4. Колмогоров А. Н., Фомин С. В. Элементы теории функций и функционального анализа. М: Наука, 1976.