7.2. Функции нескольких переменных. Предел и непрерывность

Определение 5. Пусть множество в , и каждой точке поставлено в соответствие единственное число . В этом случае говорят, что на множестве Х определена числовая функция n переменных (или функция нескольких переменных).

Правило, по которому устанавливается соответствие, обозначают некоторой буквой, например и пишут

или , .

Другими словами функция n переменных есть отображение множества на множество :

, где .

Множество Х является областью определения функции , а называют аргументом или независимой переменной.

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

Определение 6. Графиком функции называют множество точек связанных соотношением .

Приведем примеры функций в .

3.Функция является линейной функцией n переменных и называется гиперплоскостью. Область определения её все точки, принадлежащие .

4.Функция называется эллиптическим параболоидом. Если a=b, то это параболоид вращения. Область определения ее множество (нарисовать график).

5. Для функции область определения получается из условия:

.

Откуда следует, что справедливы неравенства ( , откуда следует, что областью определения являются концентрические кольца с центром в начале координат.

6. Функция n-переменных называется квадратичной формой.

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

Определение 7. (О.Л. Коши 1789-1857 фр.). Число называется пределом функции в , если для любого положительного можно подобрать положительное число такое, что из выполнения условия для любого следует выполнение неравенства .

Это определение символически можно записать следующим образом:

: .

Определение 8. (Г.Э.Гейне 1821-1881 нем.). Число называется пределом в точке , если , сходящейся к следует, что последовательность сходится к .

Как и для функции одной переменной доказывается, что определения 7 и 8 равносильны. Предел функции многих переменных обозначается

или .

Пример 7. Найти .

Решение. Докажем, что предел равен 0. Выберем , возьмем , такое, что , удовлетворяющих условию и отличных от начала координат справедливо неравенство:

.

Для пределов функций нескольких переменных справедливы следующие утверждения, аналогичные соответствующим теоремам для функций одной переменной.

•Если имеет предел при , то он единственный.

•(Критерий Коши). Для того, чтобы имела конечный предел при необходимо и достаточно, чтобы , такое что для из выполнения условий и следовало бы выполнение неравенства .

•Пусть и функции с общей областью определения и существуют пределы и . Тогда существуют пределы функций , и и имеют место равенства: ,

,

, .

Определение 9. Число называется пределом функции при , если и записывается .

Определение 10. Пусть и , при . Если , то и называются бесконечно малыми одного порядка при . Если , то функции и называются эквивалентными при . Если , то функция называется бесконечно малой более высокого порядка по отношению к .

Определение 11. Число называют пределом функции по множеству в точке , если , такое что для произвольного из выполнения условия следует . Обозначение .

Это обобщение предела функции в точке, на тот случай, когда функция рассматривается не во всей окрестности точки , а на некоторой ее части.

Если есть непрерывная кривая Г, проходящая через точку , то называют пределом по кривой Г.

В частности, если Г – есть прямая линия с направленным единичным вектором , , то предел по Г называют пределом по направлению вектора .

Для функции n-переменных при можно рассматривать n, так называемые, повторные пределы. В частности для функции двух переменных можно рассматривать два повторных предела в точке

и .

Если оба повторных предела существуют, то они не обязательно равны между собой.

Пример 8. Найти предел функции в точке .

Решение. .

.

Теорема 3. Если функция определена в , , за исключением может быть самой точки , существует предел и существуют пределы , тогда существуют и повторные пре- делы и , которые равны между собой и равны : .

ک По определению предела функции двух переменных имеем, что существует , такое что, если , то есть . Отсюда следует, что . Переходя к пределу в этих неравенствах при , получим, что при имеет место неравенство . Отсюда следует, что .

Таким образом, . Аналогично доказывается, что . 