Международный Институт XXI Века
Высшая
Математика
2-й
поток
Преподаватели: В.А.Гордин,
И.И.Шнейберг
Программа
2-й семкстр
Программа
- Кванторы. Примеры высказываний, записанные в
кванторах. Отрицание высказываний.
- Алгебра логики. Основные функции от одного и
двух высказываний. Таблица истинности. Выражение одних функции через
другие.
- Множества и отображения. Пересечение и
объединение множеств. Прямая (декартова) сумма множеств.
Подмножество и дополнение к нему. Множество всех подмножеств данного
множества. Теорема Кантора (без док.).
- Образ и прообраз при отображении.
Взаимнооднозначное отображение. Множество всех отображений из
X в Y.
Примеры.
- Алгебраическая операция. Группа ее аксиомы.
Единственность нулевого и обратного элементов группы. Группы
правильных многогранников.
- Перестановки, их количество и их групповые
свойства. Некоммутативность этой группы и подгрупп многогранников.
- Транспозиции и инверсии. Четность перестановки.
При умножении перестановок четности складываются.
- Бесконечные множества. Множества одинаковой
мощности. Счетное множество. Примеры. Множество рациональных чисел
счетно. Решето Эратосфена доказательство счетности множества
простых чисел.
- Произведение многочленов. Формула свертки для
коэффициентов. Треугольник Паскаля и формула бинома Ньютона. Сумма и
альтернированная сумма биномиальных коэффициентов.
- Метод математической индукции. Суммы: первых
n натуральных чисел, квадратов,
кубов.
- Вещественные числа как бесконечные десятичные
(или двоичные) дроби. Доказательство иррациональности
.
- Сумма геометрической прогрессии. Представление
рациональных чисел в виде десятичных дробей. Представление
рациональных чисел в виде двоичных дробей.
- Комплексные числа и операции над ними. Модуль
и аргумент. Умножение на число, с модулем 1. Алгебраическая и
экспоненциальная формы. Сопряженное число. Геометрический смысл
умножения и деления на комплексное число.
- Формулы Эйлера и Муавра.
Выражение
тригонометрических функций через экспоненты с комплексными
показателями.
- Тригонометрические формулы как следствие
формул для экспоненты. Многочлены Чебышёва. Их поведение на отрезке
[-1,1].
- Основная теорема алгебры. Деление многочлена
на многочлен с остатком алгоритм Евклида. Теорема Безу. Кратные
корни. Усиленная теорема алгебры.
- Теорема Виета. Комплексные корни многочлена с
вещественными коэффициентами встречаются попарно вместе с
сопряженным. Пример квадратные уравнения с отрицательным
дискриминантом.
- Матрицы. Примеры матриц: матрица графа дорог
между городами; матрица графа дорог между фабриками и стройками;
матрица расстояний между пунктами; матрица курсов валют. Условие
нейтральности матрицы курсов валют.
- Определитель матрицы порядка
n и его основные свойства.
- Формула Лапласа для разложения определителя по
строке или столбцу. По группе строк (без док.).
- Правило Крамера. Вырожденные и невырожденные
матрицы. Миноры. Ранг матрицы.
- Определитель Вандермонда.
- Произведение матриц. Определитель произведения
матриц.
- Обратная матрица и ее определитель.
- Линейное пространство и его аксиомы.
Единственность нуля и обратного вектора. Линейная зависимость и
линейная независимость системы векторов пространства.
- Базис и размерность пространства. Примеры
конечномерных и бесконечномерных пространств. Всякую систему линейно
независимых векторов можно дополнить до базиса. Координаты вектора в
данном базисе.
- Линейная независимость столбцов квадратной
матрицы условие разрешимости системы линейных алгебраических
уравнений при произвольной правой части. Разрешимость при некоторых
правых частях, когда столбцы линейно зависимы.
- Преобразование координат данного вектора при
переходе к другому базису.
- Полиномиальная интерполяция в одномерном
случае.
- Интерполяционная формула Лагранжа и
соответствующий базис в пространстве многочленов.
- Основная лемма линейной алгебры.
- Подпространство, пересечение подпространств,
прямая сумма. Прямая сумма подпространств симметричных и
кососимметричных матриц. Всякое подпространство конечномерного
пространства может быть дополнено. Гиперподпространство и
полупространство.
- Линейная оболочка системы векторов. Плоскость.
Пересечение плоскостей. Оценка размерности пересечения.
Интерпретация на языке линейных алгебраических уравнений.
- Линейные формы (функционалы). Задание
подпространств и плоскостей с помощью линейных форм. Множество
линейных форм над линейным пространством также образует линейное
пространство. Размерность сопряженного пространства.
- Линейные уравнения и неравенства. Задачи о
сплавах. Выпуклое множество и выпуклая оболочка множества. Примеры.
- Линейные операторы. Определение, примеры в
конечномерном и функциональном пространствах. Ядро и образ линейного
оператора.
- Алгебра линейных операторов. Произведению
операторов соответствует произведение матриц.
- Взаимно однозначное отображение между
пространствами матриц и линейных операторов при заданном базисе.
Размерность пространства операторов равна
.
- Интерпретация системы линейных уравнений в
терминах линейных операторов.
- Преобразование матрицы оператора при переходе
к новому базису.
- Ранг матрицы и его геометрическая
интерпретация в терминах размерности ядра и образа оператора.
- Собственные функции и вектора линейного
оператора. Примеры.
- Характеристический многочлен. Простой и
кратный спектр.
- Собственный базис оператора в линейном
пространстве над полем комплексных чисел.
- Обратный оператор и его матрица.
- Построение изолиний функций двух переменных.
Примеры.
- Стационарные точки гладкой функции. Градиент и
матрица Гессе. Невырожденные стационарные точки: максимум, минимум,
седло. Изолинии в окрестности этих точек.
- Метод Герона. Метод Ньютона поиска корней
гладкой функции одного переменного.
- Транспортная задача и другие примеры задач
линейного программирования.
- Образ и ядро линейного оператора.
Интерпретация в терминах систем линейных алгебраических уравнений.
Эквивалентность определений ранга матрицы.
- Собственные числа и вектора линейного
оператора. Характеристическое уравнение.
- Доказательство существования предела
последовательности .
- Производная многочлена и логарифма.
63. Доказательство
замечательных пределов:
- Производная тригонометрических функций.
- Вычисление расстояния от точки до прямой,
заданной линейным уравнением, на плоскости.
- Метод наименьших квадратов простейшие
варианты.
- Симметричные и кососимметричные матрицы. Лемма:
всякую квадратную числовую матрицу можно представить в виде суммы
симметричной и кососимметричной матриц и притом единственным образом.
Всякую функцию на прямой можно представить в виде суммы четной и
нечетной функций.
- Билинейные формы. Матрица, соответствующая
билинейной форме в данном базисе.
- Симметричные и кососимметричные билинейные
формы; квадратичные формы.
- Положительно-определенные и строго
положительно-определенные симметричные билинейные формы. Примеры и
контрпримеры. Евклидово пространство.
- Неравенство Коши Буняковского.
- Угол между векторами линейного евклидова
пространства. Ортогональные вектора. Угол между коллинеарными
векторами.
- Ортогонализация системы линейно независимых
векторов.
- Коэффициенты разложения вектора по
ортогональному базису.
- Расстояние от точки до плоскости. Теорема о
перпендикуляре вариант 1 доказательства.
- Теорема о перпендикуляре вариант 2
доказательства.
- Теорема о перпендикуляре вариант 3
доказательства.
- Расстояние от точки до плоскости, заданной
линейным уравнением.
- Соответствие между векторами и линейными
функциями в евклидовом пространстве. Уравнения порождают
.
Линейная зависимость уравнений.
- Выпуклость. Выпуклая оболочка. Стандартный
симплекс. Пересечение выпуклых множеств выпукло. Множество
положительно определенных билинейных форм выпукло.
- Приведение квадратичной формы к каноническому
виду. Инерция квадратичных форм (без док).
- Скалярное произведение в пространстве функций.
Ортогональность функций на сетке. Примеры.
- Матрица Грама, и ортогональное проектирование
на неортогональный базис.
- Приведение оператора с простым спектром к
диагональному виду (в собственном базисе).
- Функции от оператора. Решение системы линейных
обыкновенных дифференциальных уравнений первого порядка с
постоянными коэффициентами.
- Матрица Лесли. Возможности и недостатки
модели. Смысл собственных чисел этой матрицы.
- Последовательность Фибоначчи и другие линейные
конечно-разностные уравнения.
- Предел последовательности. Определение,
примеры и контр-примеры. Монотонно растущая, ограниченная сверху
последовательность имеет предел.
- Предел суммы, произведения и отношения
последовательностей.
- Метрическое пространство. Примеры. Сходимость
последовательности элементов метрического пространства.
- Непрерывность числовых функций непрерывного
аргумента. Непрерывность отображений метрических пространств.
Примеры и контр-примеры.
- Сумма, произведение и отношение непрерывных
функций. Суперпозиция непрерывных функций.
- Теорема Ферма.
- Теорема Ролля.
- Теорема Лагранжа.
- Теорема Коши.
23.6.2005
3-й семестр
- Теорема Гершгорина.
- Константа Лебега мера усиления амплитуды
шумов при полиномиальной интерполяции. Определение константы Лебега.
Недопустимость больших степеней интерполяционных многочленов на
равномерной сетке. Чебышевские сетки.
- Теорема Вейерштрасса (без док-ва).
- Интерполяция Эрмита.
- Сплайны. Дефект и степень сплайна. Примеры.
Сплайны Шонберга. Базисные сплайны. Уравнения для вычисления
параметров сплайна Шонберга. Граничные условия. Невырожденность
соответствующей матрицы. Сходимость сплайнов Шонберга к гладким
функциям (без док-ва).
- Метод прогонки. Преимущества метода.
Применение для нахождения параметров сплайна.
- Теорема о промежуточном значении непрерывной
функции и теорема Ферма.
- Теорема Ролля и теорема Лагранжа.
- Теорема Коши.
- Многочлен Тейлора и остаточный член в форме
Лагранжа. Примеры.
- Правило Лопиталя и его возможные варианты.
Примеры.
- Аппроксимация Паде.
- Ряд Тейлора для нескольких переменных.
- Вторые частные смешанные производные. Лемма
Шварца.
- Пример функции двух переменных имеющей
различные смешанные производные.
Градиент функции.
Направления наибыстрейшего спуска и подъема. Физическая
интерпретация.
Изоповерхности. Линейная и нелинейная функции. Поведение
функции в окрестности
нестационарной точки.
15. Теорема о неявной
функции простейший случай.
- k уравнений в
n-мерном пространстве. Линейный и
нелинейный случаи. Матрица Якоби. Условие невырожденности системы
уравнений (n-k)-мерная
поверхность. Теорема о неявной функции в общем случае. Примеры.
Достаточное условие, для того чтобы первые k
координат могли быть выражены из уравнений через остальные
переменные.
- Стационарная точка функции. Матрица Гессе,
гессиан, условие невырожденности. Лемма Морса (без док.).
- Суперпозиция отображений и произведение матриц
Якоби.
- Локальные координаты. Полярные и сферические
координаты и их сингулярности. Непрерывные и гладкие функции в этих
координатах.
- Условный экстремум. Множители Лагранжа.
Примеры.
- Неопределенный интеграл (первообразная).
Примеры: ,
- Определенный интеграл. Суммы Дарбу. СД для
функций
- Квадратурные формулы прямоугольников и
трапеций. Примеры - для функций
- Формула Симпсона. Порядок аппроксимации и
скорость сходимости квадратурных формул.
- Квадратурные формулы порядка
n. Чебышевские формулы (без док.).
- Многочлены Лежандра: формулы для младших
степеней и общая формула.
- Гауссовы квадратурные формулы.
- Формула Ньютона-Лейбница.
- Замена переменной в интеграле, основанная на
формуле дифференцирования сложной функции. Примеры применения.
- Формула интегрирования по частям. Примеры
применения.
- Разложение правильной рациональной функции на
простейшие. Интегрирование
рациональных
функций. Примеры.
21. Интегрирование
функций ,
где f рациональная функция. Примеры.
- Интегрирование функций, содержащих простейшие
радикалы.
- Интегрирование функций вида
,
где R рациональная функция;
случай, когда радикал приводится к виду
.
- Интегрирование функций вида
,
где R рациональная функция;
случай, когда радикал приводится к виду
.
- Интегрирование функций вида
,
где R рациональная функция;
случай, когда радикал приводится к виду
.
- Интегралы, зависящие от параметра. Примеры.
- Несобственные интегралы 1-го и 2-го рода.
Интеграл в смысле главного значения. Примеры.
- Двойные и повторные интегралы. Изменения
порядка интегрирования в повторном интеграле. Примеры.
- Замена переменных в многомерном интеграле.
Интегрирование в полярных координатах.
- Вычисление длин, площадей и объемов.
- Потенциальная энергия подъема тела в космос и
время вытекания воды из воронки.
- Лемма Стокса (без док.)
- Решение неоднородной системы обыкновенных
линейных дифференциальных уравнений первого порядка с постоянными
коэффициентами.
- Дифференциальное уравнение с постоянными
коэффициентами. Характеристическое уравнение. Случаи простых и
кратных корней.
- Дифференциальное уравнение с постоянными
коэффициентами и система уравнений первого порядка.
- Нормированные линейные пространства. Норма
порождает метрику. Скалярное произведение порождает норму.
- Примеры норм в конечномерном пространстве и в
пространстве функций.
- Операторная норма. Примеры в конечномерных
пространствах.
- Операторы Фредгольма и Вольтерра. Оценка нормы.
- Сжимающие операторы и неподвижная точка.
- Краевая задача для обыкновенного линейного
дифференциального уравнения второго порядка численное решение.
- Метод Рунге-Кутты численного решения
обыкновенных дифференциальных уравнений и систем.
- Согласование данных о функции и производной.
- Остаточный член ряда Тейлора в интегральной
форме.
- Метод градиентного спуска. Выбор шага.
- Метод Ньютона в случае многих переменных.
- Ряд Тейлора для функции многих переменных.
- Ряды: условная и абсолютная сходимость.
- Ряд
расходится,
а ряд сходится.
56. Ряды функций.
Равномерная сходимость.
57. Инвариантные
подпространства. Специфика простейшего вида линейного
оператора для поля
вещественных чисел.
59. Самосопряженные
операторы, их спектр и ортогональный собственный базис.
60. Ортогональные и
унитарные операторы. Примеры.
61. Нормальные операторы.
Ортогональность собственного базиса н.о.
62. Общие собственные
вектора коммутирующих операторов.
63. Теорема Жордана (без
док.)
64. Связь линейных
операторов и билинейных форм в евклидовом пространстве.
65. Экстремальные
свойства собственных значений симметричных форм.
66. Критерий Сильвестра.
67. Экстремальные
свойства естественных ортогональных составляющих распределения плотности
в.
68. Определение
преобразования Фурье. Элементарные свойства. Формула обращения ПФ.
69. Теорема Планшереля.
70. Символы
дифференциальных и разностных операторов. Примеры.
Список литературы по курсу
- Бахвалов Н.С. Численные методы -
любое издание.
- Гельфанд И.М. Лекции по линейной алгебре
- любое издание.
- Гордин В.А. Как это посчитать?, 2005,
М., МЦНМО.
- Чен К., Джилбин П., Ирвинг А. МАТLAB
в математических исследованиях, М., Мир, 2001.
- Шилов Г.Е. Математический анализ -
любое издание.
- Фихтенгольц Г.Е. Курс дифференциального и
интегрального исчисления - любое издание.
|