AF
Математическая программа должна быть устроена так
Школьная программа (экзамен Матшкольник)
Евклидова геометрия, комплексные числа, скалярное умножение, неравенство Коши-Буняковского. Начала квантовой механики (Кострикин-Манин). Группы преобразований плоскости и пространства. Вывод тригонометрических тождеств. Геометрия на верхней полуплоскости (Лобачевского). Свойства инверсии. Действие дробно-линейных преобразований.
Кольца, поля. Линейная алгебра, конечные группы, теория Галуа. Доказательство теоремы Абеля. Базис, ранг, определители, классические группы Ли. Сечения Дедекинда. Определение поля вещественных чисел. Определение тензорного произведения векторных пространств.
Теория множеств. Лемма Цорна. Вполне упорядоченные множества. Базис Коши-Гамеля. Теорема Кантора-Бернштейна. Несчетность множества вещественных чисел.
Метрические пространства. Теоретико-множественная топология (определение непрерывных отображений, компактность, собственные отображения). Счетная база. Определение компактности в терминах сходящихся последовательностей для пространств со счетной базой. Гомотопии, фундаментальная группа, гомотопическая эквивалентность.
p-адические числа, теорема Островского, умножение и деление p-адических чисел в столбик
Дифференцирование, интегрирование, формула Ньютона-Лейбница. Дельта-эпсилон формализм, лемма о милиционере.
Школьная программа (экзамен Матшкольник)
Евклидова геометрия, комплексные числа, скалярное умножение, неравенство Коши-Буняковского. Начала квантовой механики (Кострикин-Манин). Группы преобразований плоскости и пространства. Вывод тригонометрических тождеств. Геометрия на верхней полуплоскости (Лобачевского). Свойства инверсии. Действие дробно-линейных преобразований.
Кольца, поля. Линейная алгебра, конечные группы, теория Галуа. Доказательство теоремы Абеля. Базис, ранг, определители, классические группы Ли. Сечения Дедекинда. Определение поля вещественных чисел. Определение тензорного произведения векторных пространств.
Теория множеств. Лемма Цорна. Вполне упорядоченные множества. Базис Коши-Гамеля. Теорема Кантора-Бернштейна. Несчетность множества вещественных чисел.
Метрические пространства. Теоретико-множественная топология (определение непрерывных отображений, компактность, собственные отображения). Счетная база. Определение компактности в терминах сходящихся последовательностей для пространств со счетной базой. Гомотопии, фундаментальная группа, гомотопическая эквивалентность.
p-адические числа, теорема Островского, умножение и деление p-адических чисел в столбик
Дифференцирование, интегрирование, формула Ньютона-Лейбница. Дельта-эпсилон формализм, лемма о милиционере.
