Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Краткий курс математического анализа. Том 2

.pdf
Скачиваний:
388
Добавлен:
10.05.2015
Размер:
4.49 Mб
Скачать

20 Гл. 4. Дифференциальное исчисление функций многих переменных

этого утверждения сразу следует из равносильности сформулирован-

ного условия и условия (33.38).

Как и на прямой, в n-мерном пространстве всякая неограниченная последовательность содержит подпоследовательность, стре-

мящуюся к бесконечности.

 

 

В самом деле, если x(m)

— неограниченная последовательность

точек пространства Rn, то

существует такой

ее член x(m1), что

ρ(x(m1), O) > 1. Далее, существует член x(m2)

такой, что m2 > m1

и ρ(x(m2), O) > 2. Вообще, существует член x(mk ) такой, что

m

k

> m

k−

1, ρ(x(mk ), O) > k, k = 2, 3, ...

 

 

 

Очевидно, что lim x(mk ) = ∞.

k→∞

Точки пространства Rn для их отличия от бесконечно удаленной точки будем называть также и конечными точками.

33.3. Различные типы множеств. В этом параграфе под множествами будем понимать множества, лежащие в n-мерном пространстве.

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

множестве.

Совокупность всех внутренних точек данного множества называется его внутренностью.

Внутренность множества X обозначается Xint 1).

О п р е д е л е н и е 12. Множество, у которого все точки являются

внутренними, называется открытым.

 

Таким образом, открытые множества — это те множества, которые

совпадают со своей внутренностью.

 

Пустое множество по определению считается

открытым.

 

 

Л е м м а 3.

Сферическая окрестность яв-

ляется открытым множеством.

 

Если U (x; ε) — сферическая окрестность точ-

ки x Rn и y U (x; ε) (рис. 3), то,

положив

δ = ε − ρ(x, y),

покажем, что

 

 

U (y; δ) U (x; ε).

(33.40)

Действительно, если z U (y; δ), т. е.

 

ρ(z, y) < δ = ε − ρ(x, y),

 

1) int — начало латинского слова interior (внутренний).

 

§ 33. Многомерные пространства

21

то

ρ(z, x) ρ(z, y) + ρ(y, x) < ε,

(33.39)

и, следовательно, z U (x; ε), т. е. включение (33.40) доказано. Аналогично показывается, что и прямоугольная окрестность точ-

ки является открытым множеством.

Для любого множества X его внутренность Xint является, как

вэтом нетрудно убедиться, открытым множеством.

Уп р а ж н е н и е 2. Доказать, что ε-окрестность бесконечно удаленной точки, из которой удалена сама эта точка, является открытым множеством.

Оказывается удобным следующее определение.

О п р е д е л е н и е 13. Всякое открытое множество пространства Rn, содержащее данную точку, называется ее окрестностью.

Окрестностью бесконечно удаленной точки ∞ называется всякое множество, которое является объединением открытого в Rn множества с и которое содержит ε-окрестность ∞.

Иначе говоря, множество G {∞}, где G — открытое множество, является окрестностью , если существует такое ε > 0, что U (; ε)

G {∞}.

Окрестность точки обозначается

U = U (x)

(иногда и другими буквами, например, V = V (x), W = W (x)).

З а м е ч а н и е 1. Пусть {x(m)} — последовательность точек в Rn. Поскольку какова бы ни была точка x Rn, в любой ее окрестности содержится сферическая окрестность, то согласно определению 5

lim x(m) = x

m→∞

в том и только том случае, когда для л ю б о й окрестности U (x) (не обязательно сферической или прямоугольной) существует такой номер m0, что для всех m > m0 выполняется включение

x(m) U (x).

Полезным в случае n-мерного пространства оказывается и понятие проколотой окрестности.

О п р е д е л е н и е 14. Проколотой окрестностью U (x) точки x

(конечно или бесконечно удаленной) называется всякое множество, получающееся удалением точки x из некоторой ее окрестности U (x):

def

U (x) = U (x) \ {x}.

Л е м м а 4. Объединение любой совокупности и пересечение конечной совокупности открытых множеств являются открытыми множествами.

22 Гл. 4. Дифференциальное исчисление функций многих переменных

Действительно, если A — некоторое множество индексов, Gα

открытые множества, α A, и G =

 

Gα, то для любой точки x G

существует такое

α

 

A,

что x

α A

Это множество

G

 

,

напри-

G

.

 

 

 

α

 

 

α

 

мер, и является окрестностью точки x, содержащейся в множестве G,

так как Gα G. Это и означает открытость множества G.

Если G = Gk, где Gk — открытые множества и x G, то су-

m

k=1

ществуют εk > 0 такие, что U (x; εk) Gk, k = 1, 2, ..., m, а тогда для ε = min 1, ε2, ..., εm} имеем U (x; ε) Gk для всех k = 1, 2, ..., m. Поэтому U (x; ε) G, т. е. множество G открытое.

О п р е д е л е н и е 15. Объединение всех ε-окрестностей точек множества X называется ε-окрестностью этого множества и обознача-

ется U (X; ε), т. е.

 

 

U (X; ε) = U (x; ε).

 

x X

Согласно леммам 3 и 4 ε-окрестность любого множества является открытым множеством.

Как и для точки, окрестностью множества называется всякое содержащее его открытое множество.

Аналогично одномерному случаю для всякого множества X Rn вводятся понятия его точек прикосновения, предельных и изолированных точек (см. п. 6.1 и п. 6.9).

О п р е д е л е н и е 16. Точка пространства (конечная или бесконечно удаленная) называется точкой прикосновения множества, если

любая ее окрестность содержит точки этого множества.

Точки самого множества являются, очевидно, его точками прикосновения, так как любая окрестность точки множества содержит саму эту точку. Точки прикосновения могут и не принадлежать самому множеству. Например, точки x = 0 и x = 1 являются точками прикосновения интервала X = (0, 1) и не принадлежат ему.

Если точка x(0) является конечной точкой прикосновения множе-

 

X

R

n,

любая ее окрестность

в частности, сферическая

ства

 

 

то(0)

 

1

 

 

 

 

окрестность U

x

;

 

 

 

 

 

m содержит точку этого множества, обозначим

ее x(m):

 

 

 

 

 

 

 

 

x(m) U x(0);

1

∩ X,

m = 1, 2, ...

 

 

 

 

m

Тогда ρ(x(m), x(0)) < m1 и, следовательно,

lim x(m) = x(0),

m→∞

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

§ 33. Многомерные пространства

23

Ясно, что справедливо и обратное утверждение: если точка пространства является пределом последовательности точек множества, то она — его точка прикосновения, так как любая ее окрестность содержит все точки указанной последовательности, начиная с неко-

торого номера, т. е. содержит точки множества.

является точкой при-

Аналогично, бесконечно

удаленная точка

 

R

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

косновения множества

X

 

 

тогда и

только тогда, когда суще-

 

 

 

 

 

 

 

 

 

(m)

 

X,

m = 1, 2,

 

 

,

 

 

 

такая последовательность точек x

 

 

 

 

...

что

ствует (m)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

= ∞.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m→∞ x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Действительно, если — точка прикосновения множества X,

то в любой ее окрестности U ∞;

1

 

содержится точка этого множе-

m

 

 

 

 

(m)

 

 

 

(m)

 

 

1

 

 

 

 

 

ρ(x

(m)

, 0) >

ства, обозначим ее x

 

, т. е. x

 

U

;

 

 

 

∩ X. Тогда

 

 

 

 

 

m

 

 

 

,

> m,

где

m = 1, 2,

... Отсюда следует, что

 

lim

ρ(x

(m), 0

 

 

 

 

 

а это

 

 

 

 

 

 

 

) =

 

 

означает, что m→∞ x

(m)

= ∞.

 

 

 

 

 

m→∞

 

 

 

 

 

 

 

 

 

 

lim

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Наоборот, если

существует такая последовательность x(m)

 

 

X,

 

 

(m)

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

m = 1, 2, ..., что lim x

 

, то в любой окрестности бесконечно

m→∞

удаленной точки содержатся все члены этой последовательности, начиная с некоторого номера, т. е. содержатся точки множества X.

Отметим еще, что условие существования в множестве X Rn последовательности точек, стремящейся к бесконечности , равносильно, как в этом легко убедиться, неограниченности этого множества. Поэтому бесконечно удаленная точка является точкой прикосновения множества в том и только том случае, когда оно неограниченно.

О п р е д е л е н и е 17. Точка x (конечная или бесконечно удаленная) называется предельной точкой некоторого множества, если в лю-

бой ее окрестности содержится точка этого множества, отличная от нее самой.

С помощью понятия проколотой окрестности это определение можно перефразировать следующим образом: точка x называется предельной точкой множества X, если любая ее проколотая окрест-

ность содержит по крайней мере одну точку этого множества. Очевидно, что предельная точка некоторого множества являет-

ся и его точкой прикосновения.

Если точка x является предельной точкой множества X, то, выбрав в каждой окрестности U (x; 1/m) точку из множества X, отличную от x, и обозначив ее x(m), получим такую последовательность

x

(m)

X

,

m =

1, 2,

...

,

что

lim x(m) = x

и

x(m) = x, m = 1, 2,

...

,

т. е.

 

 

 

 

m→∞

 

 

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

24 Гл. 4. Дифференциальное исчисление функций многих переменных

О п р е д е л е н и е 18. Если у точки множества существует окрест-

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

Как и в одномерном случае (п. 6.9.), каждая точка прикосновения множества является либо его изолированной точкой, либо предельной.

О п р е д е л е н и е 19. Совокупность всех конечных точек прикосновения множества называется его замыканием. Замыкание множе-

ства X обозначается X.

О п р е д е л е н и е 20. Множество называется замкнутым, если оно содержит все свои конечные точки прикосновения.

Поскольку каждая точка множества является и точкой его прикосновения, т. е. X X, то замкнутость множества X означает, что

X =

X

.

(33.41)

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

У п р а ж н е н и е 3. Доказать, что diam X = diam X. Примерами замкнутых множеств являются множества вида

Qn = {x = (x1, x2, ..., xn) : ai xi ai + h, i = 1, 2, ..., n}, (33.42)

где h > 0, ai R, i = 1, 2, ..., n, называемые замкнутыми n-мерными кубами с ребрами длины h, параллельными координатным осям. Эти кубы являются замыканиями кубов

P n = {x = (x1, x2, ..., xn) : ai < xi < ai + h, i = 1, 2, ..., n},

называемых также открытыми кубами (они являются открытыми

множествами):

Qn = P n.

Л е м м а 5. Замыкание всякого множества является замкнутым множеством.

Если X — некоторое множество, x — точка прикосновения его замыкания X и U = U (x) — ее произвольная окрестность, то, согласно определению точки прикосновения, в этой окрестности имеется точка y X. Поскольку U — открытое множество, то оно является и окрестностью точки y, а так как включение y X означает, что точка y является точкой прикосновения множества X, то в множестве U имеется точка множества X. Таким образом, в любой окрестности U точки x имеются точки множества X, а это означает, что x X, т. е. X содержит все свои точки прикосновения.

Для всякого множества X Rn множество Rn \ X называется его дополнением в пространстве Rn. Оказывается, что открытые мно-

жества (будем их обозначать буквой G) и замкнутые множества (их

будем обозначать F ) являются дополнениями друг друга в пространстве Rn.

§ 33. Многомерные пространства

25

Л е м м а 6. Дополнение открытого множества является замкнутым, а дополнение замкнутого множества — открытым множеством.

Пусть F — замкнутое множество и G = Rn \ F. Если x G, то x F , и, следовательно, точка x не является точкой прикосновения множества F. Поэтому существует окрестность U (x) точки x, не содержащая точек множества F , т. е. содержащаяся в G. Таким образом, любая точка множества G является внутренней, а это означает, что G — открытое множество.

Пусть G — открытое множество, F = Rn \ G и x G. Поскольку G — открытое множество, то оно является окрестностью точки x, причем, являясь дополнением множества F , оно не содержит его точек. Следовательно, никакая точка x G не является точкой прикосновения множества F. Иначе говоря, все точки прикосновения множества F содержатся в нем самом, а это означает, что F — замкнутое множество.

Заметим, что все пространство и пустое множество являются одновременно открытыми и замкнутыми.

О п р е д е л е н и е 21. Точка пространства называется граничной точкой некоторого множества, если в любой ее окрестности существуют точки, как принадлежащие этому множеству, так и не принадлежащие ему.

Совокупность всех граничных точек множества X называется его границей и обозначается ∂X.

Очевидно, что граничная точка множества является и его точкой прикосновения.

Каждая точка множества является либо его внутренней точкой, либо граничной, при этом множество может не содержать все или

некоторые граничные точки:

 

X Xint ∂X, Xint ∩ ∂X = .

(33.43)

Каждая точка замыкания X множества X также является либо внутренней, либо граничной точкой самого множества X, но его замыкание X содержит в себе уже все граничные точки множества:

∂X X.

Поэтому

 

X

= Xint ∂X.

(33.44)

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

26 Гл. 4. Дифференциальное исчисление функций многих переменных

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

Для границы ∂X любого множества X имеет место включение

∂X ∂X.

Действительно, если x ∂X, то для любой окрестности U (x) точки x согласно определению граничной точки имеем:

U (x) ∩ X = , U (x) (Rn \ X) = .

Из первого условия следует, что в окрестности U (x) точки x существует точка y, принадлежащая множеству X, т. е. y U (x) ∩ X. Множество U (x) как и всякое открытое множество, содержащее точку y X, является окрестностью этой точки. Поэтому согласно определению замыкания X множества X в ней имеется точка множества X.

Иначе говоря,

U (x) ∩ X = .

Далее, из X X имеем Rn \ X Rn \ X. Поэтому из условия

U (x) (Rn \ X) =

следует, что

U (x) (Rn \ X) = .

Итак, для любой окрестности U (x) точки x ∂X имеем

U (x) ∩ X = , U (x) (Rn \ X) = .

Это и означает, что x ∂X.

У п р а ж н е н и е. Привести пример множества X, у которого

∂X = ∂X.

П р и м е р 1. Замыкание ε-окрестности U (x; ε) точки x (33.25) называется замкнутым шаром с центром в точке x и радиуса ε; оно,

согласно лемме 4, является замкнутым множеством:

 

 

 

= {y : ρ(y, x) ε}.

(33.45)

 

U (x; ε)

П р и м е р 2. В пространстве Rn замкнутое множество вида

 

Sn−1 = {x : ρ(x, a) = r}

(33.46)

называется (n − 1)-мерной сферой радиуса r с центром в точке a. Оно является границей как открытого, так и замкнутого шара

радиуса r с центром в точке a.

Всякое отображение x(t) отрезка [a, b] числовой прямой (или какого-либо другого множества) в пространство Rn можно описать

§ 33. Многомерные пространства

27

при помощи n числовых функций xi(t),

i = 1, 2, ..., n,

называемых

координатными и являющихся координатами точки x(t), т. е.

x(t) = (x1(t), ..., xn(t)),

a t b.

 

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

О п р е д е л е н и е 22. Непрерывное отображение отрезка в n-мер-

ное пространство называется кривой в этом пространстве, а образ отрезка — носителем кривой.

Как и в трехмерном случае, будем обозначать кривую буквой Γ

и писать

 

 

Γ = {x(t); a t b}

(33.47)

или

a t b}.

 

Γ = {xi(t); i = 1, 2, ..., n;

 

Для кривой (33.47) всякая пара (x, t),

x Rn, t [a, b],

у которой

x = x(t), называется точкой кривой и там, где это не может привести

к недоразумениям, обозначается x(t). Точка кривой x(a) называется ее началом, а точка x(b) — концом.

О п р е д е л е н и е 23. Множество точек x = (x1, ..., xn)

простран-

ства Rn, координаты которых представимы в виде

 

xi = xi(0) + ait, i = 1, 2, ..., n, ...,

n

 

−∞ < t < +,

ai2 > 0,

 

=1

(33.48)

 

i

называется прямой в пространстве

Rn, проходящей через точку

x(0) = (x(10), x(20), ..., x(n0)) в направлении вектора a = (a1, a2, ..., an). Если x = (x1, x2, ..., xn), a = (a1, a2, ..., an) и x(0) = (x(10), x(20), ..., x(n0))

рассматривать как векторы, то уравнения (33.48) можно записать в векторном виде

x = x(0) + at, −∞ < t < +∞.

Сужение этого отображения на множество t > 0 или на t 0 (соответственно на t < 0 или t 0) называется открытым или замкнутым лучом с началом в точке x(0) в направлении вектора a

(соответственно −a).

Вектор a называется направляющим вектором прямой x = x(0) +

+ at. Две несовпадающие прямые, уравнения которых можно записать с одним и тем же направляющим вектором, называются параллельными.

Сужение отображения (33.48) на какой-либо отрезок [a, b], т. е.

кривую {xi = ai + bit, i = 1, 2, ..., n; a t b}, так же, как и носитель этой кривой, называется отрезком прямой в пространстве Rn.

28 Гл. 4. Дифференциальное исчисление функций многих переменных

Отрезок прямой, началом которого является x(a), а концом — x(b), обозначается [x(a), x(b)].

П р и м е р 3. Рассмотрим замкнутый n-мерный куб

Qn = {x : |xi − x(i0)| a, i = 1, 2, ..., n}.

Для всякого фиксированного i0 (i0 может принимать значения 1, 2, ...

..., n) множество вида

{x : |xi0 − x(i00)| a, xi = x(i0) ± a, i {1, 2, ..., n} \ {i0}},

где при каждом i = i0 в равенстве xi = x(i0) ± a выбран один из

знаков, плюс или минус, является отрезком в пространстве Rn (эти отрезки называются ребрами куба Qn). В самом деле, координаты

точек рассматриваемого множества могут быть заданы формулами xi0 = x(i00) + at, 1 t 1, xi = x(i0) ± a, i {1, 2, ..., n} \ {i0}.

Будем говорить, что две точки x(1) и x(2) множества X Rn можно соединить в этом множестве кривой, если существует такая кривая (33.47), что x(a) = x(1), x(b) = x(2) и ее носитель лежит в множестве X.

Оп р е д е л е н и е 24. Множество X Rn, любые две точки которого можно соединить в нем кривой, называется линейно связным множеством.

Линейно связное открытое множество называется областью. Замыкание области называется замкнутой областью.

Оп р е д е л е н и е 25. Множество, любые две точки которого мож-

но соединить отрезком, лежащим в этом множестве, называется выпуклым.

Очевидно, что всякое выпуклое множество является и линейно связным.

П р и м е р 4. Открытый шар в Rn является выпуклой областью. П р и м е р 5. Объединение двух непересекающихся открытых шаров в Rn является открытым множеством, но не является областью. П р и м е р 6. Объединение двух пересекающихся, но не совпадающих прямых является примером линейно связного, но не выпуклого

множества.

33.4. Компакты. Рассмотрим важный для дальнейшего класс множеств, называемых компактами.

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

Те о р е м а 3. Для того чтобы множество было компактом, необходимо и достаточно, чтобы оно было ограниченным и замкнутым.

(33.49)

§ 33. Многомерные пространства

29

 

Н е о б х о д и м о с т ь. Если множество X

 

Rn является неограни-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

(m)

 

 

X, что

ченным, то для любого m

 

N найдется такая точка

 

 

 

 

,

 

(m)

,

 

0, 0,

 

 

 

 

 

 

lim x

(m)

=

 

 

 

x ) > m

O = (

, 0

 

 

 

 

 

 

,

а поэто-

ρ(O

 

...

 

). Очевидно, что m→∞

 

 

 

 

 

и для любой подпоследовательности

{

x(mk )

} последовательности

му(m)

} также имеем

lim

x

(mk )

 

 

 

 

{x

 

 

 

 

= ∞. Тем самым из полученной по-

m→∞

следовательности x(m) X, m = 1, 2, ..., нельзя выделить подпоследовательность, сходящуюся к точке множества X. Это означает, что множество X не является компактом.

Если множество X не является замкнутым множеством, то существует не принадлежащая ему его точка прикосновения: x X \ X.

В силу определения точки прикосновения для любого m

 

N суще-

ствует точка

 

(m)

 

 

 

 

 

(m)

 

1

 

 

lim x

(m)

= x,

 

x

 

 

X

U

x

 

;

 

.

Тогда

 

и для лю-

 

 

 

 

 

 

 

m

m→∞

 

 

бой подпоследовательности {x(mk )} последовательности {x(m)} также

имеем lim x(mk ) = x X. Тем самым из последовательности x(m) X,

k→∞

m = 1, 2, ..., нельзя выделить подпоследовательность, сходящуюся к точке множества X. Это означает, что множество X не является компактом.

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

До с т а т о ч н о с т ь. Пусть множество X является ограниченным

изамкнутым, а {x(m)} — произвольная последовательность его точек.

Из ограниченности множества X следует ограниченность последовательности {x(m)}. Согласно теореме 2 п. 33.2 из последовательности {x(m)} можно выделить сходящуюся подпоследовательность {x(mk )}.

Если lim x(mk ) = x, то в любой окрестности точки x имеются точки

k→∞

последовательности x(mk ) X, m = 1, 2, ... Это означает, что точка x является точкой прикосновения множества X, а поэтому в силу замкнутости множества X она в нем содержится. Таким образом, из произвольной последовательности точек множества X можно выделить сходящуюся к его точке подпоследовательность, т. е. множество X является компактом.

Система множеств Xα Rn, α A (A — некоторое множество ин-

дексов) называется покрытием множества X Rn, если

X Xα.

α A

Те о р е м а 4. Для любого покрытия компакта открытыми множествами существует такое положительное число (называемое числом Лебега 1) данного покрытия), что любое подмножество компакта с диаметром, меньшим этого числа, содержится по крайней мере в одном элементе покрытия.

1) А. Лебег (1875–1941) — французский математик.