35256

Лебеговское продолжение меры. Мера в R

Лекция

Математика и математический анализ

Пусть задано множество X и – полукольцо его подмножеств, на котором задана мера m. Мера, заданная на кольце K называется продолжением меры m, если и для всех выполняется

Русский

2014-09-21

470.5 KB

21 чел.

Тема 2. Лебеговское продолжение меры. Мера в Rn

Пусть задано множество X и   полукольцо его подмножеств, на котором задана мера m. Мера , заданная на кольце K называется продолжением меры m, если  и для всех  выполняется .

Теорема. Пусть  – мера на полукольце  и K(S) – минимальное кольцо, порожденное S. Тогда на K(S) существует единственная мера , являющаяся продолжением меры m. Если мера m на полукольце  является -аддитивной, то её продолжение также -аддитивная мера.

Пусть   алгебра подмножеств множества X, m -аддитивная мера на K. Внешней мерой множества  называется число 

где нижняя грань берётся по всевозможным конечным или счётным покрытиям множества A элементарными множествами.

Свойства внешней меры заданной на кольце:

  1.  если  , то 
  2.  для всех ,  и
  3.  для всех  и  выполняется 
  4.  внешняя мера счётно-полуаддитивна, т.е. для всех  имеет место неравенство:

  1.  для всех

Внутренней мерой множества называется число .

Для всех имеет место неравенство:

Пусть m – полная, счётно-аддитивная, конечная мера. Множество называется измеримым по Лебегу относительно меры m, заданной на алгебре множеств К, если выполняется равенство:

Для измеримого по Лебегу множества определим меру  Совокупность измеримых множеств обозначим .

Теорема 1 (критерий измеримости множества). Пусть задано пространство (X, , m). Тогда для всех  следующие утверждения эквивалентны:

  1.  А измеримо по Лебегу относительно меры m;
  2.  для любого  что

Следствие. Множество измеримо, если для всех  существует измеримое множество B такое, что 

Теорема 2. (о -алгебре измеримых множеств). Совокупность измеримых множеств образует -алгебру множеств, содержащую исходную алгебру K. Сужение  внешней меры * на измеримые множества является мерой на .

Следствие. Счётное пересечение измеримых множеств измеримо.

Мера m, заданная на алгебре K, называется полной, если из  и  следует, что  и 

Одним из важнейших примеров меры является мера Лебега на числовой прямой.

Пусть некоторый фиксированный полуинтервал прямой,   полукольцо, состоящее из полуинтервалов . Пусть Kалгебра подмножеств, порождённая полукольцом S, каждый элемент которой имеет вид  причём полуинтервалы в правой части попарно не пересекаются. Через m обозначим меру на алгебре K, полученную продолжением меры с полукольца, т.е. . Для произвольного множества  определим внешнюю меру , где точная нижняя грань берётся по всем таким наборам полуинтервалов , что . Множество  называется измеримым по Лебегу, если  Таким образом, мерой Лебега на отрезке называется лебеговское продолжение длины.

Рассмотрим измеримые по Лебегу линейные ограниченные множества:

  1.  множество, состоящее из одной точки, измеримо и его мера равна нулю;
  2.  всякое не более чем счётное ограниченное множество точек прямой измеримо и его мера равна нулю;
  3.  любой промежуток измерим и его мера равна его длине;
  4.  любое ограниченное открытое или замкнутое множество измеримо по Лебегу;
  5.  любое ограниченное борелевское множество на прямой измеримо по Лебегу.

Часто приходится рассматривать меры, которые могут принимать и бесконечные значения. Ограничимся случаем - конечных мер.

Мера , принимающая бесконечные значения, называется - конечной, если существует последовательность множеств  такая, что , для всех i и .

Можно показать, что если мера , заданная на алгебре K подмножеств X, -конечна, то X можно представить в виде объединения счётной системы попарно непересекающихся множеств конечной меры.

Рассмотрим теорию измеримости по Лебегу для произвольных (даже неограниченных) множеств на прямой. Длина как мера на R является -аддитивной, потому что . Множество  называется измеримым по Лебегу, если для всех  измеримо по Лебегу ограниченное множество  или .

Совокупность всех измеримых подмножеств R обозначим . Обозначим через . Тогда  и . Если ряд расходится, то .

Утверждение 1. Совокупность всех измеримых по Лебегу подмножеств R является -алгеброй.

Утверждение 2. Введённая функция  является -конечной мерой на -алгебре всех измеримых множеств на R.

Пусть задана неубывающая функция , т.е. .

Скачком функции F в точке  называется число , где  соответственно правосторонний предел и левосторонний предел в точке x. На концах отрезка: , .

Скачок неубывающей функции в любой точке неотрицателен, причём функция F непрерывна в точке x тогда и только тогда, когда .

Свойства неубывающих функций:

  1.  пусть F – неубывающая функция на отрезке [a,b], c1, c2, c3, , cn[a,b] – любые точки из этого отрезка. Тогда .
  2.  множество точек разрыва неубывающей на отрезке [a,b] функции не более чем счётно.

Будем говорить, что функция F непрерывна слева в точке x0, если для любого  >0 существует  >0 такое, что для всех x, x0  x  x0 верно неравенство |F(x0)–F(x)| <  .

Пусть, как и при построении меры Лебега, X = [a,b) – фиксированный полуинтервал, S  (X) – полукольцо, порождённое системой полуинтервалов [,) [a,b). Пусть на [a,b) задана неубывающая ограниченная функция F(x). Определим меру элемента полукольца mF = F()–F() = F [,).

Теорема. Для того, чтобы мера mF была -аддитивной, необходимо и достаточно, чтобы порождающая её функция F(x) была непрерывной слева.

Пусть K(S) – кольцо, порождённое полукольцом с единицей S. Тогда для всех AK(S) имеет место представление:

A =, Ai  S.

Соответствующее продолжение меры на K(S) задаётся формулой: F (A) =.

Пусть   внешняя мера, построенная по мере mF, заданной на алгебре K. Продолжение меры mF на -алгебру  измеримых относительно меры mF множеств называется мерой Лебега-Стилтьеса, построенной по неубывающей функции F.

Очевидно, что F  конечная полная мера. Если F(x) = x, то мера Лебега-Стилтьеса совпадает с мерой Лебега .

Примеры решения задач

Задача 1. Пусть X=[0,1[[0,1[, S – полукольцо прямоугольников, принадлежащих , вида Tab=[a,b[[0,1[. Положим m(Tab) = b–a. Найти внешнюю меру множества  и выяснить, является ли оно измеримым. Описать явный вид лебеговского продолжения меры.

Решение. По определению внешняя мера А

*(A)=, где любой элемент полукольца S имеет вид , т.е. полностью определяется своей проекцией на ось OX. Чтобы покрыть множество А элементами , необходимо и достаточно покрыть проекцию этого множества на ось OX полуинтервалами . Поэтому внешняя мера множества А в данном случае совпадает с внешней мерой проекции этого множества на ось OX.

,

 ;

и .

Следовательно, множество А неизмеримо. Из приведенных выше рассуждений видно, что множество будет измеримым тогда и только тогда, когда оно будет иметь вид   [0,1[ и   [0,1[  измеримо по Лебегу.

Задача 2. Пусть X= [0,1[[0,1[, S={[a,b[[c,d[X}, m([a,b[[c,d[) = = (b-a)(d-c). Вычислить внутреннюю и внешнюю меры множества .

Решение. По определению

*(A)=, A, т.е. прямоугольники, , где k=0, 1, 2,, n-1, образуют для каждого n покрытие множества А. Имеем:

*(A) .

Величина Sn является верхней суммой Дарбу для функции f(x)=1x на отрезке ,соответствующей разбиению отрезка на n частей. Для функции f существует интеграл Римана, поэтому

.

Переходя к пределу при n в неравенстве *A  Sn, которое выполняется для всех n, получим *A1/2. С другой стороны *(X\A), т. к. X \ A  , и *(X \ A) .

Поэтому * A = mX–* (X \ A) 1–1/2 = 1/2. Имеем:

.

Задача 3. Пусть ,  полукольцо,  F:XR  неубывающая непрерывная слева на Х функция. Определим на  меру Лебега-Стилтьеса равенством: .

Описать класс измеримых подмножеств из Х, найти меру Лебега-Стилтьеса каждого множества А, если

Решение. Из определения меры F на полукольце S следует, что , если полуинтервал не содержит точку x = 0, и , если . Распространим меру F на минимальное кольцо K(S). Если A  K(S), то , Ai = [i,i[. Поэтому если 0A, то 0 [i,i[ для всех i = и . Если , то найдётся только один полуинтервал , содержащий x = 0, с мерой 1, и . Следовательно, мера каждого элемента кольца равна либо 0, либо 1. Поскольку F(x) непрерывна слева, то F -аддитивна и допускает продолжение.

С этой целью найдём вначале внешнюю меру множества . По определению

(A)=,

где нижняя грань берётся по всем конечным или счётным покрытиям множества  элементами  полукольца .

Если , то, рассматривая покрытия (0,1) = , имеем . Поскольку *A  *A, то  измеримо относительно меры F и его мера равна нулю. В силу полноты меры будет измеримым и любое подмножество интервала (0,1) и его мера будет также равна нулю.

Если рассмотреть одноточечное множество , то для каждого его покрытия  множествами  имеется хотя бы одно из них, содержащее точку x = 0. Поэтому  и . Далее, пользуясь покрытием [-1,1[ {0}, получаем, что . Таким образом, .

Рассмотрим теперь произвольное множество . Из свойств монотонности внешней меры следует, что , если A  (0,1) или A  [-1,0). Если же {0}  A, то . Рассматривая в этом случае покрытие [-1,1[, имеем . Следовательно, если {0}  A, то .

Покажем теперь, что произвольное множество измеримо относительно меры Лебега-Стилтьеса. Действительно, A (0,1) или A [-1,0), то  и оно измеримо. Если же {0}  A, то из неравенства , справед-ливого для каждого  > 0, заключаем, что множество А F-измеримо, .

Задача 4. Пусть X = R2, S = {kn=[k, k+1[[n, n+1[: k, n  Z}, (kn)=1. Найти внешнюю меру множества

.

Будет ли множество А измеримым?

Решение. Множество Х является пространством с -конечной мерой, т.к. X=, , здесь .

По определению множество А измеримо, если измеримо A1=A11, A2 = A  21, A3 = A  31, тогда A1 = {0  x < 1, y = 1}; A2={1 x < 2, y = 1}; A3 = {x = 2, y = 1}.

По определению *(A1) =, тогда , т.к. покрытие, на котором достигается точная нижняя грань, образует множество 11, , . Поэтому A1, и, следовательно, A не измеримо. Очевидно, что *(A) = 3, т.к. покрытие A состоит из 11, 21, 31.

Задача 5. Каково строение и какая мера точек отрезка [0,1], десятичное представление которых возможно без цифр 4 и 5.

Решение. Это множество строится следующим образом: делим отрезок [0,1] на десять равных частей и выбрасываем полуинтервал [0.4, 0.6]. Затем каждый из оставшихся восьми полуинтервалов делим на десять равных частей и выбрасываем в каждом из них соответствующий полуинтервал [0,n14; 0,n16[, где n1 = 0,1,2,3,6,7,8,9 и т.д. Данное множество нигде не плотно, каждая его точка является предельной, т.е. множество является совершенным. Вычислим меру выбрасываемых промежутков, посчитав тем самым меру дополнения к искомому множеству:

.

Следовательно, мера точек отрезка [0,1], десятичное представление которых возможно без цифр 4 и 5, равна 0.

Задача 6. Найти меру множеств

1)  2)

Решение. 1) Представим множество А в виде объединения попарно непересекающихся интервалов. Для этого выясним, начиная с какого номера n интервалы будут пересекаться. Заметим, что  для всех n, и поэтому интервалы не могут быть вложены друг в друга. Решая неравенство , находим n  3. Поэтому представим А в виде , где ,

, , тогда .

2) Пусть .

Множество В борелево и поэтому измеримо. Множество Q счётное и имеет меру нуль, значит . Множества   непересекающиеся при любом .

Согласно свойству -аддитивности меры: . Таким образом, .

Задача 7. Вычислить меру множества А:

,

где a > 0 – фиксированное число.

Решение. Множество A  R2 открыто и поэтому измеримо. Множество А рассматривается в пространстве с -конечной мерой, поэтому построим возрастающую последовательность множеств  .

Тогда .

.

Задание 1. Пусть ,  . Найти внешнюю и внутреннюю меры множеств и выяснить, измеримы ли они.

1.1.

1.2.

1.3.

1.4.

1.5.

1.6.

1.7.

1.8.

1.9.

1.10.

1.11.

1.12.

1.13.

1.14.

Задание 2. Пусть X =[-2,2[, ={[a,b[X},   – её продолжение по Лебегу.

а) Найти меру множества, состоящего из одной точки.

б) Выяснить, является ли множество А измеримым, найти его меру.

  1.   
  2.   
  3.   
  4.   
  5.   A=[0,3/4];
  6.   
  7.   
  8.   
  9.   
  10.   
  11.   
  12.   
  13.   
  14.   A=[-1,2);

Задание 3. Описать структуру множества A [0,1] и найти его меру.

3.1. Множество точек отрезка [0,1], состоящее из чисел, у которых в десятичной записи цифра 2 встречается раньше, чем цифра 3.

3.2. Множество точек отрезка [0,1], в разложении которых в бесконечную десятичную дробь фигурируют все цифры 1,2,…9.

3.3. Множество точек отрезка [0,1], десятичное представление которых содержит хотя бы одну цифру 3.

3.4. Множество точек отрезка [0,1], десятичное представление которых возможно без цифр 4 и 5.

3.5. Множество точек отрезка [0,1], которые допускают десятичное разложение без комбинации стоящих рядом цифр 3,3,3.

3.6. Множество точек отрезка [0,1], которые допускают разложение в десятичную дробь без использования цифры 7.

3.7. Множество точек отрезка [0,1], десятичное представление которых не содержит цифры 2.

3.8. Множество точек отрезка [0,1], десятичное представление которых содержит цифру 5 только один раз.

3.9. Множество точек отрезка [0,1], в разложении которых в двоичную дробь на всех чётных местах стоят нули.

3.10. Множество точек отрезка [0,1], в разложении которых в двоичную дробь на всех нечётных местах стоят единицы.

3.11. Множество точек отрезка [0,1], троичное представление которых не содержит цифры 3.

3.12. Множество точек отрезка [0,1], троичное представление которых не содержит цифры 0.

3.13. Множество точек отрезка [0,1], десятичное представление которых невозможно без цифры 4.

3.14. Множество точек отрезка [0,1], которые допускают десятичное разложение без комбинации стоящих рядом цифр 2,2,2,2.

Задание 4. Доказать, что множество  измеримо и найти его меру.

4.1. Множество точек единичного квадрата на плоскости, состоящее из точек, декартовы и полярные координаты которых иррациональны.

4.2.

4.3. Множество точек единичного квадрата на плоскости, состоящее из точек  таких, что - иррационально.

4.4.

4.5.

4.6. Множество точек единичного квадрата на плоскости, состоящее из точек  таких, что .

4.7.

4.8.

4.9.

4.10. Множество точек единичного квадрата на плоскости, состоящее из точек  таких, что .

4.11. Множество точек единичного квадрата на плоскости, состоящее из точек  таких, что .

4.12. 

4.13. 

4.14. 


 

А также другие работы, которые могут Вас заинтересовать

12590. РЕВИЗИОНИЗМ ХОЛОКОСТА 260 KB
  Ревизионизм холокоста Юрген Граф Лекция в Институте мировых цивилизаций Москва 15 апреля 2009 г. Существует ли на Западе свобода исторического исследования Ответ: Да существует – если только историки занимаются тематикой которая не затрагивает интересы госпо...
12591. АНАЛИЗ ТОЧНОСТИ ОБРАБОТКИ ДЕТАЛЕЙ ПО КРИВЫМ РАСПРЕДЕЛЕНИЯ 293 KB
  АНАЛИЗ ТОЧНОСТИ ОБРАБОТКИ ДЕТАЛЕЙ ПО КРИВЫМ РАСПРЕДЕЛЕНИЯ Методические указания к выполнению лабораторной работы по дисциплине Основы технологии машиностроения для студентов обучающихся по направлению 552900 Технология оборудование и автоматизация машиностр
12592. ВЛИЯНИЕ РЕЖИМОВ ТОЧЕНИЯ И АЛМАЗНОГО ВЫГЛАЖИВАНИЯ НА ШЕРОХОВАТОСТЬ ПОВЕРХНОСТИ 191 KB
  ВЛИЯНИЕ РЕЖИМОВ ТОЧЕНИЯ И АЛМАЗНОГО ВЫГЛАЖИВАНИЯ НА ШЕРОХОВАТОСТЬ ПОВЕРХНОСТИ Методические указания к выполнению лабораторной работы по дисциплине Основы технологии машиностроения для студентов обучающихся по направлению 552900 Технология оборудование и автома...
12593. ОПРЕДЕЛЕНИЕ ТЕМПЕРАТУРНЫХ ДЕФОРМАЦИЙ РЕЗЦОВ ПРИ ЧИСТОВОМ ТОЧЕНИИ 29.35 KB
  ОПРЕДЕЛЕНИЕ ТЕМПЕРАТУРНЫХ ДЕФОРМАЦИЙ РЕЗЦОВПРИ ЧИСТОВОМ ТОЧЕНИИ Методические указания к выполнению лабораторной работы по дисциплине Основы технологии машиностроения для студентов обучающихся по направлению 150900 Технология оборудование и автоматизация машинос...
12594. Electronics Workbench (EWB) системи схемотехнычного моделювання 898.73 KB
  ПЕРЕДМОВА Комп’ютерні технології в навчанні розвиваються бурхливими темпами особливо в зв’язку зі збільшенням вимог до самостійної роботи студентів та широким упровадженням дистанційних форм здобуття знань. Для вивчення дисциплін Теоретичні основи електротехні
12595. Основи електротехніки та електроніки. Методичні вказівки до виконання лабораторних робіт 3.02 MB
  МЕТОДИЧНІ ВКАЗІВКИ ДО ВИКОНАННЯ КОНТРОЛЬНИХ РОБІТ З ДИСЦИПЛІНИ ОСНОВИ ЕЛЕКТРОТЕХНІКИ ТА ЕЛЕКТРОНІКИ Методичні вказівки до виконання лабораторних робіт з дисципліни Основи електротехніки та електроніки для студентів денної і заочної форми навчання. /Уклад.: Куч...
12596. Електротехніка і основи електроніки 7.06 MB
  Вступ до дисципліни Електротехніка і основи електроніки 1. До розділу електричні кола. Із курсу фізики відомо що електричні кола − це сукупність джерел і споживачів електричної енергії комутаційної апаратури вимірювальних приладів та з’єднувальних провідників. В...
12597. Електротехніка і основи електроніки. Методичні вказівки до виконання контрольних робіт 539.5 KB
  МЕТОДИЧНІ ВКАЗІВКИ ДО ВИКОНАННЯ КОНТРОЛЬНИХ РОБІТ З ДИСЦИПЛІНИ ЕЛЕКТРОТЕХНІКА І ОСНОВИ ЕЛЕКТРОНІКИ Для студентів неелектричних спеціальностей заочної форми навчання Методичні вказівки до виконання контрольних робіт з дисципліни Електротехніка і основи елек
12598. ИСПЫТАНИЕ МЕТАЛЛОВ НА РАСТЯЖЕНИЕ 567.5 KB
  ИСПЫТАНИЕ МЕТАЛЛОВ НА РАСТЯЖЕНИЕ Методические указания к лабораторной работе № 2 по курсу Сопротивление материалов для студентов технических специальностей Испытание металлов на растяжение. Методические указания к лабораторной работе № 2 по курсу Сопрот