Теория меры
Интеграл Лебега: построение и свойства
Квантовая механика работает с функциями из пространства L²(ℝ) - квадратично интегрируемыми по Лебегу. Без интеграла Лебега невозможно построить гильбертово пространство волновых функций, и вся квантовая теория рассыпалась бы.
- Квантовая механика: пространство состояний L²(ℝ) определяется через интеграл Лебега
- Теория вероятностей: матожидание - интеграл Лебега случайной величины
- Обработка сигналов: преобразование Фурье обоснованно именно для L²-функций
- Машинное обучение: минимизация функции потерь в L²-метрике
Предварительные знания
Лебег vs Риман: разбиение области значений
Интеграл Римана делит область определения (ось x) на отрезки и суммирует площади прямоугольников. Интеграл Лебега делит область значений (ось y) на полосы и измеряет «обратный образ» каждой полосы. Это позволяет интегрировать функции с разрывами на плотном множестве.
**Функция Дирихле** f(x) = 1{x∈ℚ} - классический пример: разрывна в каждой точке, интеграл Римана не существует. Лебег: ∫₀¹ f dμ = 1·μ(ℚ∩[0,1]) + 0·μ((ℝ\ℚ)∩[0,1]) = 1·0 + 0·1 = 0.
Почему интеграл Лебега от функции Дирихле на [0,1] равен 0?
Простые функции и конструкция интеграла
**Простая функция** s: X → ℝ принимает конечное число значений: s = Σᵢ aᵢ · 1_{Aᵢ}, где Aᵢ - измеримые множества. Интеграл простой функции определяется явно: ∫ s dμ = Σᵢ aᵢ · μ(Aᵢ). Для произвольной неотрицательной f: ∫ f dμ = sup{∫ s dμ : 0 ≤ s ≤ f, s простая}.
Простая функция s = 3·1_{[0,1]} + 5·1_{[2,4]}. Чему равен ∫ s dμ?
Теоремы о предельном переходе под знаком интеграла
Главная сила интеграла Лебега - теоремы, позволяющие переставлять предел и интеграл. В классическом анализе это требовало равномерной сходимости; Лебег ослабляет условие.
**Теорема Лебега о монотонной сходимости (MCT):** Если fₙ ↗ f (монотонно возрастают почти всюду), то ∫ fₙ dμ → ∫ f dμ. **Лемма Фату:** Для неотрицательных fₙ: ∫ lim inf fₙ dμ ≤ lim inf ∫ fₙ dμ. **Теорема Лебега о доминируемой сходимости (DCT):** Если |fₙ| ≤ g, ∫ g dμ < ∞ и fₙ → f почти всюду, то ∫ fₙ dμ → ∫ f dμ.
Теорема о доминируемой сходимости требует существования «мажоранты» g с ∫g dμ < ∞. Зачем это условие?
Ключевые идеи
- Лебег разбивает ось y (значения), Риман - ось x (область определения)
- Простые функции s = Σ aᵢ 1_{Aᵢ}: ∫ s dμ = Σ aᵢ μ(Aᵢ)
- Интеграл от f ≥ 0: супремум интегралов простых функций ≤ f
- MCT: монотонная сходимость ⟹ сходимость интегралов
- DCT: мажоранта в L¹ ⟹ предел под знаком интеграла
Связанные темы
Интеграл Лебега - фундамент для всех продвинутых разделов анализа:
- Пространства Lp — Функциональный анализ строится на интеграле Лебега
- Теория вероятностей — Матожидание = интеграл Лебега относительно вероятностной меры
Вопросы для размышления
- Почему разбиение оси значений (Лебег) принципиально мощнее разбиения оси аргументов (Риман)?
- Найдите пример последовательности функций fₙ, для которой lim ∫ fₙ ≠ ∫ lim fₙ - что нарушает условия DCT?
- Как связаны DCT и принцип равномерной интегрируемости?