Сборник с математически доказателства/Допълнения/Видове сходимост

Тази страница е в процес на изграждане

Сходимост в пространства от реалнозначни функции

Разглеждаме функции

$f:D\to R$

където $R$ e метрично пространство.

Разстоянието между две точки $y_1$ и $y_2$ в $R$ ще бележим с $|y_1-y_2|$.

Дефиниции

Поточкова сходимост в дадена точка $\xi$

Редицата от функции $F=(f_n{)}_{n=1,2,\mathrm{...}}$ се нарича поточково сходяща (или просто сходяща) клоняща към $f$ в точката $\xi \in D$, ако

$\mathrm{\forall }\epsilon \in {ℝ}_{>0}\mathrm{\exists }m\in \mathbb{N}(n\ge m\Rightarrow |f_n(\xi )-f(\xi )|<\epsilon )$

Поточкова сходимост във всяка точка

Редицата от функции $F=(f_n{)}_{n=1,2,\mathrm{...}}$ се нарича поточково сходяща във всяка точка (или поточково сходяща във всяка точка от дефиниционното и множество) клоняща към $f$, ако

$\mathrm{\forall }\xi \in D\mathrm{\forall }\epsilon \in {ℝ}_{>0}\mathrm{\exists }m\in \mathbb{N}(n\ge m\Rightarrow |f_n(\xi )-f(\xi )|<\epsilon )$

Равномерна сходимост

Редицата от функции $F=(f_n{)}_{n=1,2,\mathrm{...}}$ се нарича равномерно сходяща клоняща към $f$, ако

$\mathrm{\forall }\epsilon \in {ℝ}_{>0}\mathrm{\exists }m\in \mathbb{N}\mathrm{\forall }x\in D(n\ge m\Rightarrow |f_n(x)-f(x)|<\epsilon )$

Равномерна сходимост в точка

Нека $D$ е метрично пространство. Редицата от функции $F=(f_n{)}_{n=1,2,\mathrm{...}}$ се нарича равномерно сходяща в точката $\xi$ клоняща към $f$, ако

$\mathrm{\forall }\epsilon \in {ℝ}_{>0}\mathrm{\exists }m\in \mathbb{N}\mathrm{\exists }\delta \in {ℝ}_{>0}(n\ge m\Rightarrow {\mathrm{△}}_{\delta }(\xi )\subset \{x:|f_n(x)-f(x)|<\epsilon \}),$

където

${\mathrm{△}}_{\delta }(\xi )=\{x:|x-\xi |<\delta \}.$

Равномерна сходимост във всяка точка

Нека $D$ е метрично пространство. Редицата от функции $F=(f_n{)}_{n=1,2,\mathrm{...}}$ се нарича равномерно сходяща във всяка точка, ако за всяко $\xi$ от $D$, тя е равномерно сходима във $\xi$.

Равномерна поне ужсходимост в дадена точка $\xi$

Нека $D$ е метрично пространство. Редицата от функции $F=(f_n{)}_{n=1,2,\mathrm{...}}$ се нарича равномерно поне ужсходяща в точката $\xi$ клоняща към $f$, ако

$\mathrm{\forall }\epsilon \in {ℝ}_{>0}\mathrm{\exists }m\in \mathbb{N}\mathrm{\exists }\delta \in {ℝ}_{>0}({\mathrm{△}}_{\delta }(\xi )\subset \{x:|f_m(x)-f(x)|<\epsilon \}).$

Забелeжка: Понятието "равномерна поне ужсходимост" не представлява общоприет в литературата термин. Този вид сходимост е описан за първи път от Хаусдорф в неговата книга Grundzuege der Mengenlehre (1914). Там той я нарича "униформна" (на немски uniforme Konvergenz) различавайки я от равномерната сходимост (на немски gleichmaessige Konvergenz). Ние няма да използваме това наименование, защото съществува опасност от объркване. (За тази опасност предупреждава и самият Хаусдорф в книгата си.) Френският израз за равномерна сходимост е сonvergence uniforme (а английският - uniform сonvergence). Освен това употребата на думата сходимост в този случай е заблуждаващо. Редицата $g_n(x)=(n$ mod $2)$ например отговаря на посочените условия и въпреки това не е дори поточково сходяща. Тоест тук не се касаее за сходимост в общоприетия смисъл.

Поточкова поне ужсходимост в дадена точка $\xi$

Редицата от функции $F=(f_n{)}_{n=1,2,\mathrm{...}}$ се нарича поточково поне ужсходяща (или просто поне ужсходяща) клоняща към $f$ в точката $\xi \in D$, ако

$\mathrm{\forall }\epsilon \in {ℝ}_{>0}\mathrm{\exists }m\in \mathbb{N}(|f_m(\xi )-f(\xi )|<\epsilon )$

Поточкова поне ужсходимост във всяка точка

Редицата от функции $F=(f_n{)}_{n=1,2,\mathrm{...}}$ се нарича поточково поне ужсходяща във всяка точка (или поточково поне ужсходяща във всяка точка от дефиниционното и множество) клоняща към $f$, ако

$\mathrm{\forall }\xi \in D\mathrm{\forall }\epsilon \in {ℝ}_{>0}\mathrm{\exists }m\in \mathbb{N}(|f_m(\xi )-f(\xi )|<\epsilon )$