Вы находитесь на странице: 1из 44

• Вопрос №1:

Множество — совокупность элементов какой-либо природы.


Если есть некоторое множество A, то кажды элемент x может либо
принадлежать этому множеству (x ∈ A), либо не принадлежать (x ∉ A).
Множество, не содержащее ни одного элемента, называется пустым (∅). Если
элементы множества A можно перечислить (a, b, c, …), то будем писать: A =
{a, b, c, …}. Множество называется конечным, если число его элементов
конечно, в противном случае, оно называется бесконечным. Множество B
называется подмножеством множества A (B ⊂ A), если любо элемент
множества B принадлежит множеству A. Если B ⊂ A и A ⊂ B, то тогда
множества A и B называются равными (A = B), то есть у равных множеств
совокупности элементов совпадают.
Любое математическое предложение в математическо логике называется
высказыванием. Каждое высказывание может быть истинным или ложным.
Например, "2 + 2 = 4" — истинное высказывание, "2 + 2 = 5" — ложное
высказывание. Если есть два высказывания α и β, то из них можно образовать
новое высказывание с помощью слов (союзов): "и" (&, ∧); "или" (∨); "если,
то" (⇒); "тогда и только тогда" (⇔); "не" ( ̄ , ¬):
• α & β (α ∧ β) — конъюнкция;
• α ∨ β — дизъюнкция;
• α ⇒ β — импликация с посылко α и заключением β;
• α ⇔ β — эквивалентность;
• ᾱ (¬ α) — отрицание.
Для этих логических операци справедливы следующие таблицы
истинности:

α & β (β)и (β)л α ∨ β (β)и (β)л α ⇒ β (β)и (β)л


(α)и и л (α)и и и (α)и и и
(α)л л л (α)л и л (α)л и л

α⇔β (β)и (β)л


α и л
(α)и и л
¬α л и
(α)л л и

й
й

й

й

й
Будем также использовать следующие символы:
• ∀ — "любо " (квантор общности),
• ∃ — "существует" (квантор существования).
Пусть E — некоторое множество, α — некоторое сво ство. Тогда запись
∀ x ∈ E ⇒ α означает: "для любого элемента x из множества E выполнено
сво ство α". А запись ∃ x ∈ E: α означает: "на дется хотя бы один элемент x
из множества E, для которого выполнено сво ство α". Под записью {x ∈ E: α}
понимаем совокупность элементов множества E, удовлетворяющих
сво ству α.
Если есть два множества A и B, то из них можно построить новое
множество с помощью операци :
• ∩ — пересечение;
• ∪ — объединение;
• \ — разность;
• ̄ — дополнение.
Эти операции определяются следующим образом:
A ∩ B={x: (x ∈ A) & (x ∈ B)}, A ∪ B={x: (x ∈ A) ∨ (x ∈ B)},

A \ B={x: (x ∈ A) & (x ∉ B)}, A ̄ ={x: x ∉ A}.


Указанные операции можно применять многократно, например,
∩ni=1: Ai = A1 ∩ … ∩ An,
n
∪ i=1: Ai = A1 ∪ … ∪ An.

Введенные операции обладают определенными сво ствами. В частности:


1) (A ∪ B) ∩ C = (A ∩ C) ∪ (B ∩ C),
2) (A ∩ B) ∪ C = (A ∪ C) ∩ (B ∪ C),
й
й
й

й

й
й

й
й

и так далее…
- Теорема:
Пусть истинно некоторое соотношение между множествами, имеющее вид
равенства или включения, и содержащее операции ∩, ∪, ̄ . Тогда если в этом
соотношении сохранить знак "=", знаки ⊂ и ⊃ поменять местами, знаки ∩ и ∪
поменять местами, а каждое множество заменить на его дополнение, то
полученное новое соотношение также будет истинным.
- Теорема:
Пусть имеется некоторое высказывание, содержащее кванторы ∀ и ∃ и
некоторое сво ство α. Тогда чтобы получить отрицание от этого
высказывания, надо кванторы ∀ и ∃ заменить друг на друга, а сво ство α
заменить на его отрицание ¬ α.
В математическом анализе, как и во все математике, наибольшую
значимость имеют множества чисел. Далее последовательно введем
следующие числовые множества:
• N — натуральные числа,
• Q — рациональные числа,
• R — вещественные (де ствительные) числа,
• C — комплексные числа.
Каждое из этих множеств можно вводить независимо от остальных. В то же
время, логичнее каждое последующее из этих множеств вводить, как
расширение предыдущих: N ⊂ Q ⊂ R ⊂ C. Тако подход позволяет для
каждого очередного множества использовать сво ства и операции, уже
введенные ранее для предыдущих множеств. При этом очередное множество
мы будем обогащать какими-то новыми сво ствами и операциями, не
присущими предыдущим множествам.

• Вопрос №2:
Под множеством натуральных чисел N будем понимать совокупность
элементов, обозначаемых символами 1, 2, …, для которых введены операции
"=" и "≠" и выполнены следующие аксиомы Пеано:
1) ∃ 1 ∈ N (как следствие, N ≠ ∅);

й
й

й
й

й
й

й
2) Для ∀ x ∈ N ∃ ! x ̃ ∈ N, называемы последующим за x (x ̃ = x + 1);
3) ∀ x ∈ N ⇒ x ̃ ≠ 1 (то есть 1 — первы элемент);
4) ∀ x ̃ = y ̃ ⇒ x = y (то есть между элементами и их последующими
установлено взаимно-однозначное соответствие);
5) Пусть M ⊂ N, и выполнены условия:
а) 1 ∈ M,
б) ∀ x ∈ M ⇒ x ̃ ∈ M. Тогда M = N.
На пято аксиоме строится известны принцип математическо индукции,
часто используемы для доказательства различных утверждени .
Для множества натуральных чисел можно ввести операции отношения: ">",
"<", "≥", "≤", а также арифметические операции "+", "·". Арифметические
операции "–" и "/" в общем случае для множества N не определены. В частных
случаях они определяются через уже введенные операции "+" и "·":
а) Пусть x > y. Тогда z = x – y, если x = y + z;
б) Пусть x, y ∈ N. Если ∃ z ∈ N: x = yz, то тогда z = x / y.
Используя аксиомы Пеано и введенные операции, можно вывести все
сво ства натуральных чисел. Таким образом, считаем, что арифметика
натуральных чисел построена.
Под положительно рационально дробью x 1 /x 2 будем понимать
упорядоченную пару натуральных чисел x1 и x2 (число x1 назовем числителем
дроби, а число x2 — знаменателем).
Две положительные рациональные дроби x 1 /x 2 и y 1 /y 2 назовем
эквивалентными, если x1y2 = x2y1.
Положительным рациональным числом назовем совокупность всех
положительных рациональных дробе , эквивалентных како -то одно
фиксированно дроби (обычно используют понятие несократимо дроби).
Например: 1/2 = 2/4 = 3/6 = …
Обозначим через Q+ — множество положительных рациональных чисел.
Пусть x ∈ Q+. Если среди положительных рациональных дробе ,
составляющих число x, есть дробь со знаменателем 1, то тогда полагаем, что
й
й

й
й
й

й

й

й
й
й

й
й

й

й

й
й
x ∈ N (то есть множество положительных рациональных чисел мы вводим как
расширение множества натуральных чисел: N ⊂ Q+).
Введем операции отношения для множества Q+:
1) Два положительных рациональных числа назовем равными друг другу,
если они состоят из одних и тех же положительных рациональных дробе ;
2) Пусть x, y ∈ Q+. Возьмем любую дробь x1/x2 из совокупности x и любую
дробь y1/y2 из совокупности y. Будем говорить, что x > y, если x1y2 > x2y1.
Аналогично вводятся операции "<", "≥", "≤".
Введем арифметические операции для множества Q+:
1) Пусть x, y ∈ Q+. Возьмем любую дробь x1/x2 из совокупности x и любую
дробь y 1 /y 2 из совокупности y. Тогда множество положительных
рациональных дробе , эквивалентных дроби x1y2+x2y1/x2y2, называется
суммо x + y.
2) Пусть x, y ∈ Q . Возьмем любую дробь x1/x2 из совокупности x и любую
дробь y 1 /y 2 из совокупности y. Тогда множество положительных
рациональных дробе , эквивалентных дроби x 1 y 1 /x 2 y 2 , называется
произведением xy.
Операции "–" и "/", как это уже отмечалось, вводятся через операции "+" и
"·".
Таким образом, все де ствия с положительными рациональными числами
сводятся к де ствиям с натуральными числами.
Введем (аксиоматически) понятие нулевого элемента: ∃ 0: ∀ x ∈ Q+ ⇒
x + 0 = x и противоположного (отрицательного) элемента: ∀ x ∈ Q+, ∃ y: x + y
= 0.
Через Q– обозначим множество отрицательных рациональных чисел. Тогда
совокупность Q = {Q–, 0, Q+} — назовем множеством рациональных чисел.
Операции отношения и арифметические операции, введенные ранее для Q+,
можно распространить теперь на все множество Q.

Вопрос №3
Рассмотрим более детально арифметические операции и операции
отношения, введенные ранее для рациональных чисел.

й
й

й
й
й

й

Говорят, что арифметические операции удовлетворяют следующим


аксиомам:
1) Аксиомы сложения:
а) ∀ x, y ∈ Q ⇒ x + y = y + x (коммутативность),
б) ∀ x, y, z ∈ Q ⇒ (x + y) + z = x + (y + z) (ассоциативность),
в) ∃ 0 ∈ Q: x + 0 = x, ∀ x ∈ Q (существование нулевого элемента),
г) ∀ x ∈ Q, ∃ y ∈ Q: x + y = 0 (существование противоположного элемента).
2) Аксиомы умножения:
а) ∀ x, y ∈ Q ⇒ xy = yx (коммутативность),
б) ∀ x, y, z ∈ Q ⇒ (xy)z = x(yz) (ассоциативность),
в) ∃ 1 ∈ Q: x · 1 = x, ∀ x ∈ Q (существование единичного элемента),
г) ∀ x ≠ 0, ∃ y ∈ Q: xy = 1 (существование обратного элемента),
д) ∀ x, y, z ∈ Q ⇒ (x + y)z = xz + yz (дистрибутивность).
Слово "аксиомы" здесь условное. Если мы вводим рациональные числа,
опираясь на натуральные числа, то тогда часть из этих аксиом, на самом деле
являются следствиями из аксиом, введенных для натуральных чисел.
Некоторая совокупность элементов, для которо введены арифметические
операции, удовлетворяющие приведенным выше девяти аксиомам, называется
полем. В настоящем параграфе мы имеем дело с полем рациональных чисел.
Также говорят, что для рациональных чисел выполнены такие аксиомы
(снова слово "аксиомы" понимаем условно, в зависимости от способа
введения понятия рационального числа):
3) Аксиома порядка:
∀ x ∈ Q ⇒ (x > 0) ∨ (x = 0) ∨ (x < 0), причем ∀ x, y > 0 ⇒
(x + y > 0) & (xy > 0).
4) Аксиома плотности:
∀ x, y ∈ Q: x < y ⇒ ∃ z ∈ Q: x < z < y.
Отметим некоторые следствия из введенных аксиом:

й

1) Существует только один нулево элемент. В самом деле, пусть имеется


два нулевых элемента 01 и 02. Тогда 01 = 01 + 02 = 02 + 01 = 02.
Аналогично показывается, что и единичны элемент единственен.
2) Для любого рационального числа суще ствует только один
противоположны элемент. В самом деле, пусть для некоторого x ∈ Q
имеется два противоположных элемента y1 и y2. Тогда y2 = 0 + y2 =
(x + y1) + y2 = (x + y2) + y1 = 0 + y1 = y1. Аналогично показывается, что для
любого ненулевого рационального числа существует только один
обратны элемент.
3) Сво ство Архимеда:
∀ x ∈ Q, ∃ n ∈ N: n > x.

Вопрос №4:
Введем понятие иррационального числа (по Дедекинду).
- Определение:
Разбиение множества рациональных чисел Q на два непустых
подмножества A и A’ (Q = A ∪ A’) называется сечением, если:
1) Любое рациональное число попадает только в одно из множеств A
или A’,
2) ∀ a ∈ A, ∀ a’ ∈ A’ ⇒ a < a’.
Множество A называется нижним классом сечения, а множество A′ —
верхним классом. Само сечение будем обозначать A|A′.
Из введенного определения вытекают следующие сво ства:
1) ∀ a ∈ A, ∀ a1 < a ⇒ a1 ∈ A;
2) ∀ a’ ∈A’, ∀ a1 > a’ ⇒ a’1 ∈ A’.
Таким образом, если все рациональные числа расположить на оси в порядке
возрастания, то сечение производит деление это оси на две полуоси.
й

й

й

й
й
й
й

Может оказаться ситуация, когда множество A’ имеет минимальны элемент,


в то время как множество A максимального элемента не имеет. Например,
пусть A = {a ∈ Q: a < 1}, A’ = {a’ ∈ Q: a’ ≥ 1}.
Может оказаться обратная ситуация, когда множество A имеет
максимальны элемент, в то время как множество A′ минимального элемента
не имеет. Например, пусть A = {a ∈ Q: a ≤ 1}, A’ = {a’ ∈ Q: a’ > 1}.
В обеих этих ситуациях говорят, что сечение производится рациональным
числом (называемым пограничным).
Ситуация, когда множество A имеет максимальны элемент, а множество A’
имеет минимальны элемент, не возможна. В самом деле, пусть a0 = max A,
a’0 = min A’. Имеем a0 < a’0. В силу аксиомы плотности, ∃ c ∈ Q: a0 < c < a’0. Но
тогда с ∉ A и c ∉ A’, а это противоречит определению сечения.
Наконец, осталось рассмотреть ситуацию, когда множество A не имеет
максимального элемента, и множество A′ не имеет минимального элемента.
Такая ситуация возможна. Например, пусть A={a ∈ Q: (a ≤ 0) ∨ (a2 < 2)},
A = {a’ ∈ Q: (a’ > 0) & (a’2 > 2)}.
Здесь пограничного рационального числа не существует. В этом случае
говорят, что сечение производится иррациональным числом α (будем писать
α = A|A’), таким что:
1) ∀ a ∈ A ⇒ a < α,
2) ∀ a’ ∈ A’ ⇒ a’ > α.
Обозначим через I — множество иррациональных чисел. Тогда R = Q ∪ I —
назовем множеством вещественных чисел. Мы снова получили расширение
числового множества: Q ⊂ R.
Введем операции отношения для вещественных чисел. Пусть α = A|A’, β =
B|B’. Тогда:
1) α = β ⇔ A = B ⇔ A’ = B’,
2) α < β ⇔ (A ⊂ B) & (A ≠ B) ⇔ (A’ ⊃ B’) & (A’ ≠ B’).
Аналогично вводятся операции ">", "≤", "≥".
Таким образом, операции отношения для вещественных чисел сводятся к
операциям отношения для рациональных чисел.

й

й

й

й
• Вопрос №5:
- Лемма 1:
Верно следующее утверждение: ∀ α, β ∈ R: α < β ⇒ ∃ r ∈ Q: α < r < β.

- Лемма 2:
Пусть справедливо условие: ∀ α, β ∈ R, ∀ ε > 0 ⇒ ∃ s, s’ ∈ Q:
s ≤ α ≤ s′ ,
s ≤ β ≤ s′ , Тогда α = β.
0 ≤ s′ − s < ε .

• Вопрос №6:
Вещественные числа часто бывает удобно представлять в виде десятичных
дробе . Пусть α = A|A’. На дем такое целое число c0, что: (c0 ∈ A) &
(c0 + 1 ∈ A′). Значит, c0 ≤ α ≤ c0 + 1. Разделим отрезок [c0, c0 + 1] на десять
равных часте . Пронумеруем эти части: 0, 1, …, 9. Пусть c1 — это номер то
части, куда попадает число α. Значит, c0,c1 ≤ α ≤ c0,c1 + 10–1. Продолжаем этот
процесс. На n-ом шаге имеем: c0,c1…cn ≤ α ≤ c0,c1…cn + 10–n. (1) Здесь c1, …,
cn ∈ {0, 1, …, 9}, n = 1, 2, ….
Если на каком-то шаге число α совпадет с одним из концов очередного
промежутка, то тогда получим представление этого числа в виде конечно
десятично дроби. В противном случае придем к бесконечно десятично
дроби. Учитывая (1) и лемму 2, получаем, что любое вещественное число α
представляется десятично дробью однозначно. Можно доказать, что
рациональные числа представляются конечными или периодическими



й

й
й

й

й
й

й
й
й
десятичными дробями. Для иррациональных чисел получим бесконечную
непериодическую десятичную дробь.
Введем теперь понятие сечения множества вещественных чисел.
- Определение:
Разбиение множества вещественных чисел R на два непустых
подмножества A и A’ (R = A ∪ A’) называется сечением, если:
1) любое вещественное число попадает только в одно из множеств A
или A′,
2) ∀ a ∈ A, ∀ a’ ∈ A’ ⇒ a < a’.
Снова сечение будем обозначать A|A′.
- Теорема (Дедекинд) (о полноте множества вещественных чисел):
Для любого вещественного сечения A|A’ найдется такое вещественное число
α, которое производит это сечение (то есть число α будет наибольшим
элементом множества A или наименьшим элементом множества A’).
Теорема Дедекинда говорит, что вещественные числа полностью
(непрерывно) заполняют числовую ось. Повторное применение процедуры
Дедекинда построения числовых множеств ничего нового не даст.

• Вопрос №7:
- Определение:
а) Множество M ⊂ R называется ограниченным сверху, если: ∃ z ∈ R: x ≤ z,
∀ x ∈ M, число z в этом случае называется верхне гранью множества M;
б) Множество M ⊂ R называется ограниченным снизу, если: ∃ z ∈ R: x ≥ z,
∀ x ∈ M, число z в этом случае называется нижне гранью множества M;
в) Множество M ⊂ R называется ограниченным, если оно ограничено и
сверху, и снизу.
- Определение:
а) Пусть множество M ⊂ R ограничено сверху. Наименьшая из всех верхних
гране этого множества называется точно верхне гранью (sup M);
й

й
й
й
й

б) Пусть множество M ⊂ R ограничено снизу. Наибольшая из всех нижних


гране этого множества называется точно нижне гранью (inf M).
Данное определение можно переписать в следующем виде:
- Определение:
а) Число z называется точно верхне гранью множества M (z = sup M),
если:
1. ∀ x ∈ M ⇒ x ≤ z,
2. ∀ ε > 0, ∃ x ∈ M ⇒ x > z – ε;
б) Число z называется точно нижне гранью множества M (z = inf M),
если:
1. ∀ x ∈ M ⇒ x ≥ z,
2. ∀ ε > 0, ∃ x ∈ M ⇒ x < z + ε.
- Теорема (о верхне и нижне гранях):
Если множество M ограничено сверху (снизу), то у него существует точная
верхняя (нижняя) грань.
- Следствие:
а) Пусть ∀ x ∈ M ⇒ x < a, где a ∈ R. Тогда sup M ≤ a;
б) Пусть ∀ x ∈ M ⇒ x > a, где a ∈ R. Тогда inf M ≥ a.
- Замечание:
а) Если множество M не ограничено сверху, то положим sup M = +∞;
б) Если множество M не ограничено снизу, то положим inf M = –∞.
Таким образом, супремум и инфимум, в отличие от максимума и минимума,
существуют всегда у любого множества.

• Вопрос №8:
Введем теперь арифметические операции для вещественных чисел.
Пусть α, β ∈ R. Рассмотрим произвольные a, a′, b, b′ ∈ Q, такие что a < α < a′,
b < β < b′. (2)

й

й

й

й
й

й
й

й
й

Тогда под суммо α + β будем понимать такое γ ∈ R, что a + b < γ < a′ + b′


при любых a, a′, b, b′, удовлетворяющих условиям (2). Для ∀ ε > 0 числа a, a′,
b, b′ можно выбрать так, что a′ – a < ε, b′ – b < ε (3). Тогда получим (a′ + b′) –
(a + b) = (a′ – a) + (b′ – b) < 2ε.
Значит, по лемме 2 число γ будет определяться однозначно. Введенное
правило сложения можно записать следующим образом:
γ = α + β = sup (a + b) = inf (a′ + b′) (по 2).
Аналогично вводится операция умножения. Рассмотрим сначала
положительные числа α и β. Тогда под произведением αβ будем понимать
такое δ ∈ R, что ab < δ < a′b′ при любых a, a′, b, b′, удовлетворяющих условиям
(2), или, что тоже самое, δ = αβ = sup(ab) = inf (a′ b′) (по 2).
Снова лемма 2 гарантирует однозначность такого определения умножения.
Для знакопроизвольных чисел α, β воспользуемся правилами:
а) α · 0 = 0, ∀ α ∈ R,
б) ∀ α, β ≠ 0 ⇒ αβ = ±|α| · |β|, где используется "+", если числа α, β одного
знака, и "–", — если разного.
Таким образом, арифметические операции с вещественными числами
сводятся к операциям с рациональными числами.
Введем понятия степени, корня и логарифма. Пусть α ∈ R, причем α > 0.
Тогда ξ = n√α, где n ∈ N, если α = ξn = ξ·...·ξ. Аналогично ξ = αm/n,
где n, m ∈ N, если αm = ξn.
Введем теперь число ξ = αβ, где β ∈ R. Пусть α > 1. Выберем произвольные
b, b′ ∈ Q, такие что b < β < b′. (4) Тогда ξ определим как число, лежащее во
всевозможных вилках вида αb < ξ < αb′ или, что то же самое, ξ = αβ = sup αb =
inf αb′ . (по 4)
Если α = 1, то положим ξ = αβ = 1. Для 0 < α < 1 положим
αβ = (1/α)–β. Пусть α > 0 и α ≠ 1. Тогда если ξ = αβ, то β = logαξ.
Отсюда можно вывести все известные сво ства степене , корне и
логарифмов. Далее в этом параграфе приведем некоторые вспомогательные
понятия и утверждения, которые будут использоваться в дальне шем.

й

й

й
й

й

• Вопрос №9:
- Лемма (Коши — Кантор):
Любая система вложенных последовательно друг в друга замкнутых
отрезков имеет хотя бы одну общую точку. Если же для ∀ ε > 0 в это системе
на дется отрезок, длина которого меньше, чем ε, то тогда у указанно
системы отрезков будет ровно одна общая точка.
- Замечание:
Для системы вложенных открытых интервалов лемма Коши — Кантора в
общем случае не верна.

• Вопрос №10:
- Определение:
Пусть S = {X} — некоторая система множеств X. Говорят, что эта система
покрывает множество Y , если Y ⊂ ∪X ∈ S X.
- Лемма (Борэль — Лебег):
Из любо системы открытых интервалов, покрывающе заданны отрезок,
всегда можно выделить конечную подсистему, которая также будет покрывать
этот отрезок.

• Вопрос №11:
- Определение:
Пусть a ∈ R. Тогда интервал Uδ(a) = (a – δ, a + δ) называется δ-окрестностью
точки a. Здесь δ = const > 0.
- Замечание:
Можно ввести понятие δ-окрестности и для a = ±∞. Положим Uδ(+∞) =
(δ, +∞), Uδ(–∞) = (–∞, –δ).
- Определение:
Точка a называется внутренне точко множества M ⊂ R, если ∃ δ > 0:
Uδ(a) ⊂ M.
Пример. Пусть M = [1, 2). Тогда открыты интервал (1, 2) будет
представлять собо совокупность внутренних точек множества M.
й
й

й

й
й

й
й
й

й
й
- Определение:
Точка a называется предельно точко множества M ⊂ R, если ∀ δ > 0,
∃ x ∈ M: (x ≠ a) & (x ∈ Uδ(a)).
- Замечание:
Определение предельно точки множества можно переформулировать по-
другому: точка a называется предельно точко множества M ⊂ R, если в
любо ее окрестности содержится бесконечное число точек из M. Отметим,
что сама точка a может как принадлежать множеству M, так и не
принадлежать.
Пример. Пусть M = [1, 2). Тогда замкнуты отрезок [1, 2] будет
представлять собо совокупность предельных точек множества M.
- Лемма (Больцано — Ве ерштрасс о предельной точке):
Любое бесконечное ограниченное числовое множество имеет хотя бы одну
предельную точку.
Конечные множества можно сравнивать между собо по числу элементов.
Возникает вопрос: можно ли сравнивать бесконечные множества?

• Вопрос №12:
- Определение:
Множества A и B называются эквивалентными или равномощными (A ∼ B),
если между их элементами можно установить взаимно-однозначное
соответствие.
- Определение:
Говорят, что множество A мощнее множества B, если: ∃ C ⊂ A: C ∼ B, но
при этом не ∃ D ⊂ B: D ∼ A.
Самыми простыми в плане мощности являются конечные множества. Более
сложными являются счетные множества.
- Определение:
Множество A называется счетным, если A ∼ N, то есть если каждому
элементу множества A можно присвоить сво индивидуальны натуральны
номер (элементы можно пересчитать).
й

й

й
й

й
й

й

й
й
й
й

й

й
Пример: Пусть A = {2, 4, …} — множество четных натуральных чисел.
Имеем A ⊂ N, но при этом A ∼ N, то есть A — счетное. В самом деле,
∀ n ∈ N ↔ (2n) ∈ A.
- Теорема:
Если A и B — счетные множества, то тогда множество C = A ∪ B также
будет счетным.
Аналогично можно доказать более общую теорему:
- Теорема:
Если An, n = 1, 2, …, — счетные множества, то тогда множество
C = ∪+∞n=1An также будет счетным.
- Теорема:
Множество рациональных чисел Q является счетным.
- Теорема (Кантор):
Множество вещественных чисел на любом отрезке [a, b] при (a < b) —
несчетно.
- Определение:
Говорят, что множество вещественных чисел на любом невырожденном
отрезке [a, b] имеет мощность континуума.
- Следствие:
Множество всех вещественных чисел R имеет мощность континуума.
Бывают ли множества с мощностью, больше чем мощность континуума?
- Теорема:
Пусть A — некоторое множество, а B — множество всех подмножеств из A.
Тогда B мощнее, чем A.
- Замечание:
Из данно теоремы следует, что не существует множества с наибольше
возможно мощностью (всегда можно построить еще более мощное
множество). Например, если множество A имеет мощность континуума, а B —
множество всех подмножеств из A, то говорят, что множество B имеет
мощность гиперконтинуума.

й
й

й

й
• Вопрос №13:
- Определение:
Комплексным числом назовем упорядоченную пару вещественных чисел
(a, b).
Обозначим через C — множество всех комплексных чисел.
Пусть z = (a, b) ∈ C. Тогда a = Re z назовем вещественно частью
комплексного числа z, а b = Im z — мнимо частью. Если b = 0, то будем
считать, что z = (a, 0) = a ∈ R. Таким образом, по построению получаем, что
R ⊂ C.
Введем операции с комплексными числами.
1) Два комплексных числа x = (a, b) и y = (c, d) назовем равными (x = y),
если a = c и b = d.
Операции отношения "<", ">", "≤", "≥" для комплексных чисел не
определяются, то есть множество C — не упорядоченное.
2) Пусть x = (a, b) и y = (c, d).
Тогда положим x + y = (a + c, b + d), xy = (ac − bd, ad + bc).
В результате, все де ствия с комплексными числами сводятся к де ствиям с
вещественными числами.
Введенные для комплексных чисел арифметиче ские операции
удовлетворяют всем аксиомам поля (получаем поле комплексных чисел).
Здесь ε0 = (0, 0) — нулево элемент в C (z + ε0 = z, ∀ z ∈ C); ε1 = (1, 0) —
единичны элемент в C ( zε1 = z, ∀ z ∈ C).
Если вещественные числа удобно располагать вдоль оси, то комплексные
числа будем располагать на плоскости.
Пусть z = (a, b) ∈ C. Число |z| = √a2 + b2 называется модулем комплексного
числа z, а число φ = Arg z = arctg(b / a) — аргументом комплексного числа z.
Комплексное число можно записать в тригонометрическо форме:
z = (a, b) = (|z|cos φ, |z|sin φ).
Рассмотрим комплексное число i = (0, 1) (называемое мнимо единице ).
Имеем i2 = (0,1) · (0,1) = (−1,0) = −1

й

й

й

й

й
й
й
й
й

Тогда комплексное число z = (a, b) может быть записано в виде:


z = (a, b) = (a, 0) + (0, 1) · (b, 0) = a + ib.
Пусть z = a + ib. Тогда число z ̄ = a − ib называется сопряженным к числу z.
Верны сво ства:
1) x + y = x̄ + ȳ,
2) x y = x̄ ȳ,
3) z̄z = | z |2 ,
4) z + z̄ = 2Rez,
5) z − z̄ = 2Im z.

• Вопрос №14-15:
- Определение:
Вещественная последовательность {an}+∞n=1 называется:
1) Неубывающе , если an ≤ an+1, ∀ n = 1, 2, …;
2) Строго возрастающе , если an < an+1, ∀ n = 1, 2, …;
3) Невозрастающе , если an ≥ an+1, ∀ n = 1, 2, …;
4) Строго убывающе , если an > an+1, ∀ n = 1, 2, ….
Во всех четырех случаях последовательность называется монотонно .
- Определение:
Вещественная последовательность {an}+∞n=1 называется:
1) Ограниченно сверху, если ∃ M = const : an ≤ M, ∀ n = 1,2,…;
2) Ограниченно снизу, если ∃ m = const : an ≥ m, ∀ n = 1,2,…;
3) Ограниченно , если она ограничена и сверху, и снизу, то есть ∃ m, M =
const: m ≤ an ≤ M, ∀ n = 1,2,... (или можно записать: |an| ≤ P, ∀ n = 1,2,..., где
P = max{|m|, |M|}).
Введем теперь понятие предела последовательности.
- Определение:

й

й
й
й
й

й

й

й

й

Число g называется пределом последовательности {an}+∞n=1 при n → +∞,


если: ∀ ε > 0, ∃ K ∈ N: ∀ n ≥ K ⇒ |an – g| < ε.
В этом случае будем писать: g = limn→+∞ an.
Заметим, что |an – g| < ε ⇔ g – ε < an < g + ε ⇔ an ∈ Uε(g), то есть, начиная с
некоторого номера K, все элементы последовательности попадают в ε-
окрестность числа g и более из нее не выходят. Номер K зависит от выбора
числа ε.

Последовательность может иметь предел, а может и не иметь. В первом


случае она называется сходяще ся, в противном случае — расходяще ся.
Замечание:
Можно написать определение того, что g ≠ limn→+∞ an: ∃ ε > 0, ∀ K ∈ N:
∃ n ≥ K ⇒ |an – g| ≥ ε.
Пример:
Пусть an = (–1)n, n = 1, 2, …. Покажем, например, что 1 ≠ limn→+∞ an.
Де ствительно, возьмем ε = 1. Выберем ∀ K ∈ N. Возьмем произвольное
нечетное n ≥ K. Тогда получим |an –1| = |(–1)n –1| = | –1–1| = 2 ≥ ε. Получили
требуемое. Можно показать, что в данном случае не ∃ g = limn→+∞ an, то есть
рассматриваемая последовательность — расходящаяся.
- Теорема (о единственности предела) (14):
й

й

й

Если предел у последовательности существует, то он единственен.


- Теорема (об ограниченности сходяще ся последовательности) (15):
Если последовательность сходится, то она ограничена.
- Замечание:
О б р ат н а я т е о р е ма в о бщ е м с л у ч а е н е ве р н а . О г р а н и ч е н н а я
последовательность может быть расходяще ся (например, {(–1)n}+∞n=1).

• Вопрос №16:
- Теорема:
Если у последовательности изменить (добавить, убрать, поменять) конечное
число элементов, то это никак не повлияет ни на сходимо сть
последовательности, ни на значение ее предела.
- Теорема:
Пусть an = C = const, ∀ n = 1, 2,…. Тогда limn→+∞ an = C.
- Теорема (арифметические сво ства предела):
Пусть ∃ g = limn→+∞ an, ∃ h = limn→+∞ bn.
Тогда:
1) limn→+∞ (an + bn) = g + h,
2) limn→+∞ (an – bn) = g – h,
3) limn→+∞ (anbn) = gh,
4) если h ≠ 0, то lim (an/bn)=g/h.
- Замечание:
Если пределы limn→+∞ an, lim bn не существуют, то пользоваться
арифметическими сво ствами нельзя. Пусть, например, an = 1 – sin n,
bn = sin n, n = 1, 2, …. Тогда lim(an + bn) = 1. В то же время, попытка разбить
этот предел на сумму пределов lim an + lim bn ни к чему хорошему не приведет,
поскольку эти пределы не существуют.
- Теорема:
Если ∃ limn→+∞ an = g, то тогда ∃ limn→+∞ |an| = |g|.

й

й
й

й

- Замечание:
Обратная теорема в общем случае не верна. Из существования предела
limn→+∞ |an| может не следовать существование предела limn→+∞ an. Например,
∃ limn→+∞ |(−1)n| = 1, но не ∃ limn→+∞ (−1)n.
- Теорема:
Пусть an ≥ 0, n = 1, 2, …, и ∃ limn→+∞ an = g. Тогда g ≥ 0.
- Теорема:
Пусть an ≥ bn, n = 1, 2, …, и ∃ limn→+∞ an = g, ∃ limn→+∞ bn = h. Тогда g ≥ h.
- Замечание:
Если an > bn, n = 1, 2, …, ∃ limn→+∞ an = g, ∃ limn→+∞ bn = h, то, в общем
случае, нельзя утверждать, что g > h. Можно гарантировать лишь нестрогое
неравенство g ≥ h. Например, пусть an = 1/n, bn = 0, n = 1, 2, …. Тогда 1/n > 0,
n = 1, 2, …, но lim 1/n = limn→+∞ 0 = 0.

Вопрос №17:
- Теорема (о двух «милиционерах»):
Пусть an ≥ cn ≥ bn, n = 1, 2, …, и ∃ lim an = limn→+∞ bn = g. Тогда
∃ limn→+∞ cn = g.

- Теорема:

Если limn→+∞ |an| = 0, то limn→+∞ an = 0.

• Вопрос №18:
- Теорема:
Если последовательность монотонно возрастает (убывает) и ограничена
сверху (снизу), то она имеет предел.

• Вопрос №19:
- Теорема:
Последовательность сходится {(1 + 1/n)n}+∞n=1.
Определение. Обозначим e = limn→+∞ {(1 + 1/n)n}+∞n=1 — число "е".
Можно показать, что "е" — иррациональное число, e = 2,718281….

• Вопрос №20:
Пусть задана последовательность {a n } +∞ n=1 . Рассмотрим строго
возрастающую по следовательно сть натуральных чисел {m n } +∞ n=1
(m 1 < m 2 < ...). Тогда последовательность{a mn } +∞ n=1 называется
подпоследовательностью последовательности {an}+∞n=1.

Таким образом, подпоследовательность получается путем выкидывания из


последовательности какого-то конечного или бесконечного числа элементов
(но так, чтобы осталось бесконечное число элементов).
У любо по следовательно сти суще ствует бе сконечно е число
подпоследовательносте .
Вся последовательность также является подпоследовательностью само
себя.
У элементов подпоследовательности индексы по-прежнему должны
располагаться в порядке возрастания.
- Лемма:
Пусть {mn}+∞n=1 — строго возрастающая последовательность натуральных
чисел. Тогда mn ≥ n, ∀ n = 1, 2, ….
- Теорема:
Е с л и п о с л е д о в а т е л ь н о с т ь { a n } + ∞ n = 1 с хо д и т с я , т о л ю б а я е ё
подпоследовательность {amn}+∞n=1 будет сходиться к тому же самому пределу.

• Вопрос №21:
- Те о р е ма ( Б ол ь ц а н о — В е е р ш т р а с с о б о г р а н и ч е н н ы х
последовательностях):
Из любо ограниченно последовательности можно выделить сходящуюся
подпоследовательность.
Пример: Пусть an = (−1)n, n = 1, 2, …. Это ограниченная расходящаяся
последовательность (−1, 1, −1, 1, …). Если оставить только элементы с
четными номерами, то получим сходящуюся подпоследовательность: 1, 1, 1,
1, …. Аналогично если оставить только элементы с нечетными номерами, то
снова получим сходящуюся подпоследовательность: −1, −1,−1,−1, ….

• Вопрос №22:
- Теорема:
Если последовательность {a n } +∞n=1 ограничена, и все сходящиеся
подпоследовательности это последовательности сходятся к одному и тому же
пределу, то тогда и вся последовательность будет сходиться к этому пределу.

й

й

й
й

й

й

й

- Следствие:
Если последовательность {an}+∞n=1 ограничена и расходится, то у неё
существуют по кра не мере две подпоследовательности, сходящиеся к
разным пределам.

Вопрос №23:
- Теорема (критери сходимости Коши — Больцано):
Для сходимости последовательности {an}+∞n=1 необходимо и достаточно,
чтобы: ∀ ε > 0, ∃ k ∈ N: ∀ n ≥ k ⇒ |an – ak| < ε.
- Замечание:
В отличие от определения предела, чтобы воспользоваться критерием
Коши — Больцано, само значение предела последовательности знать не
обязательно. Смысл критерия заключается в том, что у сходяще ся
последовательности отличия между элементами с ростом индексов этих
элементов становится все меньше и меньше.
Критери сходимости Коши — Больцано можно переписать в следующих
эквивалентных формах: ∀ ε > 0, ∃ K ∈ N: ∀ n, m ≥ K ⇒ |an – am| < ε, или
∀ ε > 0, ∃ K ∈ N: ∀ n ≥ K, ∀ p > 0 ⇒ |an+p – an| < ε.

• Вопрос №24:
- Определение:
Предел некоторо сходяще ся подпоследовательности (если таковая есть)
последовательности {a n } +∞ n=1 называется частичным пределом это
последовательности.
Из доказанных ранее теорем следует, что если сама последовательность
сходится, то все ее частичные пределы совпадают с пределом
последовательности. Если последовательность ограничена и расходится, то у
нее существуют по кра не мере два различных частичных предела.
- Определение:
Наибольши из всех частичных пределов последовательности называется
верхним пределом последовательности (пишут limn→+∞an ). Аналогично
наименьши из всех частичных пределов последовательности называется
нижним пределом последовательности (пишут limn→+∞an).
й

й
й

й
й

й

й
й
й
й

й
й
Примеры:
πn
{an}+∞ n +∞
n=1 = (−1) ; {an}n=1 = sin .
2
- Теорема:
Верно: ∃ lim an ⇔ limn→+∞an = limn→+∞.
n→+∞

Покажем, что нижни и верхни пределы у любо ограниченно


последовательности всегда существуют, и получим для них некоторые
специальные выражения.
Итак, пусть последовательность {an}+∞n=1 ограничена. Тогда положим
M* = lim inf an, M* = lim sup an.
k→+∞ n>k k→+∞ n>k

- Лемма 1:
Для ограниченно последовательности верно:
1) ∀ ε > 0, ∃ K1 ∈ N: ∀ n > K1 ⇒ an < M* + ε;
2) ∀ ε > 0, ∃ K2 ∈ N: ∀ n > K2 ⇒ an > M* – ε.
- Лемма 2:
Для ограниченно последовательности верно:
1) ∀ ε > 0, ∀ K > 0, ∃ n1 > K: an1 > M* – ε;
2) ∀ ε > 0, ∀ K > 0, ∃ n2 > K: an2 < M* + ε.

й
й
й

й

й
й
- Теорема:
Для ограниченно последовательности верно:

• Вопрос №25:
В предыдущих параграфах под сходимостью мы понимали наличие у
последовательности конечного предела. Можно ввести понятие бесконечного
предела.
- Определение:
1) Говорят, что последовательность {an}+∞n=1 сходится к +∞ при n → +∞
(limn→+∞ an = +∞), если: ∀ M > 0, ∃ K ∈ N: ∀n ≥ K ⇒ an > M.
2) Говорят, что последовательность {an}+∞n=1 сходится к –∞ при n → +∞
(limn→+∞ an= –∞), если: ∀ M > 0, ∃ K ∈ N: ∀n ≥ K ⇒ an < −M.
- Теорема:
Если последовательность {an}+∞n=1 монотонно возрастает (убывает) и не
ограничена сверху (снизу), то тогда она сходится к +∞ (−∞) при n → +∞.
- Следствие:
Любая монотонная последовательность имеет предел, конечны , если она
ограничена, и бесконечны — если не ограничена.
- Теорема:
Если последовательность {an}+∞n=1 не ограничена сверху (снизу), то из нее
можно выделить подпоследовательность {an}+∞n=1, сходящуюся к +∞ (−∞) при
n → +∞.
- Замечание:
Если последовательность {an}+∞n=1 не ограничена сверху, то тогда
limn→+∞ an = +∞. Аналогично, если последовательность {an}+∞n=1 не ограничена
снизу, то тогда limn→+∞ an = –∞.
- Замечание:

й

й

й

Не все теоремы, доказанные ранее для конечного предела, справедливы для


бесконечного. Например, теорема об ограниченности сходяще ся
последовательности, очевидно, не верна для бесконечного предела. Критери
сходимости Коши — Больцано также в бесконечном случае не работает.

Вопрос № 26:
- Теорема:
Пусть limn→+∞ an = ±∞. Тогда limn→+∞ 1/an = 0.
- Замечание:
Если limn→+∞ an = +∞, то тогда an называется бесконечно большо
положительно величино при n → +∞. Если limn→+∞ an = −∞, то тогда an
называется бесконечно большо отрицательно величино при n → +∞.
Наконец, если limn→+∞ bn = 0, то тогда bn называется бесконечно мало
величино при n → +∞. Доказанная теорема утверждает, что если величина an
— бесконечно большая (положительная или отрицательная), то тогда
величина bn = 1/an будет бесконечно мало . Обратная теорема в общем случае
не верна. В самом деле, пусть bn = (−1)n/n. Это бесконечно малая величина.
Однако, величина an = 1/bn = (−1)n·n не будет ни бесконечно большо
положительно , ни бесконечно большо отрицательно (ее можно лишь
назвать бесконечно большо по модулю).
- Теорема:
Пусть limn→+∞ an = +∞ (–∞), а последовательность {bn}+∞n=1 ограничена снизу
(сверху). Тогда limn→+∞ (an + bn) = +∞ (–∞).
- Теорема:
Пусть limn→+∞ an = +∞ (–∞), и ∃ C = const > 0: bn ≥ C, ∀ n = 1, 2, …. Тогда
limn→+∞ (anbn) = +∞ (–∞).
Теорема:
1) Пусть limn→+∞ an = +∞, и bn ≥ an, ∀ n = 1, 2, …. Тогда limn→+∞ bn = +∞.
2) Пусть limn→+∞ an = –∞, и bn ≤ an, ∀ n = 1, 2, …. Тогда limn→+∞ bn = –∞.
- Определение:
Пусть limn→+∞ an = ∞, и limn→+∞ bn = ∞ (бесконечность может быть любого
знака). Тогда говорят, что выражение a n /b n представляет собо
й

й
й

й
й
й
й

й

й
й
й

й
й
й
й
й
й
неопределённость вида {∞/∞}. Раскрыть неопределенность — это значит,
переписать выражение в таком виде, чтобы неопределенность исчезла.
Пример:
an n(2 + sin n)
=
Пусть an = n(2 + sin n), bn = n, n = 1, 2, …. Тогда . Если
bn n
an
сократим числитель и знаменатель дроби на n, то получим = 2 + sin n. Но
bn
это выражение не имеет предела при n → +∞. Значит, такую
неопределенность раскрыть нельзя.
- Замечание:
Аналогично можно ввести неопределенности вида 0/0, 0 · ∞, ∞ – ∞, 00, 1∞ и
так далее. Отметим, что все эти неопределенности можно сводить друг к
другу с помощью различных преобразовани .
Общих правил раскрытия неопределенносте нет. Иногда помогает
следующая теорема.

• Вопрос №27:
- Теорема (Штольц):
Пусть lim bn = + ∞ , причем последовательность {bn}+∞ n=1 строго
n→+∞
an − an−1
возрастает, начиная с некоторого номера n. Тогда если ∃ lim =I
n→+∞ bn − bn−1
an
(значение I может быть как конечное, так и бесконечное), то ∃ lim = I.
n→+∞ bn

- Замечание:
Теорема Штольца является дискретным аналогом правила Лопиталя (см.
an − an−1
далее). Отметим, что если ∄ lim , то тогда теоремо Штольца
n→+∞ bn − bn−1
пользоваться нельзя.

• Вопрос №28:
В данном параграфе рассмотрим распространение теории вещественных
числовых последовательносте на комплексны случа .

й

й

й
й
й

й

Пусть каждому натуральному номеру n ∈ N поставлено в соответствие


комплексное число αn ∈ C. Тогда говорят, что задана комплексная
последовательность {αn}+∞n=1.
- Определение:
Комплексная последовательность {αn}+∞n=1 называется ограниченно , если
∃ M > 0: |αn| ≤ M, ∀ n = 1, 2, …. Здесь под модулем понимается модуль
комплексного числа.
- Замечание:
Множество точек z ∈ C, удовлетворяющих условию |z| ≤ M (M = const > 0)
представляет собо круг на комплексно плоскости с центром в начале
координат и радиусом M. Таким образом, ограниченность комплексно
последовательности означает, что все элементы последовательности лежат в
некотором конечном круге на комплексно плоскости.
- Определение:
Ко м п л е к с н о е ч и с л о g н а з ы в а е т с я п р е д е л о м ко м п л е к с н о
последовательности {αn}+∞n=1 при n → +∞ (пишут limn→+∞ α = g), если ∀ ε > 0,
∃ K ∈ N: ∀ n ≥ K ⇒ |αn – g| < ε. Пусть g = a + ib, αn = an + ibn, n = 1, 2, …, где a,
b, an, bn ∈ R. Тогда |αn – g| < ε ⇔ √(an – a)2 + (bn – b)2 < ε.
Теорема:
Верно: ∃ limn→+∞ (an + ibn) = a + ib ⇔ (∃ limn→+∞ an = a) & (∃ limn→+∞ bn = b).
Замечание. Последовательности {an}+∞n=1 и {bn}+∞n=1 — вещественные.
Таким образом, согласно доказанно теореме, исследование сходимости
комплексно последовательности может быть сведено к исследованию
сходимости вещественных последовательносте . В результате вся теория
вещественных последовательносте легко переносится на комплексны
случа . Заметим, однако, что множество комплексных чисел C — не
упорядоченно. Поэтому теоремы, в которых заде ствуются операции
отношения "<", ">", "≤", "≥" на комплексны случа напрямую не переносятся
(например, теорема о пределе неотрицательно последовательности, теорема
о двух "милиционерах", теорема о монотонно последовательности, и тому
подобное). Кроме того, в комплексном случае не вводятся понятия верхнего и
нижнего предела, а также, в общем случае не вводится понятие бесконечного
предела без каких-то дополнительных уточнени о том, что понимается под
бесконечностью в комплексном случае.
й

й

й

й
й

й
й
й
й
й
й
й
й

й
й

й
й
й
Для комплексных последовательносте будут верны следующие
утверждения:
1) Если последовательность имеет предел, то он единственен.
2) Если последовательность сходится, то она ограничена.
3) Изменение конечного числа элементов последовательности не влияет ни
на сходимость, ни на значение предела.
4) Верны арифметические сво ства пределов.
5) Если последовательность сходится, то любая ее подпоследовательность
сходится к тому же самому пределу (все частичные пределы равны между
собо ).
6) Из любо ограниченно последовательности можно выделить
сходящуюся подпоследовательность.
7) Если последовательность ограничена и расходится, то у нее существуют
по кра не мере две подпоследовательности, сходящиеся к различных
пределам (есть по кра не мере два различных частичных предела).
8) Сходимость последовательности {αn}+∞n=1 эквивалентна выполнению
для нее критерия сходимости Коши — Больцано: ∀ ε > 0, ∃ k ∈ N: ∀n ≥ k
⇒ |αn – αk| < ε.

• Вопрос №29:
Пусть X, Y — два множества. Предположим, что задано правило, согласно
которому каждому элементу множества x ∈ X ставится в соответствие
однозначным образом элемент y = ƒ(x) ∈ Y. Тогда говорят, что задано
отображение множества X на множество Y. Множество X назовем областью
задания (определения) отображения, а множество Y — областью значени .
Элементы x ∈ X назовем аргументами (праобразами), а элементы
y = ƒ(x) ∈ Y — значениями (образами). В зависимости от "природы" множеств
X и Y отображение может называться по-разному: функцие , функционалом,
оператором, меро , морфизмом, и так далее. Так, если X и Y — это числовые
множество, то тогда отображение принято называть функцие .
Далее будем считать, что X, Y ⊂ R, то есть будем рассматривать
вещественные функции одного вещественного аргумента. Функция может
задаваться формуло , таблице , графиком, алгоритмом, и так далее.
й
й

й
й

й
й
й
й
й
й
й

й

й
й

й
- Определение:
1) Функция ƒ(x) называется ограниченно сверху на множестве X, если:
∃ M ∈ R: ƒ(x) ≤ M, ∀ x ∈ X.
2) Функция ƒ(x) называется ограниченно снизу на множестве X, если:
∃ m ∈ R: ƒ(x) ≥ m, ∀ x ∈ X.
3) Функция ƒ(x) называется ограниченно на множестве X, если она
ограничена на этом множестве и сверху, и снизу.
- Определение:
Пусть X = [a, b]. Функция ƒ(x) называется на этом отрезке:
1) Неубывающе , если: ∀ x1, x2 ∈ X: x1 < x2 ⇒ ƒ(x1) ≤ ƒ(x2);
2) Строго возрастающе , если: ∀ x1, x2 ∈ X: x1 < x2 ⇒ ƒ(x1) < ƒ(x2);
3) Невозрастающе , если: ∀ x1, x2 ∈ X: x1 < x2 ⇒ ƒ(x1) ≥ ƒ(x2);
4) Строго убывающе , если: ∀ x1, x2 ∈ X: x1 < x2 ⇒ ƒ(x1) > ƒ(x2).
Во всех четырех описанных случаях функция ƒ(x) называется монотонно
на отрезке [a, b].
- Определение:
Пусть X = [–a, a], a ∈ R. Функция ƒ(x) называется на этом отрезке:
1) Четно , если: ƒ(–x) = ƒ(x), ∀ x ∈ X;
2) Нечетно , если: ƒ(–x) = –ƒ(x), ∀ x ∈ X.
- Определение:
Пусть X = R. Функция ƒ(x) называется периодическо , если: ∃ T > 0:
ƒ(x + T) = ƒ(x), ∀ x ∈ X. Число T называется в этом случае периодом функции.
- Определение:
Пусть функция y = ƒ(x) задает отображение множества X на множество Y.
Тогда обратное отображение, согласно которому по образу y ∈ Y определяется
значение праобраза x ∈ X, называется обратно функцие : x = ƒ–1(y).
- Замечание:
й
й

й

й

й
й

й
й
й
й

й
й

й

Обратное отображение может быть неоднозначным. В этом случае область


X можно попытаться разбить на непересекающиеся части так, чтобы для
каждо из этих часте обратное отображение было однозначным. Если это
удастся сделать, то получим несколько ветве обратно функции.
Рассмотрим некоторые классы функци , которые принято называть
элементарными:
1) Полиномиальная функция:
ƒ(x) = a0xn + a1xn–1 + … + an. Здесь n ∈ N, a0, …, an ∈ R;
2) Рациональная (дробно-рациональная) функция:
ƒ(x)= (a0xn + a1xn–1 + … + an)/(b0xm + b1xm–1 + … + bn),
где n, m ∈ N, a0, …, an, b0, …,bm ∈ R;
3) Степенная функция:
ƒ(x) = xa, a ∈ R;
4) Показательная функция:
ƒ(x) = ax,
где a > 0, a ≠ 1, в частности, ƒ(x) = ex — экспоненциальная функция;
5) Логарифмическая функция:
ƒ(x) = loga x,
где a > 0, a ≠ 1, в частности, ƒ(x) = ln x — натуральны логарифм.
6) Тригонометрические функции:
sin x, cos x, tg x, ctg x;
7) Обратные тригонометрические функции:
arcsin x, arccos x, arctg x, arcctg x;
8) Гиперболические функции:
sh x, ch x, th x, cth x;
и так далее…
- Определение:
Пусть функция y = ƒ(x) отображает множество X во множество Y, а функция
x = g(t) отображает множество T во множество X. Тогда функция y = ƒ(g(t)),
отображающая T в Y, называется сложно функцие , или иначе,
суперпозицие функци ƒ(x) и g(t).
- Определение:
й


й

й
й






й
й

й

й

й
й

Функция ƒ(x) называется просте ше , если она может быть построена из


элементарных функци путем применения к ним конечного числа
арифметических операци и суперпозици .
Рассмотрим некоторые примеры непросте ших функци :
1) Функция задается не формуло , а каким-то правилом: например,

{0, если x ∈ I
1, если x ∈ Q
f (x) = — функция Дирихле;

2) Функция, заданная неявно, например, x = y3 + y;


3) Функция, заданная в виде ряда:
+∞


f (x) = uk(x);
k=1

4) Функция, заданная в виде неберущегося интеграла;


и так далее…

• Вопрос №30:
Пусть задано некоторое множество X ⊂ R.
- Лемма:
Если a — предельная точка множества X, то тогда на дется такая
последовательность точек {xn}+∞n=1 ∈ X, что limn→+∞ x = a.

• Вопрос №31:
Пусть функция ƒ(x) задана на множестве X.
- Определение (предел функции по Ге не):
Пусть a — предельная точка множества X. Число g называется пределом
функции ƒ(x) в точке a (limx→a ƒ(x) = g), если ∀{xn}+∞n=1 ∈ X: limx→a x = a ⇒
limx→a ƒ(x) = g. Здесь величины a и g могут быть как конечные, так и
бесконечные.
Согласно введенному определению, понятие предела функции сводится к
понятию предела последовательности, рассмотренному ранее в предыдуще
главе.
- Определение:

й
й

й
й
й
й

й
й

й

й
й
Если в определении предела брать только такие последовательности
аргументов, что xn ≥ a, то тогда число g называется правосторонним пределом
функции ƒ(x) в точке a (limx→a+0 ƒ(x) = g). Аналогично, если xn ≤ a, то тогда
число g называется левосторонним пределом функции (limx→a–0 ƒ(x) = g).
Ясно, что ∃ limx→a ƒ(x) = g ⇔ ∃ limx→a–0 ƒ(x)= limx→a+0 ƒ(x) = g.
Заметим, что левосторонних и правосторонних пределов также может и не
быть у функции в заданно точке.
Определение:
Возьмем последовательность {xn}+∞n=1 ∈ X: limn→+∞ xn = a. Предположим,
что ∃ limn→+∞ ƒ(xn) = g. Тогда число g называется частичным пределом
функции ƒ(x) в точке a. Наименьши из всех частичных пределов называется
нижним пределом (limx→a ƒ(x)), а наибольши — верхним (limx→a ƒ(x)).
Ясно, что ∃ limx→a ƒ(x) = g ⇔ limx→a ƒ(x) = g = limx→a ƒ(x) = g.
Заметим, что нижни и верхни пределы (конечные или бесконечные) у
функции всегда существуют.

• Вопрос №32:
Сведение понятие предела функции к понятию предела последовательности
позволяет многие теоремы, доказанные ранее для последовательносте ,
перенести на функции. В частности, имеем следующие результаты.
Теорема (арифметические сво ства). Пусть ∃ lim ƒ(x) = g, ∃ lim l(x) = h.
Тогда:
1) ∃ limx→a (ƒ(x) + l(x)) = g + h;
2) ∃ limx→a (ƒ(x) − l(x)) = g – h;
3) ∃ limx→a (ƒ(x)l(x)) = gh;
4) Если h ≠ 0, то ∃ lim(ƒ(x)/l(x)) = g/h.
Теорема:
Пусть ∃ limx→a ƒ(x), ∃ limx→a l(x). Тогда:
1) Если ƒ(x) ≤ l(x) в некоторо окрестности точки a, то limx→a ƒ(x) ≤
limx→a l(x);

й

й

й
й

й

й

й

й
2) Если ƒ(x) ≤ s(x) ≤ l(x) в некоторо окрестности точки a, и при этом
limx→a ƒ(x) = limx→a l(x) = g, то ∃ limx→a s(x) = g.
Теорема (о суперпозиции пределов):
Пусть y = ƒ(x): X → Y, z = g(y): Y → Z. Тогда если lim ƒ(x) = A, lim g(y) = B,
то lim g(ƒ(x)) = B.
- Замечание:
Пусть, например, требуется вычислить предел limx→a ƒ(x). Сделаем замену
переменных x = g(t). Если ∃ limt→b g(t) = a, то тогда limx→a ƒ(x) = limt→b ƒ (g(t)).
Таким образом, замена переменных позволяет менять значение предельно
точки при вычислении предела. Поэтому далее без потери общности многие
результаты (в частности, "замечательные пределы") будут приведены для
случая, когда в качестве предельно точки выступает какое-то конкретное
значение, например, точка 0.
- Теорема:
Пусть функция ƒ(x) монотонно возрастает (убывает) на интервале [a, b).
Тогда ∃ limx→b–0 ƒ(x) (конечны , если функция ƒ(x) ограничена на указанном
интервале, и бесконечны , если неограничена).

• Вопрос №33:
- Теорема:
Пусть не ∃ limx→a ƒ(x). Тогда: на дется такая последовательность {xn}+∞n=1,
что limn→+∞ xn = a, и при этом не ∃ limn→+∞ ƒ(xn).

• Вопрос №34:
Определение предела функции по Ге не имеет свои достоинства и свои
недостатки. Так, например, с его помощью удобно доказывать отсутствие
предела у функции в заданно точке. В то же время для доказательства
существования предела оно может оказаться не удобным. Введем другое
определение предела, не связанное напрямую с теорие последовательносте .
- Определение (предел функции по Коши):
Пусть a — предельная точка множества X. Тогда будем говорить, что
limx→a ƒ(x) = g, если ∀ ε > 0, ∃ δ > 0: ∀ x ∈ (X ∩ Uδ(a)) ⇒ ƒ(x) ∈ Uε(g).

й

й
й
й
й

й
й

й

й
й

Отметим, что величины a и g во введенном определении могут быть как


конечные, так и бесконечные.
1) Пусть, например, числа a и g — конечные. Тогда получим следующее
определение предела: ∀ ε > 0, ∃ δ > 0: ∀ x ∈ X: |x – a| < δ ⇒ |ƒ(x) – g| < ε;
2) Пусть a = –∞, g = +∞. Тогда получим ∀ ε > 0, ∃ δ > 0: ∀ x ∈ X: x < –δ ⇒
ƒ(x) > ε;
и так далее…
- Теорема:
Определения предела функции по Коши и по Ге не эквивалентны друг
другу.

• Вопрос №35:
Теорема (критери Коши существования предела функции):
Для того, чтобы существовал конечны limx→a ƒ(x) необходимо и
достаточно, чтобы выполнялось условие:
∀ ε > 0, ∃ δ > 0: ∀ x’, x’’ ∈ (X ∩ Uδ(a)) ⇒ |ƒ(x’) – ƒ(x’’)| < ε.
- Замечание:
Критери сходимости Коши работает только для конечных пределов. Его
смысл заключается в том, что если функция ƒ(x) при приближении аргумента
к точке a стремится к конечному пределу, то она не должна совершать резких
колебани в мало окрестности указанно точки. В отличие от определения
предела, для использования критерия сходимости Коши не обязательно знать
значение предела функции.
В частном случае, если a ≠ ∞, критери Коши принимает вид:
∀ ε > 0, ∃ δ > 0: ∀ x’, x’’ ∈ X: (|x’ – a| < δ) & (|x’’ – a| < δ) ⇒ |ƒ(x’) – ƒ(x’’)| < ε.

• Вопрос №36:
Пусть функция ƒ(x) определена на множестве X ⊂ R, и точка a является пре-
дельно точко этого множества.
- Определение:
1) Если ∃ limx→a ƒ(x) = 0, то говорят, что ƒ(x) — бесконечно малая
величина при x → a.

й

й

й

й

й
й

й

й
й
й

2) Если ∃ limx→a ƒ(x) = +∞ (−∞), то говорят, что ƒ(x) — бесконечно большая


положительная (отрицательная) величина при x → a.
Далее в настоящем параграфе рассмотрим классификацию бесконечно
малых величин. Для бесконечно больших величин можно ввести аналогичную
классификацию. Кроме того, отметим, что исследование бесконечно большо
величины ƒ(x) может быть сведено к исследованию бесконечно мало
величины путем замены ƒ (̃ x) = 1/ƒ(x).
- Определение:
Пусть ƒ(x) и g(x) — бесконечно малые величины при x → a. Тогда:
1) Если ∃ limx→a ƒ(x)/g(x) = k, причем k ≠ 0 и k ≠ ∞, то говорят, что величины
ƒ(x) и g(x) имеют одинаковы порядок малости при x → a;
2) Если ∃ limx→a ƒ(x)/g(x) = 0, то говорят, что величина ƒ(x) имеет более
высоки порядок малости по сравнению с величино g(x) при x → a
(пишут: ƒ(x) = o(g(x))); аналогично, если ∃ limx→a ƒ(x)/g(x) = ±∞, то получим
g(x) = o(ƒ(x)) при x → a;
3) Если ∃ limx→a ƒ(x)/g(x) = k, где m = const, причем k ≠ 0 и k ≠ ∞, то говорят,
что величина ƒ(x) имеет m-ы порядок малости по сравнению с
величино g(x) при x → a;
4) Если не ∃ limx→a ƒ(x)/g(x), то говорят, что величины ƒ(x) и g(x) не
сравнимы при x → a.
- Определение:
Говорят, что величина ƒ(x) ограничена величино g(x) при x → a (пишут:
ƒ(x) = О(g(x))), если ∃ C = const > 0: |ƒ(x)| ≤ C · |g(x)| для всех x из некоторо
окрестности точки a.

• Вопрос №37:
- Определение:
Величины ƒ(x) и g(x) называются эквивалентными друг другу (будем писать
ƒ(x) ∼ g(x)) при x → a, если ƒ(x) – g(x) = o(g(x)) & ƒ(x) – g(x) = o(ƒ(x)).
- Теорема:
Верно: ƒ(x) ∼ g(x) при x → a ⇔ ∃ limx→a ƒ(x)/g(x) = 1.
- Теорема:
й

й

й
й

й

й

й
й
й
Пусть ∃ limx→a ƒ(x)/g(x) = I, и при этом ƒ(x) ∼ ƒ (̃ x) и g(x) ∼ g (̃ x) при x → a.
Тогда ∃ limx→a ƒ(x)/g(x) = I.
Доказанная теорема позволяет при вычислении предела заменять сложные
выражения их простыми эквивалентными аналогами.

• Вопрос №38:
- Теорема (первы "замечательны " предел):

x→+∞ ( x)
x
1
Верно: lim 1 + =e

- Замечание:
Если ∃ lim ƒ(x) = I, то с учетом определения предела по Ге не,
имеем, что также ∃ lim ƒ(n) = I (здесь x ∈ R, n ∈ N). Обратное в общем случае
не верно. Например, ∃ lim sin (πn) = 0, но не ∃ lim sin (πx).
- Замечание:
Доказанны "замечательны " предел можно переписать в виде:
1
lim (1 + y) y = e
y→+∞

- Теорема (второ "замечательны " предел). Верно:


sin x
lim = 1.
x→0 x

Доказательство:
Без потери общности считаем, что x ∈ (0, π/2). Рассмотрим единичную
окружность.
Имеем:
|AD| < |AB| < |BC| (здесь | · | — длина соответствующего отрезка или дуги).
x 1
Тогда при всех x ∈ (0, π/2) получаем, что sin x < x < tg x, или 1 < < .
sin x cos x
Переходя в этих неравенствах к пределу при x → 0 (теорема о "двух
милиционерах"), установим требуемое. Теорема доказана.
- Замечание:

й

й
й

й
й
й

й



Из доказанно теоремы следует, что sin x ∼ x при x → 0. Аналогично можно
доказать (см. далее формулу Те лора), что при x → 0 справедливы
соотношения:

- Определение:
Если ƒ(x) = g(x) + o(g(x)) при x → a, то тогда величина g(x) называется
главно частью величины ƒ(x) при x → a.
Для указанных выше элементарных функци простая главная часть была
выделена при x → 0. Но, как это уже отмечалось ранее, с помощью замены
переменных можно осуществлять смену предельно точки.
При применении указанного подхода надо следить, чтобы не происходило
сокращение используемо главно части, ибо тогда на главную роль вы дут
слагаемые большего порядка малости, и мы приходим к необходимости
рассмотрения слагаемых большего порядка малости (надо исследовать, что
скрывается за выражением o(x)). Более подробно этот вопрос будет
рассмотрен после установления формулы Те лора.
й
й

й
й
й

й
й
й

й
• Вопрос №39:
Пусть функция ƒ(x) определена на множестве X ⊂ R.
- Определение:
Функция ƒ(x) называется непрерывно в точке a ∈ X, если limx→a ƒ(x) = ƒ(a).
Таким образом, непрерывность функции ƒ(x) в точке a означает, что:
∀ {xn}+∞n=1 ∈ X: limx→a x = a ⇒ limx→a ƒ(x) = ƒ(a), или, что то же самое: ∀ ε > 0,
∃ δ > 0: ∀ x ∈ X: |x – a| < δ ⇒ |ƒ(x) – ƒ(a)| < ε.
- Определение:
Функция ƒ(x) называется непрерывно слева в точке a ∈ X, если
limx→a–0 ƒ(x) = ƒ(a). Аналогично, функция ƒ(x) называется непрерывно
справа в точке a ∈ X, если limx→a+0 ƒ(x) = ƒ(a).

Ясно, что для того, чтобы функция ƒ(x) была непрерывно в точке a
необходимо и достаточно, чтобы она была непрерывна слева и справа в это
точке.
- Определение:
Функция ƒ(x) называется непрерывно на множестве X, если она
непрерывна в каждо точке этого множества. В частности, ƒ(x) называется
непрерывно на отрезке [a, b], если она непрерывна во всех внутренних
точках этого отрезка, непрерывна справа в точке a и непрерывна слева в
точке b.
Пусть a ∈ X. Зададим в это точке приращение h, то есть сдвинемся в точку
x = a + h (величина h может быть как положительная, так и отрицательная).

й

й
й
й
й
й

й
й
й
Тогда величина ∆ƒ = ƒ(a + h) – ƒ(a) называется приращением функции ƒ(x) в
точке a, соответствующем приращению аргумента h.
Определение непрерывности функции ƒ(x) в точке a можно записать в
следующем виде: ∀ ε > 0, ∃ δ > 0: ∀ h: |h| < δ ⇒ |∆ƒ| < ε.
Смысл непрерывности заключается в том, что малым приращениям
аргумента соответствуют малые приращения функции.
- Теорема (арифметические сво ства непрерывных функци ):
Пусть функции ƒ(x) и g(x) непрерывны в точке a. Тогда в это точке будут
непрерывны функции ƒ(x) + g(x), ƒ(x) – g(x), ƒ(x) · g(x), а если g(a) ≠ 0, то и
функция ƒ(x)/g(x).
Доказательство теоремы следует из арифметических сво ств пределов.
- Теорема (о непрерывности суперпозиции непрерывных функци ):
Пусть функции y = ƒ(x) непрерывна в точке a, и функция z = g(y)
непрерывны в точке ƒ(a). Тогда функция z = g(ƒ(x)) будет непрерывно в
точке a.
Доказательство теоремы следует из теоремы о суперпозиции пределов.
- Лемма:
Пусть функция ƒ(x) непрерывна в точке a, и ƒ(a) > 0 (< 0). Тогда: ∃ δ > 0:
∀ x ∈ Uδ(a) ⇒ ƒ(x) > 0 ( < 0).

• Вопрос №40:
- Определение:
Функция ƒ(x) называется равномерно непрерывно на множестве X, если:
∀ ε > 0, ∃ δ > 0: ∀ x’, x’’ ∈ X: |x’ – x’’| < δ ⇒ |ƒ(x’) – ƒ(x’’)| < ε.
Суть равномерно непрерывности заключается в том, что величина δ
зависит только от ε и не зависит от выбора точек x’, x’’ (то есть величину δ мы
можем выбрать единую для всего множества X). В определении просто
непрерывности в каждо точке a ∈ X значение δ выбирается как бы свое.
Ясно, что из равномерно непрерывности на множестве следует обычная
непрерывность на этом множестве, а обратное, не обязательно.
Пример. Пусть ƒ(x) = sin x, X = R. Ранее было доказано, что эта функция
непрерывна на указанном множестве, причем можно положить δ = ε.

й
й
й

й
й

й
й

й

й

й
й
Поскольку значение δ не зависит от выбора точки из множества X, то значит,
функция sin x равномерно непрерывна на всем множестве R.
- Теорема (Кантор):
Если функция ƒ(x) непрерывна на отрезке [a, b], то тогда она будет и
равномерно непрерывно на этом отрезке.
Отметим, что теорема Кантора дает только достаточные условия
равномерно непрерывности. Необходимыми они не являются.

• Вопрос №41:
- Теорема (Ве ерштрасс о непрерывных функциях):
Пусть функция ƒ(x) непрерывна на отрезке [a, b]. Тогда:
1) Функция ƒ(x) ограничена на отрезке [a, b];
2) Функция ƒ(x) достигает на отрезке [a, b] своих наибольшего и
наименьшего значения, то есть: ∃ c, d ∈ [a, b]: ƒ(c) = min[a, b] ƒ(x),
ƒ(d) = max[a, b] ƒ(x).

• Вопрос №42:
- Теорема (Больцано — Коши о промежуточных значениях функции):
Пусть функция ƒ(x) непрерывна на отрезке [a, b]. Тогда для любого числа d,
лежащего между значениями ƒ(a) и ƒ(b), можно указать такое c ∈ [a, b], что
ƒ(c) = d.
- Следствие:

й
й

й

Пусть функции ƒ(x) непрерывна на отрезке [a, b], m = min[a, b] ƒ(x), M =


max[a, b] ƒ(x). Тогда областью значени функции ƒ(x) на [a, b] является отрезок
[m, M].
- Следствие (теорема Больцано — Коши о нуле функции):
Пусть функции ƒ(x) непрерывна на отрезке [a, b] и на концах этого отрезка
принимает значения разных знаков. Тогда можно указать такое c ∈ [a, b], что
ƒ(c) = 0.

• Вопрос №43:
- Теорема (о непрерывности обратно функции):
Пусть функции y = ƒ(x) непрерывна на отрезке [a, b] и взаимно-однозначна
там. Тогда ее обратная функция x = ƒ–1(y) будет непрерывно на отрезке
[m, M], где m = min[a, b] ƒ(x), M = max[a, b] ƒ(x).

• Вопрос №44:
- Теорема:
Пусть функция ƒ(x) непрерывна на отрезке [a, b]. Тогда для того, чтобы она
была взаимно-однозначно на отрезке [a, b] необходимо и достаточно, чтобы
она была строго монотонно на этом отрезке.

й
й
й
й

й
• Вопрос №45:
- Определение:
Пусть функция ƒ(x) не является непрерывно в точке a. Тогда говорят, что
она терпит разрыв в это точке.
- Определение:
1) Если существуют конечные пределы limx→a–0 ƒ(x) и limx→a+0 ƒ(x), причем
limx→a–0 ƒ(x) = limx→a+0 ƒ(x) ≠ ƒ(a), то тогда точка a называется точко
устранимого разрыва функции ƒ(x) (на графике функции будет выколотая
точка).
2) Если существуют конечные пределы limx→a–0 ƒ(x) и limx→a+0 ƒ(x), причем
limx→a–0 ƒ(x) ≠ limx→a+0 ƒ(x), то тогда точка a называется точкой разрыва 1-
ого рода функции ƒ(x) (говорят, что функция совершает конечный скачок).
3) Если хотя бы один из пределов limx→a–0 ƒ(x) и limx→a+0 ƒ(x) равен ±∞ или
вообще не существует, то тогда точка a называется точко разрыва 2-ого
рода функции ƒ(x).

• Вопрос №46
- Теорема:
Если функция ƒ(x) монотонна на отрезке [a, b], то она может на этом отрезке
иметь только разрывы 1-ого рода.
- Следствие:
Число разрывов монотонно функции на отрезке [a, b] не более, чем счетно
(конечно или счетно).

• Вопрос №47:
Пусть задана функция ƒ(z), где z ∈ Z ⊂ C.
- Определение:
Пусть z0 — предельная точка области Z. Комплексное число w называется
пределом функции ƒ(z) в точке z0 (w = lim f (z)), если:
z→z 0

∀{zn}+∞
n=1 ∈ Z : lim zn = z0 ⇒ lim f (zn) = w, или, что то же самое:
n→+∞ n→+∞

й
й

й

й

й

∀ε > 0, ∃δ > 0 : z ∈ Z : | z − z0 | < δ ⇒ | f (z) − w | < ε.


Здесь под модулем понимается модуль комплексного числа.
- Теорема:
Пусть w = a + ib, ƒ(z) = u(z) + iv(z), где a, b, u(z), v(z) ∈ R. Тогда:
lim f (z) = w ⇔ lim u(z) = a & lim v(z) = b.
z→z 0 z→z 0 z→z 0

- Определение:
Пусть z0 ∈ Z. Функция ƒ(z) называется непрерывно в точке z0, если
lim f (z) = f (z0). Говорят, что функция ƒ(z) непрерывна в области Z, если она
z→z 0
непрерывна в каждо точке это области.
- Теорема:
Пусть ƒ(z) = u(z) + iv(z), где u(z), v(z) ∈ R. Тогда для того чтобы функция
ƒ(z) была непрерывно в точке z0 необходимо и достаточно, чтобы в это
точке были непрерывны функции u(z) и v(z).
Многие теоремы, доказанные ранее для вещественных функци ,
переносятся на комплексные функции.

й
й
й

й

й
й