Рівномірна збіжність

Рівномірна збіжність послідовності функцій — властивість послідовності $f_{n}:X\to Y$, де $X$ — довільна множина, $Y=(Y,d)$ — метричний простір, $n=1,2,\dots$ збігається до функції (відображення) $f:X\to Y$, що означає, що для будь-якого $\varepsilon >0$ існує такий номер $N_{\varepsilon }$, що для всіх номерів $n>N_{\varepsilon }$ і всіх точок $x\in X$ виконується нерівність

$d(f_{n}(x),f(x))<\varepsilon .$

Ця умова рівнозначна тому, що

$\lim _{n\to \infty }\sup _{x\in X}d(f_{n}(x),f(x))=0.$

Зазвичай позначається$f_{n}\rightrightarrows f$. $f$ називається рівномірною границею послідовності функцій $f_{n}$ на множині X.

Приклад

• Послідовність $f_{n}(x)=x^{n}$, $n=1,2,\dots$ рівномірно збігається на будь-якому відрізку $[0,a]$, $0<a<1$ і не збігається рівномірно на відрізку $[0,1]$.

Властивості

• Із рівномірної збіжності випливає поточкова збіжність на тій же множині.

• Якщо $Y$ — нормований простір і послідовності відображень $f_{n}:X\to Y$ і $g_{n}:X\to Y$, $n=1,2,\dots$ рівномірно збігаються на множині $X$, то послідовності $\{f_{n}+g_{n}\}$ також як і $\{\alpha f_{n}\}$ при будь-яких $\alpha \in \mathbb {R}$ також рівномірно збігаются на $X$.

• Для дійсно-значних функцій, послідовність відображень $f_{n}:X\to \mathbb {R}$, рівномірно збігається на множині $X$ та $g:X\to \mathbb {R}$ обмежене відображення, то послідовність $\{gf_{n}\}$ також рівномірно збігається на $X$.

• Якщо $X$ — топологічний простір, $Y$ — метричний простір та послідовність неперервних в точці $x_{0}\in X$ відображень $f_{n}:X\to Y$ рівномірно збігається на множині $X$ до відображеня $f:X\to Y$, то це відображення також неперервно в точці $x_{0}$.

• Якщо послідовність інтегровних за Ріманом (за Лебегом) функцій $f_{n}:[a,b]\to \mathbb {R}$ рівномірно збігається на відрізку $[a,b]$ до функції $f:[a,b]\to \mathbb {R}$, то ця функція також інтегровна за Ріманом (відповідно за Лебегом), і для кожного $x\in [a,b]$ має місце рівність
      $\lim _{n\to \infty }\int \limits _{a}^{x}f_{n}(t)dt=\int \limits _{a}^{x}f(t)dt$
  і збіжність послідовності функцій
      $x\mapsto \int \limits _{a}^{x}f_{n}(t)dt$
  на відрізку $[a,b]$ до функції
      $x\mapsto \int \limits _{a}^{x}f(t)dt$
  рівномірна.

• Якщо послідовність неперервно диференційовних на відрізку $[a,b]$ функцій $f_{n}:[a,b]\to \mathbb {R}$, збігається у деякій точці $x_{0}$, a послідовність їх похідних рівномірно збігається на $[a,b]$, то послідовність $\{f_{n}\}$ також рівномірно збігається на $[a,b]$, її границя є неперервно диференційовною функцією на цьому відрізку.

Див. також

• Квазірівномірна збіжність
• Теорема Діні
• Теорема Єгорова

Література

• Григорій Михайлович Фіхтенгольц. Курс диференціального та інтегрального числення. — 2025. — 2391 с.(укр.)
• Ляшко І.І., Ємельянов В.Ф., Боярчук О.К. Математичний аналіз. Частина 1. — К. : Вища школа, 1992. — 496 с. — ISBN 5-11-003757-4.(укр.)
• Дороговцев А. Я. Математичний аналіз. Частина 1. — К. : Либідь, 1993. — 320 с. — ISBN 5-325-00380-1.(укр.)
• Банах С. Диференціальне та інтегральне числення = Rachunek różniczkowy i całkowy. — 2-е. — М. : Наука, 1966. — 436 с.(рос.)
• Келли Дж. Л., Общая топология, пер. с англ., 2 изд., М., 1951.