Теория подъема
В математике теория подъема была впервые представлена Джоном фон Нейманом в новаторской статье 1931 года, в которой он ответил на вопрос, поднятый Альфредом Хааром . [1] Теория получила дальнейшее развитие Дороти Махарам (1958). [2] и Александра Ионеску Тулча и Кассий Ионеску Тулча (1961). [3] Теория подъема была во многом мотивирована ее яркими применениями. Его развитие до 1969 года описано в монографии Ионеску Тулчаа. [4] С тех пор теория лифтинга продолжала развиваться, принося новые результаты и приложения.
Определения [ править ]
Подъём на мерное пространство является линейным и мультипликативным оператором
где – полунормированный L п пространство измеримых функций и – его обычное нормированное частное. Другими словами, подъем выбирает из каждого класса эквивалентности ограниченных измеримых функций по модулю пренебрежимо малых функций представитель, что в дальнейшем записывается или или просто - таким образом, что и для всех и все
Лифтинги используются для создания дезинтеграций мер , например, распределений условных вероятностей с учетом непрерывных случайных величин и расслоений меры Лебега на множествах уровня функции.
Наличие лифтов [ править ]
Теорема. Предполагать завершен. [5] Затем допускает подъем тогда и только тогда, когда существует совокупность взаимно непересекающихся интегрируемых множеств в чей профсоюз В частности, если является пополнением σ -конечного [6] меры или внутренней регулярной борелевской меры на локально компактном пространстве , то допускает подъем.
Доказательство состоит в расширении подъема на все более крупные под- σ -алгебры с применением мартингальной теоремы Дуба о сходимости, если при этом встречается счетная цепь.
Сильные подъемы [ править ]
Предполагать является полным и имеет вполне регулярную топологию Хаусдорфа. такое, что объединение любого набора пренебрежимо малых открытых множеств снова пренебрежимо - это тот случай, если является σ -конечной или происходит из меры Радона . Тогда поддержка можно определить как дополнение наибольшего незначительного открытого подмножества, а коллекцию ограниченных непрерывных функций принадлежит
Сильный лифтинг для это подъем
Теорема. Если является σ -конечным и полным и имеет счетную базу, то допускает сильный подъем.
Доказательство. Позволять быть подъемником для и счетная база для Для любой точки в ничтожном наборе
Применение: распад меры [ править ]
Предполагать и являются σ -конечными пространствами с мерой ( позитив) и это измеримая карта. Распад вдоль относительно это потрясающе положительных σ -аддитивных мер на такой, что
- переносится по волокну из над , то есть и почти для всех
- для каждого -интегрируемая функция в том смысле, что для -почти все в является -интегрируемая функцияявляется -интегрируемо, и отображаемое равенство держит.
Распады существуют при различных обстоятельствах, доказательства различаются, но почти все они используют сильные лифтинги. Вот довольно общий результат. Его краткое доказательство придает общий смысл.
Теорема. Предполагать это польское пространство [9] и сепарабельное хаусдорфово пространство, оба снабженные своими борелевскими σ -алгебрами. Позволять — σ -конечная борелевская мера на и а измеримая карта. Тогда существует σ-конечная борелевская мера на и распад (*).Если конечно, можно считать толчком вперед [10] а затем являются вероятностями.
Доказательство. Из-за польской природы существует последовательность компактных подмножеств которые не пересекаются друг с другом, объединение которых имеет незначительное дополнение и на которых является непрерывным. Это наблюдение сводит проблему к случаю, когда оба и компактны и является непрерывным, и Полный под и зафиксировать сильный лифтинг для Учитывая ограниченный -измеримая функция позволять обозначим его условное ожидание под то есть Радона-Никодима производная [11] относительно Затем установите для каждого в Показать, что это определяет распад, — это вопрос бухгалтерского учета и подходящей теоремы Фубини. Чтобы увидеть, как возрастает сила подъема, обратите внимание, что
Ссылки [ править ]
- ^ фон Нейман, Джон (1931). «Алгебраические представители функций «вплоть до множества меры нуль» » . Журнал чистой и прикладной математики (на немецком языке). 1931 (165): 109–115. дои : 10.1515/crll.1931.165.109 . МР1581278 .
- ^ Махарам, Дороти (1958). «Об одной теореме фон Неймана» . Труды Американского математического общества . 9 (6): 987–994. дои : 10.2307/2033342 . JSTOR 2033342 . МР 0105479 .
- ^ Ионеску Тулча, Александра ; Ионеску Тулча, Кассий (1961). "На подъемном свойстве. И." Журнал математического анализа и приложений . 3 (3): 537–546. дои : 10.1016/0022-247X(61)90075-0 . МР 0150256 .
- ^ Ионеску Тулча, Александра ; Ионеску Тулча, Кассий (1969). Темы теории лифтинга . Результаты математики и ее пограничные области . Том 48. Нью-Йорк: Springer-Verlag . MR0276438 . OCLC 851370324 .
- ^ Подмножество локально пренебрежимо мал, если он пересекает каждое интегрируемое множество в в подмножестве незначительного множества является полным, если каждое локально пренебрежимо малое множество пренебрежимо и принадлежит
- ^ т. е. существует счетный набор интегрируемых множеств – множеств конечной меры в – который охватывает базовый набор
- ^ отождествляются со своими индикаторными функциями.
- ^ Символ в алгебре с единицей — это мультипликативный линейный функционал со значениями в поле коэффициентов, который отображает единицу в 1.
- ^ Сепарабельное пространство является польским , если его топология происходит из полной метрики. В нынешней ситуации было бы достаточно потребовать, чтобы является Суслиным , то есть является непрерывным Хаусдорфовым образом польского пространства.
- ^ Продвижение вперед из под также называется изображением под и обозначил это мера на определяется для в .
- ^ это мера, имеющая плотность относительно