Пространства мер и теорема Радона-Никодима

В финансах чёрная магия - превратить «реальную» вероятность в «риск-нейтральную». Это именно смена меры через производную Радона-Никодима. Формула Блэка-Шолса стоит на этом фундаменте.

• Финансы: риск-нейтральная мера Q ↔ реальная P через производную Р.-Н.
• Байесовский вывод: обновление вероятностей - смена меры
• Importance sampling: ускорение Монте-Карло оценок редких событий
• Машинное обучение: KL-дивергенция = логарифм производной Р.-Н.

Предварительные знания

• The Lebesgue Integral: Construction and Properties

Абсолютная непрерывность мер

Пусть μ и ν - меры на одном пространстве (X, F). Говорят, что ν **абсолютно непрерывна** относительно μ (пишут ν ≪ μ), если: μ(A) = 0 ⟹ ν(A) = 0. Иными словами: всё, что «незначимо» по μ, незначимо и по ν.

**Примеры абсолютной непрерывности:** - Нормальное распределение N(1,1) абсолютно непрерывно относительно N(0,1): если множество имеет нулевую Гауссову меру, то оба распределения дают ему 0 - Мера Лебега на [0,2] абсолютно непрерывна относительно меры Лебега на [0,1]? НЕТ - {x∈[1,2]} имеет нулевую меру по первой, но ненулевую по второй - Дискретная мера (атом в точке) НЕ абсолютно непрерывна относительно меры Лебега: μ({x₀})=0, но ν({x₀})>0

Теорема Радона-Никодима

**Теорема Радона-Никодима:** Если ν ≪ μ и μ - σ-конечная мера, то существует единственная (μ-п.в.) измеримая функция f ≥ 0 такая, что ν(A) = ∫_A f dμ для всех измеримых A. Функция f называется **производной Радона-Никодима** и обозначается dν/dμ.

**Правило цепочки для производных Р.-Н.:** Если ρ ≪ ν ≪ μ, то dρ/dμ = (dρ/dν)·(dν/dμ) (μ-п.в.). Это аналог правила цепочки из классического анализа - и именно так оно обобщается на меры.

Применения: теорема Байеса и смена меры

Теорема Радона-Никодима лежит в основе **смены меры** - техники, критической для финансовой математики и вероятностей. Если dQ/dP = Z (производная Р.-Н.), то E_Q[X] = E_P[X·Z].

Ключевые идеи

• ν ≪ μ (абсолютная непрерывность): μ(A)=0 ⟹ ν(A)=0
• Теорема Р.-Н.: если ν ≪ μ, то существует f=dν/dμ такая, что ν(A) = ∫_A f dμ
• Плотность вероятности = производная Р.-Н. относительно меры Лебега
• Смена меры: E_Q[X] = E_P[X · dQ/dP]
• Правило цепочки: d(ρ)/dμ = (dρ/dν)·(dν/dμ)

Связанные темы

Теорема Радона-Никодима пронизывает всю математику:

• Интеграл Лебега — Производная Р.-Н. - это и есть плотность в интеграле ∫_A f dμ
• Теория вероятностей — Условное матожидание определяется как производная Р.-Н.

Вопросы для размышления

• Почему условие σ-конечности μ необходимо в теореме Р.-Н.? Постройте контрпример для не σ-конечной меры.
• Чем KL-дивергенция D_KL(Q||P) = ∫ log(dQ/dP) dQ выражает «расстояние» между мерами?
• Как производная Р.-Н. связана с отношением правдоподобия в статистике?

Связанные уроки

• top-01