МЕТРИЧЕСКОЕ ПРОСТРАНСТВО

МЕТРИЧЕСКОЕ ПРОСТРАНСТВО

- множество Xвместе с нек-рой метрикойr на ном. Теоретико-множественный подход к изучению фигур (пространств) основан на исследовании взаимного расположения составляющих их элементарных частей. Одной из фундаментальных характеристик взаимного расположения точек пространства является расстояние между ними. Этот подход к пространственным отношениям и приводит к понятию М. п., впервые выделенному М. Фрепте [2] в связи с рассмотрением функциональных пространств. Оказалось, что естественную метрику несут на себе множества объектов самой разной природы. Как М. <п. могут рассматриваться множества состояний, функций и отображений, любые подмножества евклидовых пространств и гильбертова пространства. Рассмотрение метрик важно при исследовании сходимости (рядов, функций), при решении вопросов аппроксимации.

Развитие теории М. п. шло по следующим важнейшим направлениям.

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

Топологическая теория М. <п. Предметом ее являются свойства М. п., сохраняющиеся при гомеоморфизмах. Среди них - компактность, сепарабельность, связность, свойство Бэра, нульмерность. Свойства этого типа наз. топологическими.

Теория пространств, на к-рых задана метрика, согласованная с какой-либо дополнительной алгебраич. структурой (напр., векторного пространства или группы). Сюда относятся евклидовы пространства, предгильбертовы и гильбертовы пространства (любого веса), банаховы пространства, банаховы алгебры, банаховы решетки, счетно нормированные пространства. Имеющиеся здесь факты существенно связаны с рассмотрением важных в идей ном отношении свойств метрик или норм, но по содержанию целиком принадлежат соответствующим областям алгебры и функционального анализа.

Рассмотрение специальных метрик играет важную роль при исследовании неевклидовых геометрий, в дифференциальной геометрии, механике и физике. Центральное место здесь занимает понятие римановой метрики риманова пространства (см. Риманова геометрия). Более широкий подход к изучению поверхностей и фигур, возникающих в дифференциальной геометрии, связан с концепцией G-пространства, получающейся добавлением к аксиомам метрики нек-рых условий (см. Геодезических геометрия), создающих основу для рассмотрения геодезических в G-пространстве, обеспечивая их существование и правильные свойства. Характерным здесь является отказ от пользования методами дифференциального исчисления, при этом обнаруживается, что многое в дифференциальной геометрии не связано с условиями дифференцируемости, а определяется только геометрич. аксиомами. Геометрия геодезических представляет интерес не только как обобщение римановой геометрии, но и как попытка заменить вычисления рассуждениями, сделать исследование геометрич. объектов более геометричным.

На каждом множестве Xможет быть определена метрика по следующему правилу: если , и , если Эта метрика наз. тривиальной. Каждая метрика на множестве Xпозволяет естественным образом ввести на Xтопологию Концепция топологич. пространства заключает в себе аксиоматизацию отношения абсолютной близости точки к множеству, тогда как концепцией М. п. формализуется отношение сравнительной близости между точками. Расстояние от точки хдо множества Ав М. п. определяется как

Точка хобъявляется абсолютно близкой ко множеству А, если . Замыканием [А]множества Ав наз. множество всех точек из X, абсолютно близких к А. Однозначно отвечающая этой операции топология на множестве X и наз. топологией, порожденной на X метрикой . Тривиальной метрике на Xотвечает дискретная топология - все множества замкнуты.

В исследовании М. п. (особенно их топологич. свойств) важная роль принадлежит понятию сходящейся последовательности. Это объясняется тем, что топология каждого М. п. может быть полностью описана на языке последовательностей.

Пусть - последовательность точек в М. п. . Она наз. сходящейся к точке , если для каждого найдется целое число Nтакое, что при всех . Последовательность наз. фундаментальной, если для каждого найдется целое число Nтакое, что при всех т, n>N.

Важным метрич. свойством является полнота - М. п. наз. полным, если каждая фундаментальная последовательность в нем сходится к нек-рой его точке. Пространство полно. Полнота М. п. не является топологич. свойством: М. п., гомеоморфное полному М. п., может не быть полным, напр, действительная прямая с обычной метрикой гомеоморфна интервалу , наделенному той же метрикой, однако первое М. п. полно, а второе - нет.

Примерами полных М. п. могут служить евклидовы и банаховы пространства. Важным свойством полных М. п., сохраняющимся при гомеоморфизмах, является Бэра свойство, в силу к-рого каждое полное М. п. без изолироваяных точек несчетно. Поэтому обычная топология пространства рациональных чисел не порождается никакой полной метрикой. Однако каждое М. <П. может быть представлено как часть нек-рого полного М. п. посредством стандартной конструкции пополнения. Две фундаментальные последовательности в М. п.наз. эквивалентными, если

Пусть - множество всех возникающих классов эквивалентности.

Метрика на вводится правилом:

Для пусть , где при всех . Тогда - полное М. п. и - изометрич. отображение пространства на всюду плотное подпространство в (в связи с чем и наз. пополнением пространства ).

С рассмотрением пополнений связана Лаврентьева теорема о продолжении гомеоморфизмов. Из нее следует, что свойство М. п. быть множеством типа в своем пополнении топологически инвариантно (в отличие от неинвариантности самой метрич. полноты относительно гомеоморфизмов).

Метрики и на множестве Xназ. топологически эквивалентными, если совпадают порожденные ими топологии и . На конечном множестве все метрики эквивалентны - он порождают дискретную топологию. Теорема Александрова - Хаусдорфа: метрика на множестве Xтопологически эквивалентна нек-рой полной метрике в том и только в том случае, если Xявляется множеством типа Gd в пополнении М. п. В частности, пространство иррациональных чисел с обычной метрикой (не полное относительно ее) гомео-морфно полному метрич. пространству Бэра, точками к-рого являются всевозможные бесконечные последовательности натуральных чисел, а расстояние задается правилом: где таково, что и при всех

Важен следующий пример полного М. п.: пространство , составленное из всех непрерывных функций, определенных на отрезке , и несущее на себе метрику, определенную правилом

для всех . Пространство сепарабельно - в нем есть счетное всюду плотное множество. Оказывается, каждое сепарабельное М. п. изометрично нек-рому подпространству (теорема Банаха - Мазура). Этот результат означает, в частности, что все метрики, порождающие сепарабельные топологии, оправданы (ибо изометричное пространство может быть получено сужением естественной метрики множества непрерывных функций).

Подмножество У полного М. п. , наделенное той же метрикой (точнее, ее сужением на ), является полным М. п., если и только если Y замкнуто в

Существует фундаментальная связь между понятиями полноты и компактности М. п. Компактность М. п. X, р равносильна любому из следующих условий: 1) любая последовательность в содержит сходящуюся предпоследовательность; 2) каждое счетное открытое покрытие пространства содержит конечное подпокрытие; 3) в любом открытом покрытии пространства найдется конечное подпокрытие;

4) каждая убывающая последовательность непустых замкнутых в множеств имеет непустое пересечение; 5) каждое замкнутое дискретное подпространство пространства конечно.

Простейшие примеры компактных М. п.: конечные дискретные пространства, любой отрезок (с концами), квадрат, окружность, сфера. Вообще, подпространство евклидова пространства , взятое в обычной метрике, компактно в том и только в том случае, если оно замкнуто в и ограничено.

Не все из перечисленных условий равносильны за пределами класса М. п. (см. Бикомпактное пространство). А. Лебег (Н. Lebesgue, 1911) установил, что для каждого открытого покрытия компактного М. п. существует числотакое, что всякое множество диаметра содержится в некотором элементе покрытия . Отсюда следует фундаментальное свойство компактных М. п., характеризующее их в классе всех М. п.: всякое непрерывное отображение такого пространства в произвольное М. п. равномерно непрерывно. Далее, М. п. компактно в том и только в том случае, если каждая непрерывная действительная функция на нем ограничена (и достигает наименьшего и наибольшего значений).

Каждое компактное М. п. полно, но обратное неверно; простейшим примером служит бесконечное дискретное пространство, наделенное тривиальной метрикой. Но имеет место следующая характеристика: М. п. компактно в том и только в том случае, если всякое гомеоморфное ему М. п. полно.

Интуитивно очевидно, что компактность включает, помимо полноты, условие типа ограниченности, что подтверждается рассмотрением компактных подпространств в . В общем случае М. п. наз. ограниченным, если существует действительное число атакое, что для всех . Каждое компактное М. п. ограничено. Пространство полно и ограничено, но не компактно, если Xбесконечно, так что полнота и ограниченность в совокупности недостаточны для компактности М. п. Вообще, всякая метрика на любом множестве топологически эквивалентна нек-рой ограниченной метрике - полной, если заданная метрика полна. В связи с этим получает важное значение понятие вполне ограниченности. М. п. наз. вполне ограниченным, если для каждого существует конечное множество такое, что при всех . Множество наз. при этом -сетью в . М. п. компактно, если и только если оно полно и вполне ограничено, и вполне ограничено в том и только в том случае, если оно изометрично подпространству нек-рого компактного М. п. Точнее, вполне ограниченность М. п. равносильна компактности его пополнения . Каждое подпространство вполне ограниченного М. п. вполне ограничено. Все вполне ограниченные М. п. (в частности, все компактные М. п.) сепарабельны и обладают счетной базой. Компактность, вообще говоря, не наследуется подпространствами; множество компактно в М. п. , если замыкание Ав является компактным М. п. Если полно, то компактность множества в равносильна вполне ограниченности А, наделенного метрикой .

Важную роль в функциональном анализе играет критерий компактности произвольного множества Анепрерывных функций, определенных на отрезке , в М. п., заключенный в следующей теореме Арцела - Асколи: множество Акомпактно в если и только если выполняются условия: 1) существует число Мтакое, что при всех и всех ;.2) для каждого найдется такое, что для всех и всех для к-рых

Отображение f М. п. в себя наз. сжимающим, если существует действительное число такое, что при всех . Важной теоремой о полных М. п. является принцип сжимающих (сжатых) отображений: для каждого такого отображения (непустого) полного М. п. в себя существует ровно одна неподвижная точка.

Топологич. теория М. п. значительно проще общей теории топологич. пространств. Ниже приводятся наиболее важные топологич. свойства М. п. - имеются ввиду свойства топологии , порожденной метрикой. Каждое М. п. нормально и даже коллективно нормально. Это позволяет продолжать непрерывные действительные функции с замкнутых подмножеств М. п. на все пространство. Более сильное утверждение: для каждого замкнутого подмножества YМ. п. существует линейное отображение пространства всех непрерывных действительных функций на в пространство всех непрерывных действительных функций на такое, что (каково бы ни было f) является продолжением функции и (теорема Дугунджи). Эта теорема связана с теоремой Хаусдорфа о продолжении метрики: если замкнутое подпространство Yметризуемого пространства Xуже метризовано метрикой r1 (порождающей на Y топологию подпространства X), то можно продолжить r1. до метрики р на всем X, порождающей исходную топологию на X. Аналогичные утверждения справедливы для вполне ограниченных метрик и полных метрик.

Исследование топологич. свойств М. п. в большей степени основывается на следующей теореме Стоуна: М. п. паракомпактно, т. о. в любое его открытое покрытие g можно вписать локально конечное открытое покрытие l(локальная конечность означает наличие у каждой точки окрестности, задевающей лишь конечное множество элементов покрытия l). На теореме о паракомпактности М. п. основан метризационный критерий Нагаты - Смирнова (см. Метризуемое пространство).

Для М. п. имеют место важные теоремы об эквивалентности топологич. свойств, различаемых в рамках общей топологии. Так, совпадают следующие карди-нальнозначные инварианты: плотность, вес, число Суслина, число Линделёфа. Для М. п. равносильны: счетная компактность, псевдокомпактность и бикомпактность. Для М. п. совпадают размерности dim (в смысле покрытий) и Ind (большая индуктивная), а для сепарабельных М. п. с dim и Ind совпадает и малая индуктивная размерность ind (см. Размерности теория).

Каждое М. п. звездно нормально: в любое открытое покрытие упространства можно вписать открытое покрытие l. звездно, т. е. так, что для каждой точки найдется , содержащее всякое , для к-рого. С этой теоремой связан критерий метризуемости (Стоуна-Архангельского). Критерием метризуемости регулярного пространства вполне ограниченной метрикой является наличие в этом пространстве счетной базы - но даже счетное регулярное пространство может быть не метризуемо. Простейший пример получается присоединением к дискретному натуральному ряду какой-нибудь одной точки из нароста Стоуна- Чеха бикомпактного расширения натурального ряда. Неожиданный характер носит критерий метризуемости метризуемого пространства Xполной метрикой - для этого необходимо и достаточно, чтобы Xбыло множеством типа Gd. в каком-нибудь (а тогда и в любом) бикомпактном хаусдорфовом расширении пространства X. Впрочем, бикомпактные хаусдорфовы расширения М. п. несут полную информацию о топологии последних, как это видно из теоремы Чеха: М. п. гомеоморфны в том и только в том случае, если гомеоморфны их расширения Стоуна - Чеха.

М. п. может не иметь счетной базы, но всегда удовлетворяет первой аксиоме счетности - имеет счетную базу в каждой точке. Более того, каждый компакт в М. п. имеет счетную базу окрестностей. Сверх того, в каждом М. п. существует такая база, что каждая точка пространства принадлежит лишь счетному множеству ее элементов - точечно-счетная база, но это свойство слабее метризуемости даже в присутствии паракомпактности и хаусдорфовости. Не обязано быть метризуемым и регулярное сепарабельное пространство с первой аксиомой счетности.

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

С каждым М. п. стандартным образом связано другое М. п., а именно пространство всех его непустых замкнутых подмножеств, несущее на себе метрику Хаусдорфа, определяемую следующей формулой:

Пространство изометрично замкнутому подпространству полученного М. п. . Если метрика r полна, то и метрика полна. Но из топологич. эквивалентности метрик и , заданных на X, не следует, вообще говоря, что отвечающие им метрики Хаусдорфа и топологически эквивалентны.

Непрерывный образ М. п. может быть не гомеоморфен никакому М. п., даже удовлетворяя аксиоме отделимости Хаусдорфа. Это относится и к факторпространствам М. п. Напр., если на плоскости "склеить" в точку фиксированную прямую, взяв в качестве отдельных элементов разбиения все точки плоскости, не попавшие на эту прямую, то получится неметризуемое нормальное сепарабельное пространство - в особой его точке не выполняется первая аксиома счетности. Имеется общий критерий метризуемости факторпространства М. п. (см. 16]). В частности, пространство непрерывного разбиения М. п. на компакты всегда метризуемо. Всякое хаусдорфово пространство, являющееся непрерывным образом компактного М. п., метризуемо и компактно - это частное проявление общего положения о неповышении веса топологич. пространства при непрерывном отображении на бикомпакт. Но и когда образ YМ. п. метризуем, метрику, осуществляющую метризацию Y, не удается получить из метрики посредством какой-либо формулы. Вместо метрики на по естественно определяется функция dпосредством правила: для любых равно расстоянию в смысле р между прообразами точек и при рассматриваемом отображении. Часто (напр., если - пространство разбиения М. п. на компакты) хорошо согласуется с топологией Yи является симметрикой. Последнее означает, что

для всех

если и только если . Симметрика d, так определенная, почти никогда не удовлетворяет аксиоме треугольника, но если разбиение на компакты непрерывно, то dобладает топологич. свойствами, с успехом заменяющими аксиому треугольника и гарантирующими метризуемость образа "настоящей" метрикой.

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

Среди обобщений М. п. наиболее важны псевдометрич. пространства, пространства с симметрикой и пространства с 0-метрикой [7]. Они определяются аксиоматически посредством естественных ослаблений системы аксиом М. п. Но расстояние здесь по-прежнему выражается неотрицательной действительным числом. Можно рассматривать обобщенные метрики со значениями в упорядоченных полугруппах, полуполях и т. д. (см. [8]). На этом пути можно осуществить обобщенную метризацию произвольного вполне регулярного пространства.

Фундаментальным обобщением концепции М. п. является понятие равномерного пространства. Далее идут чисто топологич. расширения класса М. п., среди к-рых важны классы пространств с равномерной базой, моровских пространств, перистых и паракомпактных перистых пространств, кружевных пространств. Класс паракомпактов является слишком широким обобщением класса М. п., чтобы считаться таковым: паракомпактность не сохраняется даже при возведении в квадрат. Напротив, класс паракомпактных перистых пространств является удачным одновременным обобщением класса пространств, гомеоморфных М. п., и класса бикомпактов. В ином направлении обобщают понятие метрики х-метрики и б-метрики [4]. Концепция стати-стич. М. п., введенная К. Менгером (К. Menger), в топологич. отношении оказалась равноценной понятию пространства с симметрикой.

Лит.:[1] Александров П. С, Введение в теорию множеств и общую топологию, М., 1977; [2] Frechet M., "Rend. Circolo mat. Palermo", 1906, v. 22; [3] Архангельский А. В., Пономарев В. И., Основы общей топологии в задачах и упражнениях, М., 1974; [4] Щепин Е. В., "Успехи матем. наук", 1976, т. 31, в. 5, с. 191-226; [5] Еngelking R., General topology, Warsz., 1977; [6] Apxангельcкий А. В., "Докл. АН СССР", 1964, т.155, №2, с. 247-50; [7] Недев С. Й., "Тр. Моск. матем. об-ва", 1971, т. 24, с. 201--36; [81 Антоновский М. Я., Болтянский В. Г., Сарымсаков Т. А., "Успехи матем. наук", 1966, т. 21, в. 4, с. 185-218; [9] Недев С. Й., Чобан М. М., "Сердика", 1975, т. 1, с. 12-28.

А. В. Архангельский.


Математическая энциклопедия. — М.: Советская энциклопедия. . 1977—1985.

Смотреть что такое "МЕТРИЧЕСКОЕ ПРОСТРАНСТВО" в других словарях:

  • МЕТРИЧЕСКОЕ ПРОСТРАНСТВО — множество точек (элементов), на котором введена метрика …   Большой Энциклопедический словарь

  • Метрическое пространство — У этого термина существуют и другие значения, см. Пространство. Метрическим пространством называется множество, в котором определено расстояние между любой парой элементов. Содержание 1 Определение 2 Обозначения …   Википедия

  • метрическое пространство — множество точек (элементов), на котором введена метрика. * * * МЕТРИЧЕСКОЕ ПРОСТРАНСТВО МЕТРИЧЕСКОЕ ПРОСТРАНСТВО, множество точек (элементов), на котором введена метрика …   Энциклопедический словарь

  • метрическое пространство — metrinė erdvė statusas T sritis fizika atitikmenys: angl. metric space vok. metrischer Raum, m rus. метрическое пространство, n pranc. espace métrique, m …   Fizikos terminų žodynas

  • Метрическое пространство —         множество объектов (точек), на котором введена метрика (См. Метрика пространства времени). Всякое М. п. является топологическим пространством (См. Топологическое пространство); за окрестности в нём принимаются всевозможные открытые шары… …   Большая советская энциклопедия

  • МЕТРИЧЕСКОЕ ПРОСТРАНСТВО — множество точек (элементов), на к ром введена метрика …   Естествознание. Энциклопедический словарь

  • ПОЛНОЕ МЕТРИЧЕСКОЕ ПРОСТРАНСТВО — метрическое пространство, в к ром каждая фундаментальная, пли сходящаяся в себе, последовательность сходится. П. м. п. частный случай полного равномерного пространства. м. И. Войцеховский …   Математическая энциклопедия

  • Полное метрическое пространство — Метрическим пространством называется множество, в котором определено расстояние между любой парой элементов. Содержание 1 Формальное определение 2 Обозначения 3 Примеры …   Википедия

  • Дискретное метрическое пространство — Дискретное пространство в общей топологии и смежных областях математики это пространство, в котором все точки изолированы друг от друга в некотором смысле. Содержание 1 Определения 2 Замечание 3 Примеры 4 Свойства …   Википедия

  • КОНСТРУКТИВНОЕ МЕТРИЧЕСКОЕ ПРОСТРАНСТВО — концепция метрич. пространства, используемая в конструктивной математике. Близкий смысл имеет также понятие рекурсивного метрического пространства. Список где некоторое множество конструктивных объектов (обычно слов в том или ином алфавите), р… …   Математическая энциклопедия

Книги



Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»