что такое множество меры нуль
Мера множества
Понятие меры множества является далеко идущим обобщением понятия длины отрезка. В простейшем случае (которым только мы и будем заниматься) задача состоит в том, чтобы дать определение длины не только для отрезков, но также и для более сложных точечных множеств, расположенных на прямой.
Задача определения длины множеств, или, как говорят еще, задача измерения множеств, весьма важна, так как она имеет существенное значение для обобщения понятия интеграла. Понятие меры множества применяется и в других вопросах теории функций, а также в теории вероятностей, топологии, функциональном анализе и т.д.
Ниже излагается определение меры множеств, предложенное французским математиком А. Лебегом и лежащее в основе данного им определения интеграла.
Мера открытого и замкнутого множества
Начнем с определения меры произвольного открытого или замкнутого множества. Как уже отмечалось, всякое открытое множество на прямой является конечной или счетной суммой попарно не пересекающихся интервалов.
Мерой открытого множества называется сумма длин составляющих его интервалов.
Определение меры множества
Если удовлетворяется соотношение
Отметим, что всегда
Сделаем несколько пояснений. Длина простейших множеств (например, интервалов и отрезков) обладает рядом замечательных свойств. Укажем важнейшие из них.
4. Мера множества не меняется, если его сдвинуть как твердое тело.
Желательно, чтобы основные свойства длины сохранялись и для более общего понятия меры множеств. Но, как можно совершенно строго показать, это оказывается невозможным, если приписывать меру произвольному множеству точек на прямой. Поэтому-то в данном выше определении и появляются множества, имеющие меру или измеримые, и множества, не имеющие меры или неизмеримые. Впрочем, класс измеримых множеств настолько широк, что это обстоятельство не вносит каких-либо существенных неудобств. Даже построение примера неизмеримого множества представляет известные трудности.
Приведем несколько примеров измеримых множеств.
Мера канторова совершенного множества
Как показывает этот пример, множество может иметь мощность континуума и тем не менее иметь меру, равную нулю.
Мера множества R всех рациональных точек отрезка [0, 1]
Этот пример показывает, что множество может быть всюду плотным на некотором отрезке и тем не менее иметь меру, равную нулю.
Множества меры нуль во многих вопросах теории функций не играют никакой роли, и ими следует пренебрегать. Например, функция интегрируема по Риману в том и только в том случае, если она ограничена и множество её точек разрыва имеет меру нуль. Можно было бы привести значительное число таких примеров.
Измеримые функции
Какие функции можно получить из непрерывных функций путем повторного применения операции построения предела почти всюду сходящейся последовательности функций и алгебраических операций?
Для ответа на этот вопрос нам потребуется несколько новых понятий.
Можно показать, что произвольная непрерывная функция, заданная на отрезке, измерима. Однако к числу измеримых функций принадлежат также и многие разрывные функции, например функция Дирихле, равная 1 для иррациональных точек отрезка и равная 0 для остальных точек этого отрезка.
Отметим без доказательства, что измеримые функции обладают следующими свойствами.
также измеримы (последняя, если ).
Это свойство показывает, что алгебраические операции над измеримыми функциями снова приводят к измеримым функциям.
Таким образом, операция построения предела почти всюду сходящейся последовательности измеримых функций вновь приводит к измеримым функциям.
Эти свойства измеримых функций были установлены Лебегом. Глубокое исследование измеримых функций было произведено советскими математиками Д. Ф. Егоровым и Н. Н. Лузиным. В частности, Н. Н. Лузин показал, что всякую измеримую функцию, заданную на отрезке, можно превратить в непрерывную, изменив ее значения на некотором множестве сколь угодно малой меры.
Этот классический результат Н. Н. Лузина и перечисленные выше свойства измеримых функций позволяют показать, что измеримые функции и представляют собой тот класс функций, о котором шла речь в начале этого пункта. Измеримые функции имеют также большое значение для теории интегрирования, именно, понятие интеграла может быть обобщено таким образом, чтобы всякая ограниченная измеримая функция оказалась интегрируемой. Подробнее об этом рассказывается в разделе интеграл Лебега.
Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Правила форума
В этом разделе нельзя создавать новые темы.
Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе «Помогите решить/разобраться (М)».
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.
множества меры нуль
 |
 |
| Заслуженный участник |
 |
|
Нет, не верно. Любое счетное множество имеет меру нуль. Также полно несчетных множеств меры нуль (например, канторово).
|
| Заслуженный участник |
|
|
Последний раз редактировалось alex1910 16.06.2011, 15:41, всего редактировалось 1 раз.
—mS—, ежу ясно, что ТС имел ввиду меру на прямой.
| Заслуженный участник |
|
—mS—, ежу ясно, что ТС имел ввиду меру на прямой.
|
 |
| Заслуженный участник |
|
Последний раз редактировалось ewert 16.06.2011, 17:33, всего редактировалось 1 раз.
|
Полностью согласен. Лебега-Стилтьеса.
|
| Заслуженный участник |
|
|
Кто сейчас на конференции
Сейчас этот форум просматривают: нет зарегистрированных пользователей
Множества меры ноль
Множества меры ноль
Множества меры ноль. В предыдущем пункте было установлено, что множество может быть измерено в соответствии с Иорданией только в том случае, если его границей является мера 0.Поэтому важно, чтобы были признаки, по которым можно установить, что набор измерений равен нулю. Довольно распространенным примером набора измерительных нулей является цилиндр, основанный на наборе измерительных нулей(см. результаты теоремы 2).Следующая теорема указывает на другой широкий класс нулевых множеств меры. Теорема 3.Мера графа непрерывной функции в компактном множестве равна нулю.
Эта оценка достигается, если точка графика, соответствующая указанному экстремальному значению, находится на грани куба ранга k. Людмила Фирмаль
So например, плоское множество («сектор» кривой, определяемый криволинейной трапецией, полярными координатами и вращателем, площадью и объемом, вычисленными в§ 1 с использованием соответствующего 32-мерного интеграла Римана) является измеримым множеством В Иордании. Убедитесь, что границы равны нулю. Точно так же параллелепипеды и эллипсоиды, особенно шары, измеримы по Жордану, потому что их границы могут быть представлены как объединение графов последовательных функций в компактном множестве. Обратите внимание, что в § 31 понятие Major Major было введено для открытого множества. Если мы сравним его определение с определением, приведенным в§ 44.1, то увидим, что измерения, введенные в тезисе 0 = 11 * 0, то есть измерения, введенные в§ 31, являются измерениями нижней Иордании.
Даже в этом случае только по непрерывности рассматриваемых кривых видно, что их недостаточно для достижения измеряемой величины нуля. Людмила Фирмаль
Образовательный сайт для студентов и школьников
Копирование материалов сайта возможно только с указанием активной ссылки «www.lfirmal.com» в качестве источника.
© Фирмаль Людмила Анатольевна — официальный сайт преподавателя математического факультета Дальневосточного государственного физико-технического института
2.2 Множества меры нуль
В теории интеграла особую роль играют множества нулевой меры. Изучим их свойства.
Пусть Е — множество нулевой меры, а F — его подмножество. Тогда выполняются соотношения: 
которые означают, что функция 
интегрируема и 
. Поэтому справедливо следующее утверждение:
Теорема 9. [5] Всякое подмножество множества меры нуль измеримо, и его мера равна нулю.
Теорема 10. [5] Объединение конечного или счетного числа множеств нулевой меры измеримо и имеет нулевую меру.
Доказательство. Пусть 
, где |
|=0 (случай объединения конечного числа множеств можно свести к рассматриваемому, положив 
при k > n). Положим 
. Очевидно, выполняется соотношение
,
при любом х. А так как, по условию, 
,то из теоремы 7 вытекает, что 
измеримо и 
. Но 
, причем 
.Тогда в силу теоремы 8 множество Е измеримо, причем 
.
Из доказанного утверждения вытекает, в частности, что любое счетное множество — множество меры нуль: оно является объединением счетной совокупности точек, а мера каждой точки равна нулю.
В дальнейшем будем говорить, что некоторое свойство выполняется почти всюду на множестве Е, если оно выполняется для всех 
, за исключением, быть может, множества меры нуль. Например, можно сказать, что ступенчатая функция почти всюду (на прямой) непрерывна, функция Дирихле почти всюду (на прямой) равна нулю.
В курсе интегрального исчисления изучались различные условия интегрируемости функции по Риману. Понятие меры Лебега позволяет дать исчерпывающую характеристику класса интегрируемых по Риману функций. Лебег доказал, что для интегрируемости по Риману функции, ограниченной на отрезке, необходимо и достаточно, чтобы функция была почти всюду непрерывна на этом отрезке.
Заключение
В данной курсовой работе были рассмотрены определения, свойства, теоремы и различные примеры касающиеся меры Лебега.
В ходе выполнения курсовой работы была достигнута поставленная цель и выполнены задачи исследования – проведен анализ существующей литературы с целью выявления и обобщения сведений об основных понятиях и свойствах меры Лебега, составлена практическая часть, содержащая в себе примеры по данной теме исследования. Меру можно сопоставлять множествам произвольной природы. Следует отметить, что имеется немало разных подходов к построению меры Лебега, но (при отсутствии ошибок) все они приводят к одному результату.
— Произведен анализ существующей литературы и источников.
— Изучены основные свойства и понятия меры Лебега.
— Показаны примеры решения задач по данной теме.
Научный форум dxdy
Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Правила форума
В этом разделе нельзя создавать новые темы.
Если Вы хотите задать новый вопрос, то не дописывайте его в существующую тему, а создайте новую в корневом разделе «Помогите решить/разобраться (М)».
Если Вы зададите новый вопрос в существующей теме, то в случае нарушения оформления или других правил форума Ваше сообщение и все ответы на него могут быть удалены без предупреждения.
Обязательно просмотрите тему Правила данного раздела, иначе Ваша тема может быть удалена или перемещена в Карантин, а Вы так и не узнаете, почему.
Множества меры 0, лебеговская мера их подмножеств
| Заслуженный участник |
 |
Последний раз редактировалось PAV 02.06.2012, 09:04, всего редактировалось 2 раз(а).
| Супермодератор |
 |
| Заслуженный участник |
|
Последний раз редактировалось xmaister 22.02.2012, 22:02, всего редактировалось 1 раз.
|
Последний раз редактировалось _hum_ 22.02.2012, 22:04, всего редактировалось 1 раз.
Наверное, все же имелось в виду доказать, что всякое подмножество множество меры нуль измеримо по Лебегу (ибо отсюда автоматом по монотонности вытекает его нулевая мера).
| Заслуженный участник |
|
|
| Заслуженный участник |
|
|
Последний раз редактировалось _hum_ 22.02.2012, 22:20, всего редактировалось 1 раз.
Монотонность внешней меры?
(Вообще, зависит от того, какую конструкцию вы используете для определения лебеговских множеств. Если через внешнюю и внутреннюю меры, то монотонность внешней меры должна помочь)
| Заслуженный участник |
|
|
Последний раз редактировалось a_nn 22.02.2012, 22:25, всего редактировалось 1 раз.
| Заслуженный участник |
|
Последний раз редактировалось xmaister 22.02.2012, 22:26, всего редактировалось 1 раз.
|
| Заслуженный участник |
|
Последний раз редактировалось xmaister 22.02.2012, 22:32, всего редактировалось 1 раз.
| Заслуженный участник |
|
| Заслуженный участник |
 |
Кто сейчас на конференции
Сейчас этот форум просматривают: нет зарегистрированных пользователей