Функциональный анализ

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

В прошлых сериях

• Метрическое пространство [math]M[/math] есть множество точек с метрикой [math]d \colon M \times M \to 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].

• Метрическое пространство называется полным, если любая фундаментальная последовательность в нём сходится к некоторому элементу этого пространства.

• Пространство непрерывных функций — линейное нормированное пространство, элементами которого являются непрерывные на отрезке [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)=(x,y)[/math] для любого [math]x \in H[/math]. При этом норма линейного функционала [math]f[/math] совпадает с нормой вектора [math]y[/math]: [math]\|f\|=\sup_{\|x\|=1} |f(x)|= \sqrt{(y,y)}[/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], можно продолжить на все пространство с сохранением нормы.

• Следствие: для любых двух различных точек линейного пространства существует линейный функционал, определённый на всем пространстве и такой, что его значения в этих точках различны.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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