Изменения

<tex>\forall \alpha, \beta \in \mathbb{R} \ \forall x, y \in X : f(\alpha x + \beta y) = \alpha f(x) + \beta f(xy)</tex>.

3. Транзитивность: <tex>x_2 x_1 \sim x_2,~ x_2 \sim x_3 \implies x_1 \sim x_3</tex>

Если <tex> f </tex> не является тождественно равным нулю, то <tex>\mathrm{Codim}\, \mathrm{Ker}\, f = 1 </tex>.

<tex>f (x - \alpha x_0) = 0 \implies f(x) = \alpha f(x_0), \quad f(x_0) \not = 0 \implies \alpha = \frac{f(x)}{f(x_0)} </tex>. Предстваление Представление единственно: пусть есть два представления <tex>x = \alpha x_0 + y</tex> и <tex>x = \beta x_0 + y'</tex>, тогда <tex>(\beta - \alpha) x_0 + (y - y') = 0</tex>. Применим к обеим частям <tex>f</tex>, тогда <tex>(\beta - \alpha) f(x_0) + f(y - y') = f(0)</tex>, так как <tex> y - y' </tex> в ядре, получили <tex> f(x_0) = 0</tex>, то есть протипоречиепротиворечие. Нашли единственное представление, следовательно, [[Линейные функционалы#codimeqn|по предыдущему утверждению]], <tex>\mathrm{Codim}\, \mathrm{Ker}\, f = 1 </tex>.

Для функционального анализа значение имеют линейные непрерывные функционалы.

Таким образом , предел не зависит от выбора <tex> y_n </tex>.

* сохранение нормы: по только что доказанному свойству сужения, на <tex>\| x \| \le 1, x \in Y</tex> функционал <tex>\widetilde f </tex> принимает все те значения, что и <tex>f</tex>, поэтому достаточно показать, что не найдется <tex>x: \| x \| \le 1, x \in X, x \notin Y: |\widetilde f(x)| > \|f\|</tex>. Пусть такой <tex>x</tex> нашелся со значением функционала <tex>\widetilde f(x) > 0</tex>, значит, он является пределом какой-то последовательности <tex>y_n</tex> в <tex>Y</tex>. Тогда по определению продолжения функционала и определению предела <tex>\forall \varepsilon > 0 \exists N \forall n \ge N: |f(y_n) - \widetilde f(x)| < \varepsilon</tex>, возьмем <tex>\varepsilon < \widetilde f(x) - \|f\|</tex>, тогда найдется такой номер <tex>N</tex>, что <tex>y_N \in Y, f(y_N) > \|f\|</tex>, то есть получили противоречие.

*<tex>\implies</tex>: 

<tex>x_n \to x \implies f(x_n) \to f (x) , \, x_n \in \mathrm{Ker}\, f</tex>, ~ все <tex>f(x_n) = 0</tex>, значит, и <tex>f(x) = 0 \implies x \in \mathrm{Ker}\, f</tex>то есть оно содержит пределы своих подполедовательностей подпоследовательностей <tex>\implies</tex> ядро замкнуто.* <tex>\Leftarrow </tex><tex>\mathrm{Ker}</tex> {{---}} замкнуто. <tex>\mathrm{Cl}\, \mathrm{Ker}\, f = \mathrm{Ker}\, f</tex>. Если <tex>x_n \in X ,\, x_n \to x \stackrel{?}{\implies} f(x_n) \to f(x)</tex>.<br><tex>\mathrm{Codim}\, \mathrm{Ker}\, f = 1</tex>, значит мы сможем представить <tex>x_n</tex> и <tex>x</tex> следуюшим образом:<br><tex>x_n = y_n + t_ne, \,y_n \in \mathrm{Ker}\, f, \, e \in X</tex><tex>x = y + te </tex>. Проверим <tex> x_n \to x \stackrel{?}{\implies} t_n \to t </tex>. Достаточно доказать, что <tex>\{ t_{n_k} \} \to t </tex>. Пусть <tex> t_{n_k} \to t' \implies t_{n_k} e \to t'e</tex> <tex> x_{n_k} (\to x) = y_{n_k} + t_{n_k} e (\to t'e)</tex> (по условию <tex>x_n \to x</tex>) Значит <tex>y_{n_k} \to y'</tex> (и <tex> x = y' + t'e</tex>) В силу замкнутости ядра т.к. <tex>y_{n_k} \in \mathrm{Ker}\, f \implies y' \in \mathrm{Ker}\, f </tex> Значит мы записали <tex> x = y' + t'e, \, y' \in \mathrm{Ker}\, f</tex>. Отсюда, т.к. представление единственно и <tex>t'=t</tex>, получаем, что в выражении <tex>x_n = y_n + t_ne, \, x_n \to x,\, y_n \to y,\, t_n \to t </tex>

<tex>f(x_n) = f(y_n) + t_nf(e) = t_nf(e) \to tf(e) = f(y + te) = f(x)Longleftarrow </tex>:{{TODO|t=тут была какая-то непонятная хрень, запилил хорошее доказательство с [http://en.wikibooks.org/wiki/Functional_Analysis/Banach_spaces английской википедии]}}