
- •Формула называется формулой с тесными отрицаниями, если в ней нет связок þ и û, и отрицания относятся только к пропозициональным переменным.
- •§ Кванторы
- •§ Элементы теории множеств
- •§ Операции над множествами
- •§ Операции соответствия между множествами
- •Физические типы соответствий:
- •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 § теория пределов
- •Непрерывность и дифференцируемость
§ Непрерывность элементарных функций
- Базисные (основные) элементарные функции это - константы, степенные, показательные, логарифмические, тригонометрические функции и функции обратные к ним.
- Элементарные функции это функции, полученные из базисных элементарных функций с помощью конечного числа операций (арифметических действий) и суперпозиций.
-
Элементарные функции непрерывны в области определения.
Чрезвычайно важный факт, который будет доказан по мере расширения наших знаний по теории непрерывных функций. А пока несколько примеров.
Примеры элементарных функций:
1°.
f (x)
= | x
| =
;
2°.
f (x)
=
;
3°.
f (x)
=
;
и
Примеры неэлементарных функций:
1°. f (x) = [x] ; Целая часть x - наибольшее целое число не превосходящее x.
Функция имеет точки разрыва при целочисленных значениях x.
2°. f (x) = {x} = x-[x] ; Дробная часть x. Также разрывна в целочисленных точках.
3°.
f (x)
= sgn x =
.
И
маленькое примечание:
функции f (x)
= [x], f
(x) = {x}
и f (x)
= sgn x не
элементарные, а функция f
(x) =
элементарная.
§ Предел последовательности
Def. Вещественно-значная функция натурального аргумента называется последовательностью.
f : N ® R - каждому натуральному числу n ставится в соответствие xn= x(n).
Обозначается
{xn
}
или просто {xn
}.
xn - элемент последовательности. Величина xn= x(n) рассматриваемая как функция от n, называется общим членом последовательности.
Единственная точка сгущения у последовательности : +¥.
Def.
bÎ,
:Û
"e>0
$
N(e)
|
"n
> N |
xn-b
|
<
e.
или
bÎ,
:Û
"Ub
$
N |
"n
> N xnÎUb.
-
Если последовательность имеет предел то она называется сходящейся, иначе - расходящейся.
-
Предел последовательности зависит от поведения в произвольно малой окрестности +¥ (т.е. при достаточно больших n), и не изменится если поменять (или вообще отбросить или добавить ) любое конечное число членов.
Примечание. Учитывая, что у последовательности, единственной точкой сгущения является +¥ , в обозначении предела можно не указывать, что n ® +¥.
Примеры:
1°.
=1.
Действительно отметим, что: x1 = 0, x2 = 3/2, x3 = 2/3, x4 = 5/4, ….
А
теперь:
"e>0
| xn-b
| = |
|
=
< e
т.е.
"e>0
$ N(e)
=
| "n
> N |
xn-b
| <
e.
2°.
Нетрудно понять, что
не существует.
3°.
(если q > 1).
В самом деле, если q = 1 + D (где D>0)
то
qn
= (1+D)(1+D)(1+D)…..=
1 + nD
+
>
1+nD
>
e.
Раздел 3. Бесконечно малые и др. Величины § определения, терминология и примеры
Def.
Величина f
(x) называется бесконечно
малой при xa,
если
.
(Обозначается : f (x) = (1), читается : f (x) есть О-малое от единицы или f (x) есть бесконечно малая величина).
f
(x) =
(1) : a
D(f
) x
f (x)
.
*.
Cуществование конечного
предела
равносильно утверждению, что функция
есть бесконечно малая величина при x
a.
*.
Если
то
, где
(x) =
(1) при x
a.
Примеры :
10.
.
Для указанной функции f
(x) =
(1) при
.
20..
Для данной последовательности xn
=
(1) при n
.
Def.
Если
,
то величина
называется бесконечно большой величиной.
*.
Если функция имеет предел равный +
или -
,
то она является бесконечно большой, но
бесконечно большая величина не обязательно
стремиться к бесконечности определенного
знака, т.е.:
.
Примеры :
10.
Для данной последовательности
бесконечно большая величина.
20.
.
Элементы этой последовательности
1, 2, 1/3, 4, 1/5, 6,…
Величина не ограниченна, хотя бесконечно большой не является.
Def. Числовая функция называется ограниченной сверху, снизу, ограниченной если таковым является её множество значений.
ограничена сверху
M
ограничена снизу
m
ограничена
m,M
A
неограничена сверху
неограничена снизу
неограничена
.
Def.
Числовая функция
называется ограниченной …. на множестве
,
если таковым является её сужение на
множество
.
Сужение
: f (x)X
= f (x)
).
Def.
Функция
называется (финально) ограниченной …
в точке
сгущения её области определения если
на которой функция ограничена …
f (x) ограничена … ограничена в любой точке и на любом множестве.
f (x) неограничена … в некоторой точке или на некотором множестве
неограниченна.
В данном определении вместо многоточия указывается характер ограниченности (сверху, снизу, … ).
Ограниченность функции обозначается f (x) = O (1), (читается : f (x) есть О-большое от единицы или f (x) есть ограниченная величина).
Примеры :
10.
.
ограничена сверху, снизу, ограничена сама по себе, в любой точке на любом множестве.
20.
.
На (0,1) ограничена снизу, неограниченна сверху.
На [1,100) ограничена сверху, ограничена снизу, ограничена.
На [-1,1] неограничена сверху, неограничена снизу, неограничена.
Def.
Величина
называется отделенной от нуля если
Def.
Функция
называется отделенной от нуля на
множестве
если таково её сужение на
.
Def.
Функция
финально отделена от нуля в точке
если
такая, что функция отделена от нуля в
этой проколотой окрестности.
*.
Функция отделена от нуля
отделена от нуля на любом подмножестве
и в любой точке. Но…отделена от нуля в
каждой точке не обязательно отделена
от нуля.
*. Ненулевая бесконечно малая не отделена от нуля.
*. Функция, имеющая в точке ненулевой предел финально отделена от нуля в этой точке.
*.
Если
отделена от нуля
ограничена.
Примеры :
10.
2
(место для рисунка) отделена от нуля.
20. f (x) = x2 Для x 0 функция финально отделена от нуля.
§ Леммы о бесконечно малых
10.Сумма конечного числа бесконечно малых есть величина бесконечно малая.
20.Произведение бесконечно малой на ограниченную есть величина бесконечно малая.
30.Величина арифметически обратная к бесконечно большой есть бесконечно малая, а арифметически обратная к бесконечно малой есть бесконечно большая.
∆ 10.
Пусть
точка сгущения для
D(f
) и D(g)
и, кроме того f (x)
=
(1) и g(x)
=
(1).
Тогда
,
и
.
Теперь
возьмём
.
Получим
что и т. д.
20.Теперь пусть g(x) = О (1) и f (x) = (1) .
А
,
.
Вновь
возьмём
.
Тогда
что и т. д.
30.
f (x)
=
(1)
. Получаем
. что и т. д. ▲
§ Теоремы о пределах. Неопределенности
Т. Если существуют и конечны пределы стоящие справа в следующих равенствах, то также существуют и конечны пределы, стоящие слева и равенства выполняются :
10.,
20.,
30.
если
.
∆ 10.
Пусть
,
.
Тогда
и
,
где
.
Следовательно
и (x)
бесконечно мала .
Значит
.
20,30 доказываются аналогично. ▲
Т. (о пределе сложной функции).
Пусть
;
.
Тогда
.
∆ По
условию теоремы
Uc
,
Ub
.
Получаем
Uc
что и т. д.▲
Def. Действия с несобственными элементами :
*
*
*
*
*
*
*
(если
)
*
*
е.
,
е.
*
*
е.
*
е.
,
е.
.
∆.
Докажем например что
Пусть
и
Тогда
,
и
.
Теперь
возьмём
.
Получим
что и т. д.
аналогично доказываются остальные соотношения.▲
Введя операции над несобственными элементами, обратим внимание на то, что не всяким действиям с несобственными элементами даны определения. В таких случаях говорят, что мы имеем дело с неопределенностями. Неопределенностями они называются потому, что результат этих действий может быть различным в зависимости от величин учавствующих в операции.
Рассматривается (пока) четыре типа неопределённостей:
,
0,
,
.
Первые две неопределённости сводятся, путем арифметических преобразований, к последним двум, а для раскрытия последних двух предназначено правило Лопиталя:
Правило
Если функции и обе стремятся к нулю
или бесконечности, то предел отношения
функций равен пределу отношения
производных этих функций, если предел
стоящий справа существует и конечен.
.
∆ ▲
Конечно, такая формулировка правила Лопиталя, мягко говоря, оставляет желать лучшего. Аккуратная формулировка и доказательство этого, очень важного и удобного в применении правила будет приведено несколько позже, по мере нашей готовности к этому. Формулировка же приводится для того, чтобы позволить применять это правило, пусть и в весьма приблизительном виде, для вычисления пределов.