Loeb-мера

Loeb-мера — это числовая функция, определённая на σ-алгебре подмножеств вещественной прямой, являющаяся одним из фундаментальных понятий нестандартного анализа. Она представляет собой единственное продолжение стандартной σ-конечной меры Лебега с гиперконечной решётки на σ-алгебру всех *-измеримых подмножеств гипервещественного континуума, удовлетворяющее условию счетной аддитивности. Loeb-мера, введённая американским математиком Питером Лёбом (Peter A. Loeb) в 1975 году, позволяет применять методы теории меры и теории вероятностей в рамках нестандартного анализа, создавая мост между дискретными гиперконечными моделями и непрерывными стандартными объектами.

История

Понятие Loeb-меры возникло в контексте развития нестандартного анализа — математической дисциплины, основанной на работах Абрахама Робинсона (1960-е годы), которая формализует понятия бесконечно малых и бесконечно больших величин с помощью методов математической логики, в частности, теории моделей. В 1975 году Питер Лёб опубликовал статью «Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory» (Transactions of the American Mathematical Society, 1975, том 211, стр. 113–122), в которой описал процедуру построения стандартной меры из гиперконечной меры, заданной на *-конечном множестве. Эта конструкция получила название Loeb-мера (или мера Лёба) и стала одним из ключевых инструментов нестандартного анализа, позволяющим переносить результаты из дискретной гиперконечной комбинаторики в непрерывную теорию меры и вероятности.

Определение

Пусть задана гиперконечная решётка (или -конечное множество) точек на гипервещественном отрезке, например, -конечное множество ℕ (гипернатуральные числа) или -конечная сетка с шагом dx, где dx — бесконечно малая величина. На этой решётке определена -конечная мера (например, считающая мера, умноженная на dx). Для любого внутреннего (в смысле нестандартного анализа) подмножества A этой решётки значение меры μ(A) является гипервещественным числом.

Loeb-мера строится следующим образом:

1. Рассматривается σ-алгебра всех *-измеримых подмножеств гипервещественного пространства (то есть подмножеств, которые являются внутренними в смысле нестандартного анализа).
2. Для каждого внутреннего множества A определяется его Loeb-мера как стандартная часть гипервещественного значения μ(A), то есть μ_L(A) = st(μ(A)), где st — функция взятия стандартной части (ближайшего стандартного вещественного числа).
3. Эта функция продолжается на σ-алгебру, порождённую внутренними множествами, с помощью стандартной процедуры продолжения меры (теорема Каратеодори). Полученное продолжение является счетно-аддитивной мерой, называемой Loeb-мерой.

Свойства

• Счетная аддитивность: Loeb-мера является счетно-аддитивной мерой, в отличие от *-конечной меры, которая является лишь конечно-аддитивной.
• Стандартность: Значения Loeb-меры являются стандартными вещественными числами (включая +∞).
• Связь с мерой Лебега: Для стандартного отрезка [0,1] Loeb-мера, построенная на гиперконечной решётке с шагом dx = 1/N (где *N — бесконечно большое гипернатуральное число), совпадает с мерой Лебега на борелевских подмножествах отрезка. Таким образом, Loeb-мера является нестандартным представлением классической меры Лебега.
• Полнота: Loeb-мера является полной: любое подмножество множества нулевой меры измеримо и имеет нулевую меру.

Применение

Loeb-мера нашла широкое применение в различных областях математики, где требуется сочетание дискретных и непрерывных методов.

Теория вероятностей

Одно из наиболее важных применений Loeb-меры — построение вероятностных пространств, моделирующих случайные процессы с непрерывным временем. Например, с помощью Loeb-меры можно построить гиперконечную модель броуновского движения, где траектории представляются как случайные блуждания на гиперконечной решётке с бесконечно малым шагом. Затем, применяя конструкцию Loeb, получают стандартное броуновское движение. Этот подход позволяет использовать комбинаторные и дискретные методы для доказательства теорем о непрерывных случайных процессах.

Теория меры и функциональный анализ

Loeb-мера используется для построения нестандартных моделей пространств с мерой, в частности, для изучения пространств L^p. С её помощью можно переносить результаты из теории гиперконечных сумм (дискретных аналогов интегралов) на интегралы Лебега. Это упрощает доказательство многих теорем, таких как теорема Радона — Никодима или теорема Фубини, в рамках нестандартного анализа.

Эргодическая теория

В эргодической теории Loeb-мера применяется для построения нестандартных моделей динамических систем. Например, с её помощью можно изучать свойства инвариантных мер и эргодических теорем, используя гиперконечные аппроксимации.

Математическая физика

Loeb-мера используется в конструктивной квантовой теории поля и статистической механике. В частности, она позволяет строго определять функциональные интегралы (интегралы по траекториям) как пределы гиперконечных сумм, что даёт альтернативный подход к построению мер на пространствах функций.

Теория игр и экономика

В математической экономике и теории игр Loeb-мера применяется для моделирования континуумов агентов. Например, с её помощью можно строго определить пространство игроков с континуумом участников, что используется в моделях совершенной конкуренции и в теории равновесия.

Примеры

Пример 1: Гиперконечная решётка на отрезке

Рассмотрим отрезок [0,1] и выберем бесконечно большое гипернатуральное число N. Построим гиперконечную решётку точек: t_k = k/N, где k = 0, 1, 2, ..., N. Шаг решётки равен dx = 1/N — бесконечно малая величина. Определим -конечную меру μ на этой решётке как считающую меру, умноженную на dx: для любого внутреннего подмножества A решётки μ(A) = (число точек в A) dx. Тогда Loeb-мера μ_L, построенная по этой -конечной мере, совпадает с мерой Лебега на отрезке [0,1]. В частности, для любого стандартного борелевского множества B ⊆ [0,1] его Loeb-мера равна его мере Лебега.

Пример 2: Гиперконечное вероятностное пространство

Пусть задано гиперконечное множество Ω = {1, 2, ..., N} с равномерной -конечной вероятностью: P(ω) = 1/N для каждого ω. Тогда Loeb-мера, построенная по этой вероятности, задаёт стандартное вероятностное пространство, в котором каждое внутреннее подмножество имеет вероятность, равную стандартной части отношения числа его элементов к N. Это пространство изоморфно (в смысле теории меры) отрезку [0,1] с мерой Лебега.

Критика и ограничения

Конструкция Loeb-меры опирается на аксиоматику нестандартного анализа, которая, в свою очередь, использует ультрафильтры и теорему компактности. Это делает её неприемлемой для математиков, придерживающихся строго конструктивных или интуиционистских подходов. Кроме того, Loeb-мера не является конструктивной в том смысле, что её построение требует выбора ультрафильтра (или, эквивалентно, использования аксиомы выбора). В рамках стандартной теории меры существуют альтернативные подходы, такие как теория меры на компактных пространствах или теория меры на пространствах функций, которые не требуют привлечения нестандартного анализа. Однако для многих приложений, особенно в теории вероятностей и математической физике, Loeb-мера предоставляет удобный и интуитивно понятный язык.

Связь с другими понятиями

• Мера Лебега: Loeb-мера является нестандартным представлением меры Лебега, позволяющим рассматривать её как предел гиперконечных сумм.
• -конечная мера: Исходная -конечная мера, заданная на гиперконечной решётке, является гипервещественным аналогом конечно-аддитивной меры.
• Стандартная часть: Функция взятия стандартной части играет ключевую роль в определении Loeb-меры, переводя гипервещественные значения в стандартные вещественные числа.
• Теория меры на пространствах функций: Loeb-мера используется для построения мер на пространствах траекторий случайных процессов, таких как винеровская мера.

Литература

• Loeb, P. A. (1975). «Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory». Transactions of the American Mathematical Society, 211, 113–122.
• Albeverio, S., Fenstad, J. E., Høegh-Krohn, R., & Lindstrøm, T. (1986). «Nonstandard Methods in Stochastic Analysis and Mathematical Physics». Academic Press.
• Hurd, A. E., & Loeb, P. A. (1985). «An Introduction to Nonstandard Real Analysis». Academic Press.
• Cutland, N. J. (1983). «Nonstandard Measure Theory and its Applications». Bulletin of the London Mathematical Society, 15(6), 529–589.
• Gordon, E. I. (1991). «Нестандартный анализ и теория меры». Успехи математических наук, 46(4), 63–112.