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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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