Теорема Єгорова

Матеріал з Вікіпедії — вільної енциклопедії.
Версія від 18:10, 1 грудня 2020, створена Goo3Bot (обговорення | внесок) (дивіться також → див. також)
Перейти до навігації Перейти до пошуку

Теорема Єгорова (теорема Северіні — Єгорова) — твердження в теорії міри про зв'язок збіжності майже всюди і рівномірної збіжності.

Твердження теореми

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

Доведення

Нехай Оскільки майже всюди, існує множина для якої і для і існує таке що з випливає . Це можна записати як:

або еквівалентно,

Оскільки є спадною послідовністю вкладених множин скінченної міри, перетин яких є пустою множиною, із неперервності зверху одержується

Тому для довільного , можна вибрати так що

Нехай Тоді Збіжність є рівномірною на множині . Справді для довільного , існує таке що . Якщо , тоді звідки випливає, що для , ; тобто, . Тому для довільного існує (визначене вище як ), що для виконується для довільного . Тобто на множині збіжність є рівномірною, що й доводить теорему.

Див. також

Посилання

Література