В теории меры, разделе математики, мера Лебега, названный в честь французского математика Анри Лебега, является стандартным способом присвоения меры подмножествам n-мерного Евклидово пространство. Для n = 1, 2 или 3 он совпадает со стандартной мерой длина, площадь или объем. В общем, его также называют n-мерным объемом, n-объемом или просто объемом . Он используется во всем реальном анализе, в частности, для определения интеграции Лебега. Множества, которым может быть назначена мера Лебега, называются измеримыми по Лебегу ; здесь мера измеримого по Лебегу множества A обозначается через λ (A).
Анри Лебег описал эту меру в 1901 году, а в следующем году он описал интеграл Лебега. Оба были опубликованы как часть его диссертации в 1902 году.
Мера Лебега часто обозначается dx, но ее не следует путать с отдельным понятием формы тома.
Содержание
- 1 Определение
- 2 Примеры
- 3 Свойства
- 4 Нулевые наборы
- 5 Построение меры Лебега
- 6 Связь с другими мерами
- 7 См. Также
- 8 Ссылки
Определение
Для подмножества с длиной interval задается как , внешняя мера Лебега определяется как
- .
Мера Лебега определена на σ-алгебре Лебега, которая представляет собой набор всех множеств , которые удовлетворяют «критерию Каратеодори », который требует, чтобы для каждого ,
Для любого множества в σ-алгебре Лебега его мера Лебега задается его внешней мерой Лебега .
Множества, не входящие в σ-алгебру Лебега, не измеримы по Лебегу. Такие наборы действительно существуют (например, наборы Витали ), т. Е. Содержание σ-алгебры Лебега в наборе мощности из строгий.
Интуиция
Первая часть определения гласит, что подмножество действительных чисел сокращено до внешней меры за счет покрытия наборами открытых интервалов. Каждый из этих наборов интервалов охватывает в том смысле, что, когда интервалы объединяются вместе путем объединения, они содержат . Общая длина любого набора интервалов покрытия может легко переоценить меру , потому что является подмножеством объединение интервалов, и поэтому интервалы могут включать точки, которые не находятся в . Внешняя мера Лебега возникает как точная нижняя граница (infimum) длин из всех возможных таких множеств. Интуитивно понятно, что это общая длина тех наборов интервалов, которые наиболее точно соответствуют и не перекрываются.
Это характеризует внешнюю меру Лебега. Переводит ли эта внешняя мера в собственно меру Лебега, зависит от дополнительного условия. Это условие проверяется путем взятия подмножеств действительных чисел с использованием в качестве инструмента для разделения на два раздела: часть , которая пересекается с и оставшаяся часть , которая не находится в : установленная разница и . Эти разделы подлежат внешней мере. Если для всех возможных таких подмножеств вещественных чисел, разделы разделены на имеют внешние меры, сумма которых является внешней мерой , а затем внешней мерой Лебега дает меру Лебега. Интуитивно это условие означает, что набор не должен обладать любопытными свойствами, которые вызывают несоответствие в измерениях другого набора, когда используется как «маска» для «отсечения» этого множества, намекая на существование множеств, для которых внешняя мера Лебега не дает меры Лебега. (Такие множества, на самом деле, не измеримы по Лебегу.)
Примеры
- Любой открытый или закрытый интервал [a, b] из действительных чисел является Измеримы по Лебегу, а его мерой по Лебегу является длина b - a. Открытый интервал (a, b) имеет ту же меру, поскольку разница между двумя наборами состоит только из конечных точек a и b и имеет нулевую меру.
- Любое декартово произведение интервалов [a, b] и [c, d] измеримо по Лебегу, и его мера по Лебегу равна (b - a) (d - c), площадь соответствующего прямоугольник.
- Более того, любое борелевское множество измеримо по Лебегу. Однако существуют измеримые по Лебегу множества, которые не являются борелевскими.
- Любое счетное множество действительных чисел имеет меру Лебега 0. В частности, мера Лебега множества алгебраические числа равны 0, даже если набор плотный в R.
- Набор Кантора и набор чисел Лиувилля являются примерами бесчисленные множества с мерой Лебега 0.
- Если выполняется аксиома детерминированности, то все множества действительных чисел измеримы по Лебегу. Однако детерминированность несовместима с аксиомой выбора ..
- Множества Витали являются примерами множеств, которые не измеримы по отношению к мере Лебега. Их существование основывается на аксиоме выбора .
- Кривые Осгуда представляют собой простые плоские кривые с положительной мерой Лебега (ее можно получить небольшим изменением кривая Пеано построение). Драконья кривая - еще один необычный пример.
- Любая строка в для , имеет нулевую меру Лебега. В общем, каждая правильная гиперплоскость имеет нулевую меру Лебега в ее окружающем пространстве.
Свойства
Трансляционная инвариантность: мера Лебега
и
одинаковы.
Мера Лебега на R имеет следующие свойства:
- Если A - декартово произведение из интервалов I1× I 2 ×... × I n, тогда A измеримо по Лебегу и Здесь | I | обозначает длину интервала I.
- Если A является непересекающимся объединением счетного числа непересекающихся множеств, измеримых по Лебегу, то A само измеримо по Лебегу и λ (A) равно сумме (или бесконечному ряду ) мер участвующих измеримых множеств.
- Если A измеримо по Лебегу, то его дополнение.
- λ (A) ≥ 0 для любого измеримого по Лебегу множества A.
- Если A и B измеримы по Лебегу и A является подмножеством B, то λ (A) ≤ λ (B). (Следствие 2, 3 и 4.)
- Счетные объединения и пересечения множеств, измеримых по Лебегу, измеримы по Лебегу. (Не является следствием 2 и 3, поскольку семейство множеств, замкнутое относительно дополнений и непересекающихся счетных объединений, не обязательно должно быть замкнутым относительно счетных объединений: .)
- Если A является открытым или закрытым подмножеством R (или даже борелевское множество, см. метрическое пространство ), то A измеримо по Лебегу.
- Если A - лебеговское измеримое множество, то оно «приблизительно открыто» и «приблизительно замкнуто» в смысле меры Лебега (см. теорему регулярности для меры Лебега ).
- Измеримое по Лебегу множество можно «втиснуть» между содержащим открытым множеством и содержащееся замкнутое множество. Это свойство использовалось в качестве альтернативного определения измеримости по Лебегу. Точнее, измеримо по Лебегу тогда и только тогда, когда для каждого существует открытый набор и закрытый набор такие, что и .
- Измеримое по Лебегу множество можно «втиснуть» между содержащим Gδмножеством и содержит Fσ. Т.е. если A измеримо по Лебегу, то существуют Gδмножество G и Fσ F такие, что G ⊇ A ⊇ F и λ (G \ A) = λ (A \ F) = 0.
- мера Лебега и локально конечна, и внутренняя регулярная, поэтому она мера Радона.
- мера Лебега строго положительна на непустых открытых множествах, и поэтому его опорой является все R.
- Если A - измеримое по Лебегу множество с λ (A) = 0 (нулевое множество ), то каждое подмножество A также является нулевым множеством. Тем более, каждое подмножество A измеримо.
- Если A измеримо по Лебегу и x является элементом R, то преобразование A на x, определяется как A + x = {a + x: a ∈ A}, также измеримо по Лебегу и имеет ту же меру, что и A.
- Если A измеримо по Лебегу и , затем расширение на , определяемое также измеримо по Лебегу и имеет меру
- В более общем смысле, если T - линейное преобразование, а A - измеримое подмножество R, то T (A) также измеримо по Лебегу и имеет меру .
Все вышесказанное можно кратко резюмировать следующим образом:
- Измеримые по Лебегу множества образуют σ-алгебру, содержащую все произведения интервалов, а λ - единственное полная трансляционно-инвариантная мера на этой σ-алгебре с
Мера Лебега также обладает свойством σ-конечное.
Нулевые множества
Подмножество R является нулевым множеством, если для каждого ε>0 оно может быть покрыто счетным числом произведений n интервалы, общий объем которых не превосходит ε. Все счетные наборы являются пустыми.
Если подмножество R имеет размерность Хаусдорфа меньше n, то это нулевое множество по отношению к n-мерной мере Лебега. Здесь размерность Хаусдорфа относится к евклидовой метрике на R (или любой эквивалентной ей метрике Липшица ). С другой стороны, набор может иметь топологическую размерность меньше n и иметь положительную n-мерную меру Лебега. Примером этого является множество Смита – Вольтерры – Кантора, которое имеет топологическую размерность 0, но имеет положительную одномерную меру Лебега.
Чтобы показать, что данное множество A измеримо по Лебегу, обычно пытаются найти «более хорошее» множество B, которое отличается от A только нулевым набором (в том смысле, что симметричный разница (A - B) (B - A) - нулевое множество), а затем показать, что B может быть сгенерирован с использованием счетных объединений и пересечений из открытых или закрытые наборы.
Построение меры Лебега
Современное построение меры Лебега - это приложение теоремы Каратеодори о продолжении. Происходит это следующим образом.
Зафиксируем n ∈ N . A коробка в R представляет собой набор формы
где b i ≥ a i, а символ произведения здесь представляет декартову товар. Объем этого ящика определяется как
Для любого подмножества A из R, мы можем определить его внешнюю меру λ * (A) следующим образом:
Затем мы определяем множество A как измеримое по Лебегу, если для каждого подмножества S из R,
Эти множества, измеримые по Лебегу образуют σ-алгебру, а мера Лебега определяется как λ (A) = λ * (A) для любого измеримого по Лебегу множества A.
Существование множеств, которые не являются Измеримость по Лебегу является следствием определенной теоретико-множественной аксиомы, аксиомы выбора, которая не зависит от многих традиционных систем аксиом для теории множеств. Теорема Витали, которая следует из аксиомы, утверждает, что существуют подмножества R, которые не измеримы по Лебегу. Принимая аксиому выбора, неизмеримые множества со многими удивительными свойствами были продемонстрированы, например, из парадокса Банаха – Тарского.
. В 1970 году Роберт М. Соловей показал, что существование множеств, не измеримых по Лебегу, не может быть доказано в рамках теории множеств Цермело – Френкеля в отсутствие аксиомы выбора (см. модель Соловея ).
Связь с другими мерами
Мера Бореля согласуется с мерой Лебега на тех множествах, для которых она определена; однако существует намного больше измеримых по Лебегу множеств, чем измеримых по Борелю множеств. Мера Бореля трансляционно-инвариантна, но не полной.
Мера Хаара может быть определена на любой локально компактной группе и является обобщением меры Лебега (R со сложением - локально компактная группа).
Мера Хаусдорфа является обобщением меры Лебега, которая является полезной ul для измерения подмножеств R более низких размерностей, чем n, таких как подмногообразия, например, поверхности или кривые в R и фрактале наборы. Меру Хаусдорфа не следует путать с понятием размерности Хаусдорфа.
. Можно показать, что не существует бесконечномерного аналога меры Лебега.
См. Также
Литература