Теория меры
Регулярные меры и теорема Риса
Теорема Риса объясняет, почему вероятностные меры и функции распределения - это одно и то же. Любой способ линейно вычислять среднее значение функции - это интегрирование по некоторой мере. Это фундамент для понимания дуальности в функциональном анализе и оптимального транспорта.
- Теория оптимального транспорта: расстояние Вассерштейна через регулярные меры
- Численные методы: квадратурные правила (взвешенные суммы) ↔ дискретные меры (теорема Риса)
- Байесовская статистика: приоры как регулярные меры на пространстве параметров
- GAN (Generative Adversarial Networks): дискриминатор оценивает функционал Риса
Регулярность мер: приближение открытыми и компактными
Меры Радона лежат в основе ML: расстояние Вассерштейна в GAN (2017) использует σ-конечные борелевские меры на компакте. Борелевская мера μ на локально компактном хаусдорфовом пространстве X называется **регулярной**, если она одновременно **внешне регулярна** (μ(E) = inf{μ(U) : U ⊇ E открыто}) и **внутренне регулярна** (μ(E) = sup{μ(K) : K ⊆ E компактно}). Регулярность означает: меру можно «приблизить» сколь угодно точно открытыми или компактными множествами.
**Регулярность на ℝⁿ:** Мера Лебега λⁿ регулярна на ℝⁿ: - Внешняя: для любого E и ε>0 существует открытое U ⊇ E с λⁿ(U) < λⁿ(E) + ε - Внутренняя: для любого E и ε>0 существует компактное K ⊆ E с λⁿ(K) > λⁿ(E) - ε **Мера Радона** = локально конечная, внутренне регулярная борелевская мера (стандартный класс в геометрическом анализе). **Мера Дирака δₓ** регулярна: δₓ(E) = 1 если x∈E, 0 иначе. Внутренняя регулярность: K = {x} ⊆ E при x∈E - компакт с δₓ(K) = 1.
Что значит, что мера μ является внутренне регулярной?
Теорема Риса: функционалы ↔ меры
**Теорема Риса (представление):** Пусть X - локально компактное хаусдорфово пространство, C₀(X) - пространство непрерывных функций, стремящихся к 0 на бесконечности. Тогда для любого **положительного линейного функционала** Λ: C₀(X) → ℝ (Λ(f) ≥ 0 при f ≥ 0) существует единственная регулярная борелевская мера μ такая, что Λ(f) = ∫f dμ для всех f ∈ C₀(X).
**Смысл теоремы Риса:** «Каждый способ линейно оценивать функции - это интегрирование по некоторой мере». Примеры функционалов: - Λ(f) = f(x₀) → мера Дирака δₓ₀ - Λ(f) = ∫₀¹ f(x)dx → мера Лебега на [0,1] - Λ(f) = Σ cₙ·f(xₙ) → дискретная мера Σ cₙ·δₓₙ - Λ(f) = ∫₀¹ f(x)·w(x)dx → мера с плотностью w **Дуальность:** (C₀(X))* ≅ M(X) - пространство конечных регулярных борелевских мер. Это ключевое утверждение функционального анализа, связывающее «классическое» и «мерное» интегрирование.
Какому функционалу Λ: C₀(ℝ) → ℝ соответствует мера Дирака δₐ по теореме Риса?
Интеграл Лебега-Стилтьеса и меры на ℝ
**Интеграл Лебега-Стилтьеса** ∫f dF - обобщение интеграла Римана-Стилтьеса: для любой монотонно неубывающей правонепрерывной функции F: ℝ → ℝ существует единственная борелевская мера μ_F с μ_F((a,b]) = F(b) - F(a). Обратно, каждая конечная борелевская мера на ℝ задаётся такой функцией F (функцией распределения).
**Соответствие функций и мер на ℝ:**
| Тип F | Мера μ_F | Пример |
|---|---|---|
| F(x) = x (непрерывная) | Мера Лебега λ | ∫f dx |
| F(x) = 1_{x≥0} (ступенька) | Дирак δ₀ | f(0) |
| F(x) = (1-e^{-x})·1_{x≥0} | Экспоненц. распределение | ∫₀^∞ f e^{-x}dx |
| F - функция распр. случ. вел. X | Распределение P_X | E[f(X)] |
| F - Кантор (непрерывная, но const п.в.) | Мера Кантора (⊥ Лебег) | - |
**Теорема Риса + Стилтьес:** Каждая конечная регулярная мера на ℝ ↔ функция распределения (правонепрерывная, монотонная). Это мост между «вероятностным» и «мерным» языками.
Какая мера μ_F соответствует функции F(x) = 1_{x ≥ 0} (скачок в нуле) через интеграл Лебега-Стилтьеса?
Ключевые идеи
- Регулярная мера: внешне (через открытые) и внутренне (через компакты) приближаемая
- Теорема Риса: Λ положительный линейный функционал на C₀(X) ↔ ∃! регулярная мера μ с Λ(f) = ∫f dμ
- Λ(f) = f(a) ↔ δₐ; Λ(f) = ∫f dx ↔ мера Лебега
- (C₀(X))* ≅ M(X) - пространство регулярных мер
- Интеграл Лебега-Стилтьеса: ∫f dF, F - функция распределения ↔ борелевская мера
- Мера Кантора: пример регулярной меры, сингулярной по отношению к Лебегу
Связанные темы
Теорема Риса - точка соприкосновения теории меры и функционального анализа:
- Теорема Радона-Никодима — R-H: абсолютно непрерывные меры имеют плотность; теорема Риса: все меры = функционалы
- Эргодическая теория — Инвариантные меры - регулярные меры с дополнительной структурой
Вопросы для размышления
- Как теорема Риса связана с квадратурными формулами в численном интегрировании?
- Может ли слабая сходимость мер μₙ → μ быть выражена через теорему Риса? (Подсказка: это сходимость как функционалов на C₀(X).)
- Чем мера Кантора отличается от меры Лебега и меры Дирака? На каком пространстве она 'живёт'?