1. Чому теорія міри?
Інтеграл Рімана не може інтегрувати функцію Діріхле D(x)=1 для раціональних x, 0 для ірраціональних. Теорія міри Лебега (1902) вирішила цю проблему, давши суворе визначення "розміру" складних множин і побудувавши на цьому потужний апарат інтегрування.
💡 Основна ідея Лебега: замість того, щоб ділити область інтегрування по осі X (Ріман), поділимо множину значень по осі Y і виміряємо "скільки" точок x дають кожне значення → міра прообразу.
2. σ-алгебри та вимірні простори
Означення: σ-алгебра
Нехай X — множина. Сімейство підмножин ℱ ⊆ 2^X є σ-алгеброю, якщо:
1. X ∈ ℱ
2. A ∈ ℱ ⟹ Aᶜ = X\A ∈ ℱ (замкненість відносно доповнень)
3. Aₙ ∈ ℱ (n=1,2,...) ⟹ ⋃_{n=1}^∞ Aₙ ∈ ℱ (зліченні об'єднання)
// Пара (X, ℱ) — вимірний простір, елементи ℱ — вимірні множини
2. A ∈ ℱ ⟹ Aᶜ = X\A ∈ ℱ (замкненість відносно доповнень)
3. Aₙ ∈ ℱ (n=1,2,...) ⟹ ⋃_{n=1}^∞ Aₙ ∈ ℱ (зліченні об'єднання)
// Пара (X, ℱ) — вимірний простір, елементи ℱ — вимірні множини
Борелева σ-алгебра
// Борелева σ-алгебра ℬ(ℝ) — найменша σ-алгебра, що містить всі відкриті множини ℝ
ℬ(ℝ) = σ({(a,b) : a < b}) (породжена відкритими інтервалами)
// Борелеві множини ℝ містять:
• Всі відкриті множини
• Всі замкнені множини
• Всі зліченні перетини відкритих (Gδ-множини)
• Всі зліченні об'єднання замкнених (Fσ-множини)
• ...і набагато більше
// НЕ кожна підмножина ℝ борелева (і навіть не вимірна за Лебегом)
// Non-measurable set: множина Вітали (потребує аксіому вибору)
ℬ(ℝ) = σ({(a,b) : a < b}) (породжена відкритими інтервалами)
// Борелеві множини ℝ містять:
• Всі відкриті множини
• Всі замкнені множини
• Всі зліченні перетини відкритих (Gδ-множини)
• Всі зліченні об'єднання замкнених (Fσ-множини)
• ...і набагато більше
// НЕ кожна підмножина ℝ борелева (і навіть не вимірна за Лебегом)
// Non-measurable set: множина Вітали (потребує аксіому вибору)
3. Міра та простір з мірою
Означення: міра
μ: ℱ → [0, +∞] — міра, якщо:
1. μ(∅) = 0
2. σ-адитивність: для попарно неспільних Aₙ ∈ ℱ:
μ(⋃_{n=1}^∞ Aₙ) = Σ_{n=1}^∞ μ(Aₙ)
// Трійка (X, ℱ, μ) — простір з мірою
1. μ(∅) = 0
2. σ-адитивність: для попарно неспільних Aₙ ∈ ℱ:
μ(⋃_{n=1}^∞ Aₙ) = Σ_{n=1}^∞ μ(Aₙ)
// Трійка (X, ℱ, μ) — простір з мірою
Властивості міри
// Монотонність: A ⊆ B ⟹ μ(A) ≤ μ(B)
// Неперервність знизу: Aₙ↑A ⟹ μ(Aₙ)↑μ(A)
// Неперервність зверху: Aₙ↓A, μ(A₁)<∞ ⟹ μ(Aₙ)↓μ(A)
// Субадитивність: μ(⋃Aₙ) ≤ Σμ(Aₙ)
// Формула включень-виключень:
μ(A∪B) = μ(A) + μ(B) − μ(A∩B)
// Неперервність знизу: Aₙ↑A ⟹ μ(Aₙ)↑μ(A)
// Неперервність зверху: Aₙ↓A, μ(A₁)<∞ ⟹ μ(Aₙ)↓μ(A)
// Субадитивність: μ(⋃Aₙ) ≤ Σμ(Aₙ)
// Формула включень-виключень:
μ(A∪B) = μ(A) + μ(B) − μ(A∩B)
Міра Лебега на ℝ
// Міра Лебега λ на ℝ: λ((a,b)) = b − a
λ((a,b)) = λ([a,b]) = λ([a,b)) = b − a
λ({x}) = 0 для будь-якої точки
λ(ℚ) = 0 (раціональні — зліченна множина нульової міри)
λ(ℝ\ℚ) = +∞ (ірраціональні)
// Множина Кантора C: λ(C) = 0, але |C| = 2^ℵ₀ (незліченна!)
// Узагальнення: λⁿ на ℝⁿ: λⁿ(прямокутник) = добуток довжин сторін
λ((a,b)) = λ([a,b]) = λ([a,b)) = b − a
λ({x}) = 0 для будь-якої точки
λ(ℚ) = 0 (раціональні — зліченна множина нульової міри)
λ(ℝ\ℚ) = +∞ (ірраціональні)
// Множина Кантора C: λ(C) = 0, але |C| = 2^ℵ₀ (незліченна!)
// Узагальнення: λⁿ на ℝⁿ: λⁿ(прямокутник) = добуток довжин сторін
4. Вимірні функції
Означення
f: (X,ℱ) → (Y,𝒢) — вимірна, якщо:
∀B ∈ 𝒢: f⁻¹(B) ∈ ℱ
// Для f: X→ℝ достатньо перевірити прообрази (−∞, a]:
f борелева ⟺ ∀a ∈ ℝ: {x : f(x) ≤ a} ∈ ℱ
∀B ∈ 𝒢: f⁻¹(B) ∈ ℱ
// Для f: X→ℝ достатньо перевірити прообрази (−∞, a]:
f борелева ⟺ ∀a ∈ ℝ: {x : f(x) ≤ a} ∈ ℱ
Прості функції
// Проста (ступінчаста) функція:
φ(x) = Σᵢ cᵢ · 𝟏_{Aᵢ}(x) де Aᵢ ∈ ℱ, cᵢ ≥ 0
(𝟏_A — індикаторна функція: 𝟏_A(x)=1 якщо x∈A, інакше 0)
// Апроксимація: будь-яку вимірну f ≥ 0 можна апроксимувати простими:
φₙ(x) = Σ_{k=0}^{n·2ⁿ−1} (k/2ⁿ)·𝟏_{f⁻¹([k/2ⁿ,(k+1)/2ⁿ))}(x) + n·𝟏_{f⁻¹([n,∞))}(x)
φₙ ↑ f рівномірно (якщо f обмежена)
φ(x) = Σᵢ cᵢ · 𝟏_{Aᵢ}(x) де Aᵢ ∈ ℱ, cᵢ ≥ 0
(𝟏_A — індикаторна функція: 𝟏_A(x)=1 якщо x∈A, інакше 0)
// Апроксимація: будь-яку вимірну f ≥ 0 можна апроксимувати простими:
φₙ(x) = Σ_{k=0}^{n·2ⁿ−1} (k/2ⁿ)·𝟏_{f⁻¹([k/2ⁿ,(k+1)/2ⁿ))}(x) + n·𝟏_{f⁻¹([n,∞))}(x)
φₙ ↑ f рівномірно (якщо f обмежена)
5. Інтеграл Лебега
// Крок 1. Для простої функції φ = Σᵢ cᵢ 𝟏_{Aᵢ}:
∫_X φ dμ = Σᵢ cᵢ · μ(Aᵢ)
// Крок 2. Для вимірної f ≥ 0:
∫_X f dμ = sup{∫_X φ dμ : φ проста, 0 ≤ φ ≤ f}
// Крок 3. Для загальної f = f⁺ − f⁻ (де f⁺=max(f,0), f⁻=max(−f,0)):
∫_X f dμ = ∫_X f⁺ dμ − ∫_X f⁻ dμ (якщо хоча б один кінцевий)
// Зв'язок з інтегралом Рімана:
f інтегровна за Ріманом на [a,b] ⟹ f інтегровна за Лебегом
і обидва інтеграли рівні
Але: f=𝟏_ℚ: інтеграл Лебега = 0, за Ріманом — не існує
∫_X φ dμ = Σᵢ cᵢ · μ(Aᵢ)
// Крок 2. Для вимірної f ≥ 0:
∫_X f dμ = sup{∫_X φ dμ : φ проста, 0 ≤ φ ≤ f}
// Крок 3. Для загальної f = f⁺ − f⁻ (де f⁺=max(f,0), f⁻=max(−f,0)):
∫_X f dμ = ∫_X f⁺ dμ − ∫_X f⁻ dμ (якщо хоча б один кінцевий)
// Зв'язок з інтегралом Рімана:
f інтегровна за Ріманом на [a,b] ⟹ f інтегровна за Лебегом
і обидва інтеграли рівні
Але: f=𝟏_ℚ: інтеграл Лебега = 0, за Ріманом — не існує
Лінійність та інші властивості
// Лінійність:
∫(αf + βg)dμ = α∫f dμ + β∫g dμ
// Монотонність: f ≤ g μ-майже скрізь ⟹ ∫f dμ ≤ ∫g dμ
// Адитивність по множині: ∫_{A∪B} f dμ = ∫_A f dμ + ∫_B f dμ (A∩B=∅)
// Нульові множини: f=g μ-м.с. ⟹ ∫f dμ = ∫g dμ
// f = 0 μ-м.с. ⟺ ∫|f| dμ = 0
∫(αf + βg)dμ = α∫f dμ + β∫g dμ
// Монотонність: f ≤ g μ-майже скрізь ⟹ ∫f dμ ≤ ∫g dμ
// Адитивність по множині: ∫_{A∪B} f dμ = ∫_A f dμ + ∫_B f dμ (A∩B=∅)
// Нульові множини: f=g μ-м.с. ⟹ ∫f dμ = ∫g dμ
// f = 0 μ-м.с. ⟺ ∫|f| dμ = 0
6. Теореми збіжності
Теорема Леві (MCT — Monotone Convergence Theorem)
// Теорема (Леві, 1906):
Якщо 0 ≤ f₁ ≤ f₂ ≤ ... і fₙ→f μ-μ.с., то:
lim_{n→∞} ∫fₙ dμ = ∫f dμ
// Тобто: для монотонних послідовностей можна міняти ліміт і інтеграл
// Наслідок: ∫Σfₙ dμ = Σ∫fₙ dμ (для невід'ємних fₙ)
Якщо 0 ≤ f₁ ≤ f₂ ≤ ... і fₙ→f μ-μ.с., то:
lim_{n→∞} ∫fₙ dμ = ∫f dμ
// Тобто: для монотонних послідовностей можна міняти ліміт і інтеграл
// Наслідок: ∫Σfₙ dμ = Σ∫fₙ dμ (для невід'ємних fₙ)
Лема Фату
// Лема Фату: для невід'ємних вимірних функцій fₙ ≥ 0:
∫(lim inf fₙ) dμ ≤ lim inf ∫fₙ dμ
// Де lim inf f = sup_n inf_{k≥n} f_k
// Нерівність може бути строгою!
// Приклад: fₙ = n·𝟏_{[0,1/n]}: ∫fₙ=1, але fₙ→0
∫0 dλ = 0 ≤ lim inf(1) = 1 ✓ (але ≠)
∫(lim inf fₙ) dμ ≤ lim inf ∫fₙ dμ
// Де lim inf f = sup_n inf_{k≥n} f_k
// Нерівність може бути строгою!
// Приклад: fₙ = n·𝟏_{[0,1/n]}: ∫fₙ=1, але fₙ→0
∫0 dλ = 0 ≤ lim inf(1) = 1 ✓ (але ≠)
Теорема Лебега (DCT — Dominated Convergence Theorem)
// Теорема (Лебег, 1908):
Якщо fₙ→f μ-м.с., і ∃ інтегровна g ≥ 0 така що |fₙ|≤g μ-м.с., то:
lim_{n→∞} ∫fₙ dμ = ∫f dμ
і також: lim_{n→∞} ∫|fₙ−f| dμ = 0
// Умова "dominated": |fₙ| ≤ g — ключова!
// Застосування: диференціювання під знаком інтеграла
d/dt ∫f(x,t)dx = ∫(∂f/∂t)(x,t)dx (якщо |∂f/∂t|≤g)
Якщо fₙ→f μ-м.с., і ∃ інтегровна g ≥ 0 така що |fₙ|≤g μ-м.с., то:
lim_{n→∞} ∫fₙ dμ = ∫f dμ
і також: lim_{n→∞} ∫|fₙ−f| dμ = 0
// Умова "dominated": |fₙ| ≤ g — ключова!
// Застосування: диференціювання під знаком інтеграла
d/dt ∫f(x,t)dx = ∫(∂f/∂t)(x,t)dx (якщо |∂f/∂t|≤g)
7. Простори Lᵖ
// p-норма (1 ≤ p < ∞):
‖f‖_p = (∫_X |f|ᵖ dμ)^{1/p}
// L∞-норма:
‖f‖_∞ = ess sup|f| = inf{M : μ({|f|>M})=0}
// Простори Lᵖ(X,μ):
Lᵖ = {f вимірна : ‖f‖_p < ∞} (клас еквівалентності μ-м.с.)
// Нерівність Гьолдера: 1/p + 1/q = 1:
∫|fg| dμ ≤ ‖f‖_p · ‖g‖_q
// Нерівність Мінковського (трикутника):
‖f+g‖_p ≤ ‖f‖_p + ‖g‖_p
// L² — гільбертів простір: ⟨f,g⟩ = ∫fg dμ
// Нерівність Коші-Буняковського: |⟨f,g⟩|² ≤ ‖f‖²·‖g‖²
‖f‖_p = (∫_X |f|ᵖ dμ)^{1/p}
// L∞-норма:
‖f‖_∞ = ess sup|f| = inf{M : μ({|f|>M})=0}
// Простори Lᵖ(X,μ):
Lᵖ = {f вимірна : ‖f‖_p < ∞} (клас еквівалентності μ-м.с.)
// Нерівність Гьолдера: 1/p + 1/q = 1:
∫|fg| dμ ≤ ‖f‖_p · ‖g‖_q
// Нерівність Мінковського (трикутника):
‖f+g‖_p ≤ ‖f‖_p + ‖g‖_p
// L² — гільбертів простір: ⟨f,g⟩ = ∫fg dμ
// Нерівність Коші-Буняковського: |⟨f,g⟩|² ≤ ‖f‖²·‖g‖²
| Простір | Норма | Тип простору | Двоїстий |
|---|---|---|---|
| L¹(μ) | ∫|f| dμ | Банахів | L∞ |
| L²(μ) | (∫|f|² dμ)^{1/2} | Гільбертів | L² |
| Lᵖ(μ) 1<p<∞ | (∫|f|ᵖ dμ)^{1/p} | Банахів | Lᵍ, 1/p+1/q=1 |
| L∞(μ) | ess sup|f| | Банахів | ⊇(L¹)*, = L¹ якщо σ-скінченна |
8. Теорема Радона-Нікодима
// ν абсолютно неперервна відносно μ (ν ≪ μ):
μ(A)=0 ⟹ ν(A)=0 ∀A∈ℱ
// Теорема Радона-Нікодима:
Якщо (X,ℱ,μ) σ-скінченний і ν ≪ μ, то ∃! вимірна h≥0:
ν(A) = ∫_A h dμ ∀A∈ℱ
h = dν/dμ — похідна Радона-Нікодима (щільність)
// Ланцюгове правило: якщо λ≪ν≪μ:
dλ/dμ = (dλ/dν)·(dν/dμ) μ-м.с.
// Застосування в теорії ймовірностей:
f_X = dP_X/dλ — щільність розподілу (якщо P_X ≪ λ)
μ(A)=0 ⟹ ν(A)=0 ∀A∈ℱ
// Теорема Радона-Нікодима:
Якщо (X,ℱ,μ) σ-скінченний і ν ≪ μ, то ∃! вимірна h≥0:
ν(A) = ∫_A h dμ ∀A∈ℱ
h = dν/dμ — похідна Радона-Нікодима (щільність)
// Ланцюгове правило: якщо λ≪ν≪μ:
dλ/dμ = (dλ/dν)·(dν/dμ) μ-м.с.
// Застосування в теорії ймовірностей:
f_X = dP_X/dλ — щільність розподілу (якщо P_X ≪ λ)
Теорема Фубіні
// (X×Y, ℱ⊗𝒢, μ×ν) — добуток просторів з мірою
// Теорема Фубіні: якщо ∫∫|f|d(μ×ν) < ∞, то:
∫_{X×Y} f d(μ×ν) = ∫_X (∫_Y f(x,y)dν(y)) dμ(x)
= ∫_Y (∫_X f(x,y)dμ(x)) dν(y)
// УВАГА: умова інтегровності |f| суттєва!
// Теорема Тоннеллі: для f ≥ 0 завжди можна міняти порядок
// Теорема Фубіні: якщо ∫∫|f|d(μ×ν) < ∞, то:
∫_{X×Y} f d(μ×ν) = ∫_X (∫_Y f(x,y)dν(y)) dμ(x)
= ∫_Y (∫_X f(x,y)dμ(x)) dν(y)
// УВАГА: умова інтегровності |f| суттєва!
// Теорема Тоннеллі: для f ≥ 0 завжди можна міняти порядок
Про цю статтю
Ця стаття є частиною бази знань calculator.party — освітнього ресурсу, що поєднує теорію з практичними інструментами. Матеріал орієнтований на студентів, учнів і фахівців, що прагнуть глибокого розуміння теми. Тут зібрані ключові концепції, формули та реальні приклади застосування.
Математичний аналіз — мова природничих наук. Диференціальне та інтегральне числення дозволяють описувати рух, зміни, накопичення та оптимізацію. Без цих інструментів неможливі сучасна фізика, інженерія, економіка та машинне навчання.
Навіщо читати цю статтю
Після прочитання ви зможете впевнено пояснити тему, вирішувати практичні задачі та застосовувати знання у навчанні й роботі. Стаття охоплює теоретичне підґрунтя і числові приклади, що полегшують запам'ятовування матеріалу.
Часті запитання (FAQ)
Що таке Теорія міри: від σ-алгебр до інтеграла Лебега і чому це важливо знати?
Теорія міри: від σ-алгебр до інтеграла Лебега — ключова тема в математики та природничих науках. Розуміння її основ дає змогу вирішувати практичні задачі, успішно складати іспити та застосовувати знання в реальних ситуаціях. Стаття розкриває концепцію доступними словами з конкретними прикладами.
Які ключові формули та методи використовуються в теорія міри: від σ-алгебр до інтеграла лебега?
Основні формули та методи для теорія міри: від σ-алгебр до інтеграла лебега охоплюють як аналітичні підходи, так і числові алгоритми. У статті наведені всі ключові вирази з поясненням кожного позначення та вказівкою одиниць вимірювання.
Де в реальному житті застосовується теорія міри: від σ-алгебр до інтеграла лебега?
Сфери застосування теорія міри: від σ-алгебр до інтеграла лебега надзвичайно широкі: фізиці (рух, хвилі), інженерії (оптимізація, моделювання), економіці (граничні витрати), медицині (фармакокінетика) та ComputerScience (градієнтний спуск у ML). Знання цієї теми відкриває кар'єрні можливості в інженерії, науці, фінансах та IT-галузі.
Як розрахувати теорія міри: від σ-алгебр до інтеграла лебега онлайн?
На calculator.party є безкоштовні онлайн-калькулятори з тематики 'Теорія міри: від σ-алгебр до інтеграла Лебега'. Достатньо ввести вхідні дані — і ви миттєво отримаєте точний результат з покроковим поясненням. Це ідеально для перевірки ручних розрахунків.
Яка різниця між теорія міри: від σ-алгебр до інтеграла лебега та суміжними темами?
Стаття чітко описує межі тематики 'Теорія міри: від σ-алгебр до інтеграла Лебега', порівнюючи її з близькими поняттями. Чітке розуміння відмінностей допомагає уникнути типових помилок та плутанини при розв'язанні задач.