Jump to content

Мера Лебега

В теории меры разделе математики , мера Лебега , названная в честь французского математика Анри Лебега , является стандартным способом присвоения меры подмножествам , размерности более высокой евклидовых n -пространств . Для меньших размерностей n = 1, 2 или 3 он совпадает со стандартной мерой длины , площади или объёма . В общем, его еще называют n -мерным объемом , n -объемом , гиперобъемом или просто объемом . [1] Он используется в реальном анализе , в частности, для определения интегрирования Лебега . Множества, которым можно приписать меру Лебега, называются измеримыми по Лебегу ; мера измеримого по Лебегу множества A здесь обозначается через λ ( A ).

Анри Лебег описал эту меру в 1901 году, а годом позже за ним последовало описание интеграла Лебега . Оба были опубликованы в рамках его диссертации в 1902 году. [2]

Определение

[ редактировать ]

Для любого интервала , или , в наборе действительных чисел, пусть обозначим его длину. Для любого подмножества Лебега , внешняя мера [3] определяется как нижняя грань

Приведенное выше определение можно обобщить на более высокие измерения следующим образом. [4] Для любого прямоугольного кубоида что является декартовым произведением открытых интервалов, пусть (произведение действительного числа) обозначают его объем.Для любого подмножества ,

Некоторые наборы удовлетворяют критерию Каратеодори , который требует, чтобы для каждого ,

Наборы которые удовлетворяют критерию Каратеодори, называются измеримыми по Лебегу, а их мера Лебега определяется как внешняя мера Лебега: . Набор всего такого образует σ -алгебру .

Набор не удовлетворяющее критерию Каратеодори , не измеримо по Лебегу. ZFC доказывает, что неизмеримые множества существуют; Пример — наборы Виталия .

Интуиция

[ редактировать ]

Первая часть определения гласит, что подмножество действительных чисел сводится к внешней мере путем покрытия множествами открытых интервалов. Каждый из этих наборов интервалов обложки в некотором смысле, поскольку объединение этих интервалов содержит . Общая длина любого набора покрывающих интервалов может переоценивать меру потому что является подмножеством объединения интервалов, поэтому интервалы могут включать точки, не входящие в . Внешняя мера Лебега возникает как величайшая нижняя граница (нижняя грань) длин среди всех возможных таких множеств. Интуитивно понятно, что это общая длина тех наборов интервалов, которые соответствуют максимально плотно и не перекрываться.

Это характеризует внешнюю меру Лебега. Перейдет ли эта внешняя мера в собственно меру Лебега, зависит от дополнительного условия. Это условие проверяется путем взятия подмножеств действительных чисел с помощью как инструмент раскола на две части: часть который пересекается с и оставшаяся часть которого нет в : установленная разница и . Эти разделы подлежат внешней мере. Если для всех возможных таких подмножеств действительных чисел, разбиения разрезать на части иметь внешние меры, сумма которых является внешней мерой , то внешняя мера Лебега дает свою меру Лебега. Интуитивно это условие означает, что множество не должно иметь каких-либо любопытных свойств, вызывающих расхождение в мере другого множества при используется как «маска» для «обрезания» этого набора, намекая на существование множеств, для которых внешняя мера Лебега не дает меры Лебега. (Такие множества на самом деле не измеримы по Лебегу.)

Характеристики

[ редактировать ]
Трансляционная инвариантность: мера Лебега и одинаковы.

Мера Лебега на R н имеет следующие свойства:

  1. Если A произведение интервалов декартово I 1 × I 2 × ⋯ × I n , то A измеримо по Лебегу и
  2. Если A дизъюнктное объединение непересекающихся счетного числа множеств, измеримых по Лебегу, то A само измеримо по Лебегу и λ ( A ) равно сумме (или бесконечной серии ) мер задействованных измеримых множеств.
  3. Если A измеримо по Лебегу, то измеримо и его дополнение .
  4. λ ( A ) ≥ 0 для любого измеримого по Лебегу множества A .
  5. Если A и B измеримы по Лебегу и A — подмножество B , то λ ( A ) ⩽ λ ( B ). (Следствие 2.)
  6. Счётные объединения и пересечения множеств, измеримых по Лебегу, измеримы по Лебегу. (Это не следствие 2 и 3, поскольку семейство множеств, замкнутое относительно дополнений и непересекающихся счетных объединений, не обязательно должно быть замкнутым относительно счетных объединений: .)
  7. Если A открытое или закрытое подмножество R н (или даже борелевское множество , см. метрическое пространство ), то A измеримо по Лебегу.
  8. Если А — измеримое по Лебегу множество, то оно «приближенно открыто» и «приближенно замкнуто» в смысле меры Лебега.
  9. Измеримое по Лебегу множество можно «втиснуть» между содержащим его открытым множеством и содержащимся замкнутым множеством. Это свойство использовалось как альтернативное определение измеримости по Лебегу. Точнее, измеримо по Лебегу тогда и только тогда, когда для любого существует открытый набор и закрытый набор такой, что и . [8]
  10. Измеримое по Лебегу множество можно «втиснуть» между содержащимся в G δ множеством и содержащимся в нем F σ . Т.е. если A измеримо по Лебегу, то существуют G δ множество G и F σ F такие, что G A F и λ ( G \ A ) = λ ( A \ F ) = 0.
  11. Мера Лебега одновременно локально конечна и внутренне регулярна , поэтому она является мерой Радона .
  12. Мера Лебега строго положительна на непустых открытых множествах, поэтому ее носителем является все R н .
  13. Если A — измеримое по Лебегу множество с λ( A ) = 0 ( нулевое множество ), то каждое подмножество A также является нулевым множеством. Тем более , что каждое подмножество A измеримо.
  14. Если A измеримо по Лебегу и x — элемент R н , то сдвиг A на x , определенный формулой A + x = { a + x : a A }, также измерим по Лебегу и имеет ту же меру, что и A .
  15. Если A измеримо по Лебегу и , то расширение к определяется также измерим по Лебегу и имеет меру
  16. В более общем смысле, если 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. ​Коробка в R н представляет собой набор вида

где b i a i , а символ продукта здесь представляет декартово произведение. Объем этого ящика определяется как

Для любого подмножества A из R н , мы можем определить его внешнюю меру λ *( A ) следующим образом:

Затем мы определяем множество A как измеримое по Лебегу, если для любого подмножества S из R н ,

Эти измеримые по Лебегу множества образуют σ -алгебру , а мера Лебега определяется соотношением λ ( A ) = λ *( A ) для любого измеримого по Лебегу множества A .

Существование множеств, не измеримых по Лебегу, является следствием теоретико-множественной аксиомы выбора , которая не зависит от многих обычных систем аксиом теории множеств . Теорема Витали , следующая из аксиомы, утверждает, что существуют подмножества R , которые не измеримы по Лебегу. Предполагая аксиому выбора, неизмеримые множества были продемонстрированы со многими удивительными свойствами, такими как парадокс Банаха-Тарского .

В 1970 году Роберт М. Соловей показал, что существование множеств, которые не измеримы по Лебегу, недоказуемо в рамках теории множеств Цермело – Френкеля в отсутствие аксиомы выбора (см. модель Соловея ). [9]

Связь с другими мерами

[ редактировать ]

Мера Бореля согласуется с мерой Лебега на тех множествах, для которых она определена; однако множеств, измеримых по Лебегу, гораздо больше, чем множеств, измеримых по Борелю. Мера Бореля является трансляционно-инвариантной, но не полной .

Мера Хаара может быть определена на любой локально компактной группе и является обобщением меры Лебега ( R н со сложением является локально компактной группой).

Мера Хаусдорфа — это обобщение меры Лебега, которое полезно для измерения подмножеств R н размерностей меньших, чем n , как подмногообразия , например, поверхности или кривые в R 3 и фрактальные множества. Меру Хаусдорфа не следует путать с понятием размерности Хаусдорфа .

Можно показать, что не существует бесконечномерного аналога меры Лебега .

См. также

[ редактировать ]
  1. ^ Термин «объем» также используется, более строго, как синоним трехмерного объема.
  2. ^ Лебег, Х. (1902). «Интеграл, Длина, Площадь» . Анналы чистой и прикладной математики . 7 : 231–359. дои : 10.1007/BF02420592 . S2CID   121256884 .
  3. ^ Ройден, Х.Л. (1988). Реальный анализ (3-е изд.). Нью-Йорк: Макмиллан. п. 56. ИСБН  0-02-404151-3 .
  4. ^ «Лебег-Масс» . 29 августа 2022 г. Проверено 9 марта 2023 г. - из Википедии.
  5. ^ Асаф Карагила. «Какие множества измеримы по Лебегу?» . обмен математическим стеком . Проверено 26 сентября 2015 г.
  6. ^ Асаф Карагила. «Существует ли на R сигма-алгебра строго между алгебрами Бореля и Лебега?» . обмен математическим стеком . Проверено 26 сентября 2015 г.
  7. ^ Осгуд, Уильям Ф. (январь 1903 г.). «Жордановая кривая положительной области» . Труды Американского математического общества . 4 (1). Американское математическое общество: 107–112. дои : 10.2307/1986455 . ISSN   0002-9947 . JSTOR   1986455 .
  8. ^ Каротерс, Нидерланды (2000). Реальный анализ . Кембридж: Издательство Кембриджского университета. стр. 293 . ISBN  9780521497565 .
  9. ^ Соловей, Роберт М. (1970). «Модель теории множеств, в которой каждое множество действительных чисел измеримо по Лебегу». Анналы математики . Вторая серия. 92 (1): 1–56. дои : 10.2307/1970696 . JSTOR   1970696 .
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 4fc8177318cf3a59472847b1877ed8bc__1714756380
URL1:https://arc.ask3.ru/arc/aa/4f/bc/4fc8177318cf3a59472847b1877ed8bc.html
Заголовок, (Title) документа по адресу, URL1:
Lebesgue measure - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)