- •Введение
- •Глава 1 топологические пространства
- •1. Понятие множества. Операции над множествами. Отображения. Характеристическая функция множества
- •2. Топология и топологическое пространство. База топологии
- •3. Структура открытых множеств и окрестности
- •4. Понятие метрического пространства и топологии, определяемой метрикой. Примеры метрических пространств
- •5. Операция замыкания множества в топологическом пространстве
- •6. Внутренние точки множества, внутренность. Граница множества
- •7. Сепарабельные топологические пространства
- •8. Индуцированные топологии и фактортопология
- •9. Непрерывное отображение. Гомеоморфизм
- •10. Компактные пространства
- •Глава 2 свойства метрических пространств
- •1. Сходящиеся последовательности в метрических пространствах и полные метрические пространства
- •2. Теорема о пополнении метрического пространства
- •3. Критерий полноты пространства
- •4. Компактные множества в метрическом пространстве. Теорема Хаусдорфа
- •5. Критерии компактности в пространствах с[0, 1], lp. Теорема Арцела
- •6. Теорема Вейерштрасса о равномерном приближении и сепарабельность с[0, 1]
- •7. Отображение компактных множеств. Теорема Вейерштраса об ограниченности и достижении точных граней непрерывной функцией
- •8. Принцип сжимающих отображений и его применение
- •9. Нигде не плотные множества. Понятие категории множеств метрического пространства. Теорема Бэра
- •Глава 3 мера и измеримые множества
- •1. Системы множеств
- •2. Системы множеств в евклидовом пространстве
- •3. Функция множеств
- •4. Мера и ее простейшие свойства. Мера в евклидовом пространстве
- •5. Внешняя мера
- •6. Измеримые множества
- •7. Мера Лебега на Rn
- •Глава 4 измеримые функции
- •1. Измеримые функции и их свойства
- •2. Сходимость почти всюду
- •3. Сходимость по мере и ее свойства
- •4. Сравнение сходимости почти всюду и по мере
- •5. Почти равномерная сходимость. Теоремы Егорова и Лузина
- •Глава 5 интеграл лебега
- •1. Интеграл Лебега для простых и ограниченных функций на пространстве с конечной мерой
- •2. Основные свойства интеграла от ограниченной функции
- •3. Определение интеграла Лебега в произвольном случае
- •4. Предельный переход под знаком интеграла
- •5. Сравнение интегралов Римана и Лебега
- •6. Заряды. Теорема Радона—Никодима
- •Глава 6 нормированные и гильбертовы пространства
- •2. Конечномерные пространства. Конечномерность и компактность. Теорема Рисса о локальной компактности.
- •3. Скалярное произведение. Гильбертово пространство. Аксиомы и свойства. Ортонормированные системы. Ортогонализация по Шмидту. Тождество параллелограмма.
- •4. Ортогональность и ортогональное дополнение
- •5. Ряды Фурье в гильбертовом пространстве. Коэффициенты Фурье. Неравенство Бесселя и равенство Парсеваля. Полные и замкнутые ортонормированные системы
- •Глава 7 линейные операторы в нормированных пространствах
- •2. Пространство линейных непрерывных операторов и его полнота относительно равномерной сходимости операторов
- •3. Принцип равномерной ограниченности и теорема Банаха-Штейнгауза. Полнота пространства операторов относительно поточечной сходимости
- •4. Ядро оператора. Критерий ограниченности обратного оператора. Теоремы об обратном операторе
- •5. Примеры обратных операторов. Обратимость операторов вида (I - a) и (a - c).
- •6. График оператора и замкнутые операторы. Критерий замкнутости. Теорема Банаха о замкнутом графике. Теорема об открытом отображении
- •Xn(t)X(t) равномерно на [a, b],.
- •X'n(t) y(t) равномерно на [а, b].
- •Глава 8 линейные функционалы в нормированных пространствах
- •1. Линейные непрерывные функционалы. Продолжение по непрерывности. Теорема Хана-Банаха. Следствия из теоремы Хана-Банаха
- •2. Сопряженные пространства
- •3. Теорема Рисса об общем виде линейного функционала для пространства непрерывных функций
- •4. Пространства Лебега и сопряженные к ним
- •5. Изоморфизм и изометрия сепарабельных гильбертовых пространств. Общий вид линейного функционала в гильбертовом пространстве. Теорема Рисса-Фишера.
- •6. Сопряженный оператор. Условия существования сопряженного оператора. Замкнутость сопряженного оператора. Сопряженный оператор к ограниченному оператору и его норма.
- •Глава 9 спектральная теория операторов
- •1. Вполне непрерывные операторы и их свойства. Операторы Фредгольма и Гильберта-Шмидта
- •2. Теорема Шаудера о полной непрерывности сопряженного оператора. Уравнения первого и второго рода с вполне непрерывными операторами. Теорема о замкнутости области значений оператора
- •3. Альтернативы Фредгольма. Теорема Шаудера о неподвижной точке.
- •Предметный указатель
Введение
Начало XX века было великой эпохой в истории математики. Многие из современных направлений математики родились или оформились именно в это время.
Одним из важнейших событий развития математики, происходившего в период от начала века до первой мировой войны, было рождение функционального анализа, в котором соединились многие концепции классического анализа, линейной алгебры и геометрии.
Параллельно возникли и интенсивно развивались разделы математики, сыгравшие важную роль в становлении функционального анализа: топология, теория меры и интеграла Лебега.
Слово «топология» относят ныне к двум разделам математики. И изначально для каждого из них имелись свои определения при слове «топология». Одну топологию, родоначальником которой был Пуанкаре, называли долгое время комбинаторной, за другой (у истоков ее были исследования Кантора) закрепилось название общей или теоретико-множественной.
Общая топология примыкает к теории множеств и лежит в основании математики (в соответствии с планировкой этой науки, которая была намечена последователями Кантора – Д.Гильбертом, Г.Вейлем и др.). Это аксиоматическая теория, призванная исследовать такие понятия, как «предел», «сходимость», «непрерывность» и т.п. Основы общей топологии в ХХ веке были заложены немецким математиком Хаусдорфом, польским математиком Куратовским, знаменитым представителем московской школы П.С.Александровым и другими.
В начале ХХ века Лебег завершил построение теории меры и интегрирования. В XIX веке вслед за Коши и Риманом интеграл понимали как предел римановых сумм. Лебег же предложил другой подход. Основная идея построения интеграла Лебега состоит в том, что, в отличие от интеграла Римана, точки х группируются не по признаку их близости на оси х, а по признаку близости значений функции в этих точках. Но множества на оси абсцисс, для которых значения функции попадают в некоторый промежуток, у достаточно сложных функций могут быть устроены весьма причудливо, и для построения теории интегрирования необходимо было в первую очередь построить теорию меры, т.е. научиться «измерять» такие множества. Это было сделано Борелем и Лебегом.
Лебег весьма выразительно описал преимущество своего метода. «В методе Коши, – писал Лебег, – оперируют так, как делает это неопытный клерк, который подсчитывает монеты и кредитные билеты сообразно тому, как они попадаются под руку. Тогда как мы оперируем, как опытный и методичный клерк, говорящий: у меня n1 монет по одному франку, стоящих 1n1, у меня n2 монет по два франка, стоящих 2n2, у меня n5 монет по пять франков, стоящих 5n5 … Итого, у меня 1n1+ 2n2 + 5n5 +... франков. Конечно, и тот и другой клерки придут к одному и тому же результату. Но в случае сумм неделимых, число которых бесконечно, разница двух методов капитальная.» На базе новой теории меры родилось новое направление в теории функций – метрическая теория функций.
В двадцатые годы ведущая роль в теории функций перешла к русской школе, которую представляли Николай Николаевич Лузин и его ученики П.С.Александров, Н.К.Бари, А.Н.Колмогоров, Д.Е.Меньшов, М.Я.Суслин, А.Я.Хинчин и др. Они и заложили основания московской математической школы. Сделав первые шаги в теории функций, ученики Лузина пошли в дальнейшем каждый своим путем. Колмогоров и Хинчин преобразовали теорию вероятностей, Александров и Урысон – топологию, Люстерник и Шнирельман - нелинейный анализ, Новиков внес выдающийся вклад в математическую логику, Лаврентьев сделал крупнейшие открытия в комплексном анализе и механике. Лишь Меньшов и Бари продолжали дело своего учителя. В тридцатые годы ни одна математическая школа мира не располагала таким созвездием выдающихся ученых.
Функциональный анализ возник на рубеже XIX-го и XX-го веков в трудах Гильберта, Фреше, Фредгольма, Лебега и др. После выхода в свет знаменитого трактата С. Банаха он стал самостоятельной дисциплиной.
Еще в конце прошлого века были обнаружены аналогии между теорией систем линейных уравнений конечного числа переменных и их бесконечномерных аналогов – линейных интегральных уравнений. Решающий сдвиг в теории был сделан Фредгольмом в 1900 году. Интегральное уравнение Фредгольм заменил системой линейных уравнений, рассмотрев вместо интеграла интегральные суммы.
Методы решения систем линейных уравнений были разработаны еще в XVIII веке. Применив эти методы и переход к пределу, Фредгольм нашел условия разрешимости и алгоритмы нахождения решений уравнений. Это послужило стимулом к разработке теории, сочетавшей в себе элементы алгебры и геометрии, но в бесконечномерных пространствах.
Основные понятия и методы функционального анализа постепенно складывались в недрах более старых областей математического анализа.
Сущность функционального анализа состоит в том, что ряд понятий и методов из элементарных глав математического анализа и смежных областей алгебры и геометрии (таких как функциональная зависимость, предельный переход, близость, расстояния, которые явно или неявно и в разных формах используются в этих теориях) переносятся на объекты более общей и более сложной природы, причем широко используются геометрические и алгебраические методы. Такое перенесение, связанное с обобщением основных понятий анализа, позволяет с единой точки зрения подходить к вопросам, ранее рассматривавшимся изолированно в специальных математических дисциплинах, устанавливать связи между, казалось бы, далекими математическими теориями и, тем самым, способствовать открытию новых математических фактов (достаточно указать на ряд теорем существования решений дифференциальных, интегральных и иных уравнений, полученных методами функционального анализа).
Характерным для функционального анализа является не только обобщение, но и геометризация основных понятий и методов классического анализа. Функции тех или иных классов рассматриваются как точки или векторы «функциональных пространств». Такое рассмотрение потребовало обобщение геометрических понятий – бесконечномерных евклидовых, векторных и других пространств. Это привело, в конце концов, к созданию общих понятий метрических, линейных нормированных, топологических пространств, охватывающих как ранее рассматривающиеся геометрические объекты, так и разные функциональные пространства.
Развившись в большую самостоятельную математическую дисциплину, функциональный анализ и поныне продолжает ассимилировать и обобщать методы других, уже более новых математических дисциплин.