Просмотр исходного текста страницы Программа аспирантского экзамена МГУ 01.01.06

Ниже приводится программа вступительного экзамена в аспирантуру МГУ по специальности «Математика»<ref>[http://mech.math.msu.su/department/algebra/courses/aspirant.pdf Печатная версия] размещена на сайте кафедры Высшей алгебры МГУ.</ref>. Специальная часть соответствует аспирантской специальности 01.01.06 «Математическая логика, алгебра и теория чисел».
 

== Общая часть ==
* '''Математический анализ'''
*# Непрерывность функций одной и многих переменных, свойства непрерывных, функций. Полный дифференциал и его геометрический смысл. Достаточные условия дифференцируемости. Градиент.
*# Определенный интеграл. Интегрируемость непрерывной функции.
*# Понятие метрического пространства, полные метрические пространства, компактность. Теорема Больцано—Вейерштрасса. Принцип сходимости Коши.
*# Функции с ограниченным изменением. Мера в смысле Лебега. Теорема Д. Ф. Егорова. С-свойства. Абсолютно непрерывные функции.
*# Суммируемые функции. Интеграл Лебега и его основные свойства. Гильбертовы пространства. Изоморфизм <math>L^2</math> и <math>l^2</math> . Сходимость в среднем.
*# Интегральные уравнения Фредгольма. Теоремы Фредгольма.
*# Ортогональные системы функций. Неравенство Бесселя, условие полноты. Ряды Фурье. Сходимость рядов Фурье.
* '''Линейная алгебра'''
*# Линейные пространства, их подпространства. Базис, размерность. Теорема о ранге матрицы. Системы линейных уравнений. Геометрическая интерпретация системы линейных уравнений. Фундаментальная система решений системы однородных линейных уравнений. Теорема Кронекера—Капелли.
*# Билинейные и квадратичные функции и формы в линейных пространствах, их матрицы. Приведение к нормальному виду. Закон инерции.
*# Линейные отображения и преобразования линейного пространства, их задания матрицами. Характеристический многочлен. Собственные векторы и собственные значения, связь последних с характеристическими корнями. Приведение матрицы линейного оператора к жордановой форме.
*# Евклидово пространство. Ортонормированные базисы. Ортогональные матрицы. Ортогональные и самосопряженные преобразования, приведение квадратичной формы к главным осям.
*# Аффинная и метрическая классификация кривых и поверхностей 2-го порядка. Проективная классификация линий 2-го порядка.
*# Группы. Подгруппы. Порядок элемента. Циклические группы. Фактор-группа. Теорема о гомоморфизмах.
* '''Дифференциальные уравнения'''
*# Дифференциальное уравнение первого порядка. Теорема о существований и единственности решения.
*# Линейные уравнения с постоянными коэффициента: однородные и неоднородные.
*# Линейные уравнения в частных производных второго порядка. Их классификация. Задача Дирихле для уравнения Лапласа. Задача Коши для уравнения струны. Первая краевая задача и задача Коши для уравнения теплопроводности.
* '''Теория функций комплексного переменного'''
*# Функции комплексного переменного. Условия Коши-Римана. Геометрический смысл аргумента и модуля производной.
*# Элементарные функции комплексного переменного и даваемые ими конформные отображения. Простейшие многозначные функции. Дробно-линейные преобразования.
*# Теорема Коши об интеграле по замкнутому контуру. Интеграл Коши. Ряд Тейлора. Аналитическое продолжение.
*# Ряд Лорана. Полюс и существенно особая точка. Вычеты.
*# Аналитическая функция в целом. Римановы поверхности.
* '''Дифференциальная геометрия'''
*# Неявные функции. Существование, непрерывность и дифференцируемость неявных функций. Криволинейные координаты на многообразии.
*# Первая квадратичная форма поверхности. Вторая квадратичная форма поверхности. Нормальная кривизна линии на поверхности. Теорема Менье. Геодезическая кривизна. Геодезические линии. Главные направления и главные кривизны. Формула Эйлера. Гауссова кривизна поверхности.
*# Понятие топологического пространства. Понятие топологического и гладкого многообразия. Основы римановой геометрии и тензорного анализа (аффинная связность, ковариантное дифференцирование, тензор кривизны).
* '''Вариационное исчисление'''
*# Понятие о простейшей проблеме вариационного исчисления. Уравнение Эйлера-Лагранжа. Геодезические линии.
*# Дифференциальные формы на многообразиях. Общая теорема Стокса. Следствия для векторных полей в трехмерном пространстве. Дивергенция. Вихрь.

== Специальная часть ==

=== Вопросы по алгебре ===
# Классы сопряженных элементов. Центр и коммутант группы, Разрешимые группы. Теоремы Силова.
# Представления групп. Лемма Шура. Теорема Машке.
# Характеры представлений. Определяемость представления своим характером.
# Строение полупростых конечномерных алгебр. Приложения к теории представлений конечных групп.
# Конечно порожденные модули над кольцом главных идеалов. Приложения к конечным абелевым группам и теории жордановой формы.
# Задание группы образующими и определяющими соотношениями.
# Поля алгебраических чисел.
# Конечные поля.
# Нётеровы кольца. Теорема Гильберта о базисе.

=== Дополнительные вопросы по теории чисел ===
# Важнейшие арифметические функции. Теория делимости. Сравнения. Сравнения с одной неизвестной. Сравнения второй степени. Квадратичный закон взаимности. Первообразные корни и индексы (И. М. Виноградов, «Основы теории чисел», Наука, 1977).
# На экзамене поступающему в аспирантуру по специальности «Теория чисел», будут предложены вопросы о его работах по теории чисел, прослушанных специальных курсах и прочитанной им литературе по теории чисел.

=== Дополнительные вопросы по математической логике ===
# Язык логики высказываний. Булевы функции. Исчисление высказываний, его непротиворечивость и полнота.
# Интуиционистская логика высказываний. Теорема Крипке о полноте.
# Язык логики первого порядка. Интерпретации, модели. Теорема компактности, теорема Левенгейма—Сколема. Исчисление первого порядка, его непротиворечивость. Теорема о полноте. Нестандартные модели арифметики.
# Теории первого порядка, их полнота, категоричность.
# Вполне упорядоченные множества. Аксиома выбора. Континуум-гипотеза. Парадоксы наивной теории множеств. Аксиоматическая теория множеств.
# Общее понятие алгоритма. Вариант формализации понятия алгоритма. Универсальный алгоритм. Вычислимые функции, перечислимые и разрешимые множества. Пример перечислимого неразрешимого множества. Неразрешимые алгоритмические проблемы. Теорема Райса.
# Примеры разрешимых логических теорий.
# Теоремы Геделя о неполноте. Неразрешимость формальной арифметики. Теорема Тарского о невыразимости арифметической истинности в арифметике. Теорема Черча о неразрешимости логики предикатов.
# Конкретные сложности и вычислимости. Теорема об ускорении. Теорема об иерархии. Сложность (энтропия) конечных объектов.

== См. также ==
[[Экзаменационные программы ИТ]]

== Примечания ==
<references/>