Теория меры
Теория меры обеспечивает строгое понятие размера, длины, площади, объема и вероятности для очень общих совокупностей множеств и на этой основе строит интеграл Лебега, который является основой современного анализа.
Definition
Теория меры — это раздел математического анализа, который присваивает согласованную меру размера подмножествам пространства и использует ее для определения интегрирования, обобщая длину, площадь, объем и вероятность в рамках единой аксиоматической системы.
Scope
Эта область охватывает сигма-алгебры и меры, измеримые функции, построение меры Лебега, интеграл Лебега и его теоремы сходимости, пространства Lp, знаковые и комплексные меры с теоремой Радона-Никодима, а также произведения мер с теоремой Фубини-Тонелли.
Sub-topics
Core questions
- Как можно последовательно присвоить понятие размера обширному семейству множеств, включая нерегулярные?
- Как определяется интеграл Лебега и почему он лучше ведет себя при предельных переходах, чем интеграл Римана?
- Когда можно менять местами пределы и интегралы?
- Как сравниваются две меры и когда одна имеет плотность относительно другой?
Key theories
- Теорема Лебега о мажорируемой сходимости
- Если интегрируемые функции сходятся поточечно и равномерно ограничены фиксированной интегрируемой функцией, то предел их интегралов равен интегралу предела, что обеспечивает взаимозаменяемость предела и интеграла, которой не хватает теории Римана.
- Теорема Радона-Никодима
- Если одна сигма-конечная мера абсолютно непрерывна относительно другой, ее можно записать как интеграл от функции плотности по отношению к этой другой мере, что обеспечивает строгое понятие плотности вероятности и условного математического ожидания.
Clinical relevance
Теория меры является незаменимой основой современной теории вероятностей, где меры представляют собой вероятностные распределения, а интеграл Лебега — математическое ожидание; она также лежит в основе функционального анализа через пространства Lp и гильбертовы пространства, гармонического анализа, эргодической теории и строгого рассмотрения стохастических процессов, используемых в финансах и статистике.
History
Теория меры началась с меры Бореля на прямой и получила свою окончательную форму благодаря Лебегу в его диссертации 1902 года, в которой был введен современный интеграл. Построение внешней меры Каратеодори, работы Радона по мерам на общих пространствах и аксиоматизация вероятности Колмогоровым в 1933 году заложили основы абстрактной теории, используемой сегодня.
Key figures
- Henri Lebesgue
- Emile Borel
- Johann Radon
- Constantin Caratheodory
Related topics
Seminal works
- folland1999
Frequently asked questions
- Зачем вводить интеграл Лебега, если уже существует интеграл Римана?
- Интеграл Лебега позволяет интегрировать гораздо больше функций, а его теоремы сходимости позволяют менять местами пределы и интегралы при мягких гипотезах, что существенно для анализа, теории вероятностей и полноты пространств Lp.
- Что такое сигма-алгебра?
- Сигма-алгебра — это совокупность подмножеств, на которых определена мера; она замкнута относительно дополнений и счетных объединений, что является необходимыми свойствами замыкания для осмысленной счетной аддитивности и предельных операций.