Теорема Каратеодорі про продовження міри

Визначення міри

У теорії міри мірою на множині X називається позитивна функція μ з кільця підмножин R множини X на невід'ємні дійсні числа, яка задовольняє властивості:

• μ(∅) = 0 (порожня множина має міру 0)
• μ(A ∪ B) = μ(A) + μ(B) для A ∩ B = ∅ (адитивність для неперетинних множин)

Кільце R підмножин X – це непуста множина, яка замкнена відносно операцій об'єднання, перетину та доповнення до множини X.

Теорема Каратеодорі

Теорема Каратеодорі стверджує, що будь-яку зліченно-адитивну міру μ на кільці R підмножин множини X можна продовжити на σ-кільце Σ, породжене кільцем R.

• σ-кільце – це кільце підмножин, яке замкнене відносно рахункових об'єднань та перетинів.
• Міра μ називається зліченно-адитивною, якщо для будь-якої послідовності {A_n} ≥ 0 неперетинних підмножин з кільця R:

μ(∪_n=1^∞ A_n) = ∑_n=1^∞ μ(A_n)

Єдиність продовження

У випадку, якщо міра μ σ-скінченна (тобто для кожної підмножини A з X існує послідовність {E_n} ≥ 0 з R така, що A ⊂ ∪_n=1^∞ E_n і μ(E_n) < ∞), продовження μ на Σ є єдиним.

Наслідки теореми

Теорема Каратеодорі має важливі наслідки:

• Існування міри Бореля на дійсній прямій, яка є унікальним продовженням міри Лебега на кільце інтервалів.
• Існування міри Лебега на Rⁿ як єдиного продовження міри об'єму на кільце прямокутників.

Доведення теореми

Доведення теореми Каратеодорі базується на лемі "розкладання", який стверджує, що для будь-якої підмножини E множини X і будь-якого ε > 0 існує система неперетинних множин {A_i}_i∈I з R така, що:

E ⊂ ∪_i∈I A_i та μ(E △ ∪_i∈I A_i) < ε

На основі цієї леми будується послідовність кілець, що наближаються до σ-кільця Σ, на кожному з яких міра μ продовжується за допомогою властивості адитивності.

Теорема Каратеодорі є фундаментальним результатом у теорії міри, яка гарантує існування і єдиність розширень мір на більші класи підмножин. Вона відіграє ключову роль у побудові міри Бореля та міри Лебега, які є основними інструментами в аналізі та теорії ймовірностей.

Часті запитання

1. Яка суть теореми Каратеодорі?
   Відповідь: Довільна зліченно-адитивна міра на кільці підмножин може бути продовжена на відповідне σ-кільце.

2. Коли продовження за теоремою Каратеодорі є єдиним?
   Відповідь: У випадку σ-скінченності початкової міри.

3. Які є наслідки теореми Каратеодорі?
   Відповідь: Існування міри Бореля та міри Лебега, які є унікальними за відповідних умов.

4. На чому базується доведення теореми Каратеодорі?
   Відповідь: На лемі "розкладання", яка дозволяє наближувати множини системами неперетинних множин з кільця.

5. У яких сферах застосовується теорема Каратеодорі?
   Відповідь: Аналіз, теорія ймовірностей, теорія виміру.

Залишити коментар

Опубліковано Максим на 11 04 2024. Поданий під Вікі. Ви можете слідкувати за будь-якими відповідями через RSS 2.0. Ви можете подивитись до кінця і залишити відповідь.