Теорія мір

📏 Що таке теорія мір?

Теорія мір — це розділ математики, що узагальнює поняття довжини, площі та об'єму на абстрактні множини. Вона надає фундаментальні інструменти для визначення інтегралів, вимірювання множин та вивчення властивостей функцій. Теорія мір є основою для багатьох розділів математики, включаючи теорію ймовірностей, функціональний аналіз та диференціальну геометрію.

🎯 Основні розділи теорії мір:

σ-алгебри - класи множин, замкнені відносно операцій

Міри - функції, що вимірюють "розмір" множин

Інтеграли Лебега - узагальнення інтеграла Рімана

Простори L^p - функціональні простори

Продукт мір - міри на декартових добутках

📏 σ-алгебри

1. Визначення та властивості

Класи множин, замкнені відносно операцій:

📏 σ-алгебра

Визначення:

Аксіоми:

📏 Борелівська σ-алгебра

Визначення: • B(ℝ) - найменша σ-алгебра, що містить всі інтервали • B(ℝⁿ) - для ℝⁿ • Відкриті множини • Замкнені множини

Властивості: • Всі інтервали • Всі відкриті множини • Всі замкнені множини • Всі компактні множини

📏 Мінімальна σ-алгебра

Генерація σ-алгебри: • σ(𝒞) - найменша σ-алгебра, що містить 𝒞 • 𝒞 - клас підмножин X • Перетин всіх σ-алгебр, що містить 𝒞 • Єдиність

Приклади: • σ({A}) = {∅, A, A^c, X} • σ(відкриті інтервали) = B(ℝ) • σ(циліндричні множини) • σ(проекції)

📏 Монтонні класи

Визначення: • 𝒞 - монтонний клас, якщо: • A_n ↗ A, A_n ∈ 𝒞 ⇒ A ∈ 𝒞 • A_n ↘ A, A_n ∈ 𝒞 ⇒ A ∈ 𝒞 • Монтонний клас містить алгебру • Теорема про монтонні класи

Застосування: • Доведення рівності мір • Єдиність розширення • Теорема Каратеодорі • Продукт мір

2. Вимірювані функції

Функції, сумісні з σ-алгеброю:

📏 Вимірювана функція

Визначення:

Еквівалентні умови:

Σ ⊆ P(X) - σ-алгебра на X, якщо:

📏 Міри

1. Визначення та властивості

Функції, що вимірюють "розмір" множин:

📏 Міра

Визначення:

Аксіоми:

📏 Типи мір

Скінченні міри: • μ(X) < ∞ • Вірогіднісні міри • Нормалізовані міри • Обмежені міри

σ-скінченні міри: • X = ∪_{n=1}^∞ A_n, μ(A_n) < ∞ • Міра Лебега • Міра лічильності • Гауссові міри

📏 Властивості мір

Монотонність: • A ⊆ B ⇒ μ(A) ≤ μ(B) • Суб-аддитивність • Неперервність знизу • Неперервність зверху

Формули: • μ(A ∪ B) = μ(A) + μ(B) - μ(A ∩ B) • μ(A \ B) = μ(A) - μ(A ∩ B) • μ(∪_{n=1}^∞ A_n) ≤ Σ_{n=1}^∞ μ(A_n) • μ(∩_{n=1}^∞ A_n) = lim_{n→∞} μ(A_n)

📏 Зовнішні міри

Визначення: • μ*: P(X) → [0,∞] • μ*(∅) = 0 • μ*(A) ≤ μ*(B) для A ⊆ B • μ*(∪_{n=1}^∞ A_n) ≤ Σ_{n=1}^∞ μ*(A_n)

Теорема Каратеодорі: • Міра Каратеодорі • Вимірювані множини • Розширення міри • Єдиність

2. Конструкція мір

Способи побудови мір:

📏 Міра Лебега

На ℝ: • λ((a,b)) = b - a • λ([a,b]) = b - a • λ({a}) = 0 • λ(ℚ) = 0

На ℝⁿ: • λⁿ((a₁,b₁) × ... × (aₙ,bₙ)) = ∏_{i=1}^n (b_i - a_i) • n-вимірний об'єм • Інваріантність відносно переміщень • Інваріантність відносно обертань

📏 Міра лічильності

Визначення: • μ(A) = |A| - кількість елементів • μ(∅) = 0 • μ({x}) = 1 • μ(скінченна множина) = кількість елементів

Властивості: • σ-скінченна • Дискретна • Локально скінченна • Атомарна

📏 Гауссова міра

На ℝ: • μ(A) = (1/√(2πσ²)) ∫_A e^{-(x-μ)²/(2σ²)} dx • Параметри μ, σ • Нормальний розподіл • Центральна гранична теорема

На ℝⁿ: • Багатовимірний нормальний розподіл • Коваріаційна матриця • Незалежність компонент • Лінійні перетворення

μ: Σ → [0,∞] - міра, якщо:

📏 Інтеграли Лебега

1. Визначення та властивості

Узагальнення інтеграла Рімана:

📏 Інтеграл Лебега

Прості функції:

Інтеграл простої функції:

Інтеграл невід'ємної функції:

📏 Властивості інтеграла

Лінійність: • ∫ (αf + βg) dμ = α∫ f dμ + β∫ g dμ • ∫ cf dμ = c∫ f dμ • Адитивність по області • Монотонність

Позитивність: • f ≥ 0 ⇒ ∫ f dμ ≥ 0 • f ≤ g ⇒ ∫ f dμ ≤ ∫ g dμ • f = 0 майже всюди ⇒ ∫ f dμ = 0 • ∫ f dμ = 0 ⇒ f = 0 майже всюди

📏 Порівняння з інтегралом Рімана

Переваги Лебега: • Більш загальні функції • Кращі теореми збіжності • Простіше обчислення • Теорія ймовірностей

Зв'язок: • f інтегровна за Ріманом ⇒ f інтегровна за Лебегом • Значення інтегралів збігаються • Критерій інтегровності • Приклади функцій

📏 Інтеграл комплексних функцій

Визначення: • f = u + iv • ∫ f dμ = ∫ u dμ + i∫ v dμ • Лінійність • |∫ f dμ| ≤ ∫ |f| dμ

Властивості: • ∫ f̄ dμ = (∫ f dμ)̄ • ∫ |f| dμ = ∫ √(u² + v²) dμ • Нерівність Коші-Шварца • Нерівність трикутника

2. Теореми збіжності

Фундаментальні результати теорії мір:

📏 Теорема Лебега про монотонну збіжність

Формулювання:

Умови:

📏 Теорема Лебега про доміновану збіжність

Формулювання: • |f_n| ≤ g, ∫ g dμ < ∞ • f_n → f майже всюди • ⇒ ∫ f_n dμ → ∫ f dμ

Застосування: • Обмежені послідовності • Рівномірна збіжність • Диференціювання під знаком інтеграла • Перестановка інтегралів

📏 Лемма Фату

Формулювання: • f_n ≥ 0 вимірювані • lim inf ∫ f_n dμ ≥ ∫ lim inf f_n dμ • Негативна частина

Застосування: • Оцінки знизу • Теореми збіжності • Критерії інтегровності • Приклади

📏 Теорема Віталі

Формулювання: • f_n інтегровні • f_n → f майже всюди • {f_n} рівномірно інтегровні • ⇒ ∫ f_n dμ → ∫ f dμ

Рівномірна інтегровність: • lim_{t→∞} sup_n ∫_{|f_n|>t} |f_n| dμ = 0 • Необхідна умова • Достатня умова • Критерії

φ = Σ_{i=1}^n a_i χ_{A_i}, де A_i ∈ Σ незв'язні

📏 Простори L^p

1. Визначення та властивості

Функціональні простори з інтегральними нормами:

📏 Простір L^p

Визначення:

Норма:

Спеціальні випадки:

📏 Властивості просторів L^p

Повнота: • L^p - банахів простір • Фундаментальні послідовності • Збіжність майже всюди • Збіжність в L^p

Щільність: • C_0^∞ щільні в L^p • Прості функції • Неперервні функції • Компактні носії

📏 Нерівності

Нерівність Гельдера: • ||fg||_1 ≤ ||f||_p ||g||_q • 1/p + 1/q = 1 • p = q = 2 (Коші-Шварца) • Загальні випадки

Нерівність Мінковського: • ||f + g||_p ≤ ||f||_p + ||g||_p • Трикутна нерівність • p ≥ 1 • p < 1

📏 Двоїстість

Теорема Рісса: • (L^p)* ≅ L^q для 1 ≤ p < ∞ • 1/p + 1/q = 1 • L^∞ ≇ (L^1)* • Рефлексивність

Функціонали: • T_g(f) = ∫ fg dμ • ||T_g|| = ||g||_q • Повнота • Єдиність

2. L^2 як гільбертів простір

Спеціальний випадок з внутрішнім добутком:

📏 Внутрішній добуток в L^2

Визначення:

Властивості:

Ортогональність:

L^p(X,μ) = {f: X → ℝ | ∫_X |f|^p dμ < ∞}

📏 Продукт мір

1. Конструкція продукт мір

Міри на декартових добутках:

📏 Продукт σ-алгебр

Визначення:

Продукт мір:

Теорема Фубіні:

📏 Теорема Тонеллі

Формулювання: • f ≥ 0 вимірювана • ∫_X (∫_Y f(x,y) dμ₂(y)) dμ₁(x) < ∞ • ⇒ f інтегровна за μ₁ × μ₂

Застосування: • Перестановка інтегралів • Обчислення об'ємів • Згортки • Функціональні рівняння

📏 Теорема Фубіні-Тонеллі

Формулювання: • f інтегровна за μ₁ × μ₂ • ⇒ ∫_X (∫_Y f(x,y) dμ₂(y)) dμ₁(x) = ∫_Y (∫_X f(x,y) dμ₁(x)) dμ₂(y) • = ∫_{X×Y} f d(μ₁ × μ₂)

Умови: • f вимірювана • Один з повторних інтегралів скінченний • f ≥ 0 або f інтегровна • Теорема Тонеллі

📏 Згортки

Визначення: • (f * g)(x) = ∫_ℝ f(x-y)g(y) dy • Для f,g ∈ L¹(ℝ) • ||f * g||₁ ≤ ||f||₁ ||g||₁ • Асоціативність

Властивості: • f * g = g * f • (f * g) * h = f * (g * h) • f * δ = f (дельта-функція) • Перетворення Фур'є

Σ₁ ⊗ Σ₂ = σ({A₁ × A₂ | A₁ ∈ Σ₁, A₂ ∈ Σ₂})

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

1. Абсолютна неперервність

Відношення між мірами:

📏 Абсолютна неперервність

Визначення:

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

Єдиність:

📏 Щільність мір

Визначення: • f - щільність ν відносно μ • dν/dμ = f • Правило ланцюга • Правило добутку

Властивості: • dν/dμ ≥ 0 майже всюди • ∫ dν/dμ dμ = ν(X) • d(ν₁ + ν₂)/dμ = dν₁/dμ + dν₂/dμ • d(cν)/dμ = c dν/dμ

📏 Розкладення Лебега

Формулювання: • ν = ν_a + ν_s • ν_a ≪ μ (абсолютно неперервна) • ν_s ⊥ μ (сингулярна) • Єдиність

Застосування: • Теорія ймовірностей • Функціональний аналіз • Операторна теорія • Теорія розподілів

📏 Теорема Йордана

Формулювання: • ν = ν⁺ - ν⁻ • ν⁺, ν⁻ - позитивні міри • ν⁺ ⊥ ν⁻ • Єдиність

Застосування: • Теорія мір • Функціональний аналіз • Теорія операторів • Спектральна теорія

ν ≪ μ, якщо μ(A) = 0 ⇒ ν(A) = 0

📏 Застосування

1. Теорія ймовірностей

Теорія мір як основа теорії ймовірностей:

📏 Вірогіднісні міри

Визначення: • P: Σ → [0,1] - вірогіднісна міра • P(X) = 1 • P(∅) = 0 • σ-аддитивність

Випадкові величини: • X: Ω → ℝ вимірювана • E[X] = ∫_Ω X dP • Var(X) = E[(X - E[X])²] • Функція розподілу

📏 Незалежність

Визначення: • A,B незалежні: P(A ∩ B) = P(A)P(B) • X,Y незалежні: P(X ∈ A, Y ∈ B) = P(X ∈ A)P(Y ∈ B) • σ-алгебри незалежні • Послідовності незалежні

Властивості: • E[XY] = E[X]E[Y] • Var(X + Y) = Var(X) + Var(Y) • Функції незалежних величин незалежні • Закон великих чисел

📏 Умовні ймовірності

Визначення: • P(A|B) = P(A ∩ B)/P(B) • Умовна міра • Теорема Байєса • Марковські властивості

Умовні очікування: • E[X|𝒢] - умовне очікування • Мартингали • Теорема про зупинку • Стохастичні процеси

2. Функціональний аналіз

Теорія мір в функціональному аналізі:

📏 Простори L^p

Банахові простори: • L^p - повні нормовані простори • Теорема Рісса-Фішера • Двоїстість • Рефлексивність

Гільбертові простори: • L^2 - гільбертів простір • Ортогональні системи • Базис • Перетворення Фур'є

📏 Оператори

Інтегральні оператори: • (Kf)(x) = ∫ k(x,y)f(y) dμ(y) • Ядро k(x,y) • Компактність • Спектр

Множення: • (M_φ f)(x) = φ(x)f(x) • φ ∈ L^∞ • Норма ||M_φ|| = ||φ||_∞ • Спектр

📏 Міри на просторах

Борелівські міри: • Міри на топологічних просторах • Регулярність • Компактність • Продукт мір

Гауссові міри: • На банахових просторах • Коваріаційні оператори • Характеристичні функції • Центральні граничні теореми

🎯 Висновки

Теорія мір є фундаментальним розділом математики, що узагальнює поняття довжини, площі та об'єму на абстрактні множини. Вона включає σ-алгебри, міри, інтеграли Лебега, теореми збіжності, простори L^p, продукт мір та теорему Радона-Нікодима. Теорія мір має широке застосування в математиці, включаючи теорію ймовірностей, функціональний аналіз та диференціальну геометрію, надаючи фундаментальні інструменти для визначення інтегралів, вимірювання множин та вивчення властивостей функцій.

📚 Пов'язані теми

Математика

Аналіз

Ймовірність

Статистика

Функціональний аналіз

📏 Розділи теорії мір

σ-алгебри

Міри

Інтеграли Лебега

Простори L^p

Продукт мір

🔬 Основні поняття

Борелівська σ-алгебра

Міра Лебега

Вимірювані функції

Інтеграл Лебега

Теорема Фубіні

⚡ Застосування

Теорія ймовірностей

Функціональний аналіз

Диференціальна геометрія

Теорія чисел

Фізика

📖 Рекомендована література

"Real Analysis" - Royden

"Measure Theory" - Halmos

"Real Analysis and Probability" - Dudley

"Measure Theory" - Cohn

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Spirograph і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.