- •Формула называется формулой с тесными отрицаниями, если в ней нет связок þ и û, и отрицания относятся только к пропозициональным переменным.
- •§ Кванторы
- •§ Элементы теории множеств
- •§ Операции над множествами
- •§ Операции соответствия между множествами
- •Физические типы соответствий:
- •Def: Множества, равномощные множеству точек, принадлежащих интервалу (0, 1) называются множествами мощности континиум. Пример: Множество вещественных чисел r является множеством мощности континиум.
- •Раздел 2. Предел и непрерывность § грани числовых множеств
- •§ Расположение точек относительно множества
- •§ Предел функции по коши Рассматриваются числовые функции числового аргумента:
- •Запишем еще раз определение предела функции на языке e-d:
- •Внимательно рассмотрев определение предела нетрудно установить, что:
- •Запишем теперь сокращенное определение того, что f (X) ® b при X ® а на языке e-d:
- •Словарик
- •§ Непрерывность функции
- •§ Непрерывность элементарных функций
- •Примеры элементарных функций:
- •§ Предел последовательности
- •Примеры:
- •Раздел 3. Бесконечно малые и др. Величины § определения, терминология и примеры
- •Раздел 4. Непрерывные функции
- •§ Частичные пределы
- •§ Предельный переход в равенствах и неравенствах
- •§ Непрерывность тригонометрических функций
- •Раздел 5. Замечательные пределы § Первый замечательный предел
- •§ Арифметические действия над монотонными функциями.
- •§ Бином Ньютона
- •§ Предел функции по гейне ( по последовательности)
- •§ Второй замечательный предел
- •§ НепрЕрывность показательной функции
- •§ НепрЕрывность логарифмической функции
- •§ Пределы, связанные с показательными, логарифмическими и степенными функциями
- •§ Степенные асимптотические разложения
- •§ Действия над асимптотическими разложениями.
- •§ Асимптотические разложения Маклорена для основных элементарных функций
- •§ Теорема о вложенных промежутках (Коши-Кантора)
- •§ Теорема (Бореля-Лебега) о конечном покрытии.
- •§ Теорема о предельной точке
- •§ Критерий Коши
- •§ Теорема штольца
- •§ Односторонняя непрерывность
- •§ Классификация точек разрыва
- •§ Разрывы монотонной функции.
- •§ Гиперболические функции.
- •§. Равномерная непрерывность
- •Модуль непрерывности.
- •§. Функциональные уравнения
- •Раздел . Дифференциальное исчисление §. Дифференцируемость функции
- •§. Производная
- •§. Дифференциал
- •§. Производные и дифференциалы высших порядков
- •§.Таблица производных высших порядков
- •§. Правило Лейбница (нахождение производных высших порядков для функций заданных в виде произведения)
- •§. Логарифмическая производная
- •§. Высшие производные сложных функций
- •§. Дифференциалы высших порядков
- •§. Высшие производные функций заданных параметрически
- •§. Высшие производные обратных функций
- •§. Инвариантность формы первого дифференциала и неинвариантность формы высших дифференциалов функции
- •Раздел. Основные теоремы о дифференцируемых функциях
- •§. Формула и Многочлен Тейлора
- •§ Формула Тейлора с остаточным членом в форме Пеано
- •§ Остаточный член в форме Шлёмильха – Роша
- •§ Еще несколько полезных разложений.
- •§ Дифференцирование неравенств.
- •§ Необходимое и достаточное условие локального экстремума функции.
- •§. Достаточное условие экстремума.
- •§ Правило Лопиталя раскрытия неопределенностей.
- •§. Пример вычисления предела с помощью формулы Тейлора.
- •§ Выпуклость (вогнутость функций).
- •§ Некоторые замечательные неравенства математического анализа.
- •1. Неравенство Иенсена.
- •§ Применение производных к исследованию свойств функций и построению их графиков. Общая схема.
- •§ Примеры построения графиков функций.
- •§. Мнимая единица. Уявна одиниця. Imaginary Unit.
- •§. Поле комплексных чисел. Поле комплексних чисел.
- •§. Свойства элементов поля.
- •§ Тригонометрическая форма комплексного числа.
- •§ Извлечение корней натуральных степеней из комплексного числа.
- •§ Стереографическая проекция. Сфера Римана.
- •§ Формулы Эйлера.
- •§ Показательная форма записи комплексного числа. Логарифм в комплексной плоскости.
- •§. Функции с комплексными или вещественными аргументами и значениями. Графики. Последовательности.
- •§ Алгебраическая замкнутость поля комплексных чисел. Основная теорема алгебры.
- •§ Теорема Безу.
- •§ Разложение многочлена на множители в множестве комплексных чисел.
- •§. Комплексные корни многочлена с вещественными коэффициентами.
- •§ Решение алгебраических уравнений 1, 2, 3, 4 степени. Формулы Кардано. Метод Феррари.
- •§. Теорема Абеля.
- •§. Еще о функциях комплексного переменного.
- •Раздел. Неопределенный интеграл § Первообразная и неопределенный интеграл.
- •§ Замена переменной в неопределенном интеграле.
- •§. Интегрирование простейших (элементарных) дробей.
- •§. Интегрирование дробно-рациональных функций.
- •§. Метод Остроградского выделения рациональной части интеграла.
- •§. Интегрирование некоторых иррациональностей.
- •§. Интегрирование выражений, рациональным образом выражающихся через тригонометрические и гиперболические функции.
- •§ Эллиптические интегралы. Введение.
- •II. . Этим интегралом мы и займемся в следующем параграфе. §. Приведение интеграла к каноническому виду.
- •§. Эллиптические интегралы.
- •§. Интегралы, которые не могут быть выражены, через элементарные функции (не берущиеся интегралы ).
- •4. Интегральные синус и косинус: .
- •Элементы элементарной математики
- •Формулы сокращенного умножения. Метод интервалов решения дробно-рациональных (и не только!) неравенств.
- •Системы двух и трех линейных уравнений. Совместимость, определенность, неопределенность. Метод Гаусса исключения неизвестных.
- •Многочлены. Теорема Безу и ее следствия. Рациональные корни уравнений.
- •Степенная, показательная, логарифмическая функции. Основные свойства и графики. Решение показательных и логарифмических уравнений и неравенств.
- •Тригонометрические функции углового и числового аргументов. Определение и свойства. Обратные тригонометрические функции. Формулы двойного и половинного аргумента. Формулы приведения.
- •Решение простейших (и не только!) тригонометрических уравнений и неравенств.
- •Построение графиков функций с помощью элементарных движений. Общая схема исследование функций с помощью производной.
- •Метод сечений при решении задач с параметром. Задачи, связанные с исследованием функций.
- •§10. Векторы, операции над ними. Скалярное, векторное и смешанное произведение. Проекции векторов. Примеры использования векторов в задачах физики.
- •§11. Уравнение прямой на плоскости в векторной форме.
- •Варианты контрольных работ
- •Дополнение 1 Вещественные числа
- •Сечения множества рациональных чисел
- •Перерізи множини раціональних чисел.
- •Сравнение сечений множества рациональных чисел
- •Порівняння перерізів множними раціональних чисел.
- •Теоремы об аппроксимации вещественных чисел рациональными
- •Теореми про апроксимацію дійсних чисел раціональними.
- •Теорема Дедекинда (непрерывность множества вещественных чисел)
- •Теорема Дедекінда (непрерівність множини дійсних чисел).
- •Сложение вещественных чисел
- •Додавання дійсних чисел
- •Произведение вещественных чисел
- •Дополнение 2 Исчисление высказываний
- •II. Правила построения формул ив.
- •III. Правила вывода ив
- •IV. Аксиомы ив.
- •V.Вывод
- •VI .Интерпретации
- •Математическая логика. Mathematical Logic Математична логіка
- •Формальный язык (аксиоматическая теория) и метаязык
- •Знаки, знакосочетания, алфавит.
- •Знаки, знакосполучення, алфавіт
- •Операции над словами
- •Операції над словами.
- •Выражения формального языка
- •Вирази формальної мови
- •Структурные знаки формального языка
- •Структурні знаки формальної мови
- •Переменные и константы (постоянные)
- •Зминні та сталі (константи)
- •Дополнение 3 Теорема про граничный переход в равенстве.
- •Дополнение 4 § теория пределов
- •Непрерывность и дифференцируемость
§. Поле комплексных чисел. Поле комплексних чисел.
Field of Complex numbers.
Def: Говорят, что на множестве М задана внутренняя операция, если в операции участвуют элементы из множества М. При этом, если результат операции также принадлежит множеству М, то операция называется заданной корректно.
Полем называется множество Р , в котором корректным способом определены две бинарные (двухместные) внутренние операции называемые сложением и умножением элементов такие, что:
1. ; 5. ;
2. ; 6. ;
3. ; 7.;
4. ; 8. ;
9. .
Отметим, что:
а) аксиомы 1–3 определяют поле как группу по сложению, а аксиома 4 делает эту группу абелевой (коммутативной).
б) аксиомы 5–8 говорят о том, что по умножению коммутативной группой является множество не нулевых элементов поля.
в) аксиома 9 связывает эти операции друг с другом дистрибутивным законом.
г) ассоциативность (1 и 5) позволяет сумму и произведение более чем 2-х элементов поля писать без скобок: и поскольку всякая расстановка скобок, призванная указать порядок выполнения операций, приводит к одному и тому же результату.
§. Свойства элементов поля.
*. В любом поле не меньше двух элементов и существует поле, состоящее равно из двух элементов .
*. Нуль и единица поля единственны: в поле нет таких же элементов с такими же свойствами.
*. Противоположный и обратный элемент для заданного элемента поля определяются однозначно; нуль не имеет обратного, поскольку, вследствие дистрибутивности, нуль, умножаясь на любой элемент поля, даёт нуль.
*. Элемент обратный противоположному, противоположен обратному: .
*. Минус единица (элемент противоположный единице) умножаясь на произвольный элемент, даёт противоположный ему элемент: .
*. Переходы к противоположному и обратному элементу инволютивны, т.е. противоположный к противоположному и обратный к обратному совпадают с исходным:
.
*. Нуль – единственный элемент поля совпадающий, со своим противоположным;
*. Единица – единственный элемент поля совпадающий, со своим обратным.
*. Вследствие коммутативности сумма и произведение не зависит от порядка, в котором берутся, соответственно, слагаемые или сомножители.
*. В поле всегда и однозначно разрешимо всякое уравнение вида
,
другими словами в поле определена операция вычитания обратная сложению, дающая элемент (разность уменьшаемого b и вычитаемого a), который нужно прибавить к вычитаемому чтобы получить уменьшаемое: .
*. Вычитание из самого себя даёт нуль:.
*. Вычитание нуля не изменяет уменьшаемого:.
*. Вычитание из нуля даёт противоположный: .
*. Для алгебраической суммы, куда по определению, каждое слагаемое входит со своим знаком: плюс как прибавленное или минус как вычитаемое и где первый знак, если он плюс не пишется, справедливы ассоциативность и коммутативность, а также дистрибутивность умножения с учётом правила знаков.
*
, (если ),
другими словами в поле определена операция деления на ненулевые элементы поля, дающая элемент (частное данного b и делителя а) на который надо умножить делитель, чтобы получить делимое: .
*. Деление на себя даёт единицу: .
*. Деление на единицу не изменяет делимого: .
*. Деление единицы на ненулевой элемент даёт обратный ему элемент:, .
*. Всякое поле содержит нулевой 0 и единичный e элементы и целые кратные единичного элемента. для
*. вследствие дистрибутивности и единичности нуля;
*. .
*. Сложение и умножение целых кратных единичного элемента поля определяется по правилам: ;
Содержательно эти правила очевидны. Более формально, доказывать нечего, когда одно слагаемое (сомножитель) есть нуль. Для натуральных n и целых m можно воспользоваться индукцией, пользуясь индуктивными определениями:
, .
*. Отображение задаёт гомоморфизм кольца целых чисел на кольцо целых кратных единичного элемента. Так как это кольцо не содержит делителей нуля то число определяющее вычеты должно быть простым. Это число не может быть единицей, так как это означало бы что . Простое число р - характеристика поля. Когда все кратные единицы попарно различны, поле содержит подполе изоморфное полю рациональных чисел . О таком поле говорят как о поле, имеющем характеристику нуль.
§ Введение комплексных чисел.
Множеством комплексных чисел называется множество объектов вида z = x + iy, где
x, y R а величина i определяется соотношением i2 = –1:
{ z | z = x + iy; x, y R, i2 = –1}
и введены операции над ними.
Запись z = x + iy называется алгебраической формой комплексного числа, при этом x = Re z , y = Im z ( вещественная и мнимая часть числа z).
Определим операции в множестве . Пусть z1 = x1 + iy1; z2 = x2 + iy2;
-
z1 = z2 тогда и только тогда, когда x1 = x2 и y1 = y2.
-
z1 z2 (x1 x2) + i(y1 + y2).
-
z1z2 (x1x2 – y1y2) + i(x1y2 + x2y1).
-
.
Алгебраическая форма комплексного числа позволяет дать прозрачную геометрическую интерпретацию, если рассматривать комплексное число как точку на плоскости, у которой абсцисса совпадает с , а ордината – с . При этом правила сложения и вычитания комплексных чисел совпадают с правилами сложения и вычитания векторов с координатами (x1,y1) и (x2,y2).
*. Если Im z = 0, то число z – вещественное число;
*. Если Re z = 0, то число z – чисто мнимое число.
Величина называется модулем комплексного числа .
Числа , образуют пару комплексно сопряженных чисел.
Число комплексно сопряженное к числу обозначается: или .
Свойства операции сопряжения:
1. (z*)* = z; 2. zz* = | z |2 ; 3. ; 4. ;
5. (z1 + z2)* = z1* + z2*; 6. (z1z2)* = z1*z2*; 7. ; 8. (z -1)* = (z*)-1.