Рациональные и вещественные числа. Предел последовательности. Сумма ряда. Замечательные пределы. Метрические пространства. Топология прямой. Открытые и замкнутые множества. Компактные множества. Мощность множества. Непрерывные функции на прямой. Степенные ряды. Производная и дифференциал. Правило Лопиталя. Разложение Тейлора. Дифференцируемость функций нескольких переменных. Производная по направлению. Формула Тейлора для функции многих переменных. Критические точки. Гессиан. Лемма Морса. Принцип сжимающих отображений. Производная обратной функции. Неявная функция. Условные экстремумы. Производная функции, заданной неявно. Кривые в R^n. Интеграл по кривой. Многообразия. Гладкие отображения многообразий. Касательный вектор. Векторные поля. Фазовая кривая и фазовый поток. Дифференциальные формы на многообразиях. Дифференциал функции. Внешнее произведение дифференциальных форм. Внешний дифференциал формы. Преобразование форм при отображениях. Интегрирование дифференциальных форм. Ориентация. Формула Стокса. Производная Ли. Лемма Пуанкаре. Когомологии де Рама. Гармонические функции. Принцип максимума.
Тематику дифференциальных уравнений, безусловно, надо расширять, иначе «молодые побеги» — хаос, аттракторы, солитоны — будут расти сквозь асфальт. С другой стороны, базовые курсы нуждаются в резком сокращении, поскольку для самих дифуров не так много места остается в этой жизни. Из-за информационного переполнения. При этом стандартных мер недостает. Единственное средство — тривиализация дисциплины. Математика, как и человек, — иногда надувает щеки, наряжается и творит мифы. Поэтому в дифурах немало лишнего, вычурного, случайного — и одно лишь наведение порядка высвобождает массу свободного места. Данный мини-курс адресован «всем», поскольку преподносит некую общую часть. Не простую и не сложную, но дающую представление об основах и позволяющую при необходимости быстро войти в предмет и двигаться дальше.
Речь о теореме Брауэра и её обобщениях. В поле зрения теорема о еже, фиксирующая невозможность причесать сферу без макушки. Эффективность инструмента (степень отображения, вращение векторного поля) иллюстрируется также на задачах о единственности решения и о количестве решений.
Последовательности {a_n} вещественных чисел сопоставим последовательность экспонент {exp(a_n)} на отрезке [−π,π]. При каких условиях на последовательность {a_n} эта система полна, то есть любую функцию можно приблизить линейной комбинацией наших экспонент? Вопрос становится особенно интересным, если последовательность {a_n} определяется случаем.
Лекции читает Аносов Дмитрий Викторович, доктор физико-математических наук, профессор, академик РАН. Летняя школа «Современная математика», г. Дубна. 2001 г.
Множества. Функции. Отношения эквивалентности и порядка. Вещественные и комплексные числа. Числовые последовательности и ряды. Метрические пространства. Сепарабельность. Полнота. Пополнение. Вещественные и pадические числа пополнения рациональных чисел. Топология вещественной прямой. Теорема Бэра. Компакты. Множество Кантора. Непрерывные функции и их свойства. Фундаментальная группа окружности. Поточечная и равномерная сходимость последовательности функций. Топологические пространства. Топология поточечной сходимости. Производная и дифференциал. Производные высокого порядка. Формула Тейлора. Интеграл. Теорема Лиувилля об интегрируемости в элементарных функциях.
Любой сигнал, будь то звук, изображение или другая функция, никогда не хранится в компьютере по точкам. Это дорого и неэффективно. Сигнал раскладывается в сумму других, «базовых» функций, и хранятся коэффициенты разложения. Главный вопрос — какую систему базовых функций использовать? И как построить хорошую систему, чтобы сигнал быстро и качественно воспроизводился и при этом занимал мало памяти? За это отвечает мощная и красивая математическая теория. В течение десятилетий базовыми функциями были синус и косинус, что естественно, учитывая природу звука. Это — ряды Фурье, изобретенные более 200 лет назад. Однако, к середине XX века стало ясно, что они не отвечают современным запросам.
Что такое каустики, знает всякий, кто когда-либо выжигал по дереву, собирая солнечные лучи с помощью линзы, видел световые блики на дне неглубокого водоема от ряби на поверхности воды или наблюдал игру света, отражающегося от дна чашки. Латинское слово «каустик» означает «жгучий», и им называют множество тех точек в пространстве, в которых собирается больше лучей какого-либо светового потока, чем в соседних точках. Скажем, каустика равномерно излучающей сферы это ее центр — в него приходят все лучи. Однако если сферу немного возмутить — сжать в одном направлении и растянуть в другом, то каустика превращается из точки в очень интересную поверхность, о которой, в основном, и пойдет речь.
Любая функция, непрерывная на отрезке I, ограничена на нем и достигает своего наибольшего (наименьшего) значения. На какое подмножество К числовой прямой можно заменить I так, чтобы приведенное утверждение (теорема Вейерштрасса) осталось верным? Ответ: на компакт и только на компакт. Компакты на прямой, на плоскости, в пространстве и, вообще, в метрических пространствах, образуют один из самых хороших классов пространств, используемых в математическом и в функциональном анализе, топологии, математической экономике и других приложениях классической математики. Оказывается, среди компактов есть «самый большой» компакт, гильбертов куб. Он является (иньективно) универсальным. Эти слова означают, что гильбертов куб содержит в себе копии всех других компактов. Есть среди компактов объект, универсальный в несколько противоположном (проективном) смысле. Любой другой компакт может быть получен из этого единственного компакта с помощью непрерывного отображения.
Понятие числовой прямой сформировалось в конце XIX — начале XX веков. Мы рассмотрим этапы развития этого понятия в работах М. Штифеля (1544 г.), Галилея (1633 г.), Эйлера (1748 г.), Ламберта (1766 г.), Больцано (1830-е гг.), Мере (1869, 1872 гг.), Кантора (1872г.), Гейне (1872 г.), Дедекинда (1872 г.) и Вейерштрасса (с 1861 по 1885 гг).