Re: Reply to your post...glex1February 11 2008, 22:31:24 UTC
А Риманов интеграл? Или Вы сразу внешняя мера - измеримость - мера - мера Лебега - интеграл Лебега?
Просто нам рассказывали сначала Риманов интеграл со всем вплоть до теоремы Ньютона-Лейбница ++, а уже потом (в лагере) по цепочке выше (весьма расширенной, на то и лагерь)
Нет, я еще не рассказывал ни про внешнюю меру, ни про измеримость функций. Дело было так: введено понятие меры на алгебре (вопрос о продолжении меры на сигма-алгебру оставлен на потом). потом введено понятие плотности одной меры относительно другой. Введено df для монотонной функции f (это мера Ститьеса), потом доказано df = f'dx. Потом введен определенный интеграл - в предположении что для интегрируемой функции g существует мера g dx (то есть с плотностью g). Вопрос существования такой меры тоже пока оставлен на потом. Введенных определений достаточно, чтобы считать конкретные интегралы, и это было первой целью - потому что без практики вычислений понять навороты теорем про существование по-моему невозможно. Да, еще доказано, что для непрерывной функции интеграл - площадь подграфика.
Comments 5
Reply
слово "мера" уже было.
доказательства существования интеграла по мере - еще нет.
Reply
Или Вы сразу внешняя мера - измеримость - мера - мера Лебега - интеграл Лебега?
Просто нам рассказывали сначала Риманов интеграл со всем вплоть до теоремы Ньютона-Лейбница ++, а уже потом (в лагере) по цепочке выше (весьма расширенной, на то и лагерь)
Reply
Нет, я еще не рассказывал ни про внешнюю меру, ни про измеримость функций.
Дело было так: введено понятие меры на алгебре (вопрос о продолжении меры на сигма-алгебру оставлен на потом).
потом введено понятие плотности одной меры относительно другой.
Введено df для монотонной функции f (это мера Ститьеса), потом доказано df = f'dx.
Потом введен определенный интеграл - в предположении что для интегрируемой функции g существует мера
g dx (то есть с плотностью g). Вопрос существования такой меры тоже пока оставлен на потом.
Введенных определений достаточно, чтобы считать конкретные интегралы, и это было первой целью - потому что без практики вычислений понять навороты теорем про существование по-моему невозможно.
Да, еще доказано, что для непрерывной функции интеграл - площадь подграфика.
Reply
Leave a comment