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

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

Внимание! Вы не авторизовались на сайте. Ваш IP-адрес будет публично видимым, если вы будете вносить любые правки. Если вы войдёте или создадите учётную запись, правки вместо этого будут связаны с вашим именем пользователя, а также у вас появятся другие преимущества.

Правка может быть отменена. Пожалуйста, просмотрите сравнение версий, чтобы убедиться, что это именно те изменения, которые вас интересуют, и нажмите «Записать страницу», чтобы изменения вступили в силу.
Текущая версия Ваш текст
Строка 31: Строка 31:
 
Пусть <tex>\overline V</tex> — единичный шар, <tex>Y = \operatorname{Ker}T</tex> — подпространство <tex>X</tex>.
 
Пусть <tex>\overline V</tex> — единичный шар, <tex>Y = \operatorname{Ker}T</tex> — подпространство <tex>X</tex>.
  
Допустим, что <tex>\dim \operatorname{Ker}T = + \infty,~\overline W = \overline V \cap Y \implies \overline W = A \overline W</tex>. Так как <tex>A</tex> — компактный, <tex>\overline W</tex> — компакт в <tex>Y</tex>, но в бесконечномерном пространстве шар (<tex>\overline W</tex> будет шаром в подпространстве <tex>Y</tex>) не может быть компактом, получаем противоречие. Значит, если <tex>A</tex> — компактный, то <tex>\dim\operatorname{Ker}(I-A) < + \infty</tex>.
+
Допустим, что <tex>\dim \operatorname{Ker}T = + \infty,~\overline W = \overline V \cap Y \Rightarrow \overline W = A \overline W</tex>. Так как <tex>A</tex> — компактный, <tex>\overline W</tex> — компакт в <tex>Y</tex>, но в бесконечномерном пространстве шар (<tex>\overline W</tex> будет шаром в подпространстве <tex>Y</tex>) не может быть компактом, получаем противоречие. Значит, если <tex>A</tex> — компактный, то <tex>\dim\operatorname{Ker}(I-A) < + \infty</tex>.
 
}}
 
}}
  
Строка 40: Строка 40:
 
[[Теорема Банаха об обратном операторе|Ранее]] мы доказали, что если уравнение <tex>Tx=y, y \in R(T)</tex> допускает априорную оценку (<tex>\exists \alpha~\exists x~Tx=y, \|x\| \leq a\|y\|</tex>), то <tex>R(T)</tex> замкнуто. Нужно доказать, что у <tex>T</tex> есть априорная оценка.
 
[[Теорема Банаха об обратном операторе|Ранее]] мы доказали, что если уравнение <tex>Tx=y, y \in R(T)</tex> допускает априорную оценку (<tex>\exists \alpha~\exists x~Tx=y, \|x\| \leq a\|y\|</tex>), то <tex>R(T)</tex> замкнуто. Нужно доказать, что у <tex>T</tex> есть априорная оценка.
  
Пусть <tex>y \in R(T) \implies Tx=y</tex>. Тогда <tex>\forall z \in \operatorname{Ker}T \implies T(x+z) = T(x) + T(z) = y + 0 = y</tex>. Значит, все решения уравнения <tex>Tx=y</tex> записываются в форме <tex>x=x_0+z</tex>, где <tex>x_0</tex> — одно из решений, <tex>z</tex> принадлежит <tex>\operatorname{Ker} T</tex>. Но <tex>\dim\operatorname{Ker}T < + \infty \implies \operatorname{Ker}~T = \mathcal{L} \{ e_1, \ldots e_n \} \implies x = x_0 + \sum\limits_{k=1}^n \alpha_k e_k, \alpha_k \in \mathbb{R}</tex>.
+
Пусть <tex>y \in R(T) \Rightarrow Tx=y</tex>. Тогда <tex>\forall z \in \operatorname{Ker}T \Rightarrow T(x+z) = T(x) + T(z) = y + 0 = y</tex>. Значит, все решения уравнения <tex>Tx=y</tex> записываются в форме <tex>x=x_0+z</tex>, где <tex>x_0</tex> — одно из решений, <tex>z</tex> принадлежит <tex>\operatorname{Ker} T</tex>. Но <tex>\dim\operatorname{Ker}T < + \infty \Rightarrow \operatorname{Ker}~T = \mathcal{L} \{ e_1, \ldots e_n \} \Rightarrow x = x_0 + \sum\limits_{k=1}^n \alpha_k e_k, \alpha_k \in \mathbb{R}</tex>.
  
 
Рассмотрим функцию от <tex>n</tex> переменных <tex>f(\alpha_1,\ldots,\alpha_n) = \|x_0 + \sum\limits_{k=1}^n \alpha_k e_k\| = \|x_0 - \sum\limits_{k=1}^n (-\alpha_k) e_k\|</tex>. Эта функция — не что иное, как наилучшее приближение <tex> x_0 </tex> элементами конечномерного <tex> \operatorname{Ker} T </tex>, теорема о наилучшем приближении гарантирует нам, что существуют <tex> \alpha^*_1, \alpha^*_2, \ldots, \alpha^*_n : f (\overline {\alpha}^*) = \inf\limits_{\alpha} f(\alpha)</tex>.
 
Рассмотрим функцию от <tex>n</tex> переменных <tex>f(\alpha_1,\ldots,\alpha_n) = \|x_0 + \sum\limits_{k=1}^n \alpha_k e_k\| = \|x_0 - \sum\limits_{k=1}^n (-\alpha_k) e_k\|</tex>. Эта функция — не что иное, как наилучшее приближение <tex> x_0 </tex> элементами конечномерного <tex> \operatorname{Ker} T </tex>, теорема о наилучшем приближении гарантирует нам, что существуют <tex> \alpha^*_1, \alpha^*_2, \ldots, \alpha^*_n : f (\overline {\alpha}^*) = \inf\limits_{\alpha} f(\alpha)</tex>.
Строка 108: Строка 108:
 
|statement=
 
|statement=
 
Пусть <tex> A </tex> — компактный оператор на банаховом <tex> X </tex>, <tex> T = I - A </tex>.
 
Пусть <tex> A </tex> — компактный оператор на банаховом <tex> X </tex>, <tex> T = I - A </tex>.
Тогда <tex> R(T) = X \iff \operatorname{Ker} T = \{0\} </tex>.
+
Тогда <tex> R(T) = X \Leftrightarrow \operatorname{Ker} T = \{0\} </tex>.
 
|proof=
 
|proof=
<tex> \implies </tex>:
+
<tex> \Longrightarrow </tex>:
  
 
Пусть существует <tex> x_1 \ne 0, x_1 \in \operatorname{Ker} T = N_1 </tex>.
 
Пусть существует <tex> x_1 \ne 0, x_1 \in \operatorname{Ker} T = N_1 </tex>.

Пожалуйста, учтите, что любой ваш вклад в проект «Викиконспекты» может быть отредактирован или удалён другими участниками. Если вы не хотите, чтобы кто-либо изменял ваши тексты, не помещайте их сюда.
Вы также подтверждаете, что являетесь автором вносимых дополнений, или скопировали их из источника, допускающего свободное распространение и изменение своего содержимого (см. Викиконспекты:Авторские права). НЕ РАЗМЕЩАЙТЕ БЕЗ РАЗРЕШЕНИЯ ОХРАНЯЕМЫЕ АВТОРСКИМ ПРАВОМ МАТЕРИАЛЫ!

Чтобы изменить эту страницу, пожалуйста, ответьте на приведённый ниже вопрос (подробнее):

Отменить | Справка по редактированию (в новом окне)

Шаблоны, используемые на этой странице: