Материал: 5691

Внимание! Если размещение файла нарушает Ваши авторские права, то обязательно сообщите нам

96

пункте.

Имеются множества, которые не являются ни открытыми, ни замкнутыми. Простейшими примерами таких множеств являются полуотрез-

ки a, b и a, b координатной прямой.

Напомним ещё, что в главе 1 отрезок a, b назывался замкнутым промежутком, а интервал a, b– открытым промежутком, чему и дано

объяснение в этом пункте.

Введём ещё два важных определения – понятия граничной точки множества и границы множества.

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

Граничные точки M 0 для

M в двумерном пространстве R2 изоб-

ражены на рис. 16.

 

 

 

 

M0

 

 

 

M 0

 

M

~

M0

M

 

 

 

М

 

 

 

Рис. 16

 

 

На рисунке 16 для каждого множества M

изображено по одной

граничной точке M 0 . На левом рисунке точка M 0

является и предельной

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

множество

M является замкнутым. На среднем рисунке граничная точка

M 0

является предельной для M , но не принадлежит этому множеству;

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

M является открытым. На правом рисунке множество

M

 

 

 

~

и одной изолированной точки

есть объединение множества М

M 0

M

( M

~

M 0 ). Граничная точка M 0 не является пре-

М

дельной для множества

M . Множество

M правого из рисунков 16 яв-

ляется замкнутым.

 

 

 

Граничная точка множества M не обязана быть точкой этого мно-

жества (средний из рисунков 16). Все рисунки показывают, что граничная точка некоторого множества не может быть одновременно его внутренней точкой.

Определение 20. Множество всех граничных точек множества M называется границей этого множества.

Границу как множество принято обозначать дM .

97

Граничных точек у пространства Rn нет (в частности, одномерное пространство R1 или множество ( , ) не имеет граничных точек). Следовательно, у пространства Rn нет границы. Из определения ограниченного множества непосредственно следует, что пространство Rn – множество неограниченное.

Обратимся к пространству R1. Граничными точками интервала a, b являются только точки a и b . Граница этого множества есть множество a, b , состоящее из двух точек. Граница самому множеству не принадлежит, а множество является открытым. Граничными точками отрезка a, b также являются только точки a и b . Граница состоит из этих

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

Необходимо различать пределы последовательностей (M k ) и предельные точки последовательности как множества M k . Здесь возможны

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

Рассмотрим последовательность 0, 1, 0, 1, ...; она не имеет предела (расходится). Эта последовательность как множество есть 0, 1 , т.е. состоит из двух точек 0 и 1. Множество 0, 1 не имеет предельной точки.

Пусть последовательность стационарна : a, a, a, ..., т.е.

xk a.

Тогда lim хк а. Эта последовательность как множество есть

a , т.е.

к

 

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

 

Пусть

хк

( 1)к

1

; эта последовательность предела не имеет.

 

 

 

 

 

 

к

Предельными же точками множества { ( 1)к

1

, К N} будут две точки

 

 

 

 

 

 

 

к

x

1 и x

1. Точки этого множества будут «сгущаться» у точек 1 и 1

(предоставляем убедиться в этом читателю, отметив на оси Ox , например, десять точек этой последовательности). В этом примере ситуация объясня-

ется следующим образом. Если М 0

lim М к , то все члены последова-

 

к

тельности (M k ) , начиная с некоторого номера K ( ) , должны находиться

в окрестности (M k , M 0 )

. Если M 0 – предельная точка множества

M k , то в окрестность (M k , M 0 )

должны попадать точки этого

множества, хотя, быть может, и не все точки с номерами K K ( ).

 

 

 

98

 

 

 

 

 

 

 

 

Возьмём последовательность с общим членом хк

1

, предел кото-

 

 

 

 

 

к

 

 

 

 

рой равен 0 . Эта последовательность как множество есть

1,

1

,

 

1

,...

. Это

 

 

 

 

 

 

2

 

3

 

 

множество

имеет

предельную

точку x0 0. Действительно,

любая

окрестность

( ,

) точки x0

0 содержит хотя бы одну точку этого

множества.

 

 

 

 

 

 

 

 

 

 

 

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

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

Теорема 2 («принцип Больцано-Вейерштрасса»). Всякое бесконечное ограниченное множество в пространстве Rn имеет хотя бы одну предельную точку.

Доказательство. Ограничимся случаем множества M одномерного пространства. Так как множество ограничено, то можно указать отрезок

a1, b1

, содержащий множество M

(см. главу 1). Разделим отрезок

a1, b1

пополам. Так как множество

M бесконечно, то хотя бы одна из

двух половин отрезка

a1, b1

имеет бесконечное число точек из M .

Обозначим эту половину a2 ,

b2 . Отрезок a2 ,

b2

вновь разделим по-

полам и через a3, b3

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

конечное число точек из множества

M .

Продолжая процесс, получим

последовательность вложенных отрезков

 

 

 

 

 

a1, b1

a2 , b2

a3, b3

...

an ,

bn

...,

где каждый последующий составляет половину предыдущего и содержит бесконечное подмножество точек множества M .

Так как

b

a

n

b1

a1

,

 

 

n

 

2n

1

 

 

 

 

 

то рассмотренная система отрезков является стягивающейся. Следовательно, то теореме 17 главы 3 существует единственная точка M 0 (x0 ), общая для всех отрезков an , bn . Покажем, что эта точка является предельной

 

 

 

 

99

 

 

 

для множества

M . Для этого возьмём любой интервал x0

, x0

длины

0 с

центром

в точке

x0 . Если n достаточно велико, то

an , bn . Так как отрезок

an , bn

содержит бесконечное число точек из

множества

M , то в интервале

x0

, x0

имеется бесконечное

множество точек из M ;

следовательно, точка x0

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

множества M , что и требовалось доказать.

При доказательстве этой теоремы в пространстве Rn надо исходить из того, что ограниченное множество содержится в некотором n -мерном исходном параллелепипеде П1. Далее надо строить систему вложенных параллеле-

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

При изучении функций часто применяется понятие «область». Под областями в соответствующем пространстве понимают множества без изолированных точек. Так, множества a, b c и a, b c одномерно-

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

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

открытой областью.

Примерами открытых областей служат: интервал a, b на координатной прямой, открытый круг (M k , M 0 ) r и открытый прямоуголь-

ник на плоскости.

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

Примерами замкнутых областей являются: отрезок a, b на координатной прямой, а на плоскости – круг (M k , M 0 ) r вместе с точками

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

Полезно сравнить определения замкнутого множества и замкнутой области. Различие этих определений поясним примерами. Множество a, b c (точка c не принадлежит a, b ) является замкнутым, т.к. со-

100

держит все свои предельные точки, которыми являются точки отрезка a, b . Это множество не является замкнутой областью в одномерном про-

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

Обратимся к областям, имеющим так называемые проколотые точки. Рассмотрим на координатной прямой проколотые в центре x0 интервал

x0

r,

x0

r и отрезок x0 r,

x0

r , где r

0 . Эти области имеют

по

одной

проколотой

точке

и

их

можно

записать так:

x0

r,

x0

x0, x0 r ;

x0

r, x0

x0 ,

x0

r .

Первая область

является открытой, т.к. состоит только из внутренних точек. Вторая область не является ни открытой, ни замкнутой. Действительно, этой области

принадлежат точки x0 r и x0 r , которые не являются её внутренними точками; следовательно, это не открытая область. Эта область не является замкнутой, т.к. в это множество не входит его предельная точка x0 .

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

Упражнения

1. В следующих случаях по заданным координатам точек M и P найти координаты вектора МР:

1) M (2,

1), P(4, 5);

 

2) M (0, 1),

P(3, 5);

3) M (2,

2,

4), P(0, 1,

1);

4) M (1, 0,

2), P(0, 2, 2);

5) M (2,

3, 1,

2), P(0, 1, 3,

1);

 

6) M (1,

3,

0, 2), P(

4, 3,

2, 2).

 

2. По данному вектору МР и известным координатам его начала (точки M ) найти координаты конца этого вектора – точки P :

1)

МР = ( 1; 3),

M (1,

2);

 

 

 

2)

МР = (4,

2,

1),

M (3, 0,

2);

 

3)

МР = (2,

1,

3,

4),

M (1,

1,

2,

5);

4)

МР = (1,

2,

0,

1), M (3,

2,

4,

5).

3. По данному вектору МР и известным координатам точки P найти

координаты точки M :

 

 

 

 

 

 

1)

МР = (2,

4), P(0,

2);

 

 

 

Источник: https://studfile.net/preview/16711351/