Изменения

Перейти к: навигация, поиск

Альтернатива Фредгольма — Шаудера

1419 байт добавлено, 21:31, 9 июня 2013
Нет описания правки
Тогда <tex> R(T) = X \Leftrightarrow \operatorname{Ker} T = \{0\} </tex>.
|proof=
<tex> \Longrightarrow </tex>: Пусть существует <tex> x_1 \ne 0, x_1 \in \operatorname{Ker} T = N_1 </tex>. Так как <tex> R(T) = X </tex>, то у уравнения <tex> Tx = x_1 </tex> существует решение, обозначим его <tex> x_2 </tex>. <tex> T(Tx_2) = T(x_1) = 0 </tex>, то есть, <tex> x_2 \in \operatorname{TODO|tKer} T^2 =добавить доказательствоN_2 </tex>. Заметим, что <tex> x_2 \notin N_1 </tex>, в противном случае <tex> x_1 = Tx_2 = 0 </tex>, что противоречит нашему предположению. Значит, <tex> N_1 \subset N_2 </tex> (строго). Действуя аналогично, берем <tex> x_3 </tex> решение уравнения — <tex> Tx = x_2 </tex>, <tex> x_3 \notin N_2, x_3 \in N_3 </tex>. Получаем бесконечную цепочку строго вложенных множеств <tex> N_k </tex>, существование которой противоречит предыдущему утверждению, значит, <tex> \operatorname{Ker}T = \{0\} </tex>. <tex> \Longleftarrow </tex>: Пусть <tex> \operatorname{Ker} T = \{0\}</tex>. <tex> R(T) </tex> — замкнутое множество, <tex> T^* = I - A^* </tex>, <tex> R(T^*) = (\operatorname{Ker} T)^{\perp} = (\{0\})^{\perp} = X^* </tex>. Тогда <tex> \operatorname{Ker} T^* = {0} </tex>, и <tex> R(T) = (\operatorname{Ker} T^*)^{\perp} = X </tex>.
}}
689
правок

Навигация