- •Тема Функции нескольких переменных
- •§1. Евклидово пространство: точки, множества, сходимость
- •I Точки, множества
- •II Сходимость
- •§2. Определение функции нескольких переменных
- •§3. Предел функции нескольких переменных. Непрерывность
- •2. Рассмотрим функцию и последовательность точек
- •§4. Частные производные
- •§5. Дифференцируемость и полный дифференциал
- •§6. Производные сложных функций
- •§7. Сущестование и дифференцируемость неявной функции
- •§8. Касательная к кривой в пространстве
- •I Вектор-функция и ее производная
- •II Физический смысл производной вектор-функции
- •III Уравнения касательной
- •§9. Касательная плоскость к поверхности
- •§10. Производные высших порядков
- •§11. Экстремумы функции нескольких переменных
- •§12. Наибольшее и наименьшее значения функции в области
- •§13. Производная по направлению. Градиент
- •I Производная по направлению
- •II Градиент
- •III Линии и поверхности уровня
- •§14. Метод наименьших квадратов
- •I Постановка задачи и суть метода
- •II Одно полезное неравенство
- •III Исследование системы нормальных уравнений
Тема Функции нескольких переменных
Лекция 17
§1. Евклидово пространство: точки, множества, сходимость
I Точки, множества
Определение 1. Назовем m-мерной точкой упорядоченный набор из m произвольных вещественных чисел х1, х2, … хm. Обозначения : М(х1, х2, … хm) или Множество всех мыслимых m-мерных точек называют m-мерным эвклидовым пространством, если расстояние между точками М(хk) и N(уk) определяется по формуле
Обозначения : Rm или Em. Числа хk, k = 1,2…m, называют координатами точки М(хk), а точку О(0,0,…0) – началом координат.
Частными случаями евклидова пространства являются R2 (плоскость) и R3 (обычное пространство). Формула (1) является естественным обобщением известных формул для расстояния между двумя точками на плоскости и в пространстве.
Для классификации точек и множеств в Rm важную роль играет понятие окрестности.
Определение 2. ε-окрестностью точки М0 называют множество точек вида
. В R1 – это интервал (x0 – ε, x0 + ε), в R2 – внутренность круга, с центром в М0 и радиусом ε, а в R3 – внутренность сферы с центром в М0, и радиусом ε.
Определение 3. Точка М0 называется внутренней точкой множества G Rm, если существует ε такое, что О(ε,М0) G. Точка М0 называется граничной точкой множества G, если всякая ее ε-окрестность содержит как точки, принадлежащие G, так и точки не принадлежащие G.
Определение 4. Множество точек называется открытым, если все его точки внутренние. Множество точек называют замкнутым, если оно содержит все свои граничные точки.
Примером открытого множества может служить ε-окрестность. Замкнутым множеством в R2 есть, например, прямоугольник {(х,у) : 0 ≤ х ≤ a, 0 ≤ y ≤ b}. Все пространство Rm и пустое множество ø являются и открытыми и замкнутыми одновременно.
Определение 5. Множество точек называется связным, если любые две его точки можно соединить непрерывной линией, которая состоит из точек данного
множества.
Например, в R2 круг – это связное множество, а множество, состоящее из двух непересекающихся кругов, не является связным.
Определение 6. Открытое связное множество называется открытой областью или, короче говоря, областью. Объединение открытой области со всеми ее граничными точками называется замкнутой областью.
Можно доказать, что замкнутая область есть замкнутое множество.
Определение 7. Множество точек G Rm называется ограниченным, если целиком содержится в некотором m-мерном “шаре”:
G {M: d(О, M) ≤ R}.
Ограниченными являются m-мерный “параллелипипед” (замкнутый):
{M(xk): ak ≤ xk ≤bk , k = 1,2,…m}
и m-мерный “симплекс”(открытый):
{M(xk): x1 + x2 +…+ xm< a, xk > 0,k = 1,2…m}.
Отметим для будущего, что ограниченная замкнутая область для функции нескольких переменных является аналогом замкнутого промежутка для функции одной переменной.
.
II Сходимость
Рассмотрим в Rm последовательность точек
{Mn(x1n, x2n,…, xmn)}, n = 1,2 … .
Определение 8. Говорят, что последовательность{Mn} сходится к точке М0(а1, а2,… аm) и пишут если
Из формулы (1), определяющей расстояние между точками в Rm, нетрудно получить такое утверждение:
cходимость {Mn} к M0 равносильна сходимости последовательностей {xkn} к аk, k = 1,2,…m. Другими словами, сходимость точек в Rm покоординатная.
Например, последовательность двумерных точек Мn сходится к точке М0(0,1).