2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




На страницу Пред.  1, 2, 3, 4, 5, 6, 7, 8  След.
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение14.02.2014, 22:58 
g______d в сообщении #826592 писал(а):
2) Если допустимыми считаются разбиения на измеримые по Лебегу множества, то получится интеграл Лебега.

Не получится. Что есть условие предельного перехода?...

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение14.02.2014, 23:16 
По этому вопросу советую посмотреть заметку об интеграле Курцвейля — Хенстока.
http://ru.wikipedia.org/wiki/%D0%98%D0% ... 0%BA%D0%B0

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение14.02.2014, 23:24 
Не надо ничего никуда смотреть. Речь лишь о том, что скрестить ужа с ежом не выйдет. Если условием перехода является стремление к нулю диаметров (а это в римановом случае свято), то никакое обобщение понятия меры в лучшем случае не поможет.

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 00:15 
Аватара пользователя
ewert в сообщении #826614 писал(а):
условием перехода является стремление к нулю диаметров (а это в римановом случае свято)


Наконец-то понял, к чему Вы цепляетесь. Я имел в виду определение интеграла Римана по Дарбу, там нет никакого стремления к нулю диаметров (ну т. е. по факту есть, но в определении не предполагается). Думаю, что в цитированном абзаце из Титчмарша тоже имелось в виду определение Дарбу.

-- 15.02.2014, 01:17 --

mishafromusa в сообщении #826609 писал(а):
По этому вопросу советую посмотреть заметку об интеграле Курцвейля — Хенстока.
http://ru.wikipedia.org/wiki/%D0%98%D0% ... 0%BA%D0%B0


Да не при чем это здесь, я писал уже.

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 01:17 
Как раз при чём, интеграл Лебега может быть построен разбиением интервала интегрироания на непересекающиеся подинтервалы и составлением римановых сумм.

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 02:36 
Аватара пользователя
mishafromusa в сообщении #826676 писал(а):
Как раз при чём, интеграл Лебега может быть построен разбиением интервала интегрироания на непересекающиеся подинтервалы и составлением римановых сумм.


Возможно, Вы правы, тогда извините. Действительно, интеграл Римана получится, если в качестве калибровочных функций в интеграле Курцвейля-Хенстока разрешить только константы.

А что насчет интеграла Лебега? Можете точно сформулировать?

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 05:43 
Дело в том, что для положительных функций К-Х-интеграл совпадает с интегралом Лебега, поэтому получается, что абсолютно интегрируемые функции -- те же самые для обоих интегралов. Курцвейль-Хенсток даёт что-то новое только в неабсолютно интегрируемом случае. Я в доказательстве детально не разбирался, но сам факт становится ясным, если вспомнить, что интеграл Лебега положительной функции -- это площадь её подграфика, где под площадью пониматется мера Лебега на плоскости. Кстати, если под площадью понимать обычную площадь, т.е. меру Жордана, то получится интеграл Римана. Сама идея интеграла Курцвейля — Хенстока достаточно прозрачна, и состоит в том, что там, где функция меняется быстро, нужно брать разбиения помельче, т.е. довольно популярная идея из вычислительной математики. С другой стороны -- само существование оснащённого разбиения, подчинённого данной калибровке опирается на компактность, что усложняет определение К-Х-интеграла и делает его неконструктивным.

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 06:59 
На случай, если человек, начавший всю эту дискуссию, ещё следит за ней, я замечу 2 основных различия мер Лебега и Жордана. 1)Жордан использует только конечные объединения прямоугольников для оценки меры, а Лебег применяет и счётные. 2)Жордан приближает фигуру "снаружи" и "изнутри" а Лебег считает, что фигура Ф близка по площади к конечному набору прямоугольников П если площадь Ф\П и П\Ф мала, т.е. эти множества можно покрыть конечным или счётным набором прямоугольников с малой суммарной площадью. Вот и вся разница, остальное -- технические подробности.

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

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 08:57 
mishafromusa в сообщении #826676 писал(а):
интеграл Лебега может быть построен разбиением интервала интегрироания на непересекающиеся подинтервалы и составлением римановых сумм.

Что такое римановы суммы?

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 12:08 
ewert в сообщении #826714 писал(а):
mishafromusa в сообщении #826676 писал(а):
интеграл Лебега может быть построен разбиением интервала интегрироания на непересекающиеся подинтервалы и составлением римановых сумм.

Что такое римановы суммы?


Они составляются так: в некоторой точке каждого подинтервала, вычисляется значение функции и умножается на длину этого подинтервала, а потом эти произведехия суммируются. Интеграл Римана -- предел римановых сумм, когда длина самого длинного из подинтервалов стремится к нулю.

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 13:08 
mishafromusa в сообщении #826757 писал(а):
в некоторой точке каждого подинтервала, вычисляется значение функции и умножается на длину этого подинтервала, а потом эти произведехия суммируются. Интеграл Римана -- предел римановых сумм,

И чему же этот предел будет равен, если подсунуть под него функцию Дирихле?...

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 13:18 
ewert в сообщении #826773 писал(а):
mishafromusa в сообщении #826757 писал(а):
в некоторой точке каждого подинтервала, вычисляется значение функции и умножается на длину этого подинтервала, а потом эти произведехия суммируются. Интеграл Римана -- предел римановых сумм,

И чему же этот предел будет равен, если подсунуть под него функцию Дирихле?...


Функция Дирихле не интегрируема по Риману. Почитайте ссылки об интеграле Курцвейля-Хенстока, которые я привёл, и книжки/статьи, которые там указаны, может тогда поймёте. Кстати, проинтегриривать функцию Дирихле по Курцвейлю-Хенстоку -- неплохое упражнение, вообще понять почему К-Х-интеграл не меняется, когда функцию меняют на множестве меры нуль -- тоже интересная задачка, рекомендую. :D

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 18:59 
mishafromusa в сообщении #826775 писал(а):
Функция Дирихле не интегрируема по Риману.

Но Вы же обещали Лебега, и именно с помощью римановых сумм:

mishafromusa в сообщении #826676 писал(а):
интеграл Лебега может быть построен разбиением интервала интегрироания на непересекающиеся подинтервалы и составлением римановых сумм.

Уж выберите что-то одно.

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 19:13 
Дорогой ewert, для положительных функций интегралы Лебега и Курцвейла-Хенстока совпадают, а К-Х-интеграл строится с помощью римановых сумм. Надеюсь, что теперь понятно. :-)

 
 
 
 Re: Не могу постичь теорию меры и интеграл Лебега
Сообщение15.02.2014, 21:56 
mishafromusa в сообщении #826886 писал(а):
а К-Х-интеграл строится с помощью римановых сумм. Надеюсь, что теперь понятно. :-)

Нет, непонятно. Интеграл Лебега в принципе не может получаться с помощью римановых сумм (если они хоть сколько-то римановы), это просто тривиальщина. Если же Вы хотели сказать, что имелись в виду суммы римановы в том смысле, что они не римановы, ибо никаких римановых сумм, за исключением неримановых, не бывает -- ну так бы честно и сказали.

 
 
 [ Сообщений: 116 ]  На страницу Пред.  1, 2, 3, 4, 5, 6, 7, 8  След.


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group