Рівностепенева неперервність

Нехай

${\displaystyle {\mathcal {F}}=\{f_{i}(x):X\rightarrow \mathbb {R} ,i\in I\},}$

деяка сім'я неперервних функцій, де ${\displaystyle X\subseteq \mathbb {R} }$ — деяка підмножина дійсної осі, ${\displaystyle I}$ — множина індексів.

Множина функцій ${\displaystyle {\mathcal {F}}}$ — рівностепенево неперервна в точці ${\displaystyle x_{0}\in X}$, якщо

${\displaystyle \forall \varepsilon >0\quad \exists \delta =\delta (\varepsilon )>0\quad \forall x\in X\quad |x-x_{0}|<\delta }$

${\displaystyle \qquad \forall f_{i}\in {\mathcal {F}},\quad |f_{i}(x)-f_{i}(x_{0})|<\varepsilon .}$

Множина функцій ${\displaystyle {\mathcal {F}}}$ — рівностепенево неперервна, якщо вона рівностепенево неперервна в кожній точці з ${\displaystyle X}$. Іншими словами, для довільного ${\displaystyle \varepsilon >0}$ знайдеться таке ${\displaystyle \delta >0}$, яке залежить від ${\displaystyle \varepsilon }$ та ${\displaystyle x_{0}}$, що для довільних ${\displaystyle x\in X}$ таких, що ${\displaystyle |x-x_{0}|<\delta }$ випливає, що нерівність ${\displaystyle |f_{i}(x)-f_{i}(x_{0})|<\varepsilon }$ виконується одночасно для всіх функцій з ${\displaystyle {\mathcal {F}}}$.

Множина функцій ${\displaystyle {\mathcal {F}}}$ — рівномірно рівностепенево неперервна, якщо

${\displaystyle \forall \varepsilon >0\quad \exists \delta =\delta (\varepsilon )>0\quad \forall x_{1},x_{2}\in X\quad |x_{1}-x_{2}|<\delta }$

${\displaystyle \qquad \forall f_{i}\in {\mathcal {F}},\quad |f_{i}(x_{1})-f_{i}(x_{2})|<\varepsilon .}$

Іншими словами, для довільного ${\displaystyle \varepsilon >0}$ знайдеться таке ${\displaystyle \delta >0}$, яке залежить тільки від ${\displaystyle \varepsilon }$, що для довільних ${\displaystyle x_{1},x_{2}\in X}$ таких, що ${\displaystyle |x_{1}-x_{2}|<\delta }$ випливає, що нерівність ${\displaystyle |f_{i}(x_{1})-f_{i}(x_{2})|<\varepsilon }$ виконується одночасно для всіх функцій з ${\displaystyle {\mathcal {F}}}$.

Різниця між рівностепеневою неперервністью і рівномірною рівностепеневою неперервністю в тому, що у першому випадку вибір ${\displaystyle \delta }$ залежить і від ${\displaystyle x_{0}}$, і від ${\displaystyle \varepsilon }$. У випадку рівномірної рівностепенової неперервності ${\displaystyle \delta }$ залежить тільки від ${\displaystyle \varepsilon }$. Часто коли говорять про рівностепеневу неперервність, то під нею розуміють рівномірну рівностепеневу неперервність.

Наведені означення безпосередньо переносяться на випадок метричних просторів [1]

Нехай ${\displaystyle (X,d_{X})}$, ${\displaystyle (Y,d_{Y})}$ — метричні простори і ${\displaystyle C(X,\;Y)}$ — множина всіх неперервних відображень з ${\displaystyle X}$ в ${\displaystyle Y}$.

Підмножина відображень ${\displaystyle D\subset C(X,\;Y)}$ — рівностепенево неперервна в точці ${\displaystyle x_{0}\in X}$, якщо

${\displaystyle \forall \varepsilon >0\quad \exists \delta =\delta (\varepsilon )>0\quad \forall x\in X\quad d_{X}(x,x_{0})<\delta }$

${\displaystyle \qquad \forall f_{i}\in {\mathcal {F}},\quad d_{Y}(f(x),f(x_{0}))<\varepsilon .}$

Множина ${\displaystyle D}$ — рівностепенево неперервна, якщо вона рівностепенево неперервна в кожній точці з ${\displaystyle X}$.

Підмножина відображень ${\displaystyle D\subset C(X,\;Y)}$ називається рівномірно рівностепенево неперервною, якщо

${\displaystyle \forall \varepsilon >0\quad \exists \delta =\delta (\varepsilon )>0\quad \forall x_{1},x_{2}\in X\quad d_{X}(x_{1},x_{2})<\delta }$

${\displaystyle \qquad \forall f\in C(X,\;Y),\quad d_{Y}(f(x_{1}),f(x_{2}))<\varepsilon .}$

Більш загально, якщо ${\displaystyle X}$ — топологічний простір, то множина ${\displaystyle F}$ відображень з ${\displaystyle X}$ в ${\displaystyle (Y,d_{Y})}$ називається рівностепенево неперервною в точці ${\displaystyle x_{0}\in X}$, якщо

${\displaystyle \forall \varepsilon >0\quad \exists U_{x_{0}}\quad \forall x\in U_{x_{0}}\quad \forall f\in F,\quad d_{Y}(f(x),f(x_{0}))<\varepsilon ,}$

де ${\displaystyle U_{x_{0}}}$ позначає деякий окіл точки ${\displaystyle x_{0}}$.