40
правок
Изменения
Второй Не Менее Важный Факт
<tex> \forall y \in \mathcal{T}(D), y = \mathcal{T}x </tex>. Рассмотрим <tex> \mathcal{T}_{n_0}(x) \in \mathcal{T}_{n_0}(D) </tex> и подберем такое <tex> y_j </tex>, что <tex> \| y_j - \mathcal{T}_{n_0}x \| < \varepsilon </tex>.
<tex> \| y - y_j \| = \| \mathcal{T}x - y_j \| \le \| \mathcal{T}x - \mathcal{T}_{n_0}x \| + \| \mathcal{T}_{n_0}x - y_j \| </tex>. Первое слагаемое <tex> \le \varepsilon </tex> по выбору <tex> n_0 </tex> и равномерной непрерывностисходимости. Второе слагаемое <tex> \le \varepsilon </tex> по выбору <tex> y_j </tex> из <tex> \varepsilon </tex>-сети.
Окончательно, <tex> \exists y_1, \hdots, y_p : \forall y \in \mathcal{T}(D) \exists y_j: \| y - y_j \| < 2 \varepsilon </tex>. Значит, мы получили <tex> 2\varepsilon </tex>-сеть для <tex> \mathcal{T}(D) </tex>.
}}
{{Утверждение
|about=Факт Второй
|statement=
Рассмотрим <tex> \mathcal{T}_n </tex> {{---}} последовательность вполне непрерывных операторов на <tex> D </tex>, <tex> \mathcal{T}_n \rightrightarrows \mathcal{T} </tex>.
Тогда множество <tex> \mathcal{T}_1(D) \cup \mathcal{T}_2(D) \cup \hdots \cup \mathcal{T}_n(D) \cup \hdots \cup \mathcal{T}(D) </tex> относительно компактно.
|proof=
По равномерной сходимости, <tex> \forall \varepsilon > 0 \, \exists n_0: \forall n > n_0 \forall x \in D: \| \mathcal{T}(x) - \mathcal{T}_n(x) \| < \varepsilon </tex>.
Рассмотрим множество <tex> \mathcal{T}_1(D) \cup \mathcal{T}_2(D) \cup \hdots \cup \mathcal{T}_{n_0}(D) </tex>. Оно относительно компактно как конечное объединение относительно компактных множеств.
<tex> \forall \varepsilon > 0 </tex> рассмотрим <tex> \varepsilon </tex>-сеть для этого множества: <tex> y_1, \hdots, y_p </tex>.
Рассмотрим <tex> \bigcup\limits_{n=1}^{\infty} \mathcal{T}_n(D) \cup \mathcal{T}(D) </tex>. Проверим, что <tex> y_1, \hdots, y_p </tex> {{---}} <tex> k \varepsilon </tex>-сеть для этого множества, где число <tex> k </tex> определим позже.
Возьмем произвольный <tex> y \in \bigcup\limits_{n=1}^{\infty} \mathcal{T}_n(D) \cup \mathcal{T}(D) </tex>.
Рассмотрим, в какое из множеств попадает выбранный нами <tex> y </tex>. Пусть, для начала, <tex> y \in \mathcal{T}_n(D) </tex>.
Если <tex> n \le n_0 </tex>, то <tex> \exists y_j : \| y - y_j \| < \varepsilon </tex>.
Пусть <tex> n > n_0, y \in \mathcal{T}_n(D) \implies y = \mathcal{T}_n x</tex>.
<tex> \| y - y_j \| </tex>
<tex> = \| \mathcal{T}_n x - y_j \| </tex>
<tex> \le \| \mathcal{T}_n x - \mathcal{T} x \| + \| \mathcal{T} x - y_j \| </tex>
<tex> \le \| \mathcal{T}_n x - \mathcal{T} x \| + \| \mathcal{T} x - \mathcal{T}_{n_0} x \| + \| \mathcal{T}_{n_0} x - y_j \| </tex>.
Первые два слагаемых <tex> \le \varepsilon </tex> по равномерной сходимости, третье <tex> \le \varepsilon </tex> по выбору <tex> \varepsilon </tex>-сети для <tex> n_0 </tex>.
Аналогичную оценку получаем, если <tex> y \in \mathcal{T}(D) </tex>.
В итоге, получили, что <tex> y_1, \hdots, y_p </tex> {{---}} <tex> 3\varepsilon </tex>-сеть для <tex> \bigcup\limits_{n=1}^{\infty} \mathcal{T}_n(D) \cup \mathcal{T}(D) </tex>.
}}
=== Проекторы Шаудера ===
