Мера Лебега

Мера Лебега

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

Содержание

Построение меры на прямой

Внешняя мера

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

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

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

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

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

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

  • E_1\subseteq E_2 \Rightarrow m^*E_1\leqslant m^*E_2.
  • E=\bigcup_{k=1}^\infty E_k \Rightarrow m^*E\leqslant\sum_{k=1}^\infty m^*E_k.
  • \forall E,\;\varepsilon>0\;\exists G\supseteq E\colon m^*G\leqslant m^*E+\varepsilon, где G — открытое множество. Действительно, достаточно в качестве G взять сумму интервалов, составляющих покрытие E, такую что \sum_i\Delta_i\leqslant m^*E+\varepsilon. Существование такого покрытия следует из определения точной нижней грани.

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

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

m_*E=(b-a)-m^*([a,\;b]\setminus E).

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

Измеримые множества

Множество называется измеримым по Лебегу, если его внешняя и внутренняя меры равны. Тогда общее значение последних называется мерой множества по Лебегу и обозначается mE,\;\mu E,\;|E| или \lambda(E).

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

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

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

Предположим E измеримо тогда, в силу счётной аддитивности меры Лебега получаем, что m\, E>0 и m\, E=0, противоречие.

История

В своих «Лекциях об интегрировании и отыскании примитивных функций» Анри Лебег заявил, что его целью было найти (неотрицательную) меру на вещественной прямой, которая существовала бы для всех ограниченных множеств и удовлетворяла бы 3 условиям:

  1. Конгруэнтные множества имеют равную меру (то есть мера инвариантна относительно операций переноса и симметрий).
  2. Мера счётно-аддитивна.
  3. Мера интервала (0, 1) равна 1.

Конструкция Лебега охватывала обширный класс множеств вещественных чисел и определяла множество измеримых функций, более широкое, чем множество аналитических функций. При этом всякая измеримая функция допускала применение многих аналитических методов. К этому времени уже существовала общая теория меры, разработанная Э. Борелем (1898), и первые работы Лебега опирались на борелевскую теорию. Однако в диссертации Лебега (1902) теория меры была существенно обобщена до «меры Лебега». Лебег определил понятия ограниченных измеримых функций и интегралов для них, доказал, что все «обычные» ограниченные функции, исследуемые в анализе, измеримы, и что класс измеримых функций замкнут относительно основных аналитических операций, включая операцию предельного перехода. В 1904 году Лебег обобщил свою теорию, сняв условие ограниченности функции.

Уже в следующем году (1905) Дж. Витали показал, что мера, удовлетворяющая трём приведенным выше условиям, не охватывает всех ограниченных вещественных множеств: он построил множество, не имеющее меры с указанными свойствами. Более того, в 1914 году Хаусдорф доказал, что даже заменив требование счётной аддитивности на более слабое условие конечной аддитивности, мы всё равно обнаружим в трёхмерном пространстве ограниченные неизмеримые множества. Для прямой, как обнаружил Банах в 1923 году, универсальная конечно-аддитивная мера существует и даже не единственна.

Исследования Лебега нашли широкий научный отклик, их продолжили и развили многие математики: Э Борель, М. Рисс, Дж. Витали, М. Р. Фреше, Н. Н. Лузин, Д. Ф. Егоров и др. Было введено понятие сходимости по мере (1909).

Труды Лебега имели ещё одно важное концептуальное значение: они были полностью основаны на спорной в те годы канторовской теории множеств, и плодотворность лебеговской теории послужила веским аргументом для принятия теории множеств как фундамента математики.

См. также

Литература

  • Брылевская Л. И. К истории проблемы меры в первой половине XX века. // Историко-математические исследования. — М.: Наука, 1986. — № 30. — С. 97-112.
  • Вулих Б. З. Краткий курс теории функций вещественной переменной (введение в теорию интеграла). — М.: Наука, 1973. — 352 с.
  • Гелбаум, Б., Олмстед, Дж. Контрпримеры в анализе = Counterexamples in Analysis. — М.: ЛКИ, 2007. — 258 с. — ISBN 978-5-382-00046-6.



Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Полезное


Смотреть что такое "Мера Лебега" в других словарях:

  • МЕРА — множества, обобщение понятия длины отрезка, площади фигуры, объема тела, интуитивно соответствующее массе множества при нек ром распределении массы по пространству. Понятие М. множества возникло в теории функций действительного переменного в… …   Математическая энциклопедия

  • Мера Жордана — Мера Жордана  один из способов формализации понятия длины, площади и мерного объёма в мерном евклидовом пространстве. Содержание 1 Построение 2 Свойства …   Википедия

  • Мера — в Викисловаре? …   Википедия

  • Мера вероятности — Мера качественная и/или количественная пропорция соотношения истин. Во многом пропорция устанавливается произвольно. Термины Мера (в метрологии) синоним единицы измерения. Мера внесистемная русская единица объёма. Мера (философия) философский… …   Википедия

  • Мера множества —         математическое понятие, обобщающее понятия длины отрезка, площади плоской фигуры и объёма тела на множества более общей природы. В качестве примера можно привести определение меры Лебега (введённой А. Лебегом в 1902) для ограниченных… …   Большая советская энциклопедия

  • Лебега интеграл — Интеграл Лебега  это обобщение интеграла Римана на более широкий класс функций. Все функции, определённые на конечном отрезке числовой прямой и интегрируемые по Риману, являются также интегрируемыми по Лебегу, причём в этом случае оба интеграла… …   Википедия

  • Мера множества — У этого термина существуют и другие значения, см. Мера. Мера множества  неотрицательная величина, интуитивно интерпретируемая как размер (объем) множества. Собственно, мера это некоторая числовая функция, ставящая в соответствие каждому… …   Википедия

  • ЛЕБЕГА - СТИЛТЬЕСА ИНТЕГРАЛ — обобщение Лебега интеграла. Для неотрицательной меры m название интеграл Лебега Стилтьеса употребляется в том случае, когда и m, не есть мера Лебега; тогда интеграл определяется так же, как интеграл Лебега в общем случае. Если мера m… …   Математическая энциклопедия

  • Мера Хаара — Пусть   локально компактная хаусдорфова топологическая группа. Левой мерой Хаара в называется мера , определенная на кольце, порожденном всеми компактными множествами, не равная тождественно нулю, конечная на компактных множествах и такая,… …   Википедия

  • ЛЕБЕГА МНОЖЕСТВО — функции f, определенной на открытом множестве множество точек таких, что где замкнутый куб, содержащий точку y, и мера Лебега. Функция f здесь может быть действительной или векторной. В. В. Сазонов …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»