В математике метрическое пространство представляет собой множество с понятием расстояния между его элементами , обычно называемыми точками . Расстояние измеряется функцией , называемой метрикой или функцией расстояния . [1] Метрические пространства являются наиболее общей средой для изучения многих концепций математического анализа и геометрии .
Самый известный пример метрического пространства — трехмерное евклидово пространство с обычным понятием расстояния. Другими известными примерами являются сфера , снабженная угловым расстоянием , и гиперболическая плоскость . Метрика может соответствовать метафорическому, а не физическому понятию расстояния: например, набор 100-символьных строк Юникода может быть снабжен расстоянием Хэмминга , которое измеряет количество символов, которые необходимо изменить, чтобы получить из одного строка к другому.
Поскольку метрические пространства очень общие, они являются инструментом, используемым во многих различных областях математики. Многие типы математических объектов имеют естественное понятие расстояния и поэтому допускают структуру метрического пространства, включая римановы многообразия , нормированные векторные пространства и графы . В абстрактной алгебре p - адические числа возникают как элементы пополнения метрической структуры рациональных чисел . Метрические пространства также самостоятельно изучаются в метрической геометрии [2] и анализе метрических пространств . [3]
Многие из основных понятий математического анализа , включая шары , полноту , а также равномерную , липшицеву и непрерывность по Гельдеру , могут быть определены в рамках метрических пространств. Другие понятия, такие как непрерывность , компактность , а также открытые и замкнутые множества , могут быть определены для метрических пространств, но также и в еще более общей ситуации топологических пространств .
Чтобы увидеть полезность различных представлений о расстоянии, рассмотрим поверхность Земли как набор точек. Мы можем измерить расстояние между двумя такими точками длиной кратчайшего пути вдоль поверхности , « по прямой »; это особенно полезно для судоходства и авиации. Мы также можем измерить расстояние по прямой между двумя точками внутри Земли; это понятие, например, естественно в сейсмологии , поскольку оно примерно соответствует продолжительности времени, которое требуется сейсмическим волнам для прохождения между этими двумя точками.
К понятию расстояния, закодированному аксиомами метрического пространства, предъявляется относительно мало требований. Эта общность дает метрическим пространствам большую гибкость. В то же время это понятие достаточно сильное, чтобы закодировать множество интуитивных фактов о том, что означает расстояние. Это означает, что общие результаты о метрических пространствах могут применяться во многих различных контекстах.
Как и многие фундаментальные математические концепции, метрику в метрическом пространстве можно интерпретировать по-разному. Конкретную метрику лучше всего рассматривать не как измерение физического расстояния, а как стоимость перехода из одного состояния в другое (как в случае с метрикой Вассерштейна в пространствах мер ) или степень различия между двумя объектами (например, расстояние Хэмминга между двумя строками символов или расстояние Громова–Хаусдорфа между самими метрическими пространствами).
Формально метрическое пространство — это упорядоченная пара ( M , d ) , где M — множество, а d — метрика на M , т. е. функция
Если метрика d однозначна, то часто, злоупотребляя обозначениями, называют «метрическое пространство М ».
Взяв все аксиомы, кроме второй, можно показать, что расстояние всегда неотрицательно:
Действительные числа с функцией расстояния, определяемой абсолютной разностью, образуют метрическое пространство. Многие свойства метрических пространств и функций между ними являются обобщениями понятий реального анализа и совпадают с этими понятиями применительно к вещественной прямой.
Евклидова плоскость может быть оснащена множеством различных метрик. Евклидово расстояние , известное из школьной математики, можно определить по формуле
Расстояние такси или Манхэттена определяется _
Максимальное расстояние , , или расстояние Чебышева определяется выражением
Фактически, эти три расстояния, хотя и имеют разные свойства, в некотором смысле схожи. Неформально, точки, близкие в одном, близки и в других. Это наблюдение можно выразить количественно с помощью формулы
Совершенно другое расстояние можно определить, установив
Все эти показатели имеют смысл как для .
Учитывая метрическое пространство ( M , d ) и его подмножество , мы можем считать A метрическим пространством, измеряя расстояния так же, как мы это делали бы в M. Формально индуцированная метрика на A — это функция , определяемая формулой
В 1906 году Морис Фреше представил метрические пространства в своей работе Sur quelques Points du Calcul Fonctionnel [7] в контексте функционального анализа : его основной интерес заключался в изучении вещественных функций из метрического пространства, обобщая теорию функций нескольких или даже бесконечно много переменных, впервые предложенных такими математиками, как Чезаре Арсела . Идея была далее развита и помещена в надлежащий контекст Феликсом Хаусдорфом в его выдающемся труде « Принципы теории множеств» , который также ввел понятие (Хаусдорфа) топологического пространства . [8]
Общие метрические пространства стали фундаментальной частью математической учебной программы. [9] Яркие примеры метрических пространств в математических исследованиях включают римановы многообразия и нормированные векторные пространства, которые являются областью дифференциальной геометрии и функционального анализа соответственно. [10] Фрактальная геометрия является источником некоторых экзотических метрических пространств. Другие возникли как пределы в результате изучения дискретных или гладких объектов, включая масштабно-инвариантные пределы в статистической физике , пространства Александрова, возникающие как пределы Громова – Хаусдорфа последовательностей римановых многообразий, а также границы и асимптотические конусы в геометрической теории групп . Наконец, в информатике появилось множество новых приложений конечных и дискретных метрических пространств .
Функции расстояния достаточно, чтобы определить понятия близости и конвергенции, которые впервые были разработаны в реальном анализе . Свойства, зависящие от структуры метрического пространства, называются метрическими свойствами . Каждое метрическое пространство также является топологическим пространством , и некоторые метрические свойства также можно перефразировать без ссылки на расстояние на языке топологии; то есть на самом деле они являются топологическими свойствами .
Для любой точки x в метрическом пространстве M и любого действительного числа r > 0 открытый шар радиуса r вокруг x определяется как набор точек, которые строго меньше расстояния r от x :
Открытое множество — это множество, являющееся окрестностью всех своих точек. Отсюда следует, что открытые шары образуют основу топологии на M . Другими словами, открытые множества M представляют собой в точности объединения открытых шаров. Как и в любой топологии, закрытые множества являются дополнениями к открытым. Множества могут быть как открытыми, так и закрытыми, а также ни открытыми, ни закрытыми.
Эта топология не несет всей информации о метрическом пространстве. Например, определенные выше расстояния d 1 , d 2 и d ∞ индуцируют одну и ту же топологию на , хотя во многих отношениях они ведут себя по-разному. Аналогично, с евклидовой метрикой и ее подпространством интервал (0, 1) с индуцированной метрикой гомеоморфен , но имеет совершенно разные метрические свойства.
И наоборот, не каждому топологическому пространству можно задать метрику. Топологические пространства, совместимые с метрикой, называются метризуемыми и во многих отношениях особенно хорошо себя ведут: в частности, они являются паракомпактными [11] хаусдорфовыми пространствами (следовательно, нормальными ) и впервые счетными . [a] Теорема о метризации Нагаты – Смирнова дает характеристику метризуемости в терминах других топологических свойств без ссылки на метрику.
Сходимость последовательностей в евклидовом пространстве определяется следующим образом:
Сходимость последовательностей в топологическом пространстве определяется следующим образом:
В метрических пространствах оба эти определения имеют смысл и эквивалентны. Это общая закономерность топологических свойств метрических пространств: хотя их можно определить чисто топологическим способом, часто существует способ, использующий метрику, которую легче сформулировать или которая более знакома из реального анализа.
Неформально, метрическое пространство является полным , если в нем нет «недостающих точек»: каждая последовательность, которая выглядит так, будто должна к чему-то сходиться, на самом деле сходится.
Чтобы быть точным: последовательность ( x n ) в метрическом пространстве M является Коши , если для каждого ε > 0 существует целое число N такое, что для всех m , n > N , d ( x m , x n ) < ε . Согласно неравенству треугольника, любая сходящаяся последовательность является Коши: если x m и x n находятся на расстоянии менее ε от предела, то они находятся на расстоянии менее 2ε друг от друга. Если верно обратное — каждая последовательность Коши в M сходится — то M полно.
Евклидовы пространства полны, как и другие метрики, описанные выше. Двумя примерами неполных пространств являются (0, 1) и рациональные числа, каждое из которых имеет метрику, индуцированную из . Можно думать о (0, 1) как о «отсутствующих» его конечных точках 0 и 1. В рациональных числах отсутствуют все иррациональные числа, поскольку любое иррациональное число имеет последовательность рациональных чисел, сходящую к нему (например, его последовательные десятичные приближения). Эти примеры показывают, что полнота не является топологическим свойством, поскольку полно, а гомеоморфное пространство (0, 1) — нет.
Это понятие «недостающих точек» можно уточнить. Фактически, каждое метрическое пространство имеет уникальное пополнение , которое представляет собой полное пространство, содержащее данное пространство как плотное подмножество. Например, [0, 1] — это завершение (0, 1) , а действительные числа — это завершение рациональных чисел.
Поскольку с полными пространствами обычно легче работать, пополнения важны в математике. Например, в абстрактной алгебре p -адические числа определяются как пополнение рациональных чисел при другой метрике. Завершение особенно распространено как инструмент функционального анализа . Часто у нас есть набор хороших функций и способ измерения расстояний между ними. Пополнение этого метрического пространства дает новый набор функций, который может быть менее приятным, но, тем не менее, полезным, поскольку во многих отношениях они ведут себя аналогично исходным хорошим функциям. Например, слабые решения дифференциальных уравнений обычно существуют в пополнении ( пространстве Соболева ), а не в исходном пространстве хороших функций, для которых дифференциальное уравнение действительно имеет смысл.
Метрическое пространство M ограничено , если существует r такое, что ни одна пара точек в M не находится на расстоянии более чем r друг от друга. [b] Наименьшее такое r называетсядиаметр М.__
Пространство M называется предкомпактным или вполне ограниченным, если для любого r > 0 существует конечное покрытие M открытыми шарами радиуса r . Всякое вполне ограниченное пространство ограничено. Чтобы убедиться в этом, начнём с конечного покрытия r -шарами для некоторого произвольного r . Поскольку подмножество M , состоящее из центров этих шаров, конечно, оно имеет конечный диаметр, скажем D . По неравенству треугольника диаметр всего пространства не превосходит D + 2 r . Обратное неверно: примером метрического пространства, которое ограничено, но не полностью ограничено, является (или любое другое бесконечное множество) с дискретной метрикой.
Компактность — топологическое свойство, обобщающее свойства замкнутого и ограниченного подмножества евклидова пространства. Существует несколько эквивалентных определений компактности в метрических пространствах:
Одним из примеров компакта является замкнутый интервал [0, 1] .
Компактность важна по тем же причинам, что и полнота: она позволяет легко находить пределы. Другим важным инструментом является лемма Лебега о числах , которая показывает, что для любого открытого покрытия компакта каждая точка находится относительно глубоко внутри одного из множеств покрытия.
В отличие от топологических пространств или алгебраических структур, таких как группы или кольца , между метрическими пространствами не существует единственного «правильного» типа функции, сохраняющей структуру . Вместо этого человек работает с различными типами функций в зависимости от своих целей. В этом разделе предположим, что и — два метрических пространства. Слова «функция» и «карта» используются как взаимозаменяемые.
Одна из интерпретаций карты, «сохраняющей структуру», — это карта, которая полностью сохраняет функцию расстояния:
Из аксиом метрического пространства следует, что функция, сохраняющая расстояние, инъективна. Биективная функция, сохраняющая расстояние, называется изометрией . [13] Одним из, возможно, неочевидных примеров изометрии между пространствами, описанными в этой статье, является карта, определяемая формулой
Если между пространствами M1 и M2 существует изометрия , то они называются изометрическими . Метрические пространства, которые являются изометрическими, по существу идентичны .
На другом конце спектра можно полностью забыть о метрической структуре и изучать непрерывные отображения , которые сохраняют только топологическую структуру. Существует несколько эквивалентных определений непрерывности метрических пространств. Наиболее важными являются:
Гомеоморфизм — это непрерывная биекция , обратная которой также непрерывна; если между M1 и M2 существует гомеоморфизм , они называются гомеоморфными . Гомеоморфные пространства одинаковы с точки зрения топологии, но могут иметь совершенно разные метрические свойства. Например, является неограниченным и полным, а (0, 1) ограниченным, но не полным.
Функция является равномерно непрерывной, если для каждого действительного числа ε > 0 существует δ > 0 такое, что для всех точек x и y в M 1 таких, что , имеем
Единственное различие между этим определением и определением непрерывности ε–δ — это порядок кванторов: выбор δ должен зависеть только от ε, а не от точки x . Однако это тонкое изменение имеет большое значение. Например, равномерно непрерывные отображения переводят последовательности Коши из M 1 в последовательности Коши из M 2 . Другими словами, равномерная непрерывность сохраняет некоторые метрические свойства, которые не являются чисто топологическими.
С другой стороны, теорема Гейне-Кантора утверждает, что если M1 компактно , то любое непрерывное отображение равномерно непрерывно. Другими словами, равномерная непрерывность не может отличать какие-либо нетопологические особенности компактных метрических пространств.
Карта Липшица — это карта, которая растягивает расстояния не более чем в ограниченный раз. Формально для действительного числа K > 0 отображение K - липшицево , если
1-липшицево отображение иногда называют нерасширяющим или метрическим отображением . Метрические отображения обычно считаются морфизмами категории метрических пространств .
K -липшицево отображение для K < 1 называется сжатием . Теорема Банаха о неподвижной точке утверждает, что если M — полное метрическое пространство, то каждое сжатие допускает единственную неподвижную точку . Если метрическое пространство M компактно, результат верен для несколько более слабого условия на f : отображение допускает единственную неподвижную точку, если
Квазиизометрия — это карта, сохраняющая «крупномасштабную структуру» метрического пространства. Квазиизометрии не обязательно должны быть непрерывными. Например, и его подпространство квазиизометрично, хотя одно связно, а другое дискретно. Отношение эквивалентности квазиизометрии важно в геометрической теории групп : лемма Шварца – Милнора утверждает, что все пространства, на которых группа действует геометрически , квазиизометричны. [15]
Формально отображение является квазиизометрическим вложением, если существуют константы A ≥ 1 и B ≥ 0 такие, что
Учитывая два метрических пространства и :
Нормированное векторное пространство — это векторное пространство, снабженное нормой , которая представляет собой функцию, измеряющую длину векторов. Норму вектора v обычно обозначают . Любое нормированное векторное пространство можно снабдить метрикой, в которой расстояние между двумя векторами x и y определяется выражением
то это метрика, индуцированная нормой
Среди примеров метрик, индуцированных нормой, можно назвать метрики d 1 , d 2 и d ∞ on , которые индуцированы манхэттенской нормой , евклидовой нормой и максимальной нормой соответственно. В более общем смысле вложение Куратовского позволяет рассматривать любое метрическое пространство как подпространство нормированного векторного пространства.
Бесконечномерные нормированные векторные пространства, в частности пространства функций, изучаются в функциональном анализе . Полнота особенно важна в этом контексте: полное нормированное векторное пространство известно как банахово пространство . Необычным свойством нормированных векторных пространств является то, что линейные преобразования между ними непрерывны тогда и только тогда, когда они липшицевы. Такие преобразования известны как ограниченные операторы .
Кривая в метрическом пространстве ( M , d ) является непрерывной функцией . Длина γ измеряется _ _
Геодезическое метрическое пространство — это метрическое пространство, допускающее геодезическую между любыми двумя своими точками. Пространства и являются геодезическими метрическими пространствами. В России геодезические уникальны, но в России между двумя точками часто существует бесконечное количество геодезических, как показано на рисунке вверху статьи.
Пространство M является пространством длин (или метрика d является внутренней ), если расстояние между любыми двумя точками x и y является нижней границей длин путей между ними. В отличие от геодезического метрического пространства, нижняя нижняя грань не обязательно должна достигаться. Примером пространства длины, которое не является геодезическим, является евклидова плоскость минус начало координат: точки (1, 0) и (-1, 0) могут быть соединены путями длины, сколь угодно близкой к 2, но не путем длина 2. Примером метрического пространства, которое не является пространством длины, является метрика прямой на сфере: прямая линия между двумя точками, проходящая через центр Земли, короче любого пути вдоль поверхности.
Учитывая любое метрическое пространство ( M , d ) , можно определить новую внутреннюю функцию расстояния d , внутреннюю на M , установив расстояние между точками x и y равным минимальной d -длине путей между ними. Например, если d — расстояние по прямой на сфере, то d внутреннее — это расстояние по большому кругу. Однако в некоторых случаях внутреннее значение d может иметь бесконечные значения. Например, если M — снежинка Коха с метрикой подпространства d, индуцированной из , то результирующее внутреннее расстояние бесконечно для любой пары различных точек.
Риманово многообразие — это пространство, снабженное римановым метрическим тензором , который определяет длины касательных векторов в каждой точке. Это можно рассматривать как бесконечно малое определение понятия расстояния. В частности, дифференцируемый путь в римановом многообразии M имеет длину, определяемую как интеграл от длины касательного вектора к пути:
Риманова метрика однозначно определяется функцией расстояния; это означает, что в принципе вся информация о римановом многообразии может быть восстановлена по его функции расстояния. Одним из направлений метрической геометрии является поиск чисто метрических ( «синтетических» ) формулировок свойств римановых многообразий. Например, риманово многообразие является пространством CAT( k ) (синтетическое условие, которое зависит исключительно от метрики) тогда и только тогда, когда его секционная кривизна ограничена сверху величиной k . [20] Таким образом, пространства CAT( k ) обобщают границы верхней кривизны на общие метрические пространства.
В реальном анализе используются как метрика О, так и мера Лебега . Следовательно, обобщения многих идей анализа естественным образом находятся в метрических пространствах с мерой: пространствах, в которых есть как мера, так и метрика, совместимые друг с другом. Формально метрическое пространство с мерой — это метрическое пространство, снабженное борелевской регулярной мерой, такой, что каждый шар имеет положительную меру. [21] Например, евклидовы пространства размерности n и, в более общем смысле , n -мерные римановы многообразия естественно имеют структуру метрического пространства с мерой, снабженного мерой Лебега . Некоторые фрактальные метрические пространства, такие как прокладка Серпинского, могут быть оснащены α-мерной мерой Хаусдорфа , где α — размерность Хаусдорфа . Однако в целом метрическое пространство может не иметь «очевидного» выбора меры.
Одним из применений метрических пространств с мерой является обобщение понятия кривизны Риччи за пределы римановых многообразий. Подобно тому, как пространства CAT( k ) и Александрова обобщают границы секционной кривизны, пространства RCD представляют собой класс пространств с метрической мерой, которые обобщают нижние границы кривизны Риччи. [22]
АМетрическое пространство дискретно , если его индуцированная топология является дискретной топологией . Хотя многие понятия, например полнота и компактность, для таких пространств не представляют интереса, тем не менее они являются объектом изучения в ряде разделов математики. В частности,конечные метрические пространства (имеющие конечное число точек) изучаются в комбинаторике и теоретической информатике . [23] Особенно хорошо изучены вложения в другие метрические пространства. Например, не каждое конечное метрическое пространство может быть изометрически вложено в евклидово или гильбертово пространство . С другой стороны, в худшем случае требуемое искажение (константа билипшица) является лишь логарифмическим по числу точек. [24] [25]
Для любого неориентированного связного графа G множество V вершин G можно превратить в метрическое пространство, определив расстояние между вершинами x и y как длину кратчайшего реберного пути, соединяющего их. Это также называется расстоянием кратчайшего пути или геодезическим расстоянием . В геометрической теории групп эта конструкция применяется к графу Кэли (обычно бесконечной) конечно порожденной группы , что дает слово метрика . С точностью до билипшицевого гомеоморфизма словесная метрика зависит только от группы, а не от выбранного конечного порождающего множества. [15]
В современной математике часто изучаются пространства, точки которых сами являются математическими объектами. Функция расстояния в таком пространстве обычно направлена на измерение несходства между двумя объектами. Вот некоторые примеры:
Идея пространств математических объектов также может быть применена к подмножествам метрического пространства, а также к самим метрическим пространствам. Расстояние Хаусдорфа и расстояние Громова–Хаусдорфа определяют метрики на множестве компактных подмножеств метрического пространства и множестве компактных метрических пространств соответственно.
Предположим, ( M , d ) — метрическое пространство, и пусть S — подмножество M . Расстояние от S до точки x из M , неформально, является расстоянием от x до ближайшей точки S. Однако, поскольку ни одной ближайшей точки может не быть, она определяется через нижнюю границу :
Учитывая два подмножества S и T из M , их расстояние Хаусдорфа равно
Метрика Громова – Хаусдорфа определяет расстояние между (классами изометрии) компактных метрических пространств. Расстояние Громова –Хаусдорфа между компактами X и Y является нижней границей расстояния Хаусдорфа над всеми метрическими пространствами Z , которые содержат X и Y в качестве подпространств. Хотя точное значение расстояния Громова – Хаусдорфа редко бывает полезно знать, полученная топология нашла множество применений.
Если - метрические пространства, а N - евклидова норма на , то - метрическое пространство, где метрика произведения определяется формулой
Аналогично метрика топологического произведения счетного числа метрических пространств может быть получена с помощью метрики
Топологическое произведение бесчисленного числа метрических пространств не обязательно должно быть метризуемым. Например, несчетное произведение копий не является первосчетным и, следовательно, не метризуемо.
Если M — метрическое пространство с метрикой d и является отношением эквивалентности на M , то мы можем снабдить фактормножество псевдометрикой. Расстояние между двумя классами эквивалентности и определяется как
Факторметрика характеризуется следующим универсальным свойством . Если является метрическим (т.е. 1-липшицевым) отображением между метрическими пространствами, удовлетворяющими f ( x ) = f ( y ) всякий раз , то индуцированная функция , заданная , является метрическим отображением
Фактор-метрика не всегда индуцирует фактор-топологию . Например, топологический фактор метрического пространства, идентифицирующий все точки формы, не является метризуемым, поскольку он не является счетным в первую очередь , но фактор-метрика является четко определенной метрикой на том же множестве, что приводит к более грубой топологии . Более того, разные метрики исходного топологического пространства (непересекающегося объединения счетного числа интервалов) приводят к разным топологиям фактора. [30]
Топологическое пространство является секвенциальным тогда и только тогда, когда оно является (топологическим) фактором метрического пространства. [31]
Существует несколько понятий пространств, которые имеют меньшую структуру, чем метрическое пространство, но большую, чем топологическое пространство.
Существует также множество способов ослабить аксиомы метрики, что приводит к возникновению различных понятий обобщенных метрических пространств. Эти обобщения также можно комбинировать. Терминология, используемая для их описания, не полностью стандартизирована. В частности, в функциональном анализе псевдометрики часто происходят от полунорм векторных пространств, поэтому их естественно называть «полуметриками». Это противоречит использованию этого термина в топологии .
Некоторые авторы определяют метрики так, чтобы функция расстояния d могла достигать значения ∞, т. е. расстояния представляют собой неотрицательные числа на расширенной прямой вещественных чисел . [4] Такую функцию еще называют расширенной метрикой или «∞-метрикой». Любую расширенную метрику можно заменить вещественной метрикой, топологически эквивалентной. Это можно сделать с помощью субаддитивной монотонно возрастающей ограниченной функции, которая равна нулю в нуле, например или .
Требование о том, чтобы метрика принимала значения, можно смягчить, чтобы учитывать метрики со значениями в других структурах, в том числе:
Эти обобщения по-прежнему приводят к однородной структуре пространства.
Псевдометрика на — это функция , удовлетворяющая аксиомам метрики, с той лишь разницей, что вместо второй (тождественность неразличимых) требуется только для всех . [33] Другими словами, аксиомы псевдометрики таковы:
В некоторых контекстах псевдометрики называют полуметриками [34] из-за их связи с полунормами .
Иногда квазиметрику определяют как функцию, которая удовлетворяет всем аксиомам метрики, за возможным исключением симметрии. [35] Название этого обобщения не совсем стандартизировано. [36]
Квазиметрика широко распространена в реальной жизни. Например, для набора X горных деревень типичное время ходьбы между элементами X образует квазиметрику, поскольку путешествие в гору занимает больше времени, чем путешествие вниз. Другой пример — продолжительность поездки на автомобиле в городе с улицами с односторонним движением: здесь кратчайший путь из точки А в точку Б проходит по другому набору улиц, чем кратчайший путь из Б в А , и может иметь разную длину.
Квазиметрика действительных чисел может быть определена, установив
Учитывая квазиметрику X , можно определить R -шар вокруг x как множество . Как и в случае с метрикой, такие шары образуют основу топологии на X , но эта топология не обязательно должна быть метризуемой. Например, топология, индуцированная квазиметрикой вещественных чисел, описанных выше, представляет собой (перевернутую) линию Соргенфрея .
В метаметрике все аксиомы метрики выполняются, за исключением того, что расстояние между одинаковыми точками не обязательно равно нулю. Другими словами, аксиомы метаметрики таковы:
Метаметрика возникает при изучении гиперболических метрических пространств Громова и их границ. Визуальная метаметрика такого пространства удовлетворяет требованиям для точек на границе, но в остальном представляет собой приблизительное расстояние от границы. Метаметрика была впервые определена Юсси Вяйсяля. [37] В других работах функция, удовлетворяющая этим аксиомам, называется частичной метрикой [38] [39] или дислоцированной метрикой . [33]
Полуметрика — это функция , которая удовлетворяет первым трем аксиомам, но не обязательно неравенству треугольника :
Некоторые авторы работают с более слабой формой неравенства треугольника, например:
Из ρ-инфраметрического неравенства следует ρ-ослабленное неравенство треугольника (в предположении первой аксиомы), а из ρ-ослабленного неравенства треугольника следует 2ρ-инфраметрическое неравенство. Полуметрики, удовлетворяющие этим эквивалентным условиям, иногда называют квазиметриками , [40] околометриками [41] или инфраметриками . [42]
ρ-инфрамметрические неравенства были введены для моделирования времени двусторонней задержки в Интернете . [42] Из неравенства треугольника следует 2-инфреймрическое неравенство, а из ультраметрического неравенства — это в точности 1-инфраметрическое неравенство.
Ослабление последних трех аксиом приводит к понятию преметрики , то есть функции, удовлетворяющей следующим условиям:
Это не стандартный термин. Иногда его используют для обозначения других обобщений метрик, таких как псевдосемиметрика [43] или псевдометрика; [44] в переводах русских книг оно иногда выступает как «праметрическое». [45] Преметрика, которая удовлетворяет симметрии, т.е. псевдосемиметрика, также называется расстоянием. [46]
Любая преметрика порождает следующую топологию. Для положительного вещественного числа -шар с центром в точке определяется как
Множество называется открытым , если в любой точке множества существует -шар с центром , содержащийся в множестве. Каждое преметрическое пространство является топологическим пространством и фактически секвенциальным пространством . Вообще говоря, сами шары не обязательно должны быть открытыми множествами относительно этой топологии. Что касается метрик, расстояние между двумя множествами и определяется как
Это определяет преметрику на множестве степеней преметрического пространства. Если мы начнем с (псевдополу)метрического пространства, мы получим псевдополуметрику, то есть симметричную преметрику. Любая предметрика порождает оператор предварительного замыкания следующим образом:
Префиксы псевдо- , квази- и полу- также можно комбинировать, например, псевдоквазиметрика (иногда называемая гемиметрикой ) ослабляет как аксиому неразличимости, так и аксиому симметрии и является просто преметрикой, удовлетворяющей неравенству треугольника. Для псевдоквазиметрических пространств открытые шары образуют базис открытых множеств. Самый простой пример псевдоквазиметрического пространства — это набор с преметрикой, заданной формулой и Соответствующее топологическое пространство — это пространство Серпинского .
Множества, оснащенные расширенной псевдоквазиметрикой, изучались Уильямом Лоувером как «обобщенные метрические пространства». [47] С категориальной точки зрения расширенные псевдометрические пространства и расширенные псевдоквазиметрические пространства вместе с соответствующими им нерасширяющими отображениями являются лучшими из категорий метрических пространств . Можно взять произвольные продукты и копродукции и сформировать факторобъекты внутри данной категории. Если отбросить «расширенное», можно будет брать только конечные произведения и копроизведения. Если отбросить слово «псевдо», то нельзя брать частное.
Лоувер также дал альтернативное определение таких пространств как обогащенных категорий . Упорядоченное множество можно рассматривать как категорию с одним морфизмом , если и ни с одним в противном случае. Использование + в качестве тензорного произведения и 0 в качестве тождества превращает эту категорию в моноидальную . Каждое (расширенное псевдоквази)метрическое пространство теперь можно рассматривать как категорию, обогащенную :
Понятие метрики можно обобщить от расстояния между двумя элементами до числа, присвоенного мультимножеству элементов. Мультимножество — это обобщение понятия множества, в котором элемент может встречаться более одного раза. Определите объединение мультимножеств следующим образом: если элемент x встречается m раз в X и n раз в Y , то он встречается m + n раз в U. Функция d на множестве непустых конечных мультимножеств элементов множества M называется метрикой [48] , если
Рассмотрев случаи аксиом 1 и 2, когда мультимножество X имеет два элемента, и случай аксиомы 3, когда мультимножества X , Y и Z имеют по одному элементу каждое, восстанавливаются обычные аксиомы для метрики. То есть каждая метрика мультимножества дает обычную метрику, если ограничиться наборами из двух элементов.
Простым примером является набор всех непустых конечных мультимножеств целых чисел с . Более сложные примеры: информационное расстояние в мультимножествах; [48] и нормализованное расстояние сжатия (NCD) в мультинаборах. [49]
... на протяжении большей части прошлого столетия было распространено мнение, что «геометрия многообразий» по сути сводилась к «анализу многообразий». Геометрические методы в значительной степени опирались на дифференциальную технику, о чем можно догадаться по названию «Дифференциальная геометрия».
{{cite book}}
: CS1 maint: location missing publisher (link)