Изменения
Нет описания правки
<tex>R_\lambda(y) = \sum\limits_{n=1}^\infty \frac{\langle y, \varphi_n\rangle}{\lambda-\lambda_n}\varphi_n</tex>
'''Def''': Пусть на замкнутом шаре <tex>\overline{V} \subset X</tex>, где <tex>X</tex> - метрическое пространство, определён оператор <tex>A: \overline{V} \subset X \to X</tex>. Он называется сжатием на <tex>\overline{V}</tex>, если <tex>\exists\alpha\in(0; 1)</tex> такой, что для <tex>{\forall}x,y \in M</tex> выполняется <tex>{\rho(Ax,Ay)\leqslant\alpha{\cdot}\rho(x,y)}</tex>.
[[Теорема Банаха о неподвижной точке]]
==Дифференцирование отображений, неравенство Лагранжа.==
Рассмотрим <tex>T : V_r(x_0) \to Y</tex>, где <tex>V_r(x_0) \subset X</tex> и, кроме того, <tex>X, Y</tex> - нормированные пространства.
Пусть <tex>\|\delta x \| < r</tex>. Тогда, очевидно, <tex>x + \delta x \in V_r(x_0)</tex>.
Обозначим <tex>\delta T(x_0, \delta x) = T(x_0 + \delta x) - T(x_0)</tex>.
'''Def.''' Отображение <tex>T</tex> называется дифференцируемым по Фреше в точке <tex>x_0</tex>, если существует оператор <tex>A_{x_0} \in L(X,Y)</tex> такой, что <tex>\delta T(x_0, \delta x) = A_{x_0}(\delta x) + o(\delta x)</tex>, где <tex>o(\delta x)</tex> несёт следующий смысл: <tex>\frac{ {\|o(\delta x)\|}_Y } {{\| \delta x \|}_X} \to 0</tex>.
Обычно, в случае дифференцируемого отображения используют следующее обозначение: <tex>T_{x_0}' = A_{x_0}</tex>. Подчеркнем, что <tex>T_{x_0}': X \to Y</tex>. Аргументом является "отклонение" некоторой точки <tex>x'</tex> от <tex>x_0</tex>: <tex>x - x_0</tex>. А результат применения оператора: <tex>T(x') - T(x_0)</tex> с точностью до <tex>o(\delta x = x' - x)</tex>.
'''Lm.''' (''Неравенство Лагранжа'')
Пусть <tex>X, Y</tex> -- нормированные пространства, <tex>V</tex> -- некоторый шар в <tex>X</tex> и дан оператор <tex>T : V \to Y</tex> и на всем этом шаре <tex>\exists T'(x)</tex>. Тогда для любых <tex>a, b \in V : \|T(b) - T(a)\| \le M {\|b - a\|}_X</tex>, где <tex>M = sup_{x \in [a, b]}\|T'(x)\|</tex>.
