Функциональный анализ — различия между версиями

Материал из Викиконспекты
Перейти к: навигация, поиск
(25. Локальная теорема о неявном отображении)
м (rollbackEdits.php mass rollback)
 
(не показано 65 промежуточных версий 10 участников)
Строка 3: Строка 3:
 
Большая часть материала взята из Википедии, чтобы не перебивать формулы и все такое. Все остальное бралось из конспектов, лучший из них лежит на firun.ru
 
Большая часть материала взята из Википедии, чтобы не перебивать формулы и все такое. Все остальное бралось из конспектов, лучший из них лежит на firun.ru
  
Если вы читаете это, самоуничтожьтесь.
 
  
Да, да, '''функциональный анализ''' — раздел математики, в котором изучаются бесконечномерные пространства (в основном пространства функций) и их отображения.
+
'''Функциональный анализ''' — раздел математики, в котором изучаются бесконечномерные пространства (в основном пространства функций) и их отображения.
  
==В прошлых сериях==
+
==Краткое содержание 5 семестра (версия 2009)==
  
 
*'''Метрическое пространство''' <tex>M</tex> есть множество точек с '''метрикой''' <tex>d \colon M \times M \to \mathbb{R}</tex>:
 
*'''Метрическое пространство''' <tex>M</tex> есть множество точек с '''метрикой''' <tex>d \colon M \times M \to \mathbb{R}</tex>:
Строка 16: Строка 15:
 
*Метрическое пространство называется '''полным''', если любая фундаментальная последовательность в нём сходится к некоторому элементу этого пространства.
 
*Метрическое пространство называется '''полным''', если любая фундаментальная последовательность в нём сходится к некоторому элементу этого пространства.
  
*'''Банаховым пространством''' называется нормированное линейное пространство полное по метрике, порождённой нормой.
+
*'''Банаховым пространством''' (''B-пространством'') называется нормированное линейное пространство, полное по метрике, порождённой нормой.
  
*'''Пространство непрерывных функций''' — линейное нормированное пространство, элементами которого являются непрерывные на отрезке <tex>[a,b]</tex> функции (обычно обозначается <tex>{\mathrm C}[a,b]</tex>). Норма в этом пространстве определяется следующим образом: <tex>||x||_{{\mathbf C}[a,b]}=\max_{t\in [a,b]}|x(t)|</tex>
+
*'''Пространство непрерывных функций''' — линейное нормированное пространство, элементами которого являются непрерывные на отрезке <tex>[a,b]</tex> функции (обычно обозначается <tex>{\mathrm C}[a,b]</tex>). '''Норма''' в этом пространстве определяется следующим образом: <tex>||x||_{{\mathbf C}[a,b]}=\max_{t\in [a,b]}|x(t)|</tex>
  
* '''Теорема Рисса — Фреше:''' Для любого непрерывного линейного функционала <tex>f</tex> на Гильбертовом пространстве <tex> H</tex> существует единственный вектор <tex>y \in H</tex> такой, что <tex>f(x)=(x,y)</tex> для любого <tex>x \in H</tex>. При этом норма линейного функционала <tex>f</tex> совпадает с нормой вектора <tex>y</tex>: <tex>\|f\|=\sup_{\|x\|=1} |f(x)|= \sqrt{(y,y)}</tex>. Теорема также означает, что пространство всех линейных ограниченных функционалов над <tex>H</tex> изоморофно пространству <tex>H</tex>.
+
* '''Теорема Рисса — Фреше:''' Для любого непрерывного линейного функционала <tex>f</tex> на Гильбертовом пространстве <tex> H</tex> существует единственный вектор <tex>y \in H</tex> такой, что <tex>f(x)= \langle x,y \rangle</tex> для любого <tex>x \in H</tex>. При этом норма линейного функционала <tex>f</tex> совпадает с нормой вектора <tex>y</tex>: <tex>\|f\|=\sup_{\|x\|=1} |f(x)|= \sqrt{\langle y,y \rangle}</tex>. Теорема также означает, что пространство всех линейных ограниченных функционалов над <tex>H</tex> изоморофно пространству <tex>H</tex>.
  
*Теорема (Хан-Банах) о продолжении линейного функционала с сохранением мажоранты: любой линейный функционал <tex>f(x)</tex>, определённый на подпространстве <tex>L</tex> линейного пространства <tex>X</tex> и удовлетворяющий условию <tex>|f(x)| \leq p(x), \forall x \in L</tex>, где <tex>p(x)</tex> — некоторый положительно однородный функционал (определённый на всем пространстве <tex>X</tex>) то <tex>f(x)</tex> может быть продолжен на все пространство <tex>X</tex> с сохранением этого условия.
+
*'''Теорема (Хан-Банах)''' о продолжении линейного функционала с сохранением мажоранты: любой линейный функционал <tex>f(x)</tex>, определённый на подпространстве <tex>L</tex> линейного пространства <tex>X</tex> и удовлетворяющий условию <tex>|f(x)| \leq p(x), \forall x \in L</tex>, где <tex>p(x)</tex> — некоторый положительно однородный функционал (определённый на всем пространстве <tex>X</tex>) то <tex>f(x)</tex> может быть продолжен на все пространство <tex>X</tex> с сохранением этого условия.
  
*Теорема (Хан-Банах) о непрерывном продолжении линейного функционала: всякий линейный функционал <tex>f(x)</tex>, определённый на линейном многообразии <tex>L</tex> линейного нормированного пространства <tex>X</tex>, можно продолжить на все пространство с сохранением нормы.
+
*'''Теорема (Хан-Банах)''' о непрерывном продолжении линейного функционала: всякий линейный функционал <tex>f(x)</tex>, определённый на линейном многообразии <tex>L</tex> линейного нормированного пространства <tex>X</tex>, можно продолжить на все пространство с сохранением нормы.
  
 
*Следствие: для любых двух различных точек линейного пространства существует линейный функционал, определённый на всем пространстве и такой, что его значения в этих точках различны.
 
*Следствие: для любых двух различных точек линейного пространства существует линейный функционал, определённый на всем пространстве и такой, что его значения в этих точках различны.
Строка 30: Строка 29:
 
* '''Ядром''' линейного отображения <tex>f\colon A\to B</tex> называются подмножество <tex>A</tex>, которое отображается в нуль: <tex>\mbox{Ker}\,f = \{ x\in A\mid f(x) = 0 \}</tex>. Ядро линейного отображения образует подпространство в линейном пространстве <tex>A</tex>.
 
* '''Ядром''' линейного отображения <tex>f\colon A\to B</tex> называются подмножество <tex>A</tex>, которое отображается в нуль: <tex>\mbox{Ker}\,f = \{ x\in A\mid f(x) = 0 \}</tex>. Ядро линейного отображения образует подпространство в линейном пространстве <tex>A</tex>.
  
*Пусть <tex>A</tex> — оператор, действующий в банаховом пространстве <tex>E</tex>. Число λ называется ''регулярным'' для оператора <tex>A</tex>, если оператор <tex>R(\lambda)=(A - \lambda I)^{-1}</tex>, называемый '''резольвентой''' оператора <tex>A</tex>, определён на всём <tex>E</tex> и непрерывен. Множество регулярных значений оператора <tex>A</tex> называется '''резольвентным множеством''' этого оператора, а дополнение резольвентного множества — '''спектром''' этого оператора.
+
*Пусть <tex>A</tex> — оператор, действующий в банаховом пространстве <tex>E</tex>. Число λ называется '''регулярным''' для оператора <tex>A</tex>, если оператор <tex>R(\lambda)=(A - \lambda I)^{-1}</tex>, называемый '''резольвентой''' оператора <tex>A</tex>, определён на всём <tex>E</tex> и непрерывен. Множество регулярных значений оператора <tex>A</tex> называется '''резольвентным множеством''' этого оператора, а дополнение резольвентного множества — '''спектром''' этого оператора.
  
==Билеты==
+
==Билеты - 5 семестр==
 +
===1. Принцип вложенных шаров в полном МП.===
 +
 
 +
{{Теорема
 +
|statement=
 +
<tex>X</tex> - полное МП, <tex>\overline{V}_{r_i} \subset X,\; \overline{V}_{r_{i+1}} \subset \overline{V}_{r_i},\; r_i \rightarrow 0 \Rightarrow \exists ! d \in \cap \overline{V}_{r_i}</tex>
 +
}}
 +
 
 +
===2. Теорема Бэра о категориях.===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Замыкание''' <tex>Cl \; A = F</tex>, если <tex>F</tex> - замкнутое, <tex>A \subseteq F</tex> и <tex>\forall</tex> замкнутого <tex>G: A \subseteq G \Rightarrow F \subseteq G</tex>
 +
}}
 +
{{Определение
 +
|definition=
 +
<tex>A</tex> '''всюду плотно''' в <tex>X</tex>, если <tex>Cl \; A = X</tex>
 +
}}
 +
{{Определение
 +
|definition=
 +
<tex>A</tex> '''нигде не плотно''' в <tex>X</tex>, если <tex>\forall V_r(x)\; \exists V_{r_1}(y) \subset V_r(x): V_{r_1}(y) \cap A = \O</tex>
 +
}}
 +
{{Определение
 +
|definition=
 +
<tex>A</tex> '''I категории по Бэру''' в <tex>X</tex>, если <tex>A = \cup A_i</tex> (счетное объединение), <tex>A_i</tex> нигде не плотно в <tex>X</tex>, иначе '''II категории'''
 +
}}
 +
{{Теорема
 +
|statement=
 +
<tex>X</tex> - полное МП <tex>\Rightarrow X</tex> - II категории в <tex>X</tex>
 +
}}
 +
 
 +
===3. Критерий компактности Хаусдорфа в МП.===
 +
 
 +
[[Теорема Хаусдорфа об ε-сетях]]
 +
 
 +
===4. Пространство <tex>R^{\infty}</tex>: метрика, покоординатная сходимость.===
 +
 
 +
<tex>(x_1^n, x_2^n, \ldots, x_m^n, \ldots) \to (x_1, x_2, \ldots, x_m, \ldots) \Leftrightarrow \forall m : x_m^n \to x_m</tex>
 +
 
 +
<tex>\rho(x,y) = \sum\limits_{m=1}^{\infty}\frac{1}{2^m} \cdot \frac{|x_m - y_m|}{1+|x_m - y_m|}</tex>
 +
 
 +
===5. Компактность прямоугольника в <tex>R^{\infty}</tex>.===
 +
 
 +
ну компактен, хуле
 +
 
 +
===6. Постранство S(E, <tex>\mu</tex>).===
 +
 
 +
{{Определение
 +
|definition=
 +
<tex>S(E, \mu)</tex> - пространство измеримых функций на <tex>E</tex> по <tex>\mu</tex>. На этом пространстве определена метрика <tex>\rho (f, g) = \int\limits_E \frac{|f-g|}{1+|f-g|} d\mu</tex>
 +
}}
 +
 
 +
===7. Норма в линейном множестве, определение предела по норме, арифметика предела.===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Норма''' <tex>\| \cdot \| : X \to \mathbb{R}</tex>
 +
#<tex>\|x\| \geq 0, \; \|x\| = 0 \Leftrightarrow x=0</tex>
 +
#<tex>\|\alpha x\| = |\alpha|\|x\|</tex>
 +
#<tex>\|x+y\| \leq \|x\| + \|y\|</tex>
 +
}}
 +
{{Определение
 +
|definition=
 +
<tex>x_n</tex> '''сходится по норме''' к <tex>x</tex>, если <tex>\|x_n - x\| \to 0</tex>
 +
}}
 +
 
 +
===8. Эквивалентность норм в конечномерном НП.===
 +
 
 +
{{Определение
 +
|definition=
 +
<tex>\| \cdot \|_1 \sim \| \cdot \|_2</tex>, если <tex>\exists a, b \; \forall x : a\|x\|_1 \leq \|x\|_2 \leq b\|x\|_1</tex>
 +
}}
 +
{{Теорема
 +
|author=Рисс
 +
|statement=
 +
В конечномерном пространстве любые две нормы эквивалентны
 +
}}
 +
 
 +
===9. Замкнутость конечномерного линейного подмножества НП.===
 +
 
 +
{{Теорема
 +
|author=следствие из теоремы Рисса
 +
|statement=
 +
<tex>X</tex> - НП, <tex>Y</tex> - конечномерное линейное подмножество <tex>X \Rightarrow Y</tex> - замкнутое
 +
}}
 +
 
 +
===10. Лемма Рисса о почти перпендикуляре, пример ее применения.===
 +
 
 +
{{Лемма
 +
|author=Рисс, о почти перпендикуляре
 +
|statement=
 +
<tex>Y</tex> - собственное подпространство <tex>X \Rightarrow \forall \varepsilon \in (0, 1) \; \exists z_{\varepsilon} \in X : \|z_{\varepsilon}\| = 1,\; \rho(z_{\varepsilon}, Y) \geq 1 - \varepsilon</tex> (где <tex>\rho(z, Y) = \inf\limits_{y \in Y} \|z-y\|</tex>)
 +
|proof=
 +
<tex>\forall z \notin Y \; \forall \varepsilon\; \exists y_{\varepsilon} \in Y : \rho(z, Y) \leq \|z - y_{\varepsilon}\| \leq \frac{1}{1 - \varepsilon} \cdot \rho(z, Y)</tex> (по свойствам inf). Тогда положим <tex>z_{\varepsilon}</tex> из условия леммы равным <tex>\frac{z - y_{\varepsilon}}{\|z - y_{\varepsilon}\|}</tex>
 +
}}
 +
{{Лемма
 +
|author=пример применения леммы
 +
|statement=
 +
<tex>X</tex> - бесконечномерное НП <tex>\Rightarrow</tex> любой шар в нем - не компакт
 +
}}
 +
 
 +
===11. Банаховы пространства на примерах С[0,1] и Lp(E).===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Банахово пространство''' - полное нормированное пространство
 +
}}
 +
{{Определение
 +
|definition=
 +
<tex>C[0,1]</tex> - пространство непрерывных функций на <tex>[0,1]</tex>. На этом пространстве определена норма <tex>\|f\| = \max\limits_{t \in [0,1]}|f(t)|</tex>
 +
}}
 +
{{Определение
 +
|definition=
 +
<tex>L_p(E)</tex> - пространство измеримых на <tex>E</tex> функций<tex>f : \int\limits_E|f|^p < +\infty</tex>. На этом пространстве определена норма <tex>\|f\| = \sqrt[p]{\int\limits_E |f|^p}</tex>
 +
}}
 +
 
 +
===12. Определение скалярного произведения, равенство параллелограмма, неравенство Шварца.===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Скалярное произведение''' <tex>\langle x,y \rangle</tex>
 +
#<tex>\langle\alpha x_1 + \beta x_2,y \rangle = \alpha\langle x_1, y \rangle + \beta \langle x_2, y \rangle </tex>
 +
#<tex>\langle x,y \rangle = \langle y,x \rangle </tex>
 +
#<tex>\langle x,x \rangle \geq 0, \langle x,x \rangle = 0 \Leftrightarrow x = 0</tex>
 +
}}
 +
'''Равенство параллелограмма''': <tex>2\|x\|^2 + 2\|y\|^2 = \|x+y\|^2 + \|x-y\|^2</tex>
 +
 
 +
'''Неравенство Шварца''': <tex>|\langle x,y \rangle| \leq \sqrt{\langle x,x \rangle} \cdot \sqrt{\langle y,y \rangle}</tex>
 +
 
 +
===13. Наилучшее приближение в НП в случае конечномерного подпространства.===
 +
 
 +
{{Теорема
 +
|statement=
 +
<tex>\forall x \; \exists y^* : E_n(x) = \|x - y^*\|</tex>
 +
}}
 +
 
 +
===14. Наилучшее приближение в унитарном пространстве, неравенство Бесселя.===
 +
 
 +
<tex>\{e_1, e_2, \ldots, e_n, \ldots\}</tex> - ортонормированная система.
 +
 
 +
<tex>\alpha_i(x) = \langle x,e_i \rangle, \; \sum \alpha_i(x)e_i</tex> - абстрактный ряд Фурье
 +
 
 +
<tex>\delta_n(x) = \sum\limits_{i=1}^n \alpha_i(x)e_i,\; E_n(x) = \|x-\delta_n(x)\|</tex>
 +
 
 +
'''Неравенство Бесселя''': <tex>\sum \alpha_i^2(x) \leq \|x\|^2</tex>
 +
 
 +
===15. Определение Гильбертова пространства, сепарабельность и полнота.===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Гильбертово пространство''' - полное унитарное пространство. То есть для него выполняется:
 +
#Введено скалярное произведение
 +
#Введена норма: <tex>\|x\| = \sqrt{\langle x,x \rangle}</tex>
 +
#<tex>\|x_n - x_m\| \to 0 \Rightarrow \exists x : \|x_n - x\| \to 0</tex>
 +
}}
 +
{{Определение
 +
|definition=
 +
Пространство '''сепарабельно''', если у него существует счетное абсолютно плотное подмножество
 +
}}
 +
{{Лемма
 +
|statement=
 +
В гильбертовом пространстве существует ортонормированный базис тогда и только тогда, когда оно сепарабельно
 +
}}
 +
 
 +
===16. Теорема Рисса-Фишера, равенство Парсеваля.===
 +
 
 +
{{Теорема
 +
|author=Рисс - Фишер
 +
|statement=
 +
Пусть <tex>\{e_1, e_2, \ldots, e_n, \ldots\}</tex> - ортонормированная система в гильбертовом пространстве <tex>H</tex>, <tex>\sum\limits_{i=1}^{\infty} \alpha_i^2 \leq +\infty</tex>. Тогда <tex>\exists ! x \in H : \alpha_i = \langle x, e_i \rangle</tex> и выполняется '''равенство Парсеваля''': <tex>\sum \alpha_i^2(x) = \|x\|^2</tex>
 +
}}
 +
 
 +
===17.Наилучшее приближение в Н для случая выпуклого,замкнутого множества,<tex>H=H_1 \oplus H_2</tex>===
 +
 
 +
{{Теорема
 +
|statement=
 +
<tex>M</tex> - замкнутое выпуклое подмножество гильбертова пространства <tex>H</tex>. Тогда <tex>\forall x \in H\; \exists \overline{x} : \|x - \overline{x}\| = \inf\limits_{y \in M} \|x - y\|</tex>
 +
}}
 +
{{Теорема
 +
|statement=
 +
<tex>H_1</tex> - подпространство <tex>H,\; H_2 = H_1^{\perp} = \{y \mid \forall x \in H_1 : y \perp x\}</tex>. Тогда <tex>\forall x \in H\; \exists!x_1, x_2 : x = x_1 + x_2,\; x_i \in H_i</tex>
 +
}}
 +
 
 +
===18. Непрерывный линейный функционал и его норма.===
 +
 
 +
{{Определение
 +
|definition=
 +
Линейный функционал <tex>f</tex> '''ограничен''', если <tex>\|f\| = \sup\limits_{\|x\| \leq 1} |f(x)| < +\infty</tex>
 +
}}
 +
{{Определение
 +
|definition=
 +
Линейный функционал <tex>f</tex> '''непрерывен''' в <tex>x</tex>, если
 +
<tex>\forall \{x_n\} : x_n \to x \Rightarrow f(x_n) \to f(x)</tex>
 +
}}
 +
{{Лемма
 +
|statement=
 +
<tex>f</tex> непрерывен в <tex>x</tex> <tex>\Leftrightarrow</tex> <tex>f</tex> непрерывен в <tex>0</tex>
 +
}}
 +
{{Теорема
 +
|statement=
 +
<tex>f</tex> непрерывен <tex>\Leftrightarrow</tex> <tex>f</tex> ограничен
 +
}}
 +
 
 +
===19. Связь между непрерывностью линейного функционала и замкнутостью его ядра.===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Ядро''' линейного функционала <tex>Ker f = \{x \mid f(x) = 0\}</tex>
 +
}}
 +
{{Теорема
 +
|statement=
 +
<tex>f</tex> непрерывен <tex>\Leftrightarrow</tex> <tex>Ker f</tex> замкнуто
 +
}}
 +
 
 +
===20. Продолжение по непрерывности линейного функционала со всюду плотного линейного подмножества НП.===
 +
 
 +
{{Лемма
 +
|statement=
 +
Пусть <tex>X</tex> - НП, <tex>Y</tex> всюду плотно в <tex>X</tex>, <tex>f</tex> - ограниченный линейный функционал из <tex>Y</tex>. Тогда <tex>\exists !g : X \to \mathbb{R} : g(y) = f(y),\; \|g\| = \|f\|</tex> (существует единственное продолжение, сохраняющее норму)
 +
}}
 +
 
 +
===21. Теорема Хана-Банаха для НП (сепарабельный случай).===
 +
 
 +
{{Лемма
 +
|statement=
 +
Пусть <tex>X</tex> - линейное множество с введенной на нем полунормой <tex>p(x)</tex>, <tex>Y \subset X</tex>, <tex>f : Y \to \mathbb{R}</tex>, <tex>|f(y)| \leq p(y)</tex> (то есть функционал подчинен полунорме), <tex>z \notin Y</tex>, <tex>Z = L(Y, z)</tex>. Тогда <tex>\exists g : Z \to \mathbb{R} : g(y) = f(y),\; g(x) \leq p(x)</tex>
 +
}}
 +
{{Теорема
 +
|author=Хан - Банах
 +
|statement=
 +
Пусть <tex>X</tex> - линейное множество с введенной на нем полунормой <tex>p(x)</tex>, <tex>Y \subset X</tex>, <tex>f : Y \to \mathbb{R}</tex>, <tex>|f(y)| \leq p(y)</tex>. Тогда <tex>\exists g : X \to \mathbb{R} : g(y) = f(y),\; g(x) \leq p(x)</tex>, то есть продолжение <tex>f</tex>
 +
}}
 +
 
 +
===22. Два следствия из теоремы Хана-Банаха.===
 +
 
 +
'''Следствие 1''': <tex>X</tex> - НП, <tex>x_0 \in X</tex> <tex>\Rightarrow</tex> <tex>\exists f : f(x_0) = \|x_0\|,\; \|f\| = 1</tex>
 +
 
 +
'''Следствие 2''': <tex>X</tex> - НП, <tex>\{e_1, e_2, \ldots, e_n\}</tex> - ЛНЗ <tex>\Rightarrow</tex> <tex>\exists \{f_1, f_2, \ldots, f_n\} : f_i(e_j) = \delta_{ij}</tex> (биортогональная система)
 +
 
 +
===23. Теорема Рисса об общем виде линейного непрерывного функционала в Н.===
 +
 
 +
{{Теорема
 +
|author=Рисс
 +
|statement=
 +
<tex>\forall f \in H^*\; \exists ! y \in H : f(x) = \langle x, y \rangle</tex>, причем <tex>\|f\| = \|y\|</tex>
 +
}}
 +
 
 +
===24. Непрерывный линейный оператор и его норма.===
 +
 
 +
{{Определение
 +
|definition=
 +
Линейный оператор <tex>A</tex> '''ограничен''', если <tex>\|A\| = \sup\limits_{\|x\| \leq 1} \|Ax\| < +\infty</tex>
 +
}}
 +
{{Определение
 +
|definition=
 +
Линейный оператор <tex>A</tex> '''непрерывен''' в <tex>x</tex>, если
 +
<tex>\forall \{x_n\} : x_n \to x \Rightarrow Ax_n \to Ax</tex>
 +
}}
 +
{{Теорема
 +
|statement=
 +
<tex>A</tex> непрерывен <tex>\Leftrightarrow</tex> <tex>A</tex> ограничен
 +
}}
 +
 
 +
===25. Продолжение линейного оператора по непрерывности.===
 +
 
 +
{{Лемма
 +
|statement=
 +
<tex>A: X_1 \to Y,\; Cl\;X_1 = X,\; Y</tex> - Банахово, <tex>\|A\| < +\infty</tex>. Тогда <tex>\exists !\tilde{A} : X \to Y : \tilde{A}x = Ax,\; \|\tilde{A}\| = \|A\|</tex>
 +
}}
 +
 
 +
===26. Полнота пространства L(X,Y).===
 +
 
 +
{{Определение
 +
|definition=
 +
<tex>L(X,Y)</tex> - пространство непрерывных линейных операторов из <tex>X</tex> в <tex>Y</tex>
 +
}}
 +
{{Лемма
 +
|statement=
 +
<tex>Y</tex> - Банахово <tex>\Rightarrow L(X,Y)</tex> - Банахово
 +
}}
 +
 
 +
===27. Теорема Банаха-Штейнгауза.===
 +
 
 +
{{Теорема
 +
|author=Банах - Штейнгауз
 +
|statement=
 +
Пусть <tex>\forall x : \sup\limits_n\|A_nx\| < +\infty</tex> (то есть последовательность поточечно ограничена). Тогда <tex>\sup\limits_n\|A_n\| < +\infty</tex> (то есть последовательность равномерно ограничена)
 +
}}
 +
 
 +
===28. Условие непрерывной обратимости лин. оператора.===
 +
 
 +
{{Теорема
 +
|author=
 +
|statement=
 +
Пусть <tex>A</tex> - ограниченный линейный оператор из <tex>X</tex> в <tex>Y</tex>, и <tex>\exists m\; \forall x \in X : m \|x\| \leq \|Ax\|</tex>. Тогда <tex>R(A)</tex> замкнуто, <tex>\exists A^{-1}:Y \to X,\; \|A^{-1}\| < +\infty</tex>
 +
}}
 +
 
 +
===29. Теорема Банаха о непрерывной обратимости I-С.===
 +
 
 +
{{Теорема
 +
|author=Банах
 +
|statement=
 +
Пусть <tex>X</tex> - Банахово, <tex>C \in L(X),\; \|C\| < 1</tex>. Тогда <tex>I - C</tex> непрерывно обратим.
 +
}}
 +
 
 +
===30. Теорема Банаха об обратном операторе.===
 +
 
 +
{{Теорема
 +
|author=Банах
 +
|statement=
 +
Пусть <tex>A</tex> - биективный линейный ограниченный оператор из <tex>X</tex> в <tex>Y</tex> (оба Банаховы). Тогда <tex>\exists A^{-1}:Y \to X,\; \|A^{-1}\| < +\infty</tex>
 +
}}
 +
 
 +
===31. Теорема о замкнутом графике.===
 +
 
 +
{{Теорема
 +
|statement=
 +
<tex>A</tex> непрерывен <tex>\Leftrightarrow</tex> <tex>G_A</tex> замкнут
 +
}}
 +
 
 +
===32. Теорема об открытом отображении.===
 +
 
 +
{{Теорема
 +
|statement=
 +
<tex>A</tex> непрерывен, <tex>G</tex> - открыто <tex>\Rightarrow</tex> <tex>A(G)</tex> - открыто
 +
}}
 +
 
 +
===33. Теорема об открытости резольвентного множества.===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Резольвентное множество''' линейного оператора <tex>\rho(A) = \{\lambda \mid \exists (A - \lambda I)^{-1}</tex> - непрерывный<tex>\}</tex>
 +
}}
 +
{{Определение
 +
|definition=
 +
'''Спектр''' линейного оператора <tex>\sigma(A) = \mathbb{R} \setminus \rho(A)</tex>
 +
}}
 +
{{Теорема
 +
|statement=
 +
<tex>\rho(A)</tex> открыто
 +
}}
 +
 
 +
===34. Вхождение спектра в круг радиуса ||А||.===
 +
 
 +
{{Лемма
 +
|statement=
 +
<tex>\sigma(A) \subset \{\lambda \mid |\lambda| \leq \|A\| \}</tex>
 +
}}
 +
 
 +
===35. Спектральный  радиус.===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Спектральный радиус''' <tex>r_{\sigma}(A) = \inf\limits_n \sqrt[n]{\|A^n\|}</tex>
 +
}}
 +
{{Теорема
 +
|statement=
 +
Относительно спектрального радиуса любого линейного оператора верны следующие утверждения:
 +
#<tex>r_{\sigma}(A) = \lim\limits_{n \to \infty} \sqrt[n]{\|A\|^n}</tex>
 +
#<tex>\sigma(A) \subset \{\lambda \mid |\lambda| \leq r_{\sigma}(A) \}</tex>
 +
}}
 +
 
 +
===36. Аналитичность резольвенты.===
 +
 
 +
эммм...
 +
 
 +
===37. Непустота спектра ограниченного оператора.===
 +
 
 +
эммм...
 +
 
 +
===38. А* и его ограниченность.===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Сопряженным''' к оператору <tex>A : X \to Y</tex> называется такой оператор <tex>A^* : Y^* \to X^*</tex>, что <tex>A^* \varphi = \varphi \circ A</tex>, то есть <tex>A^*\varphi = f : f(x) = \varphi(Ax)</tex>
 +
}}
 +
{{Лемма
 +
|statement=
 +
<tex>\|A\|=\|A^*\|</tex>
 +
}}
 +
 
 +
===39. Ортогональные дополнения Е и Е*.===
 +
 
 +
{{Определение
 +
|definition=
 +
'''Ортогональным дополнением''' линейного множества <tex>M \subset E</tex> называется множество <tex>M^{\perp} = \{f \in E^* \mid \forall x \in M f(x) = 0\}</tex>.
 +
<tex>M^{*\perp} = \{x \in E \mid \forall f \in M^* f(x) = 0\}</tex>. Заметим, что из непрерывности функционалов следует замкнутость ортогональных дополнений.
 +
}}
 +
{{Лемма
 +
|statement=
 +
<tex>E^{\perp} = \{0\},\; E^{*\perp} = \{0\}</tex>
 +
}}
 +
 
 +
===40. Ортогональное дополнение R(A).===
 +
 
 +
{{Теорема
 +
|statement=
 +
Пусть <tex>A</tex> - ограниченный ЛО, <tex>R(A)</tex> замкнуто. Тогда <tex>R(A) = (Ker A^*)^{\perp}</tex>
 +
}}
 +
 
 +
===41. Ортогональное дополнение R(A*).===
 +
 
 +
{{Теорема
 +
|statement=
 +
Пусть <tex>A</tex> - ограниченный ЛО, <tex>R(A)</tex> замкнуто. Тогда <tex>R(A^*) = (Ker A)^{\perp}</tex>
 +
}}
 +
 
 +
===42. Арифметика компактных операторов.===
 +
 
 +
{{Определение
 +
|definition=
 +
Оператор <tex>A</tex> '''компактен''', если <tex>\forall G : G</tex> - ограниченное <tex>\Rightarrow A(G)</tex> - относительно компактно
 +
}}
 +
{{Лемма
 +
|statement=
 +
Компактные операторы обладают следующими свойствами:
 +
#<tex>A</tex> - компактный, <tex>B</tex> - ограниченный <tex>\Rightarrow</tex> <tex>AB</tex> и <tex>BA</tex> - компактные
 +
#<tex>A_n</tex> - компактные, <tex>A_n \to A</tex> <tex>\Rightarrow</tex> <tex>A</tex> - компактный
 +
#<tex>A : X \to Y</tex> - компактный, <tex>X</tex> - бесконечномерно <tex>\Rightarrow</tex> оператор <tex>A</tex> не может быть непрерывно обратим
 +
}}
 +
 
 +
===43. О компактности А*, сепарабельность R(A).===
 +
 
 +
{{Теорема
 +
|statement=
 +
<tex>A</tex> - компактный <tex>\Rightarrow</tex> <tex>A^*</tex> - компактный
 +
}}
 +
 
 +
===44. Базис Шаудера, лемма о координатном пространстве.===
 +
 
 +
{{Определение
 +
|definition=
 +
Система точек <tex>\{e_1, e_2, \ldots, e_n, \ldots \} \subset X</tex> называется '''базисом Шаудера''', если любой элемент пространства <tex>X</tex> единственным образом представим в виде линейной комбинации этих точек
 +
}}
 +
 
 +
===45. Почти конечномерность компактного оператора.===
 +
 
 +
{{Теорема
 +
|statement=
 +
<tex>X</tex> - пространство с базисом Шаудера, <tex>A : X \to X</tex> - компактный <tex>\Rightarrow</tex> <tex>\forall \varepsilon \; \exists B, C : A = B+C,\; \|C\| < \varepsilon,\; B</tex> - конечномерный (то есть <tex>R(B)</tex> конечномерно), <tex>B</tex> и <tex>C</tex> компактны
 +
}}
 +
 
 +
===46. О размерности Ker(I-A) компактного А.===
 +
 
 +
{{Лемма
 +
|statement=
 +
<tex>A</tex> - компактный <tex>\Rightarrow \dim(Ker (I - A)) < +\infty</tex>
 +
}}
 +
 
 +
===47. Условие замкнутости R(A) на языке решений операторного уравнения.===
 +
 
 +
{{Лемма
 +
|statement=
 +
Пусть <tex> A \in L(E, F) </tex>, и <tex> \exists \alpha \; \forall y \in R(A)\;  \exists x \in E : \|x\| \leq \alpha \|y\| , Ax=y</tex>. Тогда <tex> R(A) </tex> - замкнуто.
 +
}}
 +
 
 +
===48. О замкнутости R(I-A)  компактного А.===
 +
 
 +
{{Лемма
 +
|statement=
 +
Пусть оператор <tex> A </tex> - компактный. Тогда <tex> R(I - A) </tex> - замкнуто
 +
}}
 +
 
 +
===49. Лемма о Ker(I-A)*n компактного А.===
 +
 
 +
{{Лемма
 +
|statement=
 +
Пусть оператор <tex>A</tex> - компактный. Тогда <tex> \exists k : Ker(I - A)^{k + 1} = Ker(I - A)^k</tex>
 +
}}
 +
 
 +
===50. Об условии справедливости  равенства  R(I-A)=Е.===
 +
 
 +
{{Лемма
 +
|statement=
 +
Пусть оператор <tex>A</tex> - компактный. Тогда <tex> R(I - A) = X \Leftrightarrow Ker(I - A) = \{0\}</tex>
 +
}}
 +
 
 +
===51. Альтернатива Фредгольма-Шаудера.===
 +
 
 +
{{Теорема
 +
|author=альтернатива Фредгольма - Шаудера
 +
|statement=
 +
Пусть <tex>A : X \to X</tex> - компактный. Рассмотрим уравнение <tex>y = x - Ax</tex>. Возможны 2 случая:
 +
#<tex>Ker(I-A) = \{0\}</tex>. Тогда уравнение имеет решение при любом <tex>y</tex>
 +
#<tex>Ker(I-A) \neq \{0\}</tex>. Тогда уравнение имеет решение при <tex>y \in (Ker (I-A)^*)^{\perp}</tex>
 +
}}
 +
 
 +
===52. О спектре компактного оператора.===
 +
 
 +
{{Теорема
 +
|statement=
 +
Пусть оператор <tex>A</tex> - компактный. Тогда его спектр не более, чем счетный, и предельной точкой в нем может быть только <tex>0</tex>
 +
}}
 +
 
 +
 
 +
 
 +
==Билеты - 6 семестр==
 
===1. Сопряженный оператор и его ограниченность===
 
===1. Сопряженный оператор и его ограниченность===
  
Строка 40: Строка 535:
 
Это пространство называется '''сопряжённым''' к <tex>E</tex>, оно обычно обозначается <tex>E^*</tex>.
 
Это пространство называется '''сопряжённым''' к <tex>E</tex>, оно обычно обозначается <tex>E^*</tex>.
  
'''Def''': Пусть <tex>A:E\to F</tex> — непрерывный линейный оператор действующий из банахова пространства <tex>E</tex> в банахово пространство <tex>F</tex>. И пусть <tex>E^*, F^*</tex> — сопряжённые пространства. Обозначим <tex>\forall x\in E, f\in F^* \langle Ax,f\rangle =f(Ax)</tex>. Если <tex>f</tex> — фиксировано, то <tex>\langle Ax,f \rangle </tex> — линейный непрерывный функционал в <tex>E, \langle Ax,f \rangle \in E^*</tex>. Таким образом, для <tex>\forall f\in F^*</tex> определён линейный непрерывный функционал из <tex>E^* </tex>, поэтому определён оператор <tex>A^*:F^*\to E^*</tex>, такой что <tex>\langle Ax,f \rangle=\langle x,A^*f \rangle</tex>.  
+
'''Def''': Пусть <tex>A:E\to F</tex> — непрерывный линейный оператор, действующий из банахова пространства <tex>E</tex> в банахово пространство <tex>F</tex>. И пусть <tex>E^*, F^*</tex> — сопряжённые пространства. Обозначим <tex>\forall x\in E, f\in F^* \langle Ax,f\rangle =f(Ax)</tex>. Если <tex>f</tex> — фиксировано, то <tex>\langle Ax,f \rangle </tex> — линейный непрерывный функционал в <tex>E, \langle Ax,f \rangle \in E^*</tex>. Таким образом, для <tex>\forall f\in F^*</tex> определён линейный непрерывный функционал из <tex>E^* </tex>, поэтому определён оператор <tex>A^*:F^*\to E^*</tex>, такой что <tex>\langle Ax,f \rangle=\langle x,A^*f \rangle</tex>.  
 
<tex>A^*</tex> называется '''сопряжённым оператором'''.
 
<tex>A^*</tex> называется '''сопряжённым оператором'''.
  
Строка 59: Строка 554:
 
(Здесь можно написать красивый текст из конспекта про важность теорем и все такое)
 
(Здесь можно написать красивый текст из конспекта про важность теорем и все такое)
  
'''Th''': Пусть задан линейный оператор <tex>A:E\to F</tex>, где <tex>E</tex> и <tex>F</tex> банаховы. Пусть также множество значений <tex>R(A)</tex> замкнуто в <tex>F</tex>. Тогда <tex>R(A) = (Ker(A^*))^\perp</tex>.
+
'''Th''': Пусть задан линейный оператор <tex>A:E\to F</tex>, где <tex>E</tex> и <tex>F</tex> банаховы. Тогда <tex>\overline{R(A)} = (Ker(A^*))^\perp</tex>.
  
 
===4. Ортогональное дополнение R(A*)===
 
===4. Ортогональное дополнение R(A*)===
Строка 79: Строка 574:
  
 
===6. О компактности А*, сепарабельность R(A)===
 
===6. О компактности А*, сепарабельность R(A)===
 +
[[Теорема о компактности сопряженного оператора]]
  
 
===7. Базис Шаудера, лемма о координатном пространстве===
 
===7. Базис Шаудера, лемма о координатном пространстве===
Строка 102: Строка 598:
  
 
===12. Лемма о Ker(I-A)*n компактного А===
 
===12. Лемма о Ker(I-A)*n компактного А===
'''Утв.''' Пусть оператор <tex>A</tex> - компактный, и <tex> k \in \mathbb{N}</tex>.
+
'''Утв.''' Пусть оператор <tex>A</tex> - компактный.
Тогда, <tex>Ker(I - A)^{k + 1} = Ker(I - A)^k</tex>
+
Тогда <tex> \exists k \in \mathbb{N}</tex>: <tex>Ker(I - A)^{k + 1} = Ker(I - A)^k</tex>
  
 
===13. Об условии справедливости  равенства  R(I-A)=Е===
 
===13. Об условии справедливости  равенства  R(I-A)=Е===
Строка 135: Строка 631:
 
'''Def.''' <tex> m_{-} = \inf_{\|x\| = 1}\langle Ax, x \rangle</tex>
 
'''Def.''' <tex> m_{-} = \inf_{\|x\| = 1}\langle Ax, x \rangle</tex>
  
'''Def.''' <tex> m_{-} = \sup_{\|x\| = 1}\langle Ax, x \rangle</tex>
+
'''Def.''' <tex> m_{+} = \sup_{\|x\| = 1}\langle Ax, x \rangle</tex>
  
 
'''Def.''' Если для некоторого оператора <tex>L : \langle Ax, x \rangle \ge 0 </tex>, то <tex>L</tex> называется '''неотрицательным'''.
 
'''Def.''' Если для некоторого оператора <tex>L : \langle Ax, x \rangle \ge 0 </tex>, то <tex>L</tex> называется '''неотрицательным'''.
Строка 155: Строка 651:
 
===22. Теорема Банаха о сжимающем отображении===
 
===22. Теорема Банаха о сжимающем отображении===
  
'''Def''': Пусть на метрическом пространстве <tex>(M, \rho)</tex> определён оператор <tex>A: M \to M</tex>. Он называется сжимающим на <tex>M</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>.
+
'''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>.
 +
 
 +
'''Th.'''(''Банаха о неподвижной точке'')
 +
Пусть <tex>T : \overline{V} \to \overline{V}</tex> и является сжатием, тогда в этом шаре у оператора <tex>T</tex> <tex>\exists !</tex> неподвижная точка.
  
'''Th''' (Банах): У сжимающего отображения существует единственная неподвижная точка <tex>\mathbb{}x^{*}: Ax^{*}=x^{*}</tex>.
+
[[Теорема Банаха о неподвижной точке]]
  
 
===23. Дифференциал Фреше===
 
===23. Дифференциал Фреше===
 +
 +
Рассмотрим <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>T(x, t) =\int_0^1 K(t,s,x(s))ds</tex>, действующий на <tex>x(t) \in C[0,1]</tex>, и где <tex>K = W(v, y, z); v, y \in [0, 1]</tex>, <math> z \in \mathbb R</math>, и существует непрерывная по <tex>v, y, z</tex> производная <tex>\frac{\partial K}{\partial z}</tex>. Тогда в любой точке пространства <tex>C[0,1]</tex>  это отображение дифференцируемо и его производная Фреше задается интегральным линейным по <tex>\delta x</tex>оператором: <tex>T_{x_0}'(\delta x, t) = \int_0^1 \frac{\partial K}{\partial z}(t, s, x_0(s))\delta x(s) ds</tex>.
  
 
===24. Неравенство Лагранжа===
 
===24. Неравенство Лагранжа===
 +
 +
'''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>.
  
 
===25. Локальная теорема о неявном отображении===
 
===25. Локальная теорема о неявном отображении===
 +
 
'''Th.'''(''о неявном отображении'')
 
'''Th.'''(''о неявном отображении'')
  
Пусть <tex>\overline{V}</tex> - замкнутый шар в <tex> X, \overline{V} \subset X</tex>.
+
Пусть <tex>V</tex> - шар в <tex> X, V \subset X</tex>, а <tex>W \subset Y</tex> - шар в <tex>Y</tex>, и задан оператор <tex>T : {V} \times {W} \rightarrow Y</tex>.
 
 
Пусть <tex>\overline{W} \subset Y</tex> - замкнутый шар в <tex>Y</tex> и задан оператор <tex>T : \overline{V} \times \overline{W} \rightarrow Y</tex> и <tex>z = T(x, y), \: x \in \overline{V}, \:  y \in \overline{W},\: z \in Y</tex>.
 
  
Пусть <tex>x_0 \in V, y_0 \in W, T(x_0, y_0) = \theta \in Y</tex>.  
+
Пусть <tex>x_0 \in V,\: y_0 \in W,\: T(x_0, y_0) = 0 \in Y</tex>.  
  
 
Пусть <tex> \forall x \in V, \forall y \in W \quad \exists T^{'}_y </tex> - дифференциал Фреше, непрерывный как отображение переменных <tex>x</tex> и <tex>y</tex>.
 
Пусть <tex> \forall x \in V, \forall y \in W \quad \exists T^{'}_y </tex> - дифференциал Фреше, непрерывный как отображение переменных <tex>x</tex> и <tex>y</tex>.
Строка 176: Строка 689:
 
Пусть также <tex>T^{'}_{y}(x_0, y_0)</tex> - непрерывно обратим.
 
Пусть также <tex>T^{'}_{y}(x_0, y_0)</tex> - непрерывно обратим.
  
'''Тогда''', задача о неявном отображении для <tex>T(x, y) = 0</tex> c начальным решением <tex>T(x_0, y_0) = 0</tex> разрешима в некоторой окрестности точки <tex>(x_0, y_0)</tex>
+
'''Тогда''' задача о неявном отображении для <tex>T(x, y) = 0</tex> c начальным решением <tex>T(x_0, y_0) = 0</tex> разрешима в некоторых окрестностях точек <tex>x_0, y_0</tex>, а именно: для любого <tex>x' \in V_{\delta_1}(x_0)</tex> существует единственное <tex>y' \in V_{\delta_2}(y_0) : T(x', y') = 0</tex> .
  
 
===26. Теорема о локальной обратимости отображения===
 
===26. Теорема о локальной обратимости отображения===
 +
 +
'''Следствие локальной теоремы о неявном отображении'''
 +
 +
Дано отображение <tex>T : V_r(x_0) \subset X \to V_r(y_0) \subset Y</tex>. <tex>T(x_0) = y_0</tex>. Если существует непрерывно-обратимое отображение <tex>T_x '(x_0)</tex> и отображение <tex>T_x '(x)</tex>существует на всем шаре, то для любого <tex>y \in V_{\delta_2}(y_0)</tex> существует единственный <tex>x \in V_{\delta_1}(x_0) : T(x) = y</tex>.
  
 
===27. Локальная теорема о простой итерации===
 
===27. Локальная теорема о простой итерации===
 +
 +
'''Th.'''(''о простой итерации'')
 +
<tex>T: V \subset X \to X</tex> и существует <tex>\overline{x} \in V : \overline{x} = T(\overline{x})</tex>. Кроме того, пусть <tex>\|T'(\overline{x})\| < 1</tex>. Тогда <tex>\exists \delta : \forall x_0 \in V_\delta(\overline{x})</tex> и <tex>x_{n + 1} = T(x_n)</tex> выполнено <tex>lim(x_n) = \overline{x}</tex>.
  
 
===28. Локальная теорема о методе Ньютона-Канторовича===
 
===28. Локальная теорема о методе Ньютона-Канторовича===
 +
 +
'''Th.'''(''о методе Ньютона-Канторовича'')
 +
<tex>F : V \to X, \exists \overline{x} \in V : F(\overline{x}) = 0</tex>.
 +
Кроме этого, пусть на <tex> V</tex> <tex> \exists F'(x)</tex>, непрерывная на нем. Тогда существует окрестность точки <tex>\overline{x}</tex>, в которой метод Ньютона-Канторовича осуществим. Т.е. <tex>\exists \delta > 0 : x_0 \in V_\delta(\overline{x}), x_{n + 1} = x_n - (F_{x_n}')^{-1}(F(x_n))</tex> и тогда: <tex> lim(x_n) = \overline{x} </tex>.
  
 
===29. О проекторах Шаудера===
 
===29. О проекторах Шаудера===
 +
'''Lm.'''(''о проекторах Шаудера'')
 +
Пусть <tex>T: D \subset X \to X</tex>, где <tex>X</tex> -- нормированное пространство. Тогда существует последовательность компактных операторов <tex>T_n: T_n \rightrightarrows T</tex> на D, и при этом <tex>\forall T_n</tex> лежит в конечномерном подпространстве <tex>X</tex>.
  
 
===30. Теорема Шаудера о неподвижной точке===
 
===30. Теорема Шаудера о неподвижной точке===
 +
'''Th.'''(''Шаудера'')
 +
Если <tex>D</tex> -- ограниченное выпуклое замкнутое множество в Банаховом пространстве <tex>X</tex> и оператор <tex>T : D \to D</tex>, то у этого оператора на <tex>D</tex> существует неподвижная точка.

Текущая версия на 19:30, 4 сентября 2022

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

Большая часть материала взята из Википедии, чтобы не перебивать формулы и все такое. Все остальное бралось из конспектов, лучший из них лежит на firun.ru


Функциональный анализ — раздел математики, в котором изучаются бесконечномерные пространства (в основном пространства функций) и их отображения.

Содержание

Краткое содержание 5 семестра (версия 2009)

  • Метрическое пространство [math]M[/math] есть множество точек с метрикой [math]d \colon M \times M \to \mathbb{R}[/math]:
  1. [math]d(x,\;y) \ge 0 ; d(x,\;y)=0\Leftrightarrow x=y[/math].
  2. [math]d(x,\;y)=d(y,\;x)[/math].
  3. [math]d(x,\;z)\leqslant d(x,\;y)+d(y,\;z)[/math].
  • Метрическое пространство называется полным, если любая фундаментальная последовательность в нём сходится к некоторому элементу этого пространства.
  • Банаховым пространством (B-пространством) называется нормированное линейное пространство, полное по метрике, порождённой нормой.
  • Пространство непрерывных функций — линейное нормированное пространство, элементами которого являются непрерывные на отрезке [math][a,b][/math] функции (обычно обозначается [math]{\mathrm C}[a,b][/math]). Норма в этом пространстве определяется следующим образом: [math]||x||_{{\mathbf C}[a,b]}=\max_{t\in [a,b]}|x(t)|[/math]
  • Теорема Рисса — Фреше: Для любого непрерывного линейного функционала [math]f[/math] на Гильбертовом пространстве [math] H[/math] существует единственный вектор [math]y \in H[/math] такой, что [math]f(x)= \langle x,y \rangle[/math] для любого [math]x \in H[/math]. При этом норма линейного функционала [math]f[/math] совпадает с нормой вектора [math]y[/math]: [math]\|f\|=\sup_{\|x\|=1} |f(x)|= \sqrt{\langle y,y \rangle}[/math]. Теорема также означает, что пространство всех линейных ограниченных функционалов над [math]H[/math] изоморофно пространству [math]H[/math].
  • Теорема (Хан-Банах) о продолжении линейного функционала с сохранением мажоранты: любой линейный функционал [math]f(x)[/math], определённый на подпространстве [math]L[/math] линейного пространства [math]X[/math] и удовлетворяющий условию [math]|f(x)| \leq p(x), \forall x \in L[/math], где [math]p(x)[/math] — некоторый положительно однородный функционал (определённый на всем пространстве [math]X[/math]) то [math]f(x)[/math] может быть продолжен на все пространство [math]X[/math] с сохранением этого условия.
  • Теорема (Хан-Банах) о непрерывном продолжении линейного функционала: всякий линейный функционал [math]f(x)[/math], определённый на линейном многообразии [math]L[/math] линейного нормированного пространства [math]X[/math], можно продолжить на все пространство с сохранением нормы.
  • Следствие: для любых двух различных точек линейного пространства существует линейный функционал, определённый на всем пространстве и такой, что его значения в этих точках различны.
  • Ядром линейного отображения [math]f\colon A\to B[/math] называются подмножество [math]A[/math], которое отображается в нуль: [math]\mbox{Ker}\,f = \{ x\in A\mid f(x) = 0 \}[/math]. Ядро линейного отображения образует подпространство в линейном пространстве [math]A[/math].
  • Пусть [math]A[/math] — оператор, действующий в банаховом пространстве [math]E[/math]. Число λ называется регулярным для оператора [math]A[/math], если оператор [math]R(\lambda)=(A - \lambda I)^{-1}[/math], называемый резольвентой оператора [math]A[/math], определён на всём [math]E[/math] и непрерывен. Множество регулярных значений оператора [math]A[/math] называется резольвентным множеством этого оператора, а дополнение резольвентного множества — спектром этого оператора.

Билеты - 5 семестр

1. Принцип вложенных шаров в полном МП.

Теорема:
[math]X[/math] - полное МП, [math]\overline{V}_{r_i} \subset X,\; \overline{V}_{r_{i+1}} \subset \overline{V}_{r_i},\; r_i \rightarrow 0 \Rightarrow \exists ! d \in \cap \overline{V}_{r_i}[/math]

2. Теорема Бэра о категориях.

Определение:
Замыкание [math]Cl \; A = F[/math], если [math]F[/math] - замкнутое, [math]A \subseteq F[/math] и [math]\forall[/math] замкнутого [math]G: A \subseteq G \Rightarrow F \subseteq G[/math]


Определение:
[math]A[/math] всюду плотно в [math]X[/math], если [math]Cl \; A = X[/math]


Определение:
[math]A[/math] нигде не плотно в [math]X[/math], если [math]\forall V_r(x)\; \exists V_{r_1}(y) \subset V_r(x): V_{r_1}(y) \cap A = \O[/math]


Определение:
[math]A[/math] I категории по Бэру в [math]X[/math], если [math]A = \cup A_i[/math] (счетное объединение), [math]A_i[/math] нигде не плотно в [math]X[/math], иначе II категории
Теорема:
[math]X[/math] - полное МП [math]\Rightarrow X[/math] - II категории в [math]X[/math]

3. Критерий компактности Хаусдорфа в МП.

Теорема Хаусдорфа об ε-сетях

4. Пространство [math]R^{\infty}[/math]: метрика, покоординатная сходимость.

[math](x_1^n, x_2^n, \ldots, x_m^n, \ldots) \to (x_1, x_2, \ldots, x_m, \ldots) \Leftrightarrow \forall m : x_m^n \to x_m[/math]

[math]\rho(x,y) = \sum\limits_{m=1}^{\infty}\frac{1}{2^m} \cdot \frac{|x_m - y_m|}{1+|x_m - y_m|}[/math]

5. Компактность прямоугольника в [math]R^{\infty}[/math].

ну компактен, хуле

6. Постранство S(E, [math]\mu[/math]).

Определение:
[math]S(E, \mu)[/math] - пространство измеримых функций на [math]E[/math] по [math]\mu[/math]. На этом пространстве определена метрика [math]\rho (f, g) = \int\limits_E \frac{|f-g|}{1+|f-g|} d\mu[/math]


7. Норма в линейном множестве, определение предела по норме, арифметика предела.

Определение:
Норма [math]\| \cdot \| : X \to \mathbb{R}[/math]
  1. [math]\|x\| \geq 0, \; \|x\| = 0 \Leftrightarrow x=0[/math]
  2. [math]\|\alpha x\| = |\alpha|\|x\|[/math]
  3. [math]\|x+y\| \leq \|x\| + \|y\|[/math]


Определение:
[math]x_n[/math] сходится по норме к [math]x[/math], если [math]\|x_n - x\| \to 0[/math]


8. Эквивалентность норм в конечномерном НП.

Определение:
[math]\| \cdot \|_1 \sim \| \cdot \|_2[/math], если [math]\exists a, b \; \forall x : a\|x\|_1 \leq \|x\|_2 \leq b\|x\|_1[/math]
Теорема (Рисс):
В конечномерном пространстве любые две нормы эквивалентны

9. Замкнутость конечномерного линейного подмножества НП.

Теорема (следствие из теоремы Рисса):
[math]X[/math] - НП, [math]Y[/math] - конечномерное линейное подмножество [math]X \Rightarrow Y[/math] - замкнутое

10. Лемма Рисса о почти перпендикуляре, пример ее применения.

Лемма (Рисс, о почти перпендикуляре):
[math]Y[/math] - собственное подпространство [math]X \Rightarrow \forall \varepsilon \in (0, 1) \; \exists z_{\varepsilon} \in X : \|z_{\varepsilon}\| = 1,\; \rho(z_{\varepsilon}, Y) \geq 1 - \varepsilon[/math] (где [math]\rho(z, Y) = \inf\limits_{y \in Y} \|z-y\|[/math])
Доказательство:
[math]\triangleright[/math]
[math]\forall z \notin Y \; \forall \varepsilon\; \exists y_{\varepsilon} \in Y : \rho(z, Y) \leq \|z - y_{\varepsilon}\| \leq \frac{1}{1 - \varepsilon} \cdot \rho(z, Y)[/math] (по свойствам inf). Тогда положим [math]z_{\varepsilon}[/math] из условия леммы равным [math]\frac{z - y_{\varepsilon}}{\|z - y_{\varepsilon}\|}[/math]
[math]\triangleleft[/math]
Лемма (пример применения леммы):
[math]X[/math] - бесконечномерное НП [math]\Rightarrow[/math] любой шар в нем - не компакт

11. Банаховы пространства на примерах С[0,1] и Lp(E).

Определение:
Банахово пространство - полное нормированное пространство


Определение:
[math]C[0,1][/math] - пространство непрерывных функций на [math][0,1][/math]. На этом пространстве определена норма [math]\|f\| = \max\limits_{t \in [0,1]}|f(t)|[/math]


Определение:
[math]L_p(E)[/math] - пространство измеримых на [math]E[/math] функций[math]f : \int\limits_E|f|^p \lt +\infty[/math]. На этом пространстве определена норма [math]\|f\| = \sqrt[p]{\int\limits_E |f|^p}[/math]


12. Определение скалярного произведения, равенство параллелограмма, неравенство Шварца.

Определение:
Скалярное произведение [math]\langle x,y \rangle[/math]
  1. [math]\langle\alpha x_1 + \beta x_2,y \rangle = \alpha\langle x_1, y \rangle + \beta \langle x_2, y \rangle [/math]
  2. [math]\langle x,y \rangle = \langle y,x \rangle [/math]
  3. [math]\langle x,x \rangle \geq 0, \langle x,x \rangle = 0 \Leftrightarrow x = 0[/math]

Равенство параллелограмма: [math]2\|x\|^2 + 2\|y\|^2 = \|x+y\|^2 + \|x-y\|^2[/math]

Неравенство Шварца: [math]|\langle x,y \rangle| \leq \sqrt{\langle x,x \rangle} \cdot \sqrt{\langle y,y \rangle}[/math]

13. Наилучшее приближение в НП в случае конечномерного подпространства.

Теорема:
[math]\forall x \; \exists y^* : E_n(x) = \|x - y^*\|[/math]

14. Наилучшее приближение в унитарном пространстве, неравенство Бесселя.

[math]\{e_1, e_2, \ldots, e_n, \ldots\}[/math] - ортонормированная система.

[math]\alpha_i(x) = \langle x,e_i \rangle, \; \sum \alpha_i(x)e_i[/math] - абстрактный ряд Фурье

[math]\delta_n(x) = \sum\limits_{i=1}^n \alpha_i(x)e_i,\; E_n(x) = \|x-\delta_n(x)\|[/math]

Неравенство Бесселя: [math]\sum \alpha_i^2(x) \leq \|x\|^2[/math]

15. Определение Гильбертова пространства, сепарабельность и полнота.

Определение:
Гильбертово пространство - полное унитарное пространство. То есть для него выполняется:
  1. Введено скалярное произведение
  2. Введена норма: [math]\|x\| = \sqrt{\langle x,x \rangle}[/math]
  3. [math]\|x_n - x_m\| \to 0 \Rightarrow \exists x : \|x_n - x\| \to 0[/math]


Определение:
Пространство сепарабельно, если у него существует счетное абсолютно плотное подмножество
Лемма:
В гильбертовом пространстве существует ортонормированный базис тогда и только тогда, когда оно сепарабельно

16. Теорема Рисса-Фишера, равенство Парсеваля.

Теорема (Рисс - Фишер):
Пусть [math]\{e_1, e_2, \ldots, e_n, \ldots\}[/math] - ортонормированная система в гильбертовом пространстве [math]H[/math], [math]\sum\limits_{i=1}^{\infty} \alpha_i^2 \leq +\infty[/math]. Тогда [math]\exists ! x \in H : \alpha_i = \langle x, e_i \rangle[/math] и выполняется равенство Парсеваля: [math]\sum \alpha_i^2(x) = \|x\|^2[/math]

17.Наилучшее приближение в Н для случая выпуклого,замкнутого множества,[math]H=H_1 \oplus H_2[/math]

Теорема:
[math]M[/math] - замкнутое выпуклое подмножество гильбертова пространства [math]H[/math]. Тогда [math]\forall x \in H\; \exists \overline{x} : \|x - \overline{x}\| = \inf\limits_{y \in M} \|x - y\|[/math]
Теорема:
[math]H_1[/math] - подпространство [math]H,\; H_2 = H_1^{\perp} = \{y \mid \forall x \in H_1 : y \perp x\}[/math]. Тогда [math]\forall x \in H\; \exists!x_1, x_2 : x = x_1 + x_2,\; x_i \in H_i[/math]

18. Непрерывный линейный функционал и его норма.

Определение:
Линейный функционал [math]f[/math] ограничен, если [math]\|f\| = \sup\limits_{\|x\| \leq 1} |f(x)| \lt +\infty[/math]


Определение:
Линейный функционал [math]f[/math] непрерывен в [math]x[/math], если [math]\forall \{x_n\} : x_n \to x \Rightarrow f(x_n) \to f(x)[/math]
Лемма:
[math]f[/math] непрерывен в [math]x[/math] [math]\Leftrightarrow[/math] [math]f[/math] непрерывен в [math]0[/math]
Теорема:
[math]f[/math] непрерывен [math]\Leftrightarrow[/math] [math]f[/math] ограничен

19. Связь между непрерывностью линейного функционала и замкнутостью его ядра.

Определение:
Ядро линейного функционала [math]Ker f = \{x \mid f(x) = 0\}[/math]
Теорема:
[math]f[/math] непрерывен [math]\Leftrightarrow[/math] [math]Ker f[/math] замкнуто

20. Продолжение по непрерывности линейного функционала со всюду плотного линейного подмножества НП.

Лемма:
Пусть [math]X[/math] - НП, [math]Y[/math] всюду плотно в [math]X[/math], [math]f[/math] - ограниченный линейный функционал из [math]Y[/math]. Тогда [math]\exists !g : X \to \mathbb{R} : g(y) = f(y),\; \|g\| = \|f\|[/math] (существует единственное продолжение, сохраняющее норму)

21. Теорема Хана-Банаха для НП (сепарабельный случай).

Лемма:
Пусть [math]X[/math] - линейное множество с введенной на нем полунормой [math]p(x)[/math], [math]Y \subset X[/math], [math]f : Y \to \mathbb{R}[/math], [math]|f(y)| \leq p(y)[/math] (то есть функционал подчинен полунорме), [math]z \notin Y[/math], [math]Z = L(Y, z)[/math]. Тогда [math]\exists g : Z \to \mathbb{R} : g(y) = f(y),\; g(x) \leq p(x)[/math]
Теорема (Хан - Банах):
Пусть [math]X[/math] - линейное множество с введенной на нем полунормой [math]p(x)[/math], [math]Y \subset X[/math], [math]f : Y \to \mathbb{R}[/math], [math]|f(y)| \leq p(y)[/math]. Тогда [math]\exists g : X \to \mathbb{R} : g(y) = f(y),\; g(x) \leq p(x)[/math], то есть продолжение [math]f[/math]

22. Два следствия из теоремы Хана-Банаха.

Следствие 1: [math]X[/math] - НП, [math]x_0 \in X[/math] [math]\Rightarrow[/math] [math]\exists f : f(x_0) = \|x_0\|,\; \|f\| = 1[/math]

Следствие 2: [math]X[/math] - НП, [math]\{e_1, e_2, \ldots, e_n\}[/math] - ЛНЗ [math]\Rightarrow[/math] [math]\exists \{f_1, f_2, \ldots, f_n\} : f_i(e_j) = \delta_{ij}[/math] (биортогональная система)

23. Теорема Рисса об общем виде линейного непрерывного функционала в Н.

Теорема (Рисс):
[math]\forall f \in H^*\; \exists ! y \in H : f(x) = \langle x, y \rangle[/math], причем [math]\|f\| = \|y\|[/math]

24. Непрерывный линейный оператор и его норма.

Определение:
Линейный оператор [math]A[/math] ограничен, если [math]\|A\| = \sup\limits_{\|x\| \leq 1} \|Ax\| \lt +\infty[/math]


Определение:
Линейный оператор [math]A[/math] непрерывен в [math]x[/math], если [math]\forall \{x_n\} : x_n \to x \Rightarrow Ax_n \to Ax[/math]
Теорема:
[math]A[/math] непрерывен [math]\Leftrightarrow[/math] [math]A[/math] ограничен

25. Продолжение линейного оператора по непрерывности.

Лемма:
[math]A: X_1 \to Y,\; Cl\;X_1 = X,\; Y[/math] - Банахово, [math]\|A\| \lt +\infty[/math]. Тогда [math]\exists !\tilde{A} : X \to Y : \tilde{A}x = Ax,\; \|\tilde{A}\| = \|A\|[/math]

26. Полнота пространства L(X,Y).

Определение:
[math]L(X,Y)[/math] - пространство непрерывных линейных операторов из [math]X[/math] в [math]Y[/math]
Лемма:
[math]Y[/math] - Банахово [math]\Rightarrow L(X,Y)[/math] - Банахово

27. Теорема Банаха-Штейнгауза.

Теорема (Банах - Штейнгауз):
Пусть [math]\forall x : \sup\limits_n\|A_nx\| \lt +\infty[/math] (то есть последовательность поточечно ограничена). Тогда [math]\sup\limits_n\|A_n\| \lt +\infty[/math] (то есть последовательность равномерно ограничена)

28. Условие непрерывной обратимости лин. оператора.

Теорема:
Пусть [math]A[/math] - ограниченный линейный оператор из [math]X[/math] в [math]Y[/math], и [math]\exists m\; \forall x \in X : m \|x\| \leq \|Ax\|[/math]. Тогда [math]R(A)[/math] замкнуто, [math]\exists A^{-1}:Y \to X,\; \|A^{-1}\| \lt +\infty[/math]

29. Теорема Банаха о непрерывной обратимости I-С.

Теорема (Банах):
Пусть [math]X[/math] - Банахово, [math]C \in L(X),\; \|C\| \lt 1[/math]. Тогда [math]I - C[/math] непрерывно обратим.

30. Теорема Банаха об обратном операторе.

Теорема (Банах):
Пусть [math]A[/math] - биективный линейный ограниченный оператор из [math]X[/math] в [math]Y[/math] (оба Банаховы). Тогда [math]\exists A^{-1}:Y \to X,\; \|A^{-1}\| \lt +\infty[/math]

31. Теорема о замкнутом графике.

Теорема:
[math]A[/math] непрерывен [math]\Leftrightarrow[/math] [math]G_A[/math] замкнут

32. Теорема об открытом отображении.

Теорема:
[math]A[/math] непрерывен, [math]G[/math] - открыто [math]\Rightarrow[/math] [math]A(G)[/math] - открыто

33. Теорема об открытости резольвентного множества.

Определение:
Резольвентное множество линейного оператора [math]\rho(A) = \{\lambda \mid \exists (A - \lambda I)^{-1}[/math] - непрерывный[math]\}[/math]


Определение:
Спектр линейного оператора [math]\sigma(A) = \mathbb{R} \setminus \rho(A)[/math]
Теорема:
[math]\rho(A)[/math] открыто

34. Вхождение спектра в круг радиуса ||А||.

Лемма:
[math]\sigma(A) \subset \{\lambda \mid |\lambda| \leq \|A\| \}[/math]

35. Спектральный радиус.

Определение:
Спектральный радиус [math]r_{\sigma}(A) = \inf\limits_n \sqrt[n]{\|A^n\|}[/math]
Теорема:
Относительно спектрального радиуса любого линейного оператора верны следующие утверждения:
  1. [math]r_{\sigma}(A) = \lim\limits_{n \to \infty} \sqrt[n]{\|A\|^n}[/math]
  2. [math]\sigma(A) \subset \{\lambda \mid |\lambda| \leq r_{\sigma}(A) \}[/math]

36. Аналитичность резольвенты.

эммм...

37. Непустота спектра ограниченного оператора.

эммм...

38. А* и его ограниченность.

Определение:
Сопряженным к оператору [math]A : X \to Y[/math] называется такой оператор [math]A^* : Y^* \to X^*[/math], что [math]A^* \varphi = \varphi \circ A[/math], то есть [math]A^*\varphi = f : f(x) = \varphi(Ax)[/math]
Лемма:
[math]\|A\|=\|A^*\|[/math]

39. Ортогональные дополнения Е и Е*.

Определение:
Ортогональным дополнением линейного множества [math]M \subset E[/math] называется множество [math]M^{\perp} = \{f \in E^* \mid \forall x \in M f(x) = 0\}[/math]. [math]M^{*\perp} = \{x \in E \mid \forall f \in M^* f(x) = 0\}[/math]. Заметим, что из непрерывности функционалов следует замкнутость ортогональных дополнений.
Лемма:
[math]E^{\perp} = \{0\},\; E^{*\perp} = \{0\}[/math]

40. Ортогональное дополнение R(A).

Теорема:
Пусть [math]A[/math] - ограниченный ЛО, [math]R(A)[/math] замкнуто. Тогда [math]R(A) = (Ker A^*)^{\perp}[/math]

41. Ортогональное дополнение R(A*).

Теорема:
Пусть [math]A[/math] - ограниченный ЛО, [math]R(A)[/math] замкнуто. Тогда [math]R(A^*) = (Ker A)^{\perp}[/math]

42. Арифметика компактных операторов.

Определение:
Оператор [math]A[/math] компактен, если [math]\forall G : G[/math] - ограниченное [math]\Rightarrow A(G)[/math] - относительно компактно
Лемма:
Компактные операторы обладают следующими свойствами:
  1. [math]A[/math] - компактный, [math]B[/math] - ограниченный [math]\Rightarrow[/math] [math]AB[/math] и [math]BA[/math] - компактные
  2. [math]A_n[/math] - компактные, [math]A_n \to A[/math] [math]\Rightarrow[/math] [math]A[/math] - компактный
  3. [math]A : X \to Y[/math] - компактный, [math]X[/math] - бесконечномерно [math]\Rightarrow[/math] оператор [math]A[/math] не может быть непрерывно обратим

43. О компактности А*, сепарабельность R(A).

Теорема:
[math]A[/math] - компактный [math]\Rightarrow[/math] [math]A^*[/math] - компактный

44. Базис Шаудера, лемма о координатном пространстве.

Определение:
Система точек [math]\{e_1, e_2, \ldots, e_n, \ldots \} \subset X[/math] называется базисом Шаудера, если любой элемент пространства [math]X[/math] единственным образом представим в виде линейной комбинации этих точек


45. Почти конечномерность компактного оператора.

Теорема:
[math]X[/math] - пространство с базисом Шаудера, [math]A : X \to X[/math] - компактный [math]\Rightarrow[/math] [math]\forall \varepsilon \; \exists B, C : A = B+C,\; \|C\| \lt \varepsilon,\; B[/math] - конечномерный (то есть [math]R(B)[/math] конечномерно), [math]B[/math] и [math]C[/math] компактны

46. О размерности Ker(I-A) компактного А.

Лемма:
[math]A[/math] - компактный [math]\Rightarrow \dim(Ker (I - A)) \lt +\infty[/math]

47. Условие замкнутости R(A) на языке решений операторного уравнения.

Лемма:
Пусть [math] A \in L(E, F) [/math], и [math] \exists \alpha \; \forall y \in R(A)\; \exists x \in E : \|x\| \leq \alpha \|y\| , Ax=y[/math]. Тогда [math] R(A) [/math] - замкнуто.

48. О замкнутости R(I-A) компактного А.

Лемма:
Пусть оператор [math] A [/math] - компактный. Тогда [math] R(I - A) [/math] - замкнуто

49. Лемма о Ker(I-A)*n компактного А.

Лемма:
Пусть оператор [math]A[/math] - компактный. Тогда [math] \exists k : Ker(I - A)^{k + 1} = Ker(I - A)^k[/math]

50. Об условии справедливости равенства R(I-A)=Е.

Лемма:
Пусть оператор [math]A[/math] - компактный. Тогда [math] R(I - A) = X \Leftrightarrow Ker(I - A) = \{0\}[/math]

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

Теорема (альтернатива Фредгольма - Шаудера):
Пусть [math]A : X \to X[/math] - компактный. Рассмотрим уравнение [math]y = x - Ax[/math]. Возможны 2 случая:
  1. [math]Ker(I-A) = \{0\}[/math]. Тогда уравнение имеет решение при любом [math]y[/math]
  2. [math]Ker(I-A) \neq \{0\}[/math]. Тогда уравнение имеет решение при [math]y \in (Ker (I-A)^*)^{\perp}[/math]

52. О спектре компактного оператора.

Теорема:
Пусть оператор [math]A[/math] - компактный. Тогда его спектр не более, чем счетный, и предельной точкой в нем может быть только [math]0[/math]


Билеты - 6 семестр

1. Сопряженный оператор и его ограниченность

Будем работать с [math]E[/math], как с банаховым пространством.

Def: Пространство всех линейных функционалов на [math]E[/math] образует линейное пространство (прошлый семестр). Это пространство называется сопряжённым к [math]E[/math], оно обычно обозначается [math]E^*[/math].

Def: Пусть [math]A:E\to F[/math] — непрерывный линейный оператор, действующий из банахова пространства [math]E[/math] в банахово пространство [math]F[/math]. И пусть [math]E^*, F^*[/math] — сопряжённые пространства. Обозначим [math]\forall x\in E, f\in F^* \langle Ax,f\rangle =f(Ax)[/math]. Если [math]f[/math] — фиксировано, то [math]\langle Ax,f \rangle [/math] — линейный непрерывный функционал в [math]E, \langle Ax,f \rangle \in E^*[/math]. Таким образом, для [math]\forall f\in F^*[/math] определён линейный непрерывный функционал из [math]E^* [/math], поэтому определён оператор [math]A^*:F^*\to E^*[/math], такой что [math]\langle Ax,f \rangle=\langle x,A^*f \rangle[/math]. [math]A^*[/math] называется сопряжённым оператором.

Th: Пусть задан линейный оператор [math]A:E\to F[/math]. Тогда норма оператора [math]A^*:F^*\to E^*[/math] совпадает с нормой [math]A[/math].

(оператор проектирования ??)

2. Ортогональные дополнения Е и Е*

Def: Пусть [math]S[/math] некоторое линейное множество. Тогда его ортогональное дополнение [math]S^\perp = \{f \in E^* | f(x) = 0 \; \forall x \in S\}[/math].

Th: Имеют место соотношения: [math]E^\perp = \{0\}[/math]; [math](E^*)^\perp = \{0\}[/math].

(при доказательстве используем теорему Хана-Банаха)

3. Ортогональное дополнение R(A)

(Здесь можно написать красивый текст из конспекта про важность теорем и все такое)

Th: Пусть задан линейный оператор [math]A:E\to F[/math], где [math]E[/math] и [math]F[/math] банаховы. Тогда [math]\overline{R(A)} = (Ker(A^*))^\perp[/math].

4. Ортогональное дополнение R(A*)

Th: Пусть множество значений оператора [math]A[/math] замкнуто: [math]R(A) = Cl(R(A))[/math]. Тогда верно [math]R(A^*) = Cl(R(A^*)) = (Ker(A))^\perp[/math].



5. Арифметика компактных операторов

Def: Линейный оператор [math]A:E\to F[/math] называется компактным, если он переводит любое ограниченное множество из [math]E[/math] в относительно компактное множество в [math]F[/math].

Примером является оператор Фредгольма: [math]\psi(s) = \int\limits_a^b\!K(s, t) \varphi(t)\, dt[/math].

Установим несколько свойств:

Th: Пусть операторы [math]A, B:E\to E[/math] такие, что [math]A[/math] компактен, а [math]B[/math] ограничен. Тогда операторы [math]AB[/math] и [math]BA[/math] компактны.

6. О компактности А*, сепарабельность R(A)

Теорема о компактности сопряженного оператора

7. Базис Шаудера, лемма о координатном пространстве

Def: Система векторов [math]\{e_n\}[/math] топологического векторного пространства [math]E[/math] называется базисом Шаудера, если каждый элемент [math]f \in E[/math] разлагается в единственный, сходящийся к [math]f[/math] ряд по [math]\{e_n\}[/math]: [math]f= \sum_{i=1}^{\infty} f_i e_i[/math], где [math]f_i[/math] — числа, называемые коэффициентами разложения вектора [math]f[/math] по базису [math]\{e_n\}[/math].

8. Почти конечномерность компактного оператора


Теперь походим вокруг альтернативы Фредгольма-Шаудера.

9. О размерности Ker(I-A) компактного А

Утв. Пусть [math] A [/math] - компактный оператор, [math] H = I - A [/math]. Тогда, [math] dim (Ker H)\lt +\infty [/math]

Следствие Множество решений операторного уравнения [math] Ax = \lambda x, \lambda \in \mathbb{R} [/math] конечномерно.

10. Условие замкнутости R(A) на языке решений операторного уравнения

Утв. Пусть [math] A \in L(E, F) [/math] и [math] \exists \alpha = const : \forall y \in R(A), y = A(x), \exists x \in E : \|x\| \le \alpha \|y\| [/math]. Тогда, [math] R(A) [/math] - замкнуто.

11. О замкнутости R(I-A) компактного А

Утв. Пусть оператор [math] A [/math] - компактный. Тогда, [math] R(I - A) [/math] - замкнуто.

12. Лемма о Ker(I-A)*n компактного А

Утв. Пусть оператор [math]A[/math] - компактный. Тогда [math] \exists k \in \mathbb{N}[/math]: [math]Ker(I - A)^{k + 1} = Ker(I - A)^k[/math]

13. Об условии справедливости равенства R(I-A)=Е

Утв. Пусть [math] A [/math] - компактный оператор. Тогда, [math] R(I - A) = E \Leftrightarrow Ker(I - A) = \{0\}[/math]

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

Th. (Альтернатива Фредгольма-Шаудера)

Пусть [math] A : E \rightarrow E [/math] - компактный оператор, [math]E - B[/math]-пространство.

Тогда, [math] \forall \lambda \neq 0[/math] возможны только 2 случая:

  1. [math] Ker(\lambda I - A) = \{0\} \Rightarrow \lambda \in \rho(A) [/math]
  2. [math] Ker(\lambda I - A) \neq \{0\} \Rightarrow [/math] (уравнение [math](\lambda I - A)x = y[/math] разрешимо относительно [math]x) \Leftrightarrow y \in (Ker(\lambda I^{*} - A^{*}))^{\bot}[/math]

15. О спектре компактного оператора


Теперь это называется Теорией Гильберта-Шмидта

16. О вещественности спектра ограниченного самосопряженного оператора

Утв. Пусть [math] A [/math] - ограниченный и самосопряженный оператор. Тогда, [math]\sigma(A) \subset \mathbb{R}[/math]

17. О характеризации спектра и резольвентного множества ограниченного самосопряженного оператора

Th. Пусть [math] A [/math] - ограниченный и самосопряженный оператор. Тогда,

  1. [math] \lambda \in \rho(A) \Leftrightarrow \exists m \gt 0 : \|(\lambda I - A)x\| \ge m \|x\| [/math]
  2. [math] \lambda \in \sigma(A) \Leftrightarrow \exists \{x_n | \|x_n\| = 1\}[/math], т.ч. [math] \lim_{n \rightarrow \infty}\|(\lambda I - A)x_n\| = 0 [/math]

18. О числах m- и m+

Def. [math] m_{-} = \inf_{\|x\| = 1}\langle Ax, x \rangle[/math]

Def. [math] m_{+} = \sup_{\|x\| = 1}\langle Ax, x \rangle[/math]

Def. Если для некоторого оператора [math]L : \langle Ax, x \rangle \ge 0 [/math], то [math]L[/math] называется неотрицательным.

Th. Пусть [math]A[/math] - ограниченный и самосопряженный оператор. Тогда, [math]\sigma(A) \subset [m_{-}, m_{+}][/math], и [math]m_{-} \in \sigma(A), m_{+} \in \sigma(A)[/math]

19. Спектральный радиус ограниченного самосопряженного оператора

Th. Пусть [math]A[/math] - ограниченный, самосопряженный оператор. Тогда, [math]\|A\| = r_{\sigma} = \max\{|m_{-}|, |m_{+}|\}[/math]

20. Теорема Гильберта-Шмидта

21. О диагонализации компактного самосопряженного оператора и разложении его резольвенты


Элементы нелинейного функционального анализа.

22. Теорема Банаха о сжимающем отображении

Def: Пусть на замкнутом шаре [math]\overline{V} \subset X[/math], где [math]X[/math] - метрическое пространство, определён оператор [math]A: \overline{V} \subset X \to X[/math]. Он называется сжатием на [math]\overline{V}[/math], если [math]\exists\alpha\in(0; 1)[/math] такой, что для [math]{\forall}x,y \in M[/math] выполняется [math]{\rho(Ax,Ay)\leqslant\alpha{\cdot}\rho(x,y)}[/math].

Th.(Банаха о неподвижной точке) Пусть [math]T : \overline{V} \to \overline{V}[/math] и является сжатием, тогда в этом шаре у оператора [math]T[/math] [math]\exists ![/math] неподвижная точка.

Теорема Банаха о неподвижной точке

23. Дифференциал Фреше

Рассмотрим [math]T : V_r(x_0) \to Y[/math], где [math]V_r(x_0) \subset X[/math] и, кроме того, [math]X, Y[/math] - нормированные пространства.

Пусть [math]\|\delta x \| \lt r[/math]. Тогда, очевидно, [math]x + \delta x \in V_r(x_0)[/math].

Обозначим [math]\delta T(x_0, \delta x) = T(x_0 + \delta x) - T(x_0)[/math].

Def. Отображение [math]T[/math] называется дифференцируемым по Фреше в точке [math]x_0[/math], если существует оператор [math]A_{x_0} \in L(X,Y)[/math] такой, что [math]\delta T(x_0, \delta x) = A_{x_0}(\delta x) + o(\delta x)[/math], где [math]o(\delta x)[/math] несёт следующий смысл: [math]\frac{ {\|o(\delta x)\|}_Y } {{\| \delta x \|}_X} \to 0[/math].

Обычно, в случае дифференцируемого отображения используют следующее обозначение: [math]T_{x_0}' = A_{x_0}[/math]. Подчеркнем, что [math]T_{x_0}': X \to Y[/math]. Аргументом является "отклонение" некоторой точки [math]x'[/math] от [math]x_0[/math]: [math]x - x_0[/math]. А результат применения оператора: [math]T(x') - T(x_0)[/math] с точностью до [math]o(\delta x = x' - x)[/math].

Lm. Рассмотрим оператор [math]T(x, t) =\int_0^1 K(t,s,x(s))ds[/math], действующий на [math]x(t) \in C[0,1][/math], и где [math]K = W(v, y, z); v, y \in [0, 1][/math], [math] z \in \mathbb R[/math], и существует непрерывная по [math]v, y, z[/math] производная [math]\frac{\partial K}{\partial z}[/math]. Тогда в любой точке пространства [math]C[0,1][/math] это отображение дифференцируемо и его производная Фреше задается интегральным линейным по [math]\delta x[/math]оператором: [math]T_{x_0}'(\delta x, t) = \int_0^1 \frac{\partial K}{\partial z}(t, s, x_0(s))\delta x(s) ds[/math].

24. Неравенство Лагранжа

Lm. (Неравенство Лагранжа) Пусть [math]X, Y[/math] -- нормированные пространства, [math]V[/math] -- некоторый шар в [math]X[/math] и дан оператор [math]T : V \to Y[/math] и на всем этом шаре [math]\exists T'(x)[/math]. Тогда для любых [math]a, b \in V : \|T(b) - T(a)\| \le M {\|b - a\|}_X[/math], где [math]M = sup_{x \in [a, b]}\|T'(x)\|[/math].

25. Локальная теорема о неявном отображении

Th.(о неявном отображении)

Пусть [math]V[/math] - шар в [math] X, V \subset X[/math], а [math]W \subset Y[/math] - шар в [math]Y[/math], и задан оператор [math]T : {V} \times {W} \rightarrow Y[/math].

Пусть [math]x_0 \in V,\: y_0 \in W,\: T(x_0, y_0) = 0 \in Y[/math].

Пусть [math] \forall x \in V, \forall y \in W \quad \exists T^{'}_y [/math] - дифференциал Фреше, непрерывный как отображение переменных [math]x[/math] и [math]y[/math].

Пусть также [math]T^{'}_{y}(x_0, y_0)[/math] - непрерывно обратим.

Тогда задача о неявном отображении для [math]T(x, y) = 0[/math] c начальным решением [math]T(x_0, y_0) = 0[/math] разрешима в некоторых окрестностях точек [math]x_0, y_0[/math], а именно: для любого [math]x' \in V_{\delta_1}(x_0)[/math] существует единственное [math]y' \in V_{\delta_2}(y_0) : T(x', y') = 0[/math] .

26. Теорема о локальной обратимости отображения

Следствие локальной теоремы о неявном отображении

Дано отображение [math]T : V_r(x_0) \subset X \to V_r(y_0) \subset Y[/math]. [math]T(x_0) = y_0[/math]. Если существует непрерывно-обратимое отображение [math]T_x '(x_0)[/math] и отображение [math]T_x '(x)[/math]существует на всем шаре, то для любого [math]y \in V_{\delta_2}(y_0)[/math] существует единственный [math]x \in V_{\delta_1}(x_0) : T(x) = y[/math].

27. Локальная теорема о простой итерации

Th.(о простой итерации) [math]T: V \subset X \to X[/math] и существует [math]\overline{x} \in V : \overline{x} = T(\overline{x})[/math]. Кроме того, пусть [math]\|T'(\overline{x})\| \lt 1[/math]. Тогда [math]\exists \delta : \forall x_0 \in V_\delta(\overline{x})[/math] и [math]x_{n + 1} = T(x_n)[/math] выполнено [math]lim(x_n) = \overline{x}[/math].

28. Локальная теорема о методе Ньютона-Канторовича

Th.(о методе Ньютона-Канторовича) [math]F : V \to X, \exists \overline{x} \in V : F(\overline{x}) = 0[/math]. Кроме этого, пусть на [math] V[/math] [math] \exists F'(x)[/math], непрерывная на нем. Тогда существует окрестность точки [math]\overline{x}[/math], в которой метод Ньютона-Канторовича осуществим. Т.е. [math]\exists \delta \gt 0 : x_0 \in V_\delta(\overline{x}), x_{n + 1} = x_n - (F_{x_n}')^{-1}(F(x_n))[/math] и тогда: [math] lim(x_n) = \overline{x} [/math].

29. О проекторах Шаудера

Lm.(о проекторах Шаудера) Пусть [math]T: D \subset X \to X[/math], где [math]X[/math] -- нормированное пространство. Тогда существует последовательность компактных операторов [math]T_n: T_n \rightrightarrows T[/math] на D, и при этом [math]\forall T_n[/math] лежит в конечномерном подпространстве [math]X[/math].

30. Теорема Шаудера о неподвижной точке

Th.(Шаудера) Если [math]D[/math] -- ограниченное выпуклое замкнутое множество в Банаховом пространстве [math]X[/math] и оператор [math]T : D \to D[/math], то у этого оператора на [math]D[/math] существует неподвижная точка.