книги / Функциональный анализ
..pdf
|
§ 2. ЛИНЕЙНЫЕ ТОПОЛОГИЧЕСКИЕ ПРОСТРАНСТВА |
21 |
|||||
где е — некоторое |
положительное число. Линейная |
система А, |
|||||
наделенная этой топологией, становится линейным топологичес |
|||||||
ким пространством, которое обозначается через s. |
|
|
|
||||
б) |
Линейную систему С(0, 1) непрерывных на отрезке число |
||||||
вых функций |
(см. пример в) § 1) можно превратить в линейное |
||||||
топологическое пространство, введя систему окрестностей: |
|||||||
окрестностью |
функции x0(t) е |
С(0,1) называется |
совокупность, |
||||
содержащая |
все |
функции |
х(^)<= С(0,1), |
для |
которых |
||
|*о(t) —*(/) | < е при всех i е |
[0, 1] и некотором е > |
0. |
|||||
Элемент х0 называется предельной точкой для |
множества S |
топологического пространства Е, если всякая окрестность *о содержит элемент из множества S. Множество всех предельных точек множества S называют замыканием множества S и обо
значают S.
"Последовательность {хп} элементов топологического про странства Е называется сходящейся к элементу х0, если для любой окрестности V x„ элемента х0 найдется такое натуральное число N, что хп£= Vx, при всех п > N.
Следует отметить, что в линейном топологическом простран стве замыкание множества S не всегда совпадает с множеством пределов всевозможных сходящихся последовательностей эле ментов из S. Однако для ряда частных видов линейных топо логических пространств, например, для линейных метрических и нормированных пространств, замыкание множества совпадает с совокупностью пределов всех сходящихся последовательно стей элементов из этого множества.
Если замыкание множества S совпадает со всем топологиче ским пространством Е, то множество S называется всюду плотным.
Л и т е р а т у р а : (5], [25], [27], [29], [51].
2. Локально выпуклое пространство. Множество Г = {F* *} окрестностей элемента * называется фундаментальной систе мой или базисом окрестностей этого элемента, если всякая окрестность х содержит окрестность из множества Г.
Линейное топологическое пространство Е называется ло кально выпуклым, если оно обладает фундаментальной систе мой окрестностей нуля, каждая из которых выпукла.
Пространства Rn, С(0,1) и s локально выпуклы.
В локально выпуклом пространстве существует фундамен тальная система окрестностей нуля, являющихся абсолютно вы пуклыми, поглощающими множествами. Этой системе окрест ностей отвечает семейство полунорм. Если на линейной си стеме Е задано произвольное семейство Г полунорм ра(х), то на Е можно определить (не обязательно отделимую) локально выпуклую топологию, принимая за базис окрестностей нуля
22 ГЛ. I. ОСНОВНЫЕ понятия
семейство всех абсолютно выпуклых множеств, определяемых соотношениями
шах ра.(х)<е
1<i</z 1
при произвольных натуральных п, е > 0 и /?а/<=Г. Эта топо
логия будет отделимой тогда и только тогда, когда для каждого элемента х0 ф 0 (хо е Е) найдется полунорма ра такая, что
Ра*(хо) ^ °- Каждая локально выпуклая топология в линейной системе
может быть задана указанным способом с помощью соответ ствующего семейства полунорм.
Бочкой в локально выпуклом пространстве называется вся кое его абсолютно выпуклое, поглощающее и замкнутое мно жество. Локально выпуклое пространство называется бочечным, если каждая бочка в нем является окрестностью нуля.
П р и м е р ы л и н е й н ы х л о к а л ь н о в ы п у к л ы х т о п о
л о г и ч е с к и х п р о с т р а н с т в . |
всех непрерывных |
на оси |
||
а) Пространство |
С(—оо, <х>) |
|||
( оо» оо) функций |
x(t). |
За определяющую систему |
полунорм |
|
принимают |
|
|
|
|
Рп(х)= |
max |
|x(f)| |
(п = 1, 2 , . . . ) . |
|
Сходимость в соответствующей топологии совпадает с рав номерной сходимостью на каждом ограниченном множестве.
б) Пространство С°°(0, 1) всех бесконечно дифференцируе мых на [0, 1] функций x(t) с определяющей системой полунорм
Р т (х )= max |x (m) (01- 0<«<1
Сходимость является равномерной на [0, 1] сходимостью вме сте со всеми производными.
в) Пространство С°°(—оо, оо) всех бесконечно дифференци руемых на оси функций x(t) с определяющей системой полунорм
Рпт{х)— max |х (*> (01, т = 0, 1, 2, . . . ; п = 1 , 2 , . . .
Ли т е р а т у р а : [5], [27], [46], [51].
3.Линейное метрическое пространство. Важным частным случаем топологического пространства является метрическое пространство.
Множество Е называется метрическим пространством, если
каждой паре его элементов х, у поставлено в соответствие дей ствительное число р(х,у) — расстояние между элементами х и
у— удовлетворяющее условиям (аксиомам):
1)р(*,0)>О; р(х,х) = 0 , и если р(х, #) = 0 , то х = у\
|
§ 2. ЛИНЕЙНЫЕ ТОПОЛОГИЧЕСКИЕ ПРОСТРАНСТВА |
23 |
|
2) |
р(х,у) = р (У,х) (аксиома симметрии); |
(неравенство |
тре |
3) |
р(х, у) < p(x,z) -fp(z, у) (x,y,z<=E) |
угольника).
Элементы метрического пространства называются также точками; если введением расстояния множество Е превращается в метрическое пространство, то говорят, что в множестве Е вве дена метрика или также что множество Е метризовано.
Если *„<=£, * е £ и р ( х „ , х ) 0 при п -*о о, то говорят,
что хп сходятся к х:
хп-+х.
Расстоянием между множествами А и В метрического про
странства называется inf р(х, у).
x d A, y d В
Линейная система Е называется линейным метрическим про странствомI, если она метризована, причем так, что алгебраиче ские операции непрерывны в метрике Е, т. е.:
1) из того, что Хп-+х, уп >У-, следует
|
Хп “Ь Уп >X -f- у , |
2) если Хп-*х, |
то %пхп -+%х. |
П р и м е р л и н е й н о г о м е т р и ч е с к о г о п р о с т р а н
ст ва . |
В |
линейном топологическом пространстве |
5 (см. |
при |
|
мер а) |
п. |
1) можно ввести расстояние между элементами |
х = |
||
= {gi, |
h, |
.... In, ...} И |
У = Ь\I, Т]2, .... Цп, ...} |
С помощью |
|
формулы |
|
|
|
|
|
|
|
р* ’ у) |
2JL 2« i + U n - % 1 ' |
|
|
|
|
|
/г=1 |
|
|
Метрика в' множестве Е порождает (индуцирует) в нем естественным образом топологию: если принять за базис
окрестностей (0 < е < оо) точки х0 совокупности всех эле ментов у ^ Е таких, что р(х0, у) <. г при заданном е !> О, то множество Е становится топологическим пространством. Это пространство может не быть локально выпуклым.
Топологическое пространство Е называется метризуемым, если в нем можно ввести метрику так, что топология, индуци руемая в Е этой метрикой, совпадает с исходной топологией то пологического пространства Е. Если Е — линейное метризуемое пространство, то метрика всегда может быть'сделана инвариант ной относительно сдвига.
Справедлив следующий критерий метризуемости линейных локально выпуклых топологических пространств: для того чтобы локально выпуклое линейное топологическое пространство было метризуемым, необходимо и достаточно, чтобы его топологию можно было задать счетным множеством полунорм.
24 |
ГЛ. I. ОСНОВНЫЕ ПОНЯТИЯ |
Во всех приведенных выше примерах локально выпуклые пространства метризуемы. Важные примеры неметризуемых ли нейных топологических пространств будут приведены ниже (см. § 4, п. 3).
Л и т е р а т у р а : [5], [27], [29], [39].
4. Линейное нормированное пространство. В геометрии, ана лизе, а также в ряде других разделов математики, кроме поня тия алгебраических операций, большую роль играет понятие длины или нормы вектора.
Линейная система Е называется линейным нормированным пространством, если каждому элементу х е £ поставлено в со ответствие вещественное число ||х|| ^ 0, называемое нормой
элемента х, причем соблюдены следующие условия |
( а к сиомы |
||||
л и н е й н о г о н о р м и р о в а н н о г о п р о с т р а н с т в а ) : |
|||||
1) |
11*11 = |
0 тогда |
и только тогда, когда х = 0; |
|
|
2) |
||А*|| = |
|Я11|*|| |
( о д н о р о д н о с т ь нор мы); |
т р е у г о л ь |
|
3) |
II* + У\\ < 11*11 |
+ Н#Н |
( н е р а в е н с т в о |
ника) . Величина
Р(*> у)= \\х — у\\ = \\у — х\\
обладает всеми свойствами метрики, поэтому линейные норми рованные пространства представляют собой частный вид мет рических пространств, а значили топологических пространств. В них определяются понятия предела последовательности, за мыкания множества, окрестности и др. Ввиду того что основ ным объектом в дальнейшем будут линейные нормированные пространства, здесь формулируются все эти понятия непосред ственно в терминах линейных нормированных пространств.
Последовательность {*n} элементов линейного нормирован ного пространства Е называется сходящейся (по норме) к эле-
менту х0, если |
\\х0 — хп\\-+0 при п-+оо. |
|
радиуса |
г > |
О |
||||
Открытым |
(замкнутым) |
шаром S(x0,r) |
|||||||
с центром в точке Хо называется |
множество всех точек х е |
Е |
|||||||
таких, что 11*0 — *|| < г |
(||*о —*11 < |
г). |
|
|
|
|
|||
Под окрестностью точки *0 понимается всякое подмножество |
|||||||||
V^cz Еу содержащее |
открытый |
шар |
некоторого |
радиуса |
|||||
с центром в точке *о. |
|
предельной |
точкой |
для множества |
|||||
Элемент |
*о |
называется |
|||||||
Т с= Е, если |
всякая окрестность *о |
содержит элементы |
из мно |
жества Т. Для того чтобы элемент *о был предельной точкой
множества Ту необходимо и достаточно, чтобы |
существовала |
последовательность (хп} с= Г, сходящаяся к *0. |
все предель |
Множество Т а Е называется замкнутым, если |
|
ные точки Т принадлежат Tf |
|
§ 2. ЛИНЕЙНЫЕ ТОПОЛОГИЧЕСКИЕ ПРОСТРАНСТВА |
25 |
Множество Т cr Е называется открытым, если каждая |
его |
точка внутренняя, т. е. содержится в Т вместе с некоторой окрестностью. (Иначе говоря, если для любой точки Хое Г при некотором г > 0 будет S(*o, г) cr Т.)
Шар S (Хо, г) радиуса г с центром в точке х0 является вы пуклым множеством; кроме того, из определения окрестности точки Хо вытекает, что шары S(xo,r) образуют фундаменталь ную систему окрестностей точки Хо, когда г пробегает множе ство всех положительных действительных чисел. Отсюда сле дует, что линейное нормированное пространство является ло кально выпуклым линейным трпологическим пространством.
Замкнутой выпуклой оболочкой множества Т линейного нор мированного пространства Е называется наименьшее замкнутое
выпуклое |
множество из Е, содержащее множество Т. |
|| IU и || ||г. |
|
Пусть |
в линейной системе Е введены две нормы |
||
Они |
называются эквивалентными, если для любого |
элемента |
|
г е £ |
выполняется неравенство |
|
|
|
|
C2||*|l2<IUIIi<Cill*lb> |
|
где Ci, Сг > 0 и не зависят от х. Эквивалентные нормы поро ждают одну и ту же топологию в пространстве Е.
Линейное топологическое пространство Е называется нор мируемым, если в Е можно ввести норму так, что топология, ко торую индуцирует эта норма в множестве Е, совпадает с ис ходной топологией пространства Е.
Естественно возникает вопрос: при каких условиях линейное топологическое пространство Е является нормируемым? Ответ
формулируется с помощью |
понятия ограниченного множества |
||||
в линейном |
топологическом |
пространстве. |
Множество |
V а Е |
|
называется ограниченным, если для |
любой |
последовательности |
|||
элементов |
любой числовой |
последовательности |
%п -н►О |
последовательность элементов {Хпх„} сходится к нулю.
Для того чтобы линейное топологическое пространство было нормируемым, необходимо и достаточно, чтобы в нем существо вала выпуклая ограниченная окрестность нуля (А. Н. К о л м о- горов) .
Пространства s, С(—00, 00), С°°(0, 1) дают примеры ненормируемых линейных топологических пространств.
Замкнутое линейное многообразие М линейного нормирован ного пространства называют подпространством. Всякое конеч номерное линейное многообразие М замкнуто и является по тому подпространством.
Всякое линейное многообразие М в линейном нормирован ном пространстве Е является само линейным нормированным пространством относительно нормы пространства Е.
26 ГЛ. I. ОСНОВНЫЕ п о н я т и я
Если подпространство является максимальным линейным многообразием (см. § 1, п. 3), то оно называется гиперподпро странством.
Говорят, что пространство Е разложено в прямую сумму
своих подпространств Mi и М2, Е = |
Mi ® М2, если |
любой эле |
||
мент |
х е Е |
допускает единственное |
представление |
х — Xi -f- х2, |
Xi е |
Ми х2е |
М2. |
|
|
В этом случае М2 называется замкнутым дополнением к Mi. Не всякое подпространство линейного нормированного про странства имеет замкнутое дополнение. Так, например, под пространство Со не имеет замкнутого дополнения в простран
стве пг (см. п. 5 примеры 4 и 6).
Л и т е р а т у р а : [23], [25], [39], [97]. |
|
|
5. |
Примеры линейных нормированных пространств. |
|
1. |
Е в к л и д о в о п р о с т р а н с т в о |
Rn. Пусть Еп — линейная |
система, состоящая из всевозможных |
n-мерных векторов х = |
|
= Ни |
• • • > £п}- В Еп можно ввести норму по формуле |
ll*ll=
Линейная система Еп с этой нормой называется евклидовым пространством Rn. Неравенство треугольника (3-я аксиома) следует из известного неравенства Минковского для конечных сумм
Чр
II* + Л/ f |
< |
[ |
| |
IS, г ] |
+ |
|
(р > и |
||||
при р — 2. |
|
|
шп■ Для |
|
вектора |
х — {|i, |
| 2, |
| п} |
|||
2. П р о с т р а н с т в о |
|
||||||||||
из Еп можно определить норму другим образом: |
|
|
|||||||||
|
|
|
11*11= |
max |
|
| \i |. |
|
|
|
||
|
|
|
|
|
|
l<i<n |
|
|
|
|
|
Линейная система Еп с этой нормой называется простран |
|||||||||||
ством т„. |
П р о с т р а н с т в а |
lp |
( р ^ 1). Элементами |
пространства |
|||||||
3. |
|||||||||||
lp(P75* 1) |
являются |
все |
такие числовые |
последовательности |
|||||||
|
|
|
|
|
|
|
|
|
оо |
|
|
х = {£l, |
..., Ъп, |
...}, ДЛЯ которых сходится ряд 2 |
I h |
\Р* |
i=l
Из неравенства Минковского следует, что 1Р образует ли нейную систему. После введения нормы
UP
11*11 =
lv становится линейным нормированным пространством.
§ 2. ЛИНЕЙНЫЕ ТОПОЛОГИЧЕСКИЕ ПРОСТРАНСТВА |
27 |
4. П р о с т р а н с т в о |
т |
(или loo). Пусть т — множество, со |
||
стоящее |
из |
всевозможных |
ограниченных последовательностей |
|
X = {Ъи h f |
• • • > Sn, • • •}• |
Е сЛ И ПОЛОЖИТЬ |
||
|
|
|
II X1= sup I h I, |
|
|
|
|
|
i |
rro m становится линейным нормированным пространством. |
||||
5. П р о с т р а н с т в о |
с. Из пространства т выделяется про |
|||
странство |
с, элементами |
которого являются все сходящиеся |
последовательности. Норма в с определяется так же, как и в т. Пространство с является линейным подпространством простран
ства т.
6. П р о с т р а н с т в о со. Линейное подпространство про странства с, состоящее из всех последовательностей, сходя
щихся к нулю, называется пространством с0. |
|
|||
7. П р о с т р а н с т в о |
Lv (0,1). Аналогом пространства 1Р |
|||
среди |
функциональных |
пространств |
является |
пространство |
Lp(0, 1) |
(р ^ si), состоящее из всех |
функций*), |
суммируемых |
с р-й степенью в промежутке [0, 1], т. е."таких измеримых функ |
||||||||
ций x(t), что |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
J \x(t)\p dt < |
ОО. |
|
|
|
|
|
|
|
о |
|
|
|
|
|
Из интегрального неравенства Минковского |
|
|
||||||
|
|
|
|
|
-jUP |
|
UP |
|
|
|
|
|
\x(t)\p dt\ |
+ [ IУ if) \p dt |
|||
следует, |
что Lv {0,1) |
становится нормированным, |
если поло- |
|||||
жить |
|
|
г |
1 |
UP |
|
|
|
|
|
|
|
|
||||
|
|
\Х |
= |
J 1*(01 'dt |
|
|
|
|
Сходимость в |
Lp(0, 1) |
является |
сходимостью |
в |
среднем |
|||
с показателем р. Именно, хп -+Хо означает, что |
|
|
||||||
|
|
1 |
|
|
|
|
|
|
|
|
I |*„(0 — *o(0 \Р d t- * 0. |
|
|
||||
|
|
о |
|
|
|
|
|
|
8. |
П рюст р а н ство |
С(0,1). |
В |
линейной |
системе С(0, 1) |
|||
(см. § 1, |
п. 26)) |
состоящей из всех |
непрерывных |
на |
отрезке |
*) В пространствах Lp, а также в пространствах М и L*M (см. приме
ры 10 и 14) функции, совпадающие друг с другом почти всюду на [0, 1], отождествляются.
28 |
ГЛ. |
I. ОСНОВНЫЕ ПОНЯТИЯ |
[0,1] функций, |
норма |
функции x(t) определяется следующим |
образом: |
|
|
11*11= max U (0 |.
0 < t < l
Расстояние между двумя функциями
р(*. у ) = шах |*(0 — y(t)\
есть максимальное расстояние между их графиками. Сходи мость последовательности {хп} точек пространства С(0, 1) к точке Хо означает равномерную сходимость последовательно сти функций xn(t) к функции x0(t).
9. П р о с т р а н с т в о С^(0, 1). Элементами этого простран ства являются всевозможные функции, определенные на отрезке [0,1] и имеющие на этом отрезке непрерывные производные до l-й включительно. Алгебраические операции — операции сложе ния и умножения функции на число — определяются обычным образом. Норму элемента x(t) eCW(0, 1) можно определить по формуле
|| х || = |
/ |
т ах |
| x{k) (t) | |
(x(0) (/) = x (t)). |
2 |
||||
|
/2=0 |
0 < f < l |
|
|
Сходимость в |
CW(0, 1) |
означает |
равномерную сходимость |
как последовательности самих функций, так и последовательно
стей их производных k-vo порядка |
(k = 1,2, ..., |
/). |
10. П р о с т р а н с т в о М (0, 1) |
(или Loo(0,1)). |
Еще один при |
мер функционального линейного нормированного пространства представляет множество Af(0, 1) всех измеримых и ограничен ных почти всюду на отрезке [0, 1] функций x(t)y в котором ал гебраические операции определяются обычным образом, а нор ма определяется равенством
||*|| = |
vraimax| *(f)l= inf |
{ |
sup |
U(0l}- |
|
|
|
0 < * < 1 |
m £=0 |
*€=[0, l ] \E |
|
||
Сходимость в |
Af(0, 1) |
есть равномерная |
сходимость |
почти |
||
всюду. |
|
У(0,1). Пусть |
x ( t ) — конечная |
функ |
||
11. П р о с т р а н с т в о |
ция, заданная на отрезке [0, 1]. Рассматривается произвольное
разбиение т отрезка [0,1] (0 = |
to < ti < ... <J n = 1) и обра |
зуется выражение |
|
= 2 |* ( У |
— *(f*-i)|. |
k=\ |
|
Если совокупность сумм vx, отвечающих всевозможным подраз делениям т отрезка [0,1], ограничена, то функция x(t) назы
§ 2. ЛИНЕЙНЫЕ ТОПОЛОГИЧЕСКИЕ ПРОСТРАНСТВА |
29 |
вается функцией ограниченной вариации на отрезке [0, 1], а ве
личина
1
V (*) = sup vx
О Т
называется полной вариацией функции x(t).
Пусть V(0,1) — множество всех функций ограниченной ва риации. Если в множестве У(0, 1) ввести обычным образом ал гебраические операции, то оно станет линейной системой; если, кроме того, положить для х е V (0,1)
IUII= U(0)|+ V (*),
О
то F(0, 1) становится линейным нормированным пространством. 12. П р о с т р а н с т в о См(— оо). Элементами его яв ляются непрерывные и ограниченные на всей числовой прямой
функции. Норма x(t) в См (— оо, оо) вводится формулой
11*11= |
sup |
|х(/)|. |
|
|
|
|||
|
|
— оо < t < 00 |
|
|
|
|
||
Сходимость последовательности |
в См(— °о, обозначает равно |
|||||||
мерную сходимость на всей числовой прямой. |
|
|
|
|||||
13. П р о с т р а н с т в о |
Г е л ь д е р а |
Са(0,1). Пусть Са(О, 1) — |
||||||
множество всех функций x(t), заданных на |
отрезке [О, 1] |
и |
||||||
удовлетворяющих условию Гельдера |
(или Липшица) с показа |
|||||||
телем а (0 < а ^ 1) |
|
|
|
|
|
|
|
|
\x(tl) - x ( t 2) \ ^ C \ t l - |
t |
2\a |
(/„ |
О, 1]). |
|
|||
Норма x(t) е С а (0,1) определяется с помощью формулы |
|
|||||||
ii*ii=i*(o)i+ |
sup |
Mi —^2 I |
|
|
|
|||
|
|
<1, fee[0.1] |
|
|
|
|||
14. П р о с т р а н с т в о |
A(D) |
всех |
аналитических |
в единич |
||||
ном круге D функций, непрерывных |
в замкнутой |
области |
D. |
|||||
Норма определяется формулой |
|
|
|
|
|
|
|| * || = max | * (z) \. I г1=1
Выше для простоты были приведены примеры функциональ ных пространств, состоящих из функций, определенных на от резке [0,1]. Аналогично определяются пространства LP(Q) и M(Q) функций, заданных на множестве Q с абсолютно адди тивной мерой; пространство C(Q) непрерывных ограниченных функций на топологическом пространстве Q; пространства C(l)(G), Ca (G) и A(G) функций, определенных в области G «-мерного евклидова пространства.
Литература: [19], [23], [25]. [27], [29], [39].
30 ГЛ. I. ОСНОВНЫЕ п о н я т и я
6. Полнота метрических пространств, банахово пространство.
Последовательность точек {хп} метрического пространства Е на зывается фундаментальной (или сходящейся в себе), если для
любого е > |
0 найдется |
натуральное число N = N (е) такое, что |
р(хт, Хп) < |
е при т , |
N. |
Всякая сходящаяся последовательность фундаментальна, од нако обратное утверждение, вообще говоря, неверно. В самом деле, пусть в метрическом пространстве R, состоящем из ра циональных чисел с метрикой р{х,у) = \х — у |, последова тельность {хп} сходится к некоторому иррациональному числу. Последовательность {хп} фундаментальна в метрике R, одна ко в R не существует элемента, который бы являлся ее пре делом.
Если в метрическом пространстве Е каждая фундаменталь ная последовательность сходится к некоторому элементу того же пространства, то Е называется полным пространством.
Метризуемое полное локально выпуклое пространство назы вается пространством Фреше. Пространство Фреше является бочечным.
Полное линейное нормированное пространство называется
банаховым пространством.
В терминах нормы тот факт, что последовательность [хп] фундаментальна, означает, что II хп •—xmII ~т; п->оо^ 0- Поэтому условие полноты линейного нормированного пространства Е вы
глядит так: из того, |
что II хт— хп || т |
0, вытекает суще |
ствование такого хо е |
Е, что || хп — х01| |
n_>00J^ 0. |
Все нормированные пространства, описанные в примерах 1—14, являются полными, а поэтому — банаховыми простран ствами.
Любое конечномерное линейное нормированное простран ство полно и, следовательно, является банаховым. Бесконечно мерное банахово пространство имеет размерность не меньше континуума.
В банаховом пространстве справедлив принцип вложенных стягивающихся шаров: пусть дана последовательность вложен ных друг в друга шаров, радиусы которых стремятся к нулю, тогда эти шары имеют единственную общую точку.
Этот принцип играет важную роль при доказательстве раз личных теорем существования. В неполных пространствах этот принцип несправедлив, в связи с чем ряд теорем существования в таких пространствах не имеет места.
Аналогично тому, как множество рациональных чисел по полняется до множества всех вещественных чисел, всякое мет рическое пространство может быть расширено до полного про странства.