Доказать по определению что предел функции двух переменных

18.04.202223.04.2022 admin 0 Comments

Предел функции нескольких переменных

Определение функции нескольких переменных. Основные понятия.

Если каждой паре независимых друг от друга чисел (х,у) из некоторого множества по какому-либо правилу ставится в соответствие одно значение переменной z, то она называется функцией двух переменных. z=f(x,y,)

Множество значений (область значений) функции – все значения, которые принимает функция в ее области определения.

Окрестность точки M0 (х0;y0) радиуса r – совокупность всех точек (x,y), которые удовлетворяют условию 0 найдется такое δ > 0, что

| f (x, y) – A | 0 найдется δ-окрестность точки (х₀, у₀) такая, что для всех (x, y) из этой окрестности, отличных от (х₀, у₀), выполняется неравенство (3).

Так как координаты произвольной точки (x, y) окрестности точки (х₀, у₀) можно записать в виде х = х₀ + Δх, у = у₀ + Δу, то равенство (1) эквивалентно следующему равенству:

Рассмотрим некоторую функции, заданную в окрестности точки (х₀, у₀), кроме, быть может, самой этой точки.

Пусть ω = (ω_х, ω_у) – произвольный вектор длины единица (|ω| 2 = ω_х 2 + ω_у 2 = 1) и t > 0 – скаляр. Точки вида

Число А называется пределом функции f(M) при М → М₀, если для любого числа ε > 0 всегда найдется такое число δ > 0, что для любых точек М, отличных от М₀ и удовлетворяющих условию | ММ₀ |

и на этом языке определить непрерывность f в (x, y): функция f непрерывна в точке (x, y), если

(1″»)

Теорема. Сумма, разность, произведение и частное непрерывных в точке (х₀,у₀) функций f и φ есть непрерывная функция в этой точке, если, конечно, в случае частного φ (х₀, у₀) ≠ 0.

Постоянную с можно рассматривать как функцию f (x, y) = с от переменных x,y. Она непрерывна по этим переменным, потому что

| f (x, y) – f (х₀, у₀) | = |с – с | = 0 0.

Следующими по сложности являются функции f (x, y) = х и f (x, y) = у. Их тоже можно рассматривать как функции от (x, y), и при этом они непрерывны. Например, функция f (x, y) = х приводит в соответствие каждой точке (x, y)число, равное х. Непрерывность этой функции в произвольной точке (x, y)может быть доказана так:

| f (х + Δх, у + Δу) – f (x, y) | = | f (х + Δх) – х | = | Δх | ≤ 0.

Если производить над функциями x, y и постоянными действия сложения, вычитания и умножения в конечном числе, то будем получать функции, называемые многочленами от x, y. На основании сформулированных выше свойств многочлены от переменных x, y – непрерывные функции от этих переменных для всех точек (x, y) R₂.

Отношение P/Q двух многочленов от (x, y) есть рациональная функция от (x,y), очевидно, непрерывная всюду на R₂, за исключением точек (x, y), где Q(x, y) = 0.

может быть примером многочлена от (x, y) третьей степени, а функция

есть пример многочлена от (x, y) четвертой степени.

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

Тогда функция F (u, v) = f [ φ (u, v), ψ (u, v), χ (u, v) ] непрерывна (по

Доказательство. Так как знак предела можно внести под знак характеристики непрерывной функции, то

Теорема. Функция f (x, y), непрерывная в точке (х₀, у₀) и не равная нулю в этой точке, сохраняет знак числа f (х₀, у₀) в некоторой окрестности точки (х₀, у₀).

(2)

Условие непрерывности f в точке х 0 можно записать в эквивалентной форме:

(2″)

(2″»)

Теорема. Сумма, разность, произведение и частное непрерывных в точке х 0 функций f (x) и φ (x) есть непрерывная функция в этой точке, если, конечно, в случае частного φ (х 0 ) ≠ 0.

Множество G R_n называется открытым, если все его точки внутренние.

Говорят, что функции

Связное открытое множество называется областью.

Теорема. Пусть функция f (x) определена и непрерывна на R_n (во всех точкахR_n). Тогда множество G точек х, где она удовлетворяет неравенству

f (x) > с (или f (x) 0, совпадает с G. Пусть х 0 G, тогда существует шар

| х – х 0 | 0, т.е. он принадлежит к G и точка х 0 G – внутренняя для G.

Решение. Функция z = ln (x 2 + y 2 ) терпит разрыв в точке х = 0, у = 0. Следовательно, точка О (0, 0) является точкой разрыва.

Источник

Предел функции многих переменных

Предел функции в точке.

Напомним, что окрестностью $O(x^0)$ точки $x^0$ в метрическом пространстве $X$ называется любое множество, для которого точка $x^0$ является внутренней. Проколотая окрестность $\dot(x^0)$ получается из $O(x^0)$ удалением самой точки $x^0$, то есть $\dot(x^0)=O(x^0)\backslash\$.

Будем рассматривать функции $f: \ M\rightarrow R$, где $M$ есть некоторое множество, принадлежащее метрическому пространству $X$. Если $X=R^n$, то функция $f: \ M\rightarrow R$ называется функцией многих переменных и обозначается обычно следующим образом:
$$
f(x)=f(x_1,\ldots,x_n),\quad x\in M.\nonumber
$$
Например, функция $\displaystyle \sqrt<1-x_1^2-x_2^2>$ определена в единичном круге пространства $R^2$ с центром в точке $(0,0)$, а функция $\operatorname(x_1^2+x_2^2)$ определена в любой проколотой окрестности точки $(0,0)$.

Пусть функция $f(x)$ определена в проколотой окрестности $\dot(x^0)$ точки $x^0$ метрического пространства $X$. Говорят, что число $A$ есть предел функции $f(x)$ при $x\rightarrow x_0$, если $\forall\ \varepsilon > 0 \ \exists \ \delta > 0$ такое, что для $\forall \ x\in\dot(x^0)$, удовлетворяющего условию \(\rho(x,x^0) Определение 2.

Говорят, что функция $f(x)$, определенная в $\dot(x^0)$, имеет при $x\rightarrow x_0$ предел $A$, если для любой последовательности $x^<(k)>\in\dot(x^0)$ такой, что $\displaystyle\lim_x^<(k)>=x^0$, выполнено равенство $\displaystyle\lim_f(x^<(k)>)=A$.

Эквивалентность двух определений предела доказывается так же, как и для функций одной переменной.

Если число $A$ есть предел функции $f(x)$ при $x\rightarrow x_0$, то будем писать
$$
A=\lim_f(x).\nonumber
$$

Если функция двух переменных $f(x,y)$ определена в $\dot((a,b))$, a число $A$ есть ее предел при $(x,y)\rightarrow(a,b)$, то пишут
$$
A=\lim_f(x,y)\nonumber
$$
и называют иногда число $A$ двойным пределом.

Аналогично, для функции $n$ переменных наряду с обозначением $A=\displaystyle\lim_f(x)$ будем использовать обозначение
$$
A=\lim_f(x_1,\ldots,x_n).\nonumber
$$

Пусть функции $f(x)$ и $\varphi(x)$ определены в $\dot(x^0)$ и $|f(x)|\leq \varphi(x)$ в $\dot(x^0)$. Если $\displaystyle\lim_\varphi(x)=0$, то и $\displaystyle\lim_f(x)=0$.

$\circ$ Так как $\displaystyle\lim_\varphi(x)=0$, то для любого $\varepsilon > 0$ найдется шар $S_<\delta>(x^0)$ такой, что для всех $x\in S_<\delta>(x^0)$ выполнено неравенство \(|\varphi(x)| Пример 1.

$\triangle$ Возьмем любое $\varepsilon > 0$. Положим $\delta=\varepsilon^<1>$. Пусть $(x,y)\in S_\delta(0, 0)$, тогда
$$
(x^2+y^2)^a Пример 2.

В силу примера выше $\displaystyle\lim_\varphi(x,y)=0.$, так как $\alpha+\beta-2\gamma > 0$. Применяя лемму 1, получаем, что
$$
\lim_f(x,y)=0.\nonumber
$$
Что и требовалось доказать. $\blacktriangle$

$\triangle$ Рассмотрим последовательность точек $(x_n,y_n)=\displaystyle\left(\frac<1>,\frac<1>\right)$. Тогда $f(x_n,y_n)=1$ и, следовательно, $\displaystyle \lim_f(x_n,y_n)=1$. Если же взять последовательность точек $(x_n’,y_n’)=\displaystyle\left(\frac<1>,-\frac<1>\right)$, то $\displaystyle \lim_f(x_n’,y_n’)=-1$.

Так как при любом $n\in \mathbb$ точки $(x_n,y_n)$ и $(x_n’,y_n’)$ не совпадают с точкой $(0,0)$, а последовательности точек $(x_n,y_n)$ и $(x_n’,y_n’)$ сходятся к точке $(0,0)$, то, используя определение 2 предела, получаем, что функция $f(x,y)$ не имеет предела при $(x,y)\rightarrow (0,0)$. $\blacktriangle$

не имеет предела при $(x,y)\rightarrow (0,0)$.

$\triangle$ Повторяя рассуждения примера 3, построим две последовательности точек $(x_n,y_n)=\displaystyle\left(\frac<1>,\frac<1>\right)$ и $(x_n’,y_n’)=\displaystyle\left(\frac<1>,\frac<1>\right)$. Так как $(x_n,y_n)\rightarrow(0,0)$ и $(x_n’,y_n’)\rightarrow(0,0)$, а $\displaystyle\lim_f(x_n,y_n)=0$ и $\displaystyle\lim_f(x_n’,y_n’)=1$, то двойной предел функции $f(x,y)$ при $(x,y)\rightarrow(0,0)$ не существует. $\blacktriangle$

Предел по множеству.

Предел $\displaystyle\lim_f(x)$ был определен ранее для функции, заданной в $\dot(x^0)$. Расширим определение предела, введя понятие предела по множеству.

Пусть $M$ есть подмножество области определения функции $f(x)$, $x^0$ — предельная точка множества $M$. Будем говорить, что число $A$ есть предел функции $f(x)$ по множеству $M$ при $x\rightarrow x^0$, если $\forall\varepsilon > 0 \ \exists \delta > 0$ такое, что $\forall x\in<\dot S>_\delta(x^0)\cap M$ выполнено неравенство \(|f(x)-A| Пример 5.

Показать, что предел функции $f(x,y)=\displaystyle \frac<2xy>$ в точке $(0,0)$ по любому направлению $l=(\cos\alpha, \ \sin\alpha)$ существует и равен $\sin 2\alpha$.

$\triangle$ Так как при $t > 0$ выполнено равенство
$$
f(t\cos\alpha, \ t\sin\alpha)=2\sin\alpha\cos\alpha=\sin 2\alpha,\nonumber
$$
то
$$
\lim_f(t\cos\alpha, \ t\sin\alpha)=\sin 2\alpha.\quad\blacktriangle\nonumber
$$

Показать, что предел функции $f(x,y)=\displaystyle \frac<2x^2y>$ в точке $(0,0)$ по любому направлению $l=(\cos\alpha, \ \sin\alpha)$ существует и равен нулю.

Если $\sin\alpha=0$, то $f(t\cos\alpha, \ t\sin\alpha)=0$ и, следовательно,
$$
\lim_f(t\cos\alpha, \ t\sin\alpha)=0.\nonumber
$$

Если $\sin\alpha\neq 0$, то
$$
\lim_f(t\cos\alpha, \ t\sin\alpha)=0.\quad\blacktriangle\nonumber
$$

Ясно, что из существования $\displaystyle\lim_f(x)$ следует существование $\displaystyle\lim_f(x)$ для любого подмножества $M’\subset M$, для которого $x’$ есть предельная точка. В частности, из существования двойного предела функции $f(x,y)$ при $(x,y)\rightarrow (x_0,y_0)$ следует существование предела функции $f(x,y)$ в точке $(x_0,y_0)$ по любому направлению и равенство этих пределов двойному пределу функции $f(x,y)$ при $(x,y)\rightarrow (x_0,y_0)$.

Из результатов примеров 4 и 6 следует, что из существования и равенства пределов по любому направлению в точке $(x_0,y_0)$ не вытекает существование в этой точке предела функции.

Предел функции $f(x)$ в точке $x^0\in R^n$ по направлению $l=(l_1,\ldots,l_n)$, где $l_1^2+\ldots+l_n^2=1$, определяется по аналогии со случаем функции двух переменных.

Повторные пределы. Бесконечные пределы.

Пусть функция двух переменных $f(x,y)$ определена на множестве
$$
\Pi= <(x,y):\quad 0 0\) число $\delta >0$, что для всех $x$ из проколотой окрестности $\dot(x^0)$ точки $x^0$ выполнено неравенство $f(x) > C$.

Источник

Предел и непрерывность функций нескольких переменных с примерами решения и образцами выполнения

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

При рассмотрении многих вопросов естествознания приходится иметь дело с такими зависимостями между переменными величинами, в которых числовые значения одной из них полностью определяются значениями нескольких других. Так, например, температура тела в данный момент времени t может изменяться от точки к точке. Каждая точка тела определяется тремя координатами х, у и z, поэтому температура зависит от трех переменных х, у и z, а если еще учитывать зависимость температуры от времени t, то значения ее будут уже определяться значениями четырех переменных х, у, z и t. Площадь прямоугольника со сторонами, длины которых равны хну, определяется значениями двух переменных х и у, а объем прямоугольного параллелепипеда с ребрами, длины которых равны х, у, z, — значениями трех переменных х, у и z. Примеров таких зависимостей можно привести сколько угодно.

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

Определение функции двух и более переменных

Аналогично функции одной переменной вводится понятие функции двух переменных.

Определение:

Пусть X, Y и Z — некоторые числовые множества. Функцией двух переменных называется множество f упорядоченных троек чисел (х; у; z) таких, что и каждая упорядоченная пара чисел (х; у) входит в одну и только одну тройку этого множества, а каждое z входит, по крайней мере, в одну тройку. При этом говорят, что упорядоченной паре чисел (х; у) поставлено в соответствие число z, и пишут z=f(x; у). Число z называется значением функции f в точке (х; у). Переменную z называют зависимой переменной, а переменные х и у — независимыми переменными (или аргументами); множество <(x; у)>—областью определения функции, а множество Z — множеством значений функции.

Функцию двух переменных обозначают также следующими символами: и т. д.

Так как каждой упорядоченной паре чисел (х; у) при фиксированной прямоугольной системе координат соответствует единственная точка М плоскости и, обратно, каждой точке М соответствует единственная упорядоченная пара чисел (х; у), то функцию двух переменных можно рассматривать как функцию точки М и вместо z=f(x; у) писать z=f(M). Областью определения функции в этом случае является некоторое множество точек плоскости. В дальнейшем будем использовать эти два обозначения функции двух переменных.

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

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

1. . Область определения этой функции — множество <М>всех пар чисел (х; у), т. е. вся плоскость Оху, а множество значений — промежуток .
2. Областью определения данной функции является множество всех точек, для которых выражение определено, т. е. множество точек, для которых Множество всех таких точек образует круг с центром в начале координат и радиусом, равным единице. Множество значений функции представляет собой отрезок [0,1].
3. Область определения этой функции — множество точек, координаты которых удовлетворяют неравенству т. е. множество точек, лежащих вне круга с радиусом 1 и центром в начале координат, а множество значений представляет собой промежуток

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

Из аналитической геометрии известно, что множество всех упорядоченных троек чисел (х; у; z) образует координатное пространство. При этом каждой тройке (х; у; z) в пространстве соответствует точка М (х; у; z), и наоборот. Если вместо множества (М) точек плоскости взять множество точек пространства, то аналогично можно дать определение функции трех переменных u=f(M) или u=f(x; y; z). Областью определения функции трех переменных является все пространство или его часть. Так, например, функция определена во всем пространстве, а функция — на множестве точек пространства, координаты которых удовлетворяют неравенству xyz>0. В первом случае множеством значений функции является промежуток , а во втором — .

Аналогично можно дать определение функции четырех переменных u=f(x, у, z, t). В этом случае множество упорядоченных четверок чисел (х; у: z; t) образуют так называемое четырехмерное пространство, а каждая четверка (z; y; z; t) называется точкой этого пространства. Однако область определения функции четырех переменных уже не имеет наглядного геометрического истолкования. Аналогично можно ввести понятия функции пяти и вообще n переменных .

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

Геометрическое изображение функции двух переменных

Как известно, функция одной переменной изображается на плоскости в виде линии, определенной уравнением y=f(x). Функция двух переменных изображается в пространстве в виде поверхности, которая определяется уравнением z=f(x, у), т. е. сама формула, задающая функцию, и есть уравнение этой поверхности.

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

Уравнение является уравнением сферы радиуса R с центром в начале координат. С другой стороны, сфера есть объединение графиков двух функций

Построение графиков функций двух переменных во многих случаях представляет значительные трудности. Поэтому существует еще один способ изображения функции двух переменных, основанный на сечении поверхности z=f(x, у) плоскостями z=c, где с —любое число, т. е. плоскостями, параллельными плоскости Оху.

Назовем линией уровня функции z=f(x, у) множество точек (х; у) плоскости Оху, в которых функция принимает одно и то же значение с. Очевидно, при различных с получаются различные линии уровня для данной функции.

Если взять числа образующие арифметическую прогрессию с разностью h, то получим ряд линий уровня, по взаимному расположению которых можно получить представление о графике функции, т. е. о форме поверхности. Там, где линии располагаются «гуще», функция изменяется быстрее (поверхность идет круче), а в тех местах, где линии уровня располагаются реже, функция изменяется медленнее (поверхность более пологая) (рис. 162). Ясно, что чем меньше h, тем полнее представление о графике функции.

Термин «линии уровня» заимствован из картографии. Там линии уровня — это линии, на которых высота точек земной поверхности над уровнем моря постоянна. По ним можно судить не только о высоте над уровнем моря определенной точки местности, но и о характере рельефа, что особенно важно, если местность гористая.

Пример:

Построить линии уровня функции

Решение:

Линии уровня данной функции определяются уравнением Давая с различные значения, получаем семейство линий уровня, представляющих собой концентрические окружности. При с=0 окружность вырождается в точку (0; 0) (рис. 163).

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

Предел функции двух переменных

Введем понятие -окрестности данной точки и понятие сходящейся последовательности точек плоскости.

Определение:

Множество всех точек, координаты х и у которых удовлетворяют неравенству или, короче, называется -окрестностью точки

Другими словами, -окрестность точки — это все точки, лежащие внутри круга с центром радиуса .

Рассмотрим последовательность точек Будем кратко обозначать эту последовательность символом .

Определение:

Последовательность точек называется сходящейся к точке , если для любого существует номер N такой, что при n>N выполняется неравенство При этом точка , называется пределом последовательности .

Обозначение:

Заметим, что понятие сходящейся последовательности точек плоскости является обобщением понятия сходящейся числовой последовательности. Действительно, задание последовательности точек на прямой равносильно заданию числовой последовательности и неравенство переходит в этом случае в неравенство

Теперь определим предел функции двух переменных. Его определение аналогично определению предела функции одной переменной.

Пусть функция z=f(M) определена на некотором множестве <М>и точка , но обладает тем свойством, что в любой -окрестности этой точки содержится хотя бы одна точка множества <М>, отличная от .

Определение:

Число А называется пределом функции z=f(М) в точке , если для любой сходящейся к последовательности точек соответствующая последовательность значений функции сходится к А.

Обозначение:

Так, например, функция определена на всей плоскости. Найдем предел этой функции в точке (1; 2). Для любой последовательности точек , сходящейся к точке , имеем

Приведем пример функции, не имеющей предела в некоторой точке. Функция определена всюду, кроме точек прямой х+у=0. Покажем, что она не имеет предела в точке (0; 0). Для этого выберем две сходящиеся к точке (0; 0) последовательности точек ; тогда

Таким образом, двум различным последовательностям точек, сходящимся к началу координат, соответствуют две последовательности значений функции, которые имеют разные пределы. Следовательно, по определению 3 данная функция не имеет предела в точке (0; 0).

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

Определение:

Число А называется пределом функции z=f(AM) в точке если для любого существует такое, что для всех точек , удовлетворяющих условию выполняется неравенство

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

Доказательство эквивалентности определений 3 и 4 проводится точно так же, как и в случае функции одной переменной. Следует только в доказательстве теоремы 4.1 заменить последовательность последовательностью точек , точку — точкой разности — соответственно расстояниями , а числовую последовательность — числовой последовательностью .

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

Теорема:

Пусть функции f(М) и g(М) определены на одном и том же множестве и имеют в точке пределы В и С. Тогда функции имеют в точке пределы, равные соответственно

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

Определение:

Функция z=f(M) называется бесконечной малой в точке (или при ), если

Если функция z=f(M) имеет в точке предел, равный А, то функция — A является бесконечно малой в точке . Действительно, Отсюда получаем специальное представление для функции, имеющей в точке предел, равный При этом говорят, что функция f(M) в окрестности точки отличается от числа А на бесконечно малую функцию.

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

Непрерывность функции двух переменных

Понятие непрерывности функции двух переменных вводится на основе понятия предела.

Определение непрерывности функции двух переменных

Пусть на некотором множестве определена функция f(M), точка и любая -окрестность точки содержит точки множества .

Определение:

Функция z=f(M) называется непрерывной в точке
, если предел функции в этой точке существует и равен значению функции в этой точке, т. е.

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

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

разрывна в точке (0; 0), так как предел этой функции при , не существует; функция
в точке (1; 2) разрывна, так как

Сформулируем определение непрерывности функции, используя определение предела функции в терминах

Определение:

Функция z=f(М) называется непрерывной в точке
, если для любого существует такое, что для всех точек , удовлетворяющих условию выполняется неравенство

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

В дальнейшем используется определение 1 непрерывности функции, записанное в другом виде.

Назовем полным приращением функции z=f(M) в точке функцию определяемую формулой

где М — любая точка из области определения функции. Пусть точки имеют соответственно координаты . Обозначим Используя эти обозначения, для получаем следующее выражение:

Определение 3. Функция z f (М) называется непрерывной в точке
, если ее полное приращение в этой точке есть бесконечно малая при функция, т. е.

Это условие, очевидно, равносильно условию из определения 1.

Пример:

Функция непрерывна в любой точке (x; у)-Действительно, полное приращение данной функции в точке (x; у) имеет вид

Очевидно, т. е. согласно определению 3 функция непрерывна в точке (х; у).

Функция z=f(М) называется непрерывной на некотором множестве <М>, если она непрерывна в каждой точке этого множества.

Основные свойства непрерывных функций двух переменных

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

Определение:

Множество <М>точек плоскости называется связным, если любые две точки этого множества можно соединить непрерывной линией, состоящей из точек данного множества. Например, круг — связное множество, а множество, состоящее из двух кругов, не имеющих общих точек, не является связным.

Определение:

Точка М называется внутренней точкой множества <М>, если существует -окрестность этой точки, состоящая из точек данного множества.

Определение:

Множество <М>, состоящее лишь из внутренних точек, называется открытым множеством.

Определение:

Связное открытое множество <М>точек называется открытой областью, или короче, областью. Простейшими областями являются: внутренность треугольника, круга, эллипса и т. п.

Определение:

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

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

Определение:

Множество <М>точек, образованное областью и ее границей, называется замкнутой областью.

Определение:

Множество <М>называется ограниченным, если существует круг, внутри которого оно содержится.

Отрезок и треугольник — ограниченные множества. Прямая не является ограниченным множеством.

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

Теперь сформулируем основные свойства непрерывных функций двух переменных:
1°. Если функция z=f(M) непрерывна в замкнутой ограниченной области, то она ограничена в этой области, т. е. существует число k такое, что для всех точек области выполняется неравенство
2°. Если функция z=f(M) непрерывна в замкнутой ограниченной области, то она достигает в этой области своих точных граней.
3°. Если функция z=f(M) непрерывна в области, то она принимает все промежуточные значения между любыми двумя своими значениями, т. е. если — какие-то значения функции f(М) в данной области, то в этой области существует точка , в которой

Отсюда, в частности, следует, что если — точки данной области и , то в области существует точка
, в которой

4°. Если функция z=f(M) непрерывна в замкнутой ограниченной области, то она равномерно-непрерывна в этой области, т. е. для любого существует такое, что для любых двух точек М’ и М» области, удовлетворяющих условию выполняется неравенство

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