1610912323-1fc1b3bcc659496f33781bec5ac53988 (824702), страница 83
Текст из файла (страница 83)
Непрерывность функции многих переменных и свойства непрерывных функций. Пусть Š— множество в пространстве К и ~: Е + К" — определенная на нем функция со значениями в пространстве К". Определение 6. Функция 1: Е -+ К" называется непрерывной в точке а Е Е, если для любой окрестности У'®а)) значения у1а) этой функции, принимаемого ею в точке а, найдется такая окрестность Уе(а) точки а в множестве Е, образ которой у1Уе(а)) содержится в Щ(а)). Итак, (1: Е -+ К" непрерывна в а е Е):= = (УЪ'Ц(а)) 311е(а) ®Уе(а)) С У'(,1'1а)))). Мы видим, что по форме определение 6 совпадает со знакомым нам определением 1 непрерывности вещественнозначной функции, приведенным в 91 гл. 1У. Как и там, мы можем дать следующие вариации записи этого определения: (1: Е -+ К непрерывна в а Н Е):= = (Уе > О Лд > О 7х е Е (Н(х, а) < Б ~ д(Дх), Да)) < е)), или, если а — предельная точка множества Е, (у:е я РР ее):= н Л)=у()).
\,еэх — ~а Как уже отмечалось в главе 1Ч, понятие непрерывности представляет интерес именно в том случае, когда речь идет о точке а е Е, предельной для множества Е, на котором определена функция у. Из определения 6 и соотношения (2) следует, что отображение 1": Š— 1 К", задаваемое соотношением (х',..., х ) = х ~ — + у = 1у1,..., у") = = 11 1х,..., х~),..., 1 "(х,..., х~)), непрерывно в некоторой точке в том и только в том случае, когда каждая из функций у' = 1'(х1,..., х™) непрерывна в этой точке.
ГЛ. УП. ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ 492 В частности, вспомним, что путем в К" мы назвали отображение 1: 1 — + К" промежутка 1 С К, задаваемое непрерывными функциями 1'(х),..., 1" (х) в виде х ~-~ у = (у,..., у") = (1 ~ (х),..., 1" (х)). Таким образом, мы теперь можем сказать, что путь в К" есть непрерывное отображение промежутка 1 С К вещественной оси в пространство Кп. По аналогии с определением колебания вещественнозначной функции в точке, вводится понятие колебания в точке функции со значениями в К". Пусть Š— множество в Р"', а Е Е и Ве(арг) = Е ПВ(арг).
Определение 7. Колебанием функции 1: Š— ~ К" в точке а Е Е называется величина а(у;а):= 1пп и®Ве(арг)). .-++о Из определения б непрерывности функции, с учетом свойств предела и критерия Коши, получаем совокупность часто используемых локальных свойств непрерывных функций. Перечислим зти Локальные свойства непрерывных функций а) Отображение 1: Е -+ К" множества Е С К™ непрерывно в точке а й Е тогда и только тогда, когда м(1';а) = О. Ь) Отображение 1: Š— + К", непрерывное в точке а е Е, ограничено в некоторой окрестности с1е(а) этой точки. с) Если отображение д: У -+ К" множества Ус К" непрерывно е точке уо Е У, а отображение 1: Х вЂ” ь У множества Х С К™ непрерывно в точке хо Е Х, причем Дхо) = уо, то определено отображение д о у: Х вЂ” ь Кь и оно непрерывно в точке хо е Х. Вещественнозначные функции, кроме того, обладают еще следующими свойствами.
д) Если функция 1": Е + К непрерывна в точке а Е Е и 1(а) > 0 (или~(а) < 0), то найдется такая окрестность 'ь1е(а) точки а в Е, что для х Е 'с1е(а) справедливо 1(х) > 0 (соответственно, 1 (х) < 0). 12. ПРЕДЕЛ И НЕПРЕРЫВНОСТЬ ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ 493 е) Если 4ункиии у: Е -+ К и д: Е -+ К непрерывны в точке а Е Е, то их линейная комбинация (а(' + )1д): Е -+ К, где а, )д Е К, произведение (г" д): Š— 4 К, а если д(х) ф 0 на Е, то и частное ~ 1: Š— 4 К, /у~ определены на Е и непрерывны в точке а Н Е. Условимся говорить, что функция г": Š— + К" непрерывна на множестве Е, если она непрерывна в каждой точке этого множества. Множество функций у': Е -+ К", непрерывных на Е, будем обозначать символом С(Е; К" ) или символом С(Е), если область значений функций однозначно определяется по контексту; как правило, это сокращение будет использоваться в случае, когда К = К.
Пример 6. Функции (х',...,х ) ~ — + х' (4 = 1,...,т), отображающие К"' на К (проекции), очевидно, непрерывны в любой точке а = = (а1,..., а™) Е К™, ибо 1пп к'(х) = а' = к'(а). х-~а Пример 7. Любую функцию х ~-+ у(х), определенную на К, на- Р пример х + гйпх, можно рассматривать и как функцию (х,у) + Г(х), определенную, положим, на К2. В таком случае, если у была непрерывна Р как функция на К, новая функция (х, у) ~ — + у (х) будет непрерывна как функция на К2.
Это можно проверить либо непосредственно по определению непрерывности, либо заметить, что функция Е есть композиция (у о я1)(х, у) непрерывных функций. В частности, отсюда с учетом с) и е) следует, что, например, функции у(х, у) = агах + е ", у(х, у) = агс48 (1п 0х! + !у! + 1)) непрерывны на К . Заметим, что проведенные рассуждения по существу своему локальны, а то, что в примере 7 функции г' и Г рассматривались соответственно на всей оси К или плоскости К2, является обстоятельством случайным. Пример 8.
Функция у(х,у) из примера 2 непрерывна в любой точке пространства К2, кроме точки (О, 0). Заметим, что, несмотря на разрывность функции г (х, у) в точке (О, 0), эта функция непрерывна по любой из двух своих переменных при каждом фиксированном значении другой переменной. ГЛ. УП. ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ 494 Пример 9.
Если функция 1: Е -+ К" непрерывна на множестве Е, а Š— подмножество Е, то ограничение Дй функции ~ на это подмножество есть функция, непрерывная на Е, что непосредственно следует из определения непрерывности функции в точке. Перейдем теперь к глобальным свойствам непрерывных функций. Чтобы сформулировать их для функций 1: Е + К", дадим сначала два определения. Определение 8. Отображение 1: Е -+ К" множества Е с К™ в пространство К" называется равномерно непрерывным на Е, если для любого числа е > 0 найдется такое число с > О, что для любых точек хм хз Е Е таких, что й(хм хз) < с, выполнено й®х1), ~(хз)) < с.
Как и прежде, подразумевается, что расстояния д(хм хз), д®х1), Дхз)) измеряются соответственно в К ' и К". При т = п = 1 мы возвращаемся к уже знакомому нам определению равномерной непрерывности числовых функций. Определение 9. Множество Е с К"' называется линейно связнььм, если для любой пары хс, х1 его точек существует путь Г: 1 — + Е с носителем в Е и с концами в этих точках. Иными словами, из любой точки хе е Е можно пройти к любой точке х1 е Е, не выходя за пределы множества Е.
Поскольку мы пока не будем рассматривать иного понятия связности множества, кроме понятия линейной связности, то для краткости условимся пока линейно связные множества назвать просто связными. Определение 10. Областью в пространстве К"' называется открытое связное множество. Пример 10. Шар В(а; г), г > О, в К™ является областью. Открытость В(а; г) в К™ нам уже известна. Проверим, что шар связен. Пусть хе = (х~о,..., хо ) и х1 = (х'„..., х™) — две точки шара.
Путь, задаваемый функциями х'($) = Фх1 + (1 — 1)х~~ (г = 1,..., т), определенными на отрезке 0 < 1 < 1, имеет своими концами точки хс и х1. Кроме того, его носитель лежит в шаре В(а; г), поскольку, в силу неравенства 12. ПРЕДЕЛ И НЕПРЕРЫВНОСТЬ ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ 495 Минковского, при любом 1 Е (О, 1] й(х(х), а) = ~~> (хг (1) а1) ~=1 Г (х(х' — а')) + т (х' — а') + (1 — х) .
и=1 ю=1 ','~ ' (х'' — а') ( хг+ (1 — х)г = Пример 11. Окружность (одномерная сфера) радиуса г > 0 есть подмножество в ~к, задаваемое уравнением (х1) + (х~)г = гг. Полагая х1 = гсов8, х~ = гв1п1, видим, что любые точки окружности можно соединить путем, идущим по этой окружности. Значит, окружность— связное множество.
Однако это множество не является областью в 11г, поскольку оно не открыто в Кг. Сформулируем теперь основные Глобальные свойства непрерывных функций а) Если отображение 1: К вЂ” + К" непрерывно на компакте К С К™, то оно равномерно непрерывно на К. Ь) Если отображение ~: К вЂ” ~ К" непрерывно на компакте К С К то оно ограничено на К. с) Если функция ~: К вЂ” + К непрерывна на компакте К С ~™, то она принимает в некоторых точках К минимальное и максимальное из своих значений на К.
д) Если функция 1: Š— 4 К непрерывна на свлзном множестве Е, принимает в точках а,о Е Е значения 1(а) = А, ГЯ = В, то для любого числа С, лежащего между А и В, найдется точка с Е Е, в которой 1(с) = С. Изучая в свое время (гл. 1У, у 2) локальные и глобальные свойства числовых функций одной переменной, мы дали такие их доказательства, которые переносятся и на рассматриваемый здесь более общий случай. Единственное изменение, которое при этом следует сделать в ГЛ. УП, ФУНКЦИИ МНОГИХ ПЕРЕМЕННЫХ 496 прежних доказательствах, состоит в том, что выражения типа [хт — х2[ или ]((хт) — ~(хз) [ надо заменить на д(хт, хз) и т1®хт), ~(хз)), где д— метрика в том пространстве, где лежат рассматриваемые точки.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
