ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 09.04.2024
Просмотров: 210
Скачиваний: 2
Глава VII
ФУНКЦИИ НЕСКОЛЬКИХ ПЕРЕМЕННЫХ
§20. ФУНКЦИЯ. ПРЕДЕЛ ФУНКЦИИ
120.Арифметическое «-мерное пространство. Систему из двух чисел х и у геометрически можно интерпретировать как точку
плоскости, а функцию одной переменной у = / (х) можно геоме трически представить ее графиком. Желая распространить геометрические методы на теорию функций любого числа пере менных, в анализе введено понятие «-мерного пространства при любом натуральном п.
Точкой |
п-мерного |
пространства |
называется система веще |
|
ственных |
чисел |
х х, |
х г, . . ., хп\ |
она обозначается символом |
М (xlf х 2, |
. . ., хп). |
Множество всевозможных таких точек образует |
так называемое п-мерное пространство, которое иногда называют арифметическим.
Точку «-мерного пространства в случаях в = 1 , « = 2 и « = = 3 можно представить геометрически как точку прямой, пло
скости или трехмерного пространства |
соответственно. |
|
|||||||
Арифметическое «-мерное пространство называется эвклидо |
|||||||||
вым |
пространством |
Еп, |
если |
между |
любыми |
его |
точками |
||
М 0 (х1й, |
. . ., хп0) и |
М (хг, . . ., |
хп) |
определено |
расстояние по |
||||
формуле |
d{M0>M) = V (*і — хю)2+ |
|
|
|
|
||||
|
|
... + (*/. — хпй¥- |
(1) |
||||||
В частности, эвклидово пространство |
называется координат |
||||||||
ной |
прямой, а Е 2 — координатной плоскостью. |
|
|
||||||
Множество точек |
{М} |
пространства |
Еп, удовлетворяющих |
||||||
условию |
d (М о, М) < е, |
где е — положительное |
число, назы |
вается г-окрестностъю точки М 0 этого пространства. В частно сти, при « = 1 е-окрестность точки М 0 образует открытый про межуток с центром в точке М 0, длина которого равна 2е, при
п = 2 — круг радиуса е с центром в точке М 0 без ограничивающей его окружности.
Рассмотрим некоторое бесконечное множество >4 точек простран ства Еп. Точка М 0 пространства Еп называется внутренней точкой множества А, если она принадлежит А вместе с некоторой окрестностью точки М 0. Множество А называется открытым, если каждая его точка внутренняя. Примером открытого множе ства пространства Е 2является множество точек, удовлетворяющих условию х 2 + у 2 < 1 . Однако условие х 2 + у2 sg 1 определяет множество, не являющееся открытым, потому что, например, точ ка (1,0) нашему множеству принадлежит, но она не является внутренней точкой рассматриваемого множества.
Множество А называется связным, если любые две его точки можно соединить «ломаной», состоящей из точек множества А. При этом под «отрезком ломаной» в пространстве Еп понимается множество точек этого пространства, удовлетворяющих условию
xk = а* + ß** |
при а C t < ß , |
где к = 1, 2, |
. . ., в, и |
а, ß ,ab |
ß* — постоянные. |
называется |
открытое |
связное |
|
Областью |
пространства Еп |
множество точек этого пространства. Например, множество точек,
удовлетворяющих |
условию |
| х — х 0 | < а , |
| у — у 0\ < |
Ь, есть |
область пространства Е 2. |
Еп называется |
граничной |
точкой |
|
Точка М 1 пространства |
||||
области А, если |
в любой окрестности этой точки имеются точки |
Еп как принадлежащие А, так и не принадлежащие А. Совокуп ность всех граничных точек множества А называется его границей. Область А пространства Еп вместе с ее границей называется
замкнутой областью пространства Еп\ она обозначается символом
А. |
|
|
|
окружности х2 + |
у2 = 1 яв |
|
П р и м е р |
ы. |
Каждая |
точка |
|||
ляется граничной |
точкой |
области, |
определяемой неравенством |
|||
х 2 + У2 < 1 - |
Неравенство |
х 2 + |
у2 sç 1 определяет |
замкнутую |
||
область пространства Е.г. |
|
|
|
|
||
Точкой сгущения, или предельной точкой множества А, назы |
||||||
вается точка |
Р пространства Еп, |
в |
любой окрестности которой |
имеются точки множества А, отличные от Р. Каждая предельная точка области является либо ее внутренней точкой, либо ее граничной точкой.
Многомерная геометрия есть средство математического описания реаль ных явлений. Например, зависимость давления от объема для данной массы газа при данных условиях изображается некоторой кривой. Так, при по стоянной температуре для идеального газа эта кривая — гипербола в соот ветствии с известным законом Бойля — Мариотта. Но если мы имеем более сложную физическую систему, состояние которой задается уже не двумя (как объем и давление в случае однородного газа) исходными данными, а большим числом, то геометрическое представление ее изменения нуждается в про странстве большего числа измерений. Например, пусть речь идет о сплаве трех металлов или о смеси трех газов. Состояние смеси определяется четырьмя данными: температурой Т, давлением р н процентным содержанием с , и сг
двух газов. Состояние такой смеси может быть представлено четырьмя чис лами: Т, р, щ и с2, т. е. точкой четырехмерного пространства. Каждому воз можному состоянию смеси соответствует своя точка пространства Е±.
Такими представлениями фактически пользуются в химии. Применение методов многомерной геометрии к задачам химии разработано школой совет ских физико-хнмиков академика Курнакова и американским ученым Гиббсом.
«Пусть состояние какой-либо физико-химической системы определяется п величинами (так, состояние газовой смеси определяется давлением, темпера турой и концентрациями составляющих ее компонентов). Тогда говорят, что система имеет га степеней свободы, выражая этим, что ее состояние может меняться, так сказать, в п независимых направлениях с изменением каждой из определяющих это состояние величин. Эти величины, определяющие со стояние системы, играют роль как бы его координат. Поэтому совокупность всех ее состояний рассматривают как га-мерное пространство — так называ емое фазовое пространство системы.
Непрерывные изменения состояния, т. е. процессы, происходящие в си стеме, изображаются линиями в этом пространстве. Отдельные области со стояний, выделяемые по тем или иным признакам, будут областями про странства. Состояния, пограничные для двух областей, образуют поверхности в этом пространстве.
...Понятие фазового пространства применяется не только к физико-хими ческим, но и к механическим системам. В кинетической теории газов рассма тривают, например, фазовые пространства системы материальных частиц — молекул газа. Состояние движения одной частицы в каждый момент опре деляется ее положением и скоростью, что дает всего шесть величин: три коор динаты и три составляющие скорости (по трем осям координат). Состояние п частиц задается 6га величинами, и так как молекул очень много, то 6га —огром ное число. Точка в этом пространстве изображает состояние всей массы моле кул с их координатами и скоростями. Движение точки изображает измене ние состояния» *. Такое абстрактное представление оказывается очень полез ным во многих глубоких теоретических выводах термодинамики и статисти ческой физики.
121. Понятие функции нескольких переменных. В нашем курсе наиболее подробно рассматривается случай функции двух неза висимых переменных. Однако все введенные понятия и полу ченные результаты могут быть соответственно обобщены на случай функции любого числа независимых переменных.
Пусть А есть |
область изменения независимых переменных х |
||||
и у. Переменная |
и |
называется |
ф у н к ц и е й |
н е з а в и с и м ы х |
|
п е р е м е н н ы х |
х |
и |
у на м н о ж е с т в е А, |
если каждой паре |
|
чисел X, у из А |
соответствует |
определенное |
значение и. Пере |
менные X и у называются также аргументами функции и.
Множество А пар чисел х , у, на котором определена функция, называется областью определения, или областью существования функции. Областью А определения функции двух переменных может быть область плоскости (открытое связное множество точек эвклидова двумерного пространства £ 2), но может быть и зам кнутая область плоскости. Ею может быть линия или какое-либо иное множество точек плоскости Е 2.
Приведем несколько примеров функций, заданных аналитиче ски с указанием областей их определения.
* А. Д. А л е к с а н д р о в . Математика, ее содержание, методы и значение, т. III, Абстрактные пространства. М., АН СССР, 1956, с. 117—149.
1. |
Функция |
задана |
формулой |
и — ln (1 — х2 — у2) внутри |
круга, определяемого неравенством |
х 2 + у2 < 1. |
|||
2. |
Функция задана формулой и= ] /г 2 — х 2 — у 2 внутри и на |
|||
границе круга, определяемого неравенством х 2 -f у2 s£ г2. |
||||
3. |
Функция |
задана |
формулой |
и — х — у на эллипсе х 2 + |
+ V |
= 4. |
|
|
|
В |
общем случае тот факт, что и есть функция аргументов х |
|||
и у, |
изображается символом и — / |
(х, у), или и = и (х, у) и т. п. |
Понятие функции двух независимых переменных легко обоб щить на случай функции любого числа независимых переменных.
Переменная и называется |
функцией п н е з а в и с и м ы х п е р е |
м е н н ы х жІ5 х г, • • -, хп |
на м н о ж е с т в е В (п-мерного прост |
ранства), если каждой точке этого множества соответствует
определенное значение переменной и. |
|
через |
М, |
то |
функцию |
||||||||
Если |
точку (хг, |
. . ., хп) |
обозначить |
||||||||||
и = / (xlt . . ., хп) от этих переменных иногда называют функ |
|||||||||||||
цией точки М и обозначают так: и = / (М ) или и = |
и (М ). |
|
|||||||||||
Функция и = |
и (М ) с областью определения В есть отображе |
||||||||||||
ние множества В на множество U, представляющее область изме |
|||||||||||||
нения переменной и. |
|
|
|
|
|
|
|
|
хп) |
||||
Геометрическим образом функции п переменных u = f (хг, |
|||||||||||||
является |
множество всех |
точек |
(xlt |
. . ., |
хп, |
|
и), |
для |
|||||
которых выполнено соотношение и = / (хг, . . ., хп). |
В частно |
||||||||||||
сти, |
функции |
двух |
переменных |
и = |
f (х, у) в |
трехмерном |
про |
||||||
странстве соответствует, вообще говоря, поверхность. Напри |
|||||||||||||
мер, |
функции |
и = X 2 + у2 соответствует |
параболоид |
вращения |
|||||||||
(см. |
п. 116). |
|
|
предела функции. |
Теория пределов. |
Пусть |
|||||||
122. |
Понятие |
||||||||||||
функция и = / (х, у) определена в области А и |
М 0 — точка сгу |
||||||||||||
щения множества А. Число Ъ называется п р е д е л о м |
ф у н к ц и и |
||||||||||||
f (х, у) при с т р е м л е н и и т о ч к и М |
(х, у) к точке М 0(х0, у0), |
||||||||||||
если для каждого числа е )> 0 существует |
соответствующее число |
||||||||||||
8 > 0 |
такое, |
что |
неравенство |
|
|
|
|
|
|
|
|||
|
|
|
|
|
\ f ( x , y ) - b \ C E |
|
|
|
|
(2) |
|||
выполняется при |
условии |
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
0 < d ( M 0tM)<8 . |
|
|
|
|
(3) |
|||
Этот |
факт |
записывают |
символически |
|
|
|
|
|
|||||
|
|
lim / (х, у)= b |
или |
lim |
f(M) — b. |
|
|
|
(4) |
||||
|
|
X |
-*• * 0 |
|
|
|
М |
М о |
|
|
|
|
|
|
|
У |
^Уо |
|
|
|
|
|
|
|
|
|
|
Условие (3) означает, что точка М принадлежит б-окрестности точки М0 и не совпадает с М 0.
Функция и = f (М ) называется бесконечно малой при стремле нии М к М 0, если lim / (М) = 0 при М -> М0.