Дифференциальное исчисление Лекция 1

Лекция 1. Пространство Rn. Сходимость. Предел функции многих

переменных.
Евклидово пространство Rn. Сходимость.
Вы изучали ранее пространства R1 (числовая ось), R2 (координатная плоскость),
R3 (координатное 3-мерное пространство).
Таким же образом определяется так называемое n-мерное пространство.

Евклидово метрическое (вещественное) n-мерное пространство – это множество

всех упорядоченных наборов из n вещественных чисел, называемых «точками»:

𝐑𝑛 = {(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) |𝑥𝑖 ∈ 𝐑}.

Это пространство точек, над которыми не совершаются какие-либо операции.

Число n называется размерностью пространства 𝐑𝑛 .

Замечание 1. Через 𝐑𝑛 обозначается также евклидово линейное пространство

векторов, на котором определены операции сложения и умножения на число (скаляр).

В дальнейшем, под 𝐑𝑛 мы будем понимать евклидово метрическое n-мерное

пространство. В этом пространстве определяется расстояние между точками.

Каждая точка 𝑀 ∈ 𝐑𝑛 – это набор из n чисел (𝑥1 , 𝑥2 , … , 𝑥𝑛 ), называемых

координатами точки.

В пространстве 𝐑𝑛 определяется расстояние между точками. Пусть даны две

точки 𝑀(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) и 𝑁(𝑦1 , 𝑦2 , … , 𝑦𝑛 ). Тогда расстоянием между точками M и N
называется величина

𝑀𝑁 = √(𝑥1 − 𝑦1 )2 + ⋯ + (𝑥𝑛 − 𝑦𝑛 )2 . (1)

Это расстояние удовлетворяет некоторым свойствам:

1. Для любых точек M и N расстояние 𝑀𝑁 ≥ 0, при этом 𝑀𝑁 = 0 тогда и только

тогда, когда точки M и N совпадают, т.е. 𝑥𝑖 = 𝑦𝑖 для любого 1 ≤ 𝑖 ≤ 𝑛.
2. Расстояние симметрично, т.е. MN = NM для любых точек M и N.
3. Для любых трёх точек A, B и C выполняется неравенство треугольника
𝐴𝐶 ≤ 𝐴𝐵 + 𝐵𝐶.

Пример 1. При 𝑛 = 1 и 𝑛 = 2 получаются известные уже пространства 𝐑1 и 𝐑2 , с

соответствующими формулами для расстояний.

Заметим, что из формулы (1) вытекают следующие неравенства для любых

наборов (𝑥1 , 𝑥2 , … , 𝑥𝑛 ) и (𝑦1 , 𝑦2 , … , 𝑦_𝑛):

|𝑥𝑖 − 𝑦𝑖 | ≤ √(𝑥1 − 𝑦1 )2 + ⋯ + (𝑥𝑛 − 𝑦𝑛 )2 ≤

2
√𝑛 ∙ max |𝑥𝑗 − 𝑦𝑗 | = √𝑛 ∙ max |𝑥𝑗 − 𝑦𝑗 | (2)
1≤𝑗≤𝑛 1≤𝑗≤𝑛

1
 Дифференциальное исчисление Лекция 1

которые справедливы при любых i.

Для любой точки 𝐴(𝑎1 , 𝑎2 , … , 𝑎𝑛 ) определим открытый шар с центром в точке A

и радиуса 𝑟 > 0 как множество точек 𝑀(𝑥1 , 𝑥2 , … , 𝑥𝑛 ), отстоящих от A на расстоянии
меньше, чем r, т.е.

𝐵𝑟 (𝐴) = {𝑀 |𝑀𝐴 < 𝑟} = {𝑀(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) |√(𝑥1 − 𝑎1 )2 + ⋯ + (𝑥𝑛 − 𝑎𝑛 )2 < 𝑟}.

Если в предыдущих неравенствах заменить знак строго неравенства на нестрогое,

получим замкнутый шар с центром в точке A и радиуса 𝑟 > 0:

𝐵̅𝑟 (𝐴) = {𝑀 |𝑀𝐴 ≤ 𝑟} = {𝑀(𝑥1 , 𝑥2 , … , 𝑥𝑛 ) |√(𝑥1 − 𝑎1 )2 + ⋯ + (𝑥𝑛 − 𝑎𝑛 )2 ≤ 𝑟}.

Для пространств 𝐑1 и 𝐑2 открытый «шар» это интервал и соответственно

внутренность круга.

Точка M называется внутренней точкой множества 𝑋 ⊂ 𝐑𝑛 , если оно содержится

в этом множестве вместе с некоторым открытым шаром с центром в этой точке.
Множество 𝑋 ⊂ 𝐑𝑛 называется открытым, если все его точки являются внутренними
для этого множества.

В открытом множестве X под окрестностью произвольной точки A будем

понимать любое открытое подмножество в X, содержащее A. Без ограничения общности
мы будем рассматривать в качестве окрестностей точки A любые открытые шары в X c
центром в A.

Точка M называется граничной точкой множества 𝑋 ⊂ 𝐑𝑛 , если в любом

открытом шаре с центром в этой точке содержатся как точки из X, так и точки не
лежащие в X.

Границей множества 𝑋 ⊂ 𝐑𝑛 называется множество всех его граничных точек.

Например, замкнутый или открытый круг имеют в качестве границы окружность,
являющейся контуром этого круга. Только в случае замкнутого круга граница
принадлежит самому множеству, а в случае открытого круга граница не принадлежит
множеству,

Множество 𝑋 ⊂ 𝐑𝑛 называется замкнутым, если оно содержит все свои

граничные точки. Замыканием множества 𝑋 ⊂ 𝐑𝑛 называется множество, которое
получается если к множеству X добавить все его граничные точки.

Предел последовательности точек.

Предел числовой последовательности.
Сначала вспомним понятие предела для числовой последовательности.

Числовая последовательность – это упорядоченный набор чисел (𝑥𝑛 )𝑛∈𝑁∗ =

(𝑥1 , 𝑥2 , 𝑥3 , … , 𝑥𝑛 , … ), или можно рассматривать как набор точек на числовой оси.

2
 Дифференциальное исчисление Лекция 1

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

(𝑥𝑛 )𝑛∈𝑁∗ , если:

 для любой окрестности точки а, во вне окрестности находится конечное число

членов последовательности,
или иными словами,
 для любой окрестности точки а, внутри окрестности находятся почти все члены
последовательности, за исключением возможно некоторого конечного числа
членов последовательности, не обязательно последовательных,
или иными словами,

 для любого 𝜀 > 0 найдется натуральное число n0 такое, что, начиная с этого
номера, все члены последовательности лежат внутри окрестности (𝑎 − 𝜀, 𝑎 + 𝜀),
или иными словами,

 для любого 𝜀 > 0 найдется натуральное число n0 такое, что для всех 𝑛 ≥ 𝑛0
имеет место 𝑎 − 𝜀 < 𝑥𝑛 < 𝑎 + 𝜀, т.е. |𝑥𝑛 − 𝑎| < 𝜀.
В итоге, это записывается так
lim 𝑥𝑛 = 𝑎 или 𝑥𝑛 → 𝑎 при 𝑛 → +∞.
𝑛→∞

Примеры.

1. Постоянная последовательность (𝑥𝑛 )𝑛∈𝑁 , 𝑥𝑛 = 𝑎. Тогда lim 𝑥𝑛 = 𝑎.

𝑛→∞
𝑐
2. Последовательность (𝑥𝑛 )𝑛∈𝑁 , 𝑥𝑛 = 𝑛. Тогда lim 𝑥𝑛 = 0.
𝑛→∞

3. Последовательность (𝑥𝑛 )𝑛∈𝑁 ,

𝑎0 𝑛𝑘 + 𝑎1 𝑛𝑘−1 + ⋯ + 𝑎𝑘
𝑥𝑛 = ,
𝑏0 𝑛𝑚 + 𝑏1 𝑛𝑚−1 + ⋯ + 𝑏𝑚
где 𝑎0 , 𝑏0 ≠ 0. Тогда

𝑎 𝑎 ∞, при 𝑘 > 𝑚,
𝑛𝑘 (𝑎0 + 𝑛1 + ⋯ + 𝑘𝑘 ) 0, при 𝑘 < 𝑚,
𝑥𝑛 = 𝑛 → {𝑎
𝑏 𝑏 0
𝑛𝑚 (𝑏0 + 𝑛1 + ⋯ + 𝑛𝑚𝑚) , при 𝑘 = 𝑚.
𝑏0
1 𝑛
4. Последовательность (𝑥𝑛 )𝑛∈𝑁 , 𝑥𝑛 = (1 + 𝑛) .

Замечательный предел
1 𝑛
lim (1 + ) = 𝑒 = 2,718281828459 …
𝑛→∞ 𝑛

3
 Дифференциальное исчисление Лекция 1

Предел последовательности точек в многомерном пространстве.

Обычно, для многомерного пространства мы обозначаем его размерность через n.
Однако, для обозначения членов некоторой последовательности мы обычно также ис-
пользуем букву n. Поэтому, когда будем говорить о последовательностях точек в много-
мерном пространстве мы предпочтём1 обозначать размерность пространства через k.

В многомерном пространстве предел последовательности точек определяется

также, как и для последовательности точек на числовой оси, теми же словами
(проверьте!), но которые имеют немного другой смысл (например, окрестности в 𝐑1 и в
𝐑𝑘 определяются одинаково, но имеют разный геометрический смысл).

Последовательностью точек в 𝐑𝑘 назовём упорядоченный набор точек

(𝑀𝑛 )𝑛∈𝑁∗ = (𝑀1 , 𝑀2 , … , 𝑀𝑛 , … ), где каждая точка 𝑀𝑛 имеет соответствующие
(𝑛) (𝑛) (𝑛)
координаты 𝑀𝑛 (𝑥1 , 𝑥2 , … , 𝑥𝑘 ) (нижний индекс указывает номер координаты, а
верхний индекс – какой точке соответствует).

Говорят, что точка 𝐴(𝑎1 , 𝑎2 , … , 𝑎𝑘 ) является пределом последовательности точек

(𝑀𝑛 )𝑛∈𝑁∗ , если

 для любой окрестности точки A, во вне окрестности находится конечное число

точек последовательности,
или иными словами,

 для любой окрестности точки A, внутри окрестности находятся почти все точки
последовательности, за исключением возможно некоторого конечного числа
точек последовательности, не обязательно последовательных,
или иными словами,

 для любого 𝜀 > 0 найдется натуральное число n0 такое, что, начиная с этого
номера, все точки последовательности лежат внутри окрестности 𝐵𝜀 (𝐴),
или иными словами,

 для любого 𝜀 > 0 найдется натуральное число n0 такое, что для всех 𝑛 ≥ 𝑛0 имеет
место 𝑀𝑛 𝐴 < 𝜀.

или иными словами,

 предел числовой последовательности

lim 𝑀𝑛 𝐴 = 0.
𝑛→∞

Это обозначают как 𝑀𝑛 → 𝐴 при 𝑛 → +∞ (говорят, что точки 𝑀𝑛 стремятся или

сходятся к точке A).
Учитывая неравенства (2), можно сделать вывод, что

1
Это всё же некоторая условность, можно применять любые буквы, но правильно.

4
 Дифференциальное исчисление Лекция 1

(𝑛)
𝑀𝑛 → 𝐴 при 𝑛 → +∞  lim 𝑀𝑛 𝐴 = 0  lim |𝑥𝑖 − 𝑎𝑖 | = 0 для любого i,
𝑛→∞ 𝑛→∞
т.е. сходимость точек 𝑀𝑛 → 𝐴 равносильно сходимости по каждой координате точек.

Функции многих переменных.

Понятие функции многих переменных аналогично понятию функции одной
переменной. Вообще говоря, и Вы это увидите, некоторые понятия и свойства в случае
функций многих переменных аналогичны известным для функции одной переменной, но
есть и такие, для которых таких аналогий нет.
Для лучшего восприятия понятий, полезно рассматривать изучаемые понятия в
случае функции двух переменных, например, 𝑧 = 𝑓(𝑥, 𝑦).
Пусть 𝐷 ⊂ 𝐑𝑘 некоторое множество. Говорят, что на множестве D задана функция
𝑓: 𝐷 → 𝐑 если для каждой точки 𝑀 ∈ 𝐷 задано число f(M). Это можно записать при
помощи координат, т.е. для любой точки (𝑥1 , 𝑥2 , … , 𝑥𝑘 ) ∈ 𝐷 задано число 𝑓(𝑥1 , 𝑥2 , … , 𝑥𝑘 ).
Если задана функция одной переменной, то для графика 𝑦 = 𝑓(𝑥) требуется
плоскость 𝐑2 . Если же задана функция от k переменных, то для графика 𝑥𝑘+1 =
𝑓(𝑥1 , 𝑥2 , … , 𝑥𝑘 ) требуется пространство 𝐑𝑘+1 .
Графиком функции 𝑥𝑘+1 = 𝑓(𝑥1 , 𝑥2 , … , 𝑥𝑘 ) называется множество
Γ𝑓 = {(𝑥1 , 𝑥2 , … , 𝑥𝑘 , 𝑥𝑘+1 ) | 𝑥𝑘+1 = 𝑓(𝑥1 , 𝑥2 , … , 𝑥𝑘 ), (𝑥1 , 𝑥2 , … , 𝑥𝑘 ) ∈ 𝐷}.

Предел функции.
Есть несколько определений для понятия предела функции, которые
эквивалентны между собой. Мы используем определение Гейне, носящее имя своего
автора.
Пусть задана функция 𝑓: 𝐷 → 𝐑, где 𝐷 ⊂ R𝑘 . Предположим, что точка A является
внутренней точкой множества D. На самом деле, достаточно требовать лишь, что в
каждой окрестности точки A имеются точки из D, отличные от A (хотя не требуется,
чтобы точка A принадлежала D).
Говорят, что функция f имеет предел в точке A, который равен числу l, если для
любой последовательности точек (𝑀𝑛 )𝑛∈𝑁∗ из D, которая сходится к точке A (но не
содержит саму точку A), числовая последовательность (𝑓(𝑀𝑛 ))𝑛∈𝑁∗ имеет предел,
который равен l, т.е. lim 𝑓(𝑀𝑛 ) = 𝑙. Это записывают следующим образом:
𝑛→∞

lim 𝑓(𝑀𝑛 ) = 𝑙 . (3)

𝑀𝑛 →𝐴

Это можно записать в координатах. Если даны координаты точки 𝐴(𝑎1 , 𝑎2 , … , 𝑎𝑘 ),

то (3) можно записать в виде:
lim 𝑓(𝑥1 , 𝑥2 , … , 𝑥𝑘 ) = 𝑙 .
𝑥1 →𝑎1
(4)
…
𝑥𝑘 →𝑎𝑘

Однако, запись (4) более объемна, чем (3).

Предел функции может быть конечный или бесконечный ().

5
 Дифференциальное исчисление Лекция 1

Когда функция вообще не имеет предела в точке A?

Из определения следует, что функция f вообще не имеет предела в точке A, если
выполняется хотя бы одно из следующих двух условий:
1. Существует последовательность точек (𝑀𝑛 )𝑛∈𝑁∗ из D, которая сходится к
точке A, для которой числовая последовательность (𝑓(𝑀𝑛 ))𝑛∈𝑁∗ не имеет
предела.
2. Существуют две последовательности точек (𝑀′𝑛 )𝑛∈𝑁∗ и (𝑀′′𝑛 )𝑛∈𝑁∗ из D,
которые обе сходятся к точке A, для обеих существуют пределы числовых
последовательностей (𝑓(𝑀′𝑛 ))𝑛∈𝑁∗ и (𝑓(𝑀′′𝑛 ))𝑛∈𝑁∗ , однако эти пределы не
равны.
Замечание 1. Для функций одной переменной известны несколько методов
вычисления пределов.
1. Использование некоторых замечательных пределов, например:
sin 𝑥
a) lim = 1;
𝑥→0 𝑥
1 𝑥 1 𝑥 1 𝑥
b) lim (1 + 𝑥) = lim (1 + 𝑥) = lim (1 + 𝑥) = 𝑒,
𝑥→+∞ 𝑥→−∞ 𝑥→∞
1
lim (1 + 𝛼) = 𝑒; 𝛼
𝛼→0
𝑒 𝑎𝑥 −1
c) lim = 𝑎;
𝑥→0 𝑥
ln(1+𝑥)
d) lim =1
𝑥→0 𝑥
(1+x)α −1
e) lim = 𝛼.
𝑥→0 𝑥
2. Использование правила Лопиталя:
Если заданы две дифференцируемые функций f(x) и g(x) такие, что:
1) существуют пределы lim 𝑓(𝑥) = lim 𝑔(𝑥) = 0 или lim 𝑓(𝑥) = lim 𝑔(𝑥) = ∞;
𝑥→𝑎 𝑥→𝑎 𝑥→𝑎 𝑥→𝑎
2) существует (конечный или бесконечный) предел частного их производных
𝑓′(𝑥)
lim 𝑔′(𝑥) (при 𝑔′ (𝑥) ≠ 0),
𝑥→𝑎

то существует предел частного самих функций (при 𝑔(𝑥) ≠ 0), и эти пределы
равны, т.е.
𝑓(𝑥) 𝑓′(𝑥)
lim = lim .
𝑥→𝑎 𝑔(𝑥) 𝑥→𝑎 𝑔′(𝑥)

Замечание 2. Правило Лопиталя не применимо при вычислении пределов

последовательностей.
Замечание 3. Для функций многих переменных не существует аналога правила
Лопиталя.
Пример 1. Исследовать на существование предел
𝑥2 − 𝑦2
lim .
𝑥→0 𝑥 2 + 𝑦 2
𝑦→0

6
 Дифференциальное исчисление Лекция 1

Решение. Этот предел не существует. Для доказательства достаточно взять две

1 1
последовательности точек (𝑀𝑛′ (𝑛 , 0))𝑛≥1 и (𝑀𝑛′′ (0, 𝑛))𝑛≥1 , которые обе сходятся к точке
(0,0).
𝑥 2 −𝑦 2
Пределы функции 𝑓(𝑥, 𝑦) = 𝑥 2 +𝑦 2 по обеим последовательностям существуют, но
они не равны:
1
2 −0
lim 𝑓(𝑀𝑛′ ) = lim 𝑛 = 1,
𝑛→+∞ 𝑛→+∞ 1
+0
𝑛2
1
2 0−
lim 𝑓(𝑀𝑛′′ ) = lim 𝑛 = −1.
𝑛→+∞ 𝑛→+∞ 1
0+ 2
𝑛
Следовательно, функция f не имеет предела в точке (0, 0).
Пример 2. Исследовать на существование предел
𝑥3 − 𝑦3
lim .
𝑥→0 𝑥 2 + 𝑦 2
𝑦→0

Решение. Этот предел существует, поскольку

𝑥3 − 𝑦3 𝑥3 𝑦3 𝑥2 𝑦2
lim = lim ( − ) = lim (𝑥 ∙ − 𝑦 ∙ ).
𝑥→0 𝑥 2 + 𝑦 2 𝑥→0 𝑥 2 + 𝑦 2 𝑥2 + 𝑦2 𝑥→0 𝑥2 + 𝑦2 𝑥2 + 𝑦2
𝑦→0 𝑦→0 𝑦→0

𝑥2
Поскольку |𝑥 2 +𝑦 2| ≤ 1, то

𝑥2 𝑥2
lim (𝑥 ∙ 2 ) = 0, lim (𝑦 ∙ 2 )=0
𝑥→0 𝑥 + 𝑦2 𝑥→0 𝑥 + 𝑦2
𝑦→0 𝑦→0

(в каждом пределе первый множитель стремится к нулю, а второй множитель

ограничен). Следовательно
𝑥3 − 𝑦3 𝑥2 𝑦2
lim = lim (𝑥 ∙ − 𝑦 ∙ ) = 0.
𝑥→0 𝑥 2 + 𝑦 2 𝑥→0 𝑥2 + 𝑦2 𝑥2 + 𝑦2
𝑦→0 𝑦→0