Равные. Подмножества и включение. Объединение, пересечение, разность, симметрическая разность.
"и", "или", "не", следствие, эквивалентность, матрицы истиности, сведение друг к другу. Закон доказательства от противного.
Законы идемпотентности, коммутативности, ассоциативности, дистрибутивности, двойного отрицания, заключения, введения, удаления, применение их к решению задач.
Кванторы. Обратная и противоложная теоремы в кванторах. Определение ограниченных и неограниченных множеств.
Две формы полной математической индукции. Задачи на индукцию. Формула Бернули.
Общий делитель, НОД и НОК (их связь), взаимно простые, простые и составные числа - определения и простейшие свойства. Понятие линейной комбинации. Алгоритм Евклида. КРАЗ - определение, существование и единственность. Теоремы о простых числах, о сравнениях. Задачи на целые, простые числа, на сравнения, уравнения в целых числах.
Разбиение множества на классы эквивалентности. Классы вычетов по модулю как пример коммутативного кольца с единицей. Полные системы вычетов: определение и свойства. Существование и единственность НОД класса вычетов. Приведенная система вычетов. Теорема Эйлера. Решение целочисленных степенных уравнений в сравнениях. Китайская теорема об остатках.
Римская и прочие, n-ричная. Двоичная, восьмиричная, шестнадцатиричная, двоично-десятичная. Запись в дополнительном коде.
Признаки делимости в десятичной системе на 2,5,10,3,9,11; в сторичной на 4,25,101; в тысячеричной на 8,125,7,11,13,27,37.
Функции целая часть, дробная часть, знак.
Паралельный перенос, симметрия относительно прямой, поворот, скользящая симметрия. Групповые свойства перемещений. Теорема Шаля, ее значение.
в, на, наложение, вложение, взаимооднозначное.
Определение, композиция, расширение, групповые свойства подстановок. Представление подстановок в виде произведения независимых циклов. Четность и нечетность числа транспозиций в разложении цикла.
Декартово произведение, бинарная операцния. Ассоциативность. Полугруппы.
Единичный элемент, обратный элемент. Определение и примеры групп. Абелевы группы. Свойства обратный и единичный элементов, операции возведения в целую степень. Связь групп диэдра с группой подстановок.
Порядок группы, порядок элемента, циклические группы и ее образующие. Группы простого порядка. Системы образующих, в частности порождение группы подстановок элементарными транспозициями; в группе диэдра и пифагоровых многограников.
Определение, свойства, примеры. Левые и правые смежные классы. Теорема Лагранжа и индекс подгруппы. Примеры смежных классов.
Перестановки и сортировки. Ключи. Сортировка. Устойчивость. Инверсии, таблица инверсий. Мультимножество, его перестановки. Соединенное произведение. Отрезки. Инволяции и табло Янга.
Примеры, общие свойства. Теорема Кэли. Автоморфизмы и изоморфизмы группы в себя.
Сопряженные элементы, св-во отношения эквивалентности для них. Классы сопряженный элементов, примеры. Нормальные подгруппы. Признаки нормальности подгрупп. Факторгруппа как множество смежный классов по нормальной подгруппе.
Гомоморфизм, гомоморфизм "на", эндоморфизм, ядро гоморфизма, естественный гомоморфизм. Другое определение факторгруппы. Примеры фактор-групп. Основная теорема о гомоморфизме, примеры на нее.
Центр и централизатор, коммутант и коммутатор, разрешимые группы. Теорема: группа порядка р*р, где р - простое - абелева. Сложные задачи на теории групп.
Преобразование плоскости, формулы преобразований. Линейные преобразования. Вектор. Матрица. Матрицы перемещений и преобразований подобия плоскости, их определители. Композиция перемещений.
Матрицы n-гo порядка. Вырожденные матрицы и их геометрическая интерпритация.
Определитель n-гo порядка, его св-ва. Его определение через сумму всевозможный перестановок. Четность и нечетность перестановок. Миноры и алгебраические дополнения. Использование ик для вычисления определителей и обратных матриц. Определитель Ван-дер-Морда. Правило Крамера.
Постоянство скорости света, изотропия времени и пространства. Инвариант. Преобразование Галилея. Преобразование Лоренца - поворот в плоскости x,it. Преобразование длин, времени, скорости при переходе к другой системе координат.
Равномощность. Конечные, бесконечные, счетные, несчетные, не более чем счетные. Доказательства равномощности различных множеств. Теорема Кантора-Бернштейна. Построение отображения счетного числа счетных множеств в счетное множеств.
Несчетность множества бесконечных последовательностей 0 и 1. Теорема Кантора. Примеры континуальных множеств. Примеры гиперконтинуальных множеств.
Аксиомы Пеано. Сложение, умножение, отношения порядка. Существование min элемента в любом подмножестве N.
Определение как классов эквивалентности N⊗N. Z - абелеева группа по сложению. Умножение. Отношение порядка. Изоморфизм положительных целых и натуральных чисел.
Определение как классов эквивалентности Z⊗N. Сокращение дробей. Q - поле. Отношение порядка. Изоморфизм рациональных чисел со знаменателем 1 целым.
Определение сечения. Рациональные сечения. Множество сечений R - упорядоченное поле. Плотность рациональными чисел. Полнота вещественных чисел. Иррациональные числа. Существование и единственность арифметического корня на примере квадратного корня из 2.
Верхняя и нижняя грани (sup и inf). Существование sup и inf у непустого множества вещественных чисел.
Принцип Архимеда. Принцип вложенных отрезков. Последовательности: конечные, бесконечные, станционарные.
Цифры. Изоморфизм натуральных чисел множеству конечных последовательностей цифр. Рациональное число как тройка целой непериодической части, периода, и десятичной степени. Период 9. Десятичная запись действительного числа как бесконечной последовательности цифр.
Расширенная система вещественных чисел.
Комплексные числа как декартово произведение R⊗R Комплексные числа как неупорядоченное поле. Модуль комплексного числа. i. Алгебраическая форма комплексного числа. Функции взятия действительной и мнимой части, комплексно-сопряженного, их св-ва. Геометрическая форма. Неравенство треугольника. Матричная форма. Группа кватернионов.
Формулы перехода от полярных координат к декартовым и обратно. Функция взятия аргумента и ее главное значение. Тригонометрическая форма компексного числа. Сложение и умножение чисел. Формула Муавра. Применение геометрической прогресии для суммирования тригонометрических рядов.
Циклическая группа корней п степени из комплексного числа.
Многочлен как конечная последовательность коэффицентов. Кольцо многочленов. Деление с остатком. Целостность. Многочлен от нескольких переменных.
Многочлен как функция. Корень многочлена. Теорема Везу. Интерполяция по Лагранжу, по Ньютону. Рациональные корни многочлена с целыми коэффицентами. НОД и НОК. Взаимопростые многочлены. Представление отношения многочленов в виде многочлена и простых дробей. Однозначность разложения многочлена на неприводимые. Многочлен n степени имеет не более n корней. Основная теорема алгебры (без док-ва).
Формальная производная многочлена. Формула Тейлора для многочленов. Разложение вещественного многочлена в произведение линейных и квадратичных множителей.
Симметрические многочлены. Теорема Виета. Элементарные симметрические функции. Основная теорема о симметрических многочленах.
Метрические пространства. Примеры метрик.
Определение топологии. Св-ва замкнутых множеств. Окрестность точки, точки прикосновения: замыкание, внутренность и граница. Топологии, порожденные метрическими пространствами. Хаусдорфовость. Критерий открытости и замкнутости в порожденной топологии. Предельные точки и принцип Больцанно - Вейрштрасса.
его единственность. Лемма о непрерывности расстояния. Эквивалентные метрики. Предельные точки и подпоследовательности.
Леммы о мажорировании, сумме, разности, произведении и частном пределов последователеностей. Принцип двух милиционеров и теорема Веейрштасса. Предел произведения ограниченной и сходящейся к нулю последовательности. Мажорирование суммой геометрической прогрессии. Суммы рядов. Пределы рекурентно заданых последовательностей. Теоремы о рекурентно заданных последовательностях.
Предел по Коши, по Гейне, их эквивалентность. Свойства, следующие из св-в пределов последовательности. Правые, левые пределы, классификация точек разрыва.
Непрерывность по Коши, по Гейне, по книге Рудина; их эквивалентность. Непрерывность на множестве; суммы и разности, произведения и частного; композиции функций и обратной. Функции Дирихле и Римана.
Определение компактности. Ограниченность и замкнутость компакта. Компактность отрезка.
Связность, всюду плотность множеств. Теорема Больцано-Коши. Отображения компакта. Теоремы Вейерштрасса. Функции, непрерывные на всюду плотном подмножестве.
Определение. Теорема Кантора о непрерывности на компакте.
Определение производной. Производная суммы, произведения, частного функций. Производная степенной функции, его совпадение с формальной производной многочленов. Производная сложной функции. Теоремы Рояля и Лагранжа. Пример всюду непрерывной и всюду недифференцируемои функции.
Правило Лопиталя. Понятие о формуле Тейлора для функций.
Треугольник Паскаля, его свойства. Бином Ньютона. Число сочетаний. Применение комбинаторики к решению школьный задач
Геометрические числа, числа Фибоначи, статистическая физика, триномиальные и полиноиинальные коэффиценты, треугольник г Лейбница, теория игр.
С помощью бинома Ньютона, в тон числе и вещественной степени. Понятие о определении элементарным функций. Решение уравнений методом деления пополам, методом корд, методом касательным по Ньютону.
Определение числа e как предела последовательности (1+1/n)n, доказательство существования и единственности. Определение e как суммы ряда, доказательство эквивалентности определений. Числовая оценка для e. Пределы с е.
Существование, единственность арифметического корня. Возведение чисел в любую рациональную степень, свойства операции возведения в степень. Возведение действительного числа в действительную степень, определенное как соответствующее как соответсвующее сечение, его свойства.
Свойство функции "число e в степени x"
Признак Даламбера сходимости рядов. Показательная функция как ряд, доказательство его сходимости. Тождественность двух определений показательной функции.
Иррациональность e.
Формула Стирлинга.
Определение комплексных рядов их сходимости. Признак Даламбера сходимости комплексных рядов. Экспонента от комплексного числа ее свойства. Косинус и синус как действительные и мнимые части экспоненты чисто мнимого аргумента. Дифференцирование экспоненты, синуса и косинуса. Теорема о существовании числа π, в котором exp(2*π*k*i)=1.
Тригонометрические функции комплексного аргумента.
Определение, свойства, аналогичные тригонометрическим функциям. Обратные гиперболические функции.
Логарифм положительного числа. Логарифм по действительному основанию. Свойство вещественной функции логарифма. Логарифмирование комплексный чисел. Главное значение логарифма. Возведение комплексного числа в комплексную степень. Обратные тригонометрические функции.
Перенос, поворот, растяжение. Любая линейная функция осуществляет преобразование подобия комплексной плоскости на себя
ИНВЕРСИЯ. Определение симметрии относительно окружности. Дробно-линейная функция; ее однозначность и круговое свойство. Примеры комфорных отображений плоскости.
Введение: недостатки школьного определения интеграла. Разбиение. Верхняя и нижняя суммы Дарбу, верхний и нижний интеграл. Функция по определению интегрируема, если совпадают верхний и нижний интегралы. Интеграл существует ⇔ верхняя и нижняя суммы Дарбу отличаются на бесконечно малую величину. Интегрируемость непрерывной функции. Интегрируемость монотонной функции. Свойства интеграла: интеграл от суммы функций, вынесение константы, неравенства, мажорирование интеграллов.
Интеграл как предел интегральных сумм.
Интеграл с переменным верхним пределом, его непрерывность и дифференцируемость. Формула Ньютона-Лейбница.
Понятие об интеграле Римана-Стильерса, его связь с интегралом Римана. Понятие об интеграле векторной функции.
Интегрирование по частям.
Теоремы о среднем значении интегралов, о замене переменный.
Критерий Коши сходимости рядов. Признак сравнения. Геометрическая прогресия. Сходимость рядов из степеней натуральным чисел и произведений с логарифмами.
Признаки Коши и Даламбера, вопрос об их применимости.
Радиус круга сходимости комплексного степеного ряда. Суммирование по частям. Теорема о сходимости произведения стремящейся к нулю последовательности и последовательности, имеющей ограниченные частичные суммы. Признак Лейбница сходимости знакопеременного ряда.
Определение абсолютной сходимости. Определение суммы и произведения рядов. Пример произведения двух сходящихся рядов, которые расходятся; теорема о сходимости произведения двух рядов, если один из них сходится абсолютно.
Определение безусловной сходимости (перестановки сходятся). Теорема Римана о перестановке неабсолютно сходящегося ряда, приводящей к любому значению суммы. Эквивалентность абсолютной и безусловной сходимости.
Интегральный признак сходимости.
| 20а | - Линейные пространства | (авт. М. Вировец) |
| 20b | - Линейная алгебра | (авт. А. Шень) |
| 25 | - Плохие функции | (авт. Л. Чехов) |
| 30a | - Мера Жордана | (авт. М. Вировец) |
| 33 | - Приложение мат. анализа | (авт. А. Коган) |
| 34 | - Применение определеного интеграла | (авт. из 179 шк.) |
| 35 | - Аксиома выбора | (авт. М. Вировец) |
Несобственные, от разрывных 1-го рода функций, главное значение интеграла.
θ-функция, δ-функция, ее производная.