В математике , А мера на множестве представляет собой систематический способ назначить номер, интуитивно интерпретируются как своего размером, некоторых подмножества этого множества, называемых измеримыми множествами . В этом смысле мера - это обобщение понятий длины, площади и объема. Особенно важным примером является мера Лебега на евклидовом пространстве , которая присваивает обычную длину , площадь или объем подмножествам евклидовых пространств, для которых это должно быть определено. Например, мера Лебега на отрезке от действительных чисел является обычной длиной.
Технически мера - это функция, которая присваивает неотрицательное действительное число или + ∞ (некоторым) подмножествам множества X ( см. § Определение ниже). Кроме того, мера должна быть счетно аддитивной : если `` большое '' подмножество можно разложить на конечное (или счетно бесконечное ) число `` меньших '' непересекающихся подмножеств, которые измеримы, то `` большое '' подмножество измеримо , а его мера - это сумма (возможно, бесконечная) мер «меньших» подмножеств.
В общем, если кто-то хочет связать согласованный размер со всеми подмножествами данного набора, удовлетворяя при этом другие аксиомы меры, можно найти только тривиальные примеры, такие как счетная мера . Эта проблема была решена путем определения меры только для поднабора всех подмножеств; так называемые измеримые подмножества, необходимые для образования σ- алгебры . Это означает, что счетные объединения , счетные пересечения и дополнения измеримых подмножеств измеримы. Неизмеримые множества в евклидовом пространстве, на котором мера Лебега не может быть определена последовательно, обязательно сложны в том смысле, что плохо смешаны с их дополнением. [1] Действительно, их существование - нетривиальное следствие выбранной аксиомы .
Теория меры развивалась последовательно в конце 19 - начале 20 веков Эмилем Борелем , Анри Лебегом , Иоганном Радоном , Морисом Фреше и другими. Основные области применения мер в основах интеграла Лебега , в Андрее Колмогоров «s аксиоматизации из теории вероятностей и эргодической теории . В теории интегрирования определение меры позволяет определять интегралы на пространствах более общих, чем подмножества евклидова пространства; более того, интеграл по мере Лебега на евклидовых пространствах является более общим и имеет более богатую теорию, чем его предшественник, интеграл Римана . Теория вероятностей рассматривает меры, которые присваивают всему набору размер 1, и рассматривает измеримые подмножества как события, вероятность которых задается мерой. Эргодическая теория рассматривает меры, которые инвариантны относительно динамической системы или естественным образом возникают из нее .
Определение
Пусть X некоторое множество и Σ σ - алгебра над X . Функция μ из Σ в расширенную действительную числовую прямую называется мерой, если она удовлетворяет следующим свойствам:
- Неотрицательность : для всех E в Σ имеем μ ( E ) ≥ 0 .
- Нулевой пустой набор :.
- Счетная аддитивность (или σ -аддитивность ): для всех счетных коллекций.попарно непересекающихся множеств в Σ,
Если хотя бы один комплект имеет конечную меру, то требование выполняется автоматически. Действительно, по счетной аддитивности
и поэтому
Если выполняются только второе и третье условия приведенного выше определения меры и μ принимает не более одного из значений ± ∞ , то μ называется мерой со знаком .
Пара ( X , Σ) называется измеримым пространством , члены Σ называются измеримыми множествами . Если а также два измеримых пространства, то функция называется измеримым, если для любого Y -измеримого множества, обратное изображение является X -измеримым, то есть:. В этой установке композиция измеримых функций является измеримой, что делает измеримые пространства и измеримые функции категорией , с измеримыми пространствами как объектами и набором измеримых функций как стрелками. См. Также Измеряемая функция # Варианты использования терминов для другой настройки.
Тройной ( Х , Σ, μ ) называется пространством с мерой . Вероятностная мера является мерой общей мерой одной - т.е. μ ( X ) = 1 . Вероятностное пространство является мерой пространства с вероятностной мерой.
Для пространств мер, которые также являются топологическими пространствами, могут быть помещены различные условия совместимости для меры и топологии. Большинство мер, встречающихся на практике при анализе (и во многих случаях также в теории вероятностей ), являются мерами Радона . Радон мера имеет альтернативное определение в терминах линейных функционалов на локально выпуклое пространстве из непрерывных функций с компактным носителем . Этот подход используется Бурбаки (2004) и рядом других источников. Подробнее читайте в статье о радоновых мерах .
Экземпляры
Здесь перечислены некоторые важные меры.
- Мера подсчета определяется ц ( S ) = число элементов в S .
- Мера Лебега на R представляет собой полный перевод-инвариантной мерой на σ - алгебра , содержащая интервалы в R такое , что μ ([0, 1]) = 1 ; и любая другая мера с этими свойствами расширяет меру Лебега.
- Мера кругового угла инвариантна относительно вращения , а мера гиперболического угла инвариантна относительно отображения сжатия .
- Мера Хаара для локально компактной топологической группы является обобщением меры Лебега (а также подсчета меры и круговым углом меры) и имеет аналогичные свойства единственности.
- Мера Хаусдорфа является обобщением меры Лебега на множества с нецелой размерностью, в частности, фрактальных множествах.
- Каждое вероятностное пространство порождает меру, которая принимает значение 1 на всем пространстве (и, следовательно, принимает все свои значения в единичном интервале [0, 1]). Такая мера называется вероятностной . См. Аксиомы вероятности .
- Мера Дирака δ в (ср дельта функции Дирака ) задается δ ( S ) = χ S (а), где χ S является функцией индикатора из S . Мера набора равна 1, если он содержит точку a, и 0 в противном случае.
Другие «названные» меры , используемые в различных теориях , включают: мера Бореля , Иордания мера , эргодическая мера , Эйлер мера , гауссова мера , Бэра мера , мера Радона , Young мера , и Леб мера .
В физике примером меры является пространственное распределение массы (см., Например, гравитационный потенциал ) или другое неотрицательное экстенсивное свойство , сохраняемое (см. Список их в законе сохранения ) или нет. Отрицательные значения приводят к подписанным мерам, см. «Обобщения» ниже.
- Мера Лиувилля , известная также как естественная форма объема на симплектическом многообразии, полезна в классической статистической и гамильтоновой механике.
- Мера Гиббса широко используется в статистической механике, часто под названием канонический ансамбль .
Основные свойства
Пусть μ - мера.
Монотонность
Если E 1 и E 2 - измеримые множества с E 1 ⊆ E 2, то
Мера счетных объединений и пересечений
Субаддитивность
Для любой счетной последовательности E 1 , E 2 , E 3 , ... (не обязательно непересекающихся) измеримых множеств E n в Σ:
Преемственность снизу
Если E 1 , E 2 , E 3 , ... измеримые множества идля всех n , то объединение множеств E n измеримо, и
Преемственность сверху
Если Е 1 , Е 2 , Е 3 , ... измеримые множества , и для всех п ,тогда пересечение множеств E n измеримо; кроме того, если хотя бы один из E n имеет конечную меру, то
Это свойство неверно без предположения, что хотя бы один из E n имеет конечную меру. Например, для каждого n ∈ N пусть E n = [ n , ∞) ⊂ R , все они имеют бесконечную меру Лебега, но пересечение пусто.
Прочие свойства
Полнота
Измеримое множество X называется нулевым множеством, если μ ( X ) = 0 . Подмножество нулевого набора называется незначительным набором . Незначительный набор не обязательно должен быть измеримым, но каждый измеримый незначительный набор автоматически является нулевым набором. Мера называется полной, если каждое незначительное множество измеримо.
Мера может быть расширена до полного одного, рассматривая а-алгебра подмножеств Y , которые отличаются от незначительного набора из измеримого множества X , то есть такой , что симметрическая разность по X и Y , содержится в множестве нулевой. Один определяет μ ( Y ) как равный μ ( X ) .
Аддитивность
Меры должны быть счетно аддитивными. Однако условие можно усилить следующим образом. Для любого набора и любой набор неотрицательных определять:
То есть мы определяем сумму быть супремумом всех сумм конечного числа из них.
Мера на является -добавка, если для любого и любое семейство непересекающихся множеств справедливо следующее:
Обратите внимание, что второе условие эквивалентно утверждению, что идеалом нулевых множеств является-полный.
Сигма-конечные меры
Пространство с мерой ( X , Σ, μ ) называется конечным, если μ ( X ) - конечное действительное число (а не ∞). Ненулевые конечные меры аналогичны вероятностным мерам в том смысле, что любая конечная мера μ пропорциональна вероятностной мере. Мера μ называется σ-конечной, если X можно разложить в счетное объединение измеримых множеств конечной меры. Аналогично, множество в пространстве с мерой называется σ-конечной мерой, если оно является счетным объединением множеств с конечной мерой.
Например, действительные числа со стандартной мерой Лебега σ-конечны, но не конечны. Рассмотрим отрезки [ k , k +1] для всех целых k ; таких интервалов счетно много, каждый имеет меру 1, а их объединение - это целая вещественная линия. В качестве альтернативы рассмотрите действительные числа с помощью счетной меры , которая присваивает каждому конечному набору вещественных чисел количество точек в наборе. Это пространство с мерой не является σ-конечным, потому что каждое множество с конечной мерой содержит только конечное число точек, и потребовалось бы несчетное количество таких множеств, чтобы покрыть всю вещественную прямую. Пространства с σ-конечной мерой обладают некоторыми очень удобными свойствами; В этом отношении σ-конечность можно сравнить со свойством Линделёфа топологических пространств. Их также можно рассматривать как нечеткое обобщение идеи о том, что пространство меры может иметь «несчетную меру».
s-конечные меры
Мера называется s-конечной, если она является счетной суммой ограниченных мер. S-конечные меры более общие, чем сигма-конечные, и имеют приложения в теории случайных процессов .
Неизмеримые множества
Если аксиома выбора предполагается , чтобы быть правдой, то можно доказать , что не все подмножества евклидова пространств являются измеримыми по Лебегу ; примеры таких наборов включают набор Виталия , а не-измеримые множества постулируемый хаусдорфовом парадокс и парадокс Банаха-Тарского .
Обобщения
Для определенных целей полезно иметь «меру», значения которой не ограничиваются неотрицательными действительными числами или бесконечностью. Например, счетно-аддитивная функция множества со значениями в (знаковых) действительных числах называется мерой со знаком , а такая функция со значениями в комплексных числах называется комплексной мерой . Меры, принимающие значения в банаховых пространствах , широко изучаются. [2] Мера, принимающая значения в множестве самосопряженных проекций на гильбертово пространство , называется проекционно-значной мерой ; они используются в функциональном анализе для спектральной теоремы . Когда необходимо отличить обычные меры, принимающие неотрицательные значения, от обобщений, используется термин положительная мера . Положительные меры замыкаются конической комбинацией, но не общей линейной комбинацией , в то время как меры со знаком являются линейным замыканием положительных мер.
Другое обобщение - это конечно-аддитивная мера , также известная как содержание . Это то же самое, что и мера, за исключением того, что вместо требования счетной аддитивности нам требуется только конечная аддитивность. Исторически это определение использовалось первым. Оказывается, что в общем случае конечно-аддитивные меры связаны с такими понятиями, как пределы Банаха , двойственное к L ∞ и компактификация Стоуна – Чеха . Все это так или иначе связано с аксиомой выбора . Содержание остается полезным при решении некоторых технических проблем геометрической теории меры ; это теория банаховых мер .
Заряд представляет собой обобщение в обоих направлениях: это конечно - аддитивная, подписанная мера.
Смотрите также
- Абелева алгебра фон Неймана
- Почти всюду
- Теорема Каратеодори о продолжении
- Содержание (теория меры)
- Теорема Фубини
- Лемма Фату
- Теория нечеткой меры
- Геометрическая теория меры
- Мера Хаусдорфа
- Внутренняя мера
- Интеграция Лебега
- Мера Лебега
- Пространство Лоренца
- Теория подъема
- Измеримый кардинал
- Измеримая функция
- Содержание Минковского
- Внешняя мера
- Измерение продукта
- Прямая мера
- Обычная мера
- Векторная мера
- Оценка (теория меры)
- Форма объема
Рекомендации
- ^ Халмош, Павел (1950), теория измерения , Ван Ностранд и Ко
- ^ Рао, М.М. (2012), Случайные и векторные меры , Серия по многомерному анализу, 9 , World Scientific , ISBN 978-981-4350-81-5, Руководство по ремонту 2840012.
Библиография
- Роберт Дж. Бартл (1995) Элементы интеграции и меры Лебега , Wiley Interscience.
- Бауэр, Х. (2001), Теория меры и интеграции , Берлин: de Gruyter, ISBN 978-3110167191
- Медведь, HS (2001), Учебник по интеграции Лебега , Сан-Диего: Academic Press, ISBN 978-0120839711
- Богачев В.И. (2006), Теория меры , Берлин: Springer, ISBN 978-3540345138
- Бурбаки, Николас (2004), Интеграция I , Springer Verlag , ISBN 3-540-41129-1 Глава III.
- Р. М. Дадли, 2002. Реальный анализ и вероятность . Издательство Кембриджского университета.
- Фолланд, Джеральд Б. (1999), Реальный анализ: современные методы и их приложения , John Wiley and Sons, ISBN 0471317160 Второе издание.
- Федерер, Герберт. Геометрическая теория меры. Die Grundlehren der Mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., Нью-Йорк 1969 xiv + 676 стр.
- Д.Х. Фремлин, 2000. Теория меры . Торрес Фремлин.
- Jech, Thomas (2003), Теория множеств: издание третьего тысячелетия, пересмотренное и расширенное , Springer Verlag , ISBN 3-540-44085-2
- Р. Дункан Люс и Луи Наренс (1987). «измерение, теория», The New Palgrave: A Dictionary of Economics , v. 3, pp. 428–32.
- М.Э. Манро, 1953. Введение в измерение и интеграцию . Эддисон Уэсли.
- КПС Бхаскара Рао и М. Бхаскара Рао (1983), Теория зарядов: исследование конечно-аддитивных мер , Лондон: Academic Press, стр. X + 315, ISBN 0-12-095780-9
- Шилов Г.Е., Гуревич Б.Л., 1978. Интеграл, мера и производная: единый подход , Ричард А. Сильверман, пер. Dover Publications. ISBN 0-486-63519-8 . Подчеркивает интеграл Даниэля .
- Тешл, Джеральд , Темы реального и функционального анализа , (конспекты лекций)
- Тао, Теренс (2011). Введение в теорию меры . Провиденс, Род-Айленд: Американское математическое общество. ISBN 9780821869192.
- Уивер, Ник (2013). Теория измерений и функциональный анализ . World Scientific . ISBN 9789814508568.
Внешние ссылки
- "Мера" , Математическая энциклопедия , EMS Press , 2001 [1994]
- Учебное пособие: теория меры для чайников