CC BY
14
ЧЕБЫШЕВСКИИ СБОРНИК
Том 23. Выпуск 3.
УДК 514
DOI 10.22405/2226-8383-2022-23-3-5-18
Метрический сегмент в классе Громова — Хаусдорфа1
О. Б. Борисова
Борисова Ольга Борисовна — Московский государственный университет имени М. В. Ломоносова (г. Москва). e-mail: [email protected]
В этой статье изучаются свойства метрического сегмента в классе всех метрических пространств, рассматриваемых с точностью до изометрии, с расстоянием Громова — Хаусдорфа. При ограничении на компактные метрические пространства, расстояние Громова
— Хаусдорфа становится метрикой. Метрическим сегментом называется класс точек, лежащих между двумя данными. По аксиоматике теории множеств фон Неймана — Бернайса
— Гёделя (,\( 11?) собственный класс — это такое «огромное семейство», эквивалентное классу всех множеств, которое уже само множеством не является. В этой статье показано, что любой метрический сегмент в классе Громова — Хаусдорфа, при условии, что существует хотя бы одно метрическое пространство, лежащее на ненулевых расстояниях до концевых точек сегмента, является собственным классом. А сегмент, у которого расстояние между концевыми точками равно нулю — множество. Также доказано, что при ограничении на компактные метрические пространства невырожденный метрический сегмент не является компактным множеством.
Ключевые слова: Расстояние Громова — Хаусдорфа, класс всех метрических пространств, аксиоматика фон-Неймана — Бернайса — Гёделя, метрический сегмент, компактность.
Библиография: 15 названий. Для цитирования:
О. Б. Борисова. Метрический сегмент в классе Громова — Хаусдорфа // Чебышевский сборник, 2022, т. 23, вып. 3, с. 5-18.
Аннотация
1 Исследование выполнено за счет гранта Российского фонда фундаментальных исследований (проект №19-01-00775а) и стипендии Фонда развития теоретической физики и математики «БАЗИС» (грант №20-8-2-8-1).
CHEBYSHEVSKII SBORNIK Vol. 23. No. 3.
UDC 514 DOI 10.22405/2226-8383-2022-23-3-5-18
Metric Segments in Gromov-Hausdorff class2
О. B. Borisova
Borisova Olga Borisovna — Lomonosov Moscow State University (Moscow). e-mail: [email protected]
Abstract
We study properties of metric segments in the class of all metric spaces considered up to an isometry, endowed with Gromov-Hausdorff distance. On the isometry classes of all compact metric spaces, the Gromov-Hausdorff distance is a metric. A metric segment is a class that consists of points lying between two given ones. By von Neumann-Bernays-Godel (NBG) axiomatic set theory, э. proper class is a "monster collection", e.g., the collection of all sets. We prove that any metric segment in the proper class of isometry classes of all metric spaces with the Gromov-Hausdorff distance is a proper class if the segment contains at least one metric space at positive distances from the segment endpoints. If the distance between the segment endpoints is zero, then the metric segment is a set. In addition, we show that the restriction of a non-degenerated metric segment to compact metric spaces is a non-compact set.
Keywords: Gromov-Hausdorff distance, class of all metric spaces, von Neumann-Bernays-Godel axioms, metric segment, compact set.
Bibliography: 15 titles. For citation:
0. B. Borisova, 2022, "Metric Segments in Gromov-Hausdorff class" , Chebyshevskii sbornik, vol. 23, no. 3, pp. 5-18.
1. Введение
Расстояние Громова — Хаусдорфа — это величина, показывающая степень различия между двумя произвольными метрическими пространствами. Данное понятие тесно связано с расстоянием Хаусдорфа, впервые появившимся в 1914 году в книге Хаусдорфа «Теория множеств» [1]. Оно естественно определяет расстояние на непустых подмножествах некоторого метрического пространства и становится метрикой для замкнутых ограниченных подмножеств.
В 1981 Громов в своей работе [2] использовал изометричные вложения метрических пространств в одно общее метрическое пространство и рассматривал расстояние Хаусдорфа между их образами. Наименьшее возможное расстояние Хаусдорфа при таких вложениях принято называть расстоянием Громова — Хаусдорфа. Было доказано, что на метрических компактах, рассматриваемых с точностью до изометрии, данное расстояние является метрикой [3]. Независимо от Громова, шестью годами раннее, в работе Эдвардса [4] было введено эквивалентное расстояние между метрическими пространствами, но определенное несколько иным способом. Более подробный исторический обзор можно найти в работе [5].
2The study was performed under the support of the Russian Foundation for Basic Research (project №19-01-00775a) and the scholarship of the Theoretical Physics and Mathematics Advancement Foundation «BASIS» (grant №20-8-2-8-1).
Известно, что расстояние Громова — Хаусдорфа удовлетворяет неравенству треугольника, а на любых изометричных метрических пространствах равно нулю. Поэтому будем говорить о нем как о расстоянии между классами изометрии метрических пространств, вычисляя его на произвольном представителе класса (величина не зависит от выбора представителя). Так как на любом множестве можно определить метрику (например, положив равной 1 между любыми двумя различными элементами), по известному парадоксу Кантора, семейство всех классов изометрии не могут образовать множество. В данной статье мы будем использовать систему аксиом фон Неймана — Бернайса — Гёделя (N013) теории множеств [6], чтобы корректно работать с такими семействами.
В теории N60 все объекты называются классами. Класс называют множеством, если существует класс, в котором этот класс является элементом. В противном случае класс называют собственным, классом,. Семейство всех множеств является собственным классом. Для классов стандартным образом определены операции отображения и декартова произведения. Таким образом, на собственном классе, как и на множестве, мы можем корректно задать функцию расстояния. Семейство классов изометрии метрических пространств (по приведенному выше замечанию) является собственным классом. Этот собственный класс, с определенным на нём расстоянием Громова — Хаусдорфа, — обобщенное псевдометрическое пространство, которое мы будем обозначать ЯН. Пространство называю обобщенным псевдометрическим пространством, если определенная на его элементах функция расстояния удовлетворяет неравенству треугольника, но может принимать бесконечное значение и равняться нулю на паре не равных элементов.
В данной работе изучается класс элементов в пространства ЯН, находящихся между двумя данными. А точнее, метрическое пространство 2 £ ЯН лежит между Х,У £ ЯН, если йан(Х^) + йан(%,У) = йан(Х,У), где йан() — обозначение расстояния Громова — Хаусдорфа. Класс всех таких 2 называют метрическим сегментом и обозначают [X, У]. Сегмент, у которого расстояние Громова — Хаусдорфа между концевыми точками равно нулю, называется вырожденным,, иначе невырожденным.
В данной статье показано, что невырожденный метрический сегмент с непустой «внутренностью» (т.е. если в сегменте существует метрическое пространство с ненулевыми расстояниями до концевых точек) содержит в себе так много неизометричных метрических пространств, что уже является не множеством, а становится собственным классом. Вырожденный сегмент является множеством.
При ограничении <3% на множество компактных метрических пространств, расстояние Громова — Хаусдорфа становится метрикой. Данное пространство называется метрическим пространством Громова — Хаусдорфа и обозначается М. Геометрия этого пространства подробно описана в [3], [7]. В 2015 году А.О.Ивановым, Н.К.Николаевой и А.А.Тужилинымм было доказано одно из важных свойств этой метрики — строгая внутренность [8], [9]. Это означает, что в метрическом пространстве Громова — Хаусдорфа любые две точки соединены кратчайшей геодезической, длина которой равна расстоянию между ее концами.
Особые кратчайшие геодезические, образованные с помощью оптимального соответствия (точное определение будет введено ниже) назовём Д-геодезическими. Примеры применения техники соответствий, и в том числе оптимальных соответствий, встречаются во многих работах, например [10], [11] или [12]. Объединение всех Д-геодезических, соединяющих Х,У £ ЯН, называется Я-сегментом и обозначается [Х,У]х. В 2018 году Д. Климбус показала, что для Х,У £ М множество [X, У]д П М компактно [13]. В этой статье докажем, что для Х,У £ М невырожденный сегмент [Х,У] С М, рассматриваемый в метрическом пространстве Громова — Хаусдорфа, не является компактным множеством. А для Х,У £ ЯН масс [Х,У]д — множество, в отличие от метрического сегмента [Х,У].
Выражаю благодарность своему научному руководителю д.ф.-м.н. профессору А.А. Тужи-лину, а также д.ф.-м.н. профессору А.О. Иванову за постановку задачи и постоянное внимание
к работе.
2. Основные определения и предварительные результаты
Пусть X — произвольное множество. Функцией расстояния на X будем называть каждое симметричное отображение d : X х X ^ [0, œ>], равное нулю на всех парах одинаковых элементов. Если d удовлетворяет неравенству треугольника, то отображение d называется обобщенной псевдометрикой. При выполнении условия d(x, у) = 0 для любых х = у, данное расстояние становится обобщенной метрикой. Если дополнительно справедливо неравенство d(x, у) < ж для любых х,у G X, то это отображение назовем метрикой или конечной метрикой, чтобы подчеркнуть отличие от обобщенной метрики. Множество X с (обобщенной) (псевдо-)метрикой называется (обобщенным) (псевдо-)метрическим пространством.
Пусть X — произвольное метрическое пространство. Расстояние между точками х,у G X будем обозначать через |жу|. Иногда, для подчеркивания, о каком пространстве идет речь, будем добавлять нижний индекс |ху\х■ Для х G X и непустого А С X положим |xA| = inf{ |жа| : a G А}. Пуст ь V (X ) — семейство всех непустых под множеств X. Для А, В G V (X ) положим
dH(А, В) = maxjsup |аБ|, sup |А6|}.
аеА ьев
Величина dn(А, В) называется расстоянием Хаусдорфа между А и В.
Пусть В(Х) С V(X) — множество всех непустых ограниченных подмножеств X.
Предложение 1 ([3]). Ограничение dn(А, В) на, В(Х) является псевдометрикой.
Обозначим через %(Х) С В(Х) множество всех непустых замкнутых ограниченных подмножеств X.
Предложение 2 ([3]). Ограничение dn(А, В) на, %(Х) является метрикой.
Пусть X жУ — метрические пространства. Тройку (X ', Y', Z'), состоящую из метрического пространства Z' и его двух подмножеств X' и У, изометричных соответственно ХжУ, назовем реализацией пары, (X,Y). Положим
dGH(X,Y) = inf{г : 3 (X',Y',Z'), dH(X',Yr) < ^. Величина dan(X,Y) расстоянием Громова — Хаусдорфа между X и Y.
Предложение 3 ([3]). Гасстояние Громова — Хаусдорфа удовлетворяет неравенству треугольника.
Так как для любых изометричных метрических пространств расстояние Громова-Хаусдорфа равно нулю, будем считать изометричные пространства эквивалентными. Таким образом, расстояние Громова — Хаусдорфа определено на классах изометрии метрических пространств (оно не зависит от представителей классов). Заметим, что расстояние Громова — Хаусдорфа может принимать бесконечные значения, и также существуют примеры неизомет-ричных ограниченно компактных метрических пространств, для которых dcH(X,Y) = 0, см.
И-
Семейство всех классов изометрии очень большое. Оно «не меньше» семейства всех множеств, так как на любом множестве мы можем задать метрику (например, положив расстояние 1 на всех парах различных точек). Из парадокса Кантора известно, что семейство всех множеств уже само не может быть множеством. В этой статье будем пользоваться аксиоматикой теории множеств фон Неймана — Бернайса — Гёделя (NGB) [6]. Напомним формулировки некоторых положений.
В NGB все объекты, аналоги привычных множеств, называются классами. Существует два вида классов: множество и собственный класс. Класс Л называется множеством, если существует класс С такой, что Л G С. Класс Л называется собственным классом,, если для каждого класса С верно Л G С-.
Предложение 4 ([6]). Класс всех множеств V = {Л : Л = Л} является собственным классом.
Для любых классов X, У определены операции X х X и f : X ^ У стандартным образом, поэтому мы можем говорить о функции расстояния на классах. Собственный класс всех метрических пространств, рассматриваемых с точностью до изометрии, с расстоянием Громова
— Хаусдорфа будем обозначать через Q%. Другим примером собственного класса является класс ограниченных метрических пространств, рассматриваемых с точность до изометрии. Этот класс с определенным на нем расстоянием Громова — Хаусдорфа будем обозначать через В.
Предложение 5 ([3]). Ограничение dan {А, В) на, В является псевдометрикой.
Обозначим через M множество всех компактных метрических пространств, рассматриваемых с точностью до изометрии.
Предложение 6 ([3]). Ограничение dan {А, В) на M является метрикой.
Расстояние Громова — Хаусдорфа удобно изучать в терминах соответствий. Пусть X и У
— произвольные непустые множества. Положим V(X,Y) = V(X х Y). Элементы из V(X,Y) называются отношениями между X и Y.
Пусть ■кх : X х Y ^ X и жу : X х Y ^ Y обозначают канонические проекции ■кх {%, у) = х и жу(х,у) = у. Отношение a G V(X,Y) называется соответствием,, если ограничения ■кх и ■ку на а сюръективны. Множество всех соответствий между X и У обозначим через V^{X, Y).
Если X wY — метрические пространства, то для каждого отношения a G V {X, Y ) определено искажение
dis а = вир{||жж'| - lyy'l \ : (х,у), (х',у') G а}.
Предложение 7 ([3]). Пусть X и Y — метрические пространства. Тогда
dGH {X,Y ) = 1inî {dis R : R G K{X,Y )}.
Соответствие R G ~R{X,Y) назовем оптимальным, если don (X,Y) = 1 dis R. Множество всех оптимальных соответствий между X и У обозначим через (X, Y). Соответствие называют замкнутым, если оно является замкнутым подмножеством X х Y. Пусть ~R.C{A, В) — множество всех замкнутых соответствий.
Предложение 8 ([9], [12]). Для X, Y G M имеем K()pt{X, Y) П KC{X, Y) = 0.
Пусть X,Y — произвольные метрические пространства. При каждом t G (0,1) определим на X х У функцию расстояния, положив
\ {х,у){х',у') \t = (1 - Щхх'I + tlyy'I.
Предложение 9 ([9]). Определенная выше функция | ■ |t является метрикой при всех t G (0,1) на X х Y.
Для каждого a G V (X,Y ), метрическое пространство (а, | ■ ^обозначим ч ерез at-
Предложение 10 ([9]). Для любых Х,У € М и любого замкнутого а € V(Х,У) имеем ог € М при каждом, £ € (0,1).
Выберем произвольное К € ^(Х, У) и доопределим семейство Кг,Ь € (0,1), в точках £ = 0,1, положив До = X и = К.
Предложение 11 ([8], [9], [121). Для любых Х,У €Ми К € Яорг(Х, У) ПКС(Х, У) отображение £ ^ Кг € [0,1], задает, кривую в М, соединяют, ую X иУ. Эта кривая является кратчайшей, причем ее длина, равна йен (Х,У). Тем, самым, метрика пространства М — строго внутренняя.
Пусть А — класс, наделенный обобщенной псевдометрикой, и X, У € А. Сегментом с
концами X жУ назовём подкласс
[Х,У] ={г € А : \Х21 + \гу| = \ХУ|}.
Если \ХУ\ = 0, то сегмент называют вырожденным,, иначе невырожденным.
Пусть теперь Х,У € Определим Д-сегмент [Х,У\& С [X, У] следующим образом: рассмотрим произвольное оптимальное соответствие К € /Я,0р1(Х,У) (их может не быть) и пусть, как и выше, Кг - это Д-геодезическая. Объединение всех таких Кг мы и обозначим
[Х,у ]я-
Предложение 12 ([131). Для любых Х,У € М, множество [X, У]я П М компактно.
Пусть X — метрическое пространство и е > 0. Числом покрытия соу(Х, е) называется наименьшее количество открытых шаров радиуса е, которыми можно покрыть пространство X.
Следующее предложение называется критерием Громова предкомпактности семейства метрических компактов.
Через ё1ашХ = 8ир{\аЬ\ : а,Ь € X} обозначим диаметр пространства X.
Предложение 13 ([31). Пусть С — непустое подмножест,во М. Тогда следующие утверждения эквивалентны.
1. Существует число И > 0 и функция N: (0, те) ^ N такие, что для всех X € С выполняется ё1ашХ < И и соу(Х,е) < N(е).
2. Семейство С С М предкомпактно.
В данной статье мощность множества X или по-другому его кардинальное число (кардинал) будем обозначать через #Х. Напомним некоторые свойства кардинальных чисел.
Предложение 14 ([141). Класс всех кардинальных чисел является собственным классом.
Два множества X, У равномощны или имеют одинаковое кардинал,ьное число, т.е. #Х = #У, если существует взаимно однозначное соответствие между X и У. Говорят, что кардинал множества X меньше кардинала множества У, и пишут #Х < #У, если существует инъективное отображение X в и, где и С Уши = У. Таким образом, на кардинальных числах определено отношение частичного порядка. Неравенство #Х < #У обозначает, что либо #Х < #У, либо #Х = #У.
Предложение 15 (Теорема Кантора-Бернштейна-Шрёдера [61). Если для, произвольных множеств X, У верно #Х < #У и #У < #Х, то #Х = #У.
В данной статье мы будем принимать аксиому выбора построения теории множеств. Класс называется вполне упорядоченным, если на нем установлено отношения порядка, и каждый его непустой подкласс имеет наименьший в смысле этого отношения элемент. Из определения следует, что во вполне упорядоченном классе любые два элемента сравнимы.
Предложение 16 (Принцип полного упорядочения [6]). Всякое множество может быть вполне упорядочено.
Опираясь на аксиому выбора, доказывается следующая теорема.
Предложение 17 ([14]). Всякое множество кардинальных чисел с введенным, выше отношением порядка является вполне упорядоченным.
Обозначим мощность множества натуральных чисел через ^о, а мощность множества действительных чисел через с.
Для кардинальных чисел определены арифметические операции. Пусть #Х = т и = п. Сумма кардиналов т и п равна мощности множества X и У при условии X П У = 0. Произведение кардиналов т и п, имеющее обозначение т-п, — это мощность множества X хУ. Операция возведения в степень с обозначением пт определена как мощность множества всех отображений из X в У.
Предложение 18 ([15]). Произведение или сумм,а двух кардинальных чисел, от,личных от, нуля, где хотя бы одно из них бесконечно, равно большему из них.
Вернемся к метрическим пространствам.
Назовем плотностью метрического пространства X наименьшее такое кардинальное число т, что в пространстве X имеется всюду плотное подмножество мощности т. Обозначим плотность через ёеп(Х). Благодаря полной упорядоченности кардинальных чисел, минимальное по мощности всюду плотное подмножество всегда существует.
3. Основные результаты
Теорема 1. Метрические пространства X иУ, удовлетворяющие условию йен (X, У) = = 0; имеют одинаковую плотность.
Доказательство. Докажем неравенство ёеп(Х) > ёеп(У), из которого будет следовать утверждение теоремы в силу симметричности формулировки относительно X жУ.
Пусть плотность X конечна. Тогда метрическое пространство X совпадает со своим всюду плотным подмножеством и #Х = ёеп(Х), то есть X конечно. Покажем от противного, что
Пусть #X < #У, тогда выберем #X +1 произвольных различных точек пространства У и обозначим через е минимальное расстояние между ними. Из условия dcH(X,Y) = 0 по предложению 7 следует существование соответствия R G 'R,(X, У) такого, что dis R < е. Так как на R каноническая проекция жу(х,у) = у сюрьективна, то существует пара точек у\,у2 G У их G X, удовлетворяющих условию (х,у\), (х,у2) G R и |yi^2| > Но это противоречит условию dis R < е. Таким образом, den(X) = #X > #Y > denjY).
Пусть теперь плотность X бесконечна. Обозначим через X всюду плотное подмножество X такое, что #X = den(X). По предложению 7, для любого п G N существует соответствие R1/n G ~R(X,Y ^удовлетворяющее условию dis R1/n < Обозначим ч ерез У1/п «однозначный образ» отображения R1/n(X), то есть
#X > #Y.
хех
где у1/п(х) € У — один произвольно выбранный элемент из образа К1/п(х). Тогда #У1/п < #Х.
Покажем, что У = У1 (У1 /п) является всюду плотным подмножеством У. Зафиксируем произвольное е > 0 и у € У. Для натурального ^удовлетворяющему условию | > выберем элемент х го прообраза К-//п(у) = {х € X : (х,у) € Я1/п}- Найдем элемент ж из всюду плотного
подмножества X, для штор ого \жж\ < |. Тогда для у = у1/п(х) € У1/п получаем,
I | в
\\хх\ - \уу\I < в,1/п < 2.
Таким образом, существует у € У, для которого верно \уу\ < е. Из арифметики кардинальных чисел следует, что
те
#у < ^ #У1/п < ^0 ■ = шах{^о, } < = ¿еп(Х)
п= 1
Тогда ёеп(У) < #У < ёеп(Х). □
Следствие 1. Для, любого метрического пространства X € ЯН класс [X] := ^ € ЯН : йен(X, Z) = 0} является множеством. В частности, множеством является каждый вырожденный сегмент [X, У].
Доказательство. Пусть для метрического пространства 2 верно 2 € [X]. Тогда, по теореме 1, ёеп(^) = ёеп(Х). Число элементов в метрическом пространстве не превосходит количества последовательностей из точек любого всюду плотного подмножества. Тогда < ёеп(^Отметим также, что количество неизометричных метрических пространств с одинаковой мощностью т не превосходит ст'т, где с — мощность множества вещественных чисел (континуум). Таким образом, получаем неравенство #[Х] < ст^т, где т = ёеп(^)^°. Это означает, что [X] — множество.
Так как вырожденный сегмент [X, У] = [X] = [У], получаем, что любой вырожденный □
Следствие 2. Пусть для Х,У € ЯН сегмент [X, У] — невырожден, и для любого 2 € [X, У ] верно, что л ибо йен (X, 2) = 0; либо йен (У, % ) = 0. Тогда [X, У ] — множество.
Доказательство. По неравенству треугольника для расстояния Громова — Хаусдорфа, любое метрическое пространство, находящееся на нулевом расстоянии до концевой точки сегмента, лежит в сегменте. Таким образом, [X, У] имеет следующий вид:
[Х,У] = [х] и [У].
Из этого следует, что сегмент [X, У] — множество, как объединение двух множеств. □
В метрическом пространстве X замкнутый шар с центром в точке жо € X и радиусом г > 0 будем обозначать Вг(жо). Чтобы подчеркнуть, в каком пространстве лежит шар, иногда будем добавлять верхний индекс. Таким образом, Вг(ж0) = В^(ж0) = {ж € X : \хх0\ < г}.
Теорема 2. Пусть сегмент [X, У] невырожден для Х,У € ЯН. Пусть существует метрическое пространство 2 € [X, У] такое, что йен(Х^) > 0 и йен (У, Я) > 0. Тогда, существует такое метрическое пространство 2* = 2 и {г*}, где г* € 2* — изолированная точка, что 2* € [X, У], и 2* удовлетворяет уеловиям йен (X, 2*) > 0 ¿он(У, %*) > 0.
Доказательство. Построим необходимое метрическое пространство 2*. Зафиксируем произвольную точку 20 € 2 и произвольное конечное 5, где
0 < 6 < ш1п1{2^ся(X, г), 2(1СН(У, г)г}.
Построим метрическое пространство 2* = 2и{,г*}, сохранив расстояние между точками г € 2
*
{Ь при z G Z ПВf (zo),
|ZqZIz при Z G Z \B$(Zo), 0 2 = Z*.
Убедимся, что данная функция является метрикой. Для этого достаточно проверить неравенство треугольника для z\, Z2, z*, где z\, G Z, так как остальные аксиомы очевидно выполняются.
Рассмотрим различные случаи расположения точек z\, z2-Пусть z\, z2 G Z П В^(zo), тогда треугольник равнобедренный и
I Zilz * < I z* Z2\z * + | Z2Z\ I z* ,
I Z\Z2\z * = I Z\Z2\z < I Zizolz + I ZoZ2Iz < 20= IZ1 Z*Iz* + I ¿2|z* .
Если же Z\, Z2 G Z \ В^(zo), то расстояния между z\, Z2, z* соответственно равны расстояниям в Z между z1, z2, z0. В последнем случае z1 G Z \ Bf (z0), a z2 G Z П (z0), тогда
12* Zi\z* = I ZoZi\z < \ Z0Z2IZ + I Z2Z\\z < \ z* Z2IZ* + \ Z2Z1IZ * ,
I Z2\z * =s < I Z* Zilz* < I z* Zilz* + IZ1Z21 z * , IZ1Z2IZ* = IZ1Z2IZ < I Zizolz + IZ0Z2IZ < I Zi z*\z* + I -г* Z2\z *.
Таким образом, Z * G Q%.
Далее, докажем, что dan(X,Z*) < dan(X,Z). Рассмот^ произвольное соответствие R G R(X, Z) и построим то тему соответствие R* = R U (R-1(z0) х {zG R(X,Z*), где R-1(Zo) = l{x G X : (x, Zo) G Rr}. Подсчет искажения R* разобьем на три части:
r1 = sup j I \xX\ — \zz!\| : (x, z), (X, z') G R*; 2, z' G zJ,
r2 = sup j | \xX\ — \zz*11 : \zzo\ > S; (x, z) G R*G R
r3 = sup j | \xx' \ — \z z* 11 : \z zo\ < S; (x, z) G R* ;x' G R
Тогда dis R* = max{r 1, r2, r3}. Оценим ri сверху.
По построению соответсвия R*, имеем Г1 = dis R.
2 | o| > | *|= | o|
r2 = supj | \xx'\ — \zzo\I : \zzo\ > ô; (x, z), (x', zo) G r| < dis R.
x, x , sup
в определении Если 0 < \xx'\ — \ zz*\, то
\xx'\ — \zz*\ < \xx'\ — \zzo\ < dis R.
В противном случае,
0 < \z z*\ — \xx' I <ô< 2dGH (X,Z ) < dis R,
поэтому и r3 < dis R. Таким образом,
dis R* dis R.
1
-1
Из этого неравенства и предложения 7 следует, что
йен(X, г*) < йен(X, г) < йен(X, у). Аналогично доказывается неравенство
(1сн (Х,У) > йен (г,¥) > йен (г *,У).
Тогда
(1СН(X, у) = (1СН(X, г) + (1СН(г, У) > йсн (х, г *) + йсн (г *,у ) > йсн (х, у),
где последние неравенство является неравенством треугольника для расстояния Громова — Хаусдорфа. Таким образом, йан(Х^*) + йан(%*,¥) = Лен(Х,У), а это означает, что Z* € [X, У]. Также верно, что йан(X, Z*) > 0 и йан(¥, %*) > 0, так как иначе одно из расстояний йен (X, 2 *), йен (У, % *) равно йен (X, У), чего не может быть в силу полученных выше □
Метрическое пространство X назовем симплексом, если все его ненулевые расстояния одинаковы. Заметим, что симплекс X компактен, если и только если он конечен. Симплекс, имеющий п вершин, расстояния между которыми равны А, обозначим через ААп.
Теорема 3. Пусть сегмент [X, У] невырожден для некоторых Х,У € ЯН. Пусть существует метрическое пространство ^ € [X, У] с хотя бы одной изолированной точкой, для, которого йен (X, Z) > 0 и йен (У, %) > 0. Тогда для, любого кардинальн,ого числа, т существует метрическое пространство Ш (т) € [Х,У \ где Ш (т) имеет в ид Ш (т) = Z и ц,Ат для, некого метрического пространства Ей ц, > 0. Есл и Z — компактное метрическое пространство, а т — конечный кардинал, то Ш(т) тоже является компактом.
Доказательство. Пусть х* € 2 — изолированная точка. Зафиксируем конечное у > 0 такое,
р < 2ш1п{^ся(х, г),йан(г, У),в(г*)},
где Б (г*) = т^\г*г\ : г € Z,z = г*} > 0. Для множества
W = W(т) = ^Ат и г \ {,г*} введем функцию расстояния следующим образом. Пусть ,Ш1,'Ш2 € Ш, тогда
\w1W2\w = <
\w-\_w2при€ Z\{^*},
\-Шъг*\г при Ж!^ € г^з-г € у,Ат,г € {1,2},
у при /ш1, € ^Ат, /ш1 = -ш2, 0
Данная функция расстояния является метрикой. Аксиомы положительной определенности и симметрии очевидны. Проверим неравенство треугольника для различных точек Ш. Если все три точки и!1, ^2, ^з лежат в Z \ {г*} или же 'Ыг € где г € {1, 2, 3}, то неравенство
треугольника сохраняется. Если ,Ш1,'Ш2 € Z\{z*}, а -Шз € ц,Ат, то расстояния между этими точками соответственно равны расстояниям между Wl,W2,z* € Z, значит опять неравенство выполняется. Если же w1 € Z\{z*}, а w2,w3 € ц,Ат, то
\w2w3\w = Ц- < 2Б(г*) < 2\г*-т1\г = \w2w1\w + \w1W3\w,
IW1W2IW = klZ*lz < IWiZ*lz + M = IWlW3lw + IW3W2IW.
Аналогично с Iw1w3Iw-
Докажем, что dGH(X, W) < dGH(X, Z).
Рассмотрим произвольное соответствие R G ^(X, Z) и построим по нему соответствие V G ~R-(X, W) следующим образом. Положим (х, w) G V тогда и только тогда, когда w G Z \ {z*} и (х, w) G R либо w G ц,Ат и (х, z*) G R.
V
dis V = supjj |хх'| — Iww1 || : (x,w), (х',w') G V^.
V
vl = sup j | \xXI — Iww'I | : (x, w), (X, w1 ) GV; w G Z \ {z*},w' G W|,
v2 = supj | IxX| — Iww'| | : (x,w), (X,w') G V;w,w' G j.
Тогда dis V = maxjw 1, v2}.
Для каждой пары (x,w), (X,w') G V из построения vl существует пара (х, z), (X,zr) G R, где z,z' G Z и Iww'Iw = IZZ'Iz-, поэтому Vi < disR. Оценим сверху V2- Перепишем V2 в эквивалентном виде, пользуясь тем, что Iww'Iw = ^ дая w,w' G Ц.Ат, и определением соответствия V:
v2 = sup j | IxX I — ^rI : (х, z* ), (X, z*) G
Благодаря выбору имеем ^ < 2dcH(X, Z) < dis R ^^^^ для произвольных x,X G X таких, что (х, z*), (X, z*) G R, верно
I х х I < dis R,
поэтому модуль разности величин IxXI, ^ и сама величина V2 тоже не превосходит disR. Таким образом, доказано, что disV = max{vl, v2} < disR. Из этого неравенства и предложения 7 следует, что
dGH (X, W) <dGH (X, Z).
Аналогично доказывается неравенство dcH(Z, Y) > dcH(W, Y). Тогда
dGH(X, Y) = dGH(X, Z) + dGH(Z, Y) > dGH(X, W) + dGH(W, Y) ^ dGH(X, Y),
где последние неравенство является неравенством треугольника для метрики Громова — Хаусдорфа.
Таким образом, dGH (X, W ) + dGH (W, Y ) = dGH (X, Y), a это означает, что W (m) G [X, Y] для любого кардинального числа m.
Так как добавление конечного числа точек к компактному метрическому пространству
Z m
пространство W (m) тоже является компактом. □
Следствие 3. Пусть для невырожденного сегмента [X, Y], где X,Y G Q%, существует метрическое пространство Z G [X, Y], для которого dGH (X,Z) > Ou dGH (Y, Z ) > 0. Тогда, [ X, Y]
Доказательство. По теореме 2 и теореме 3, в сегменте [X, Y] лежат метрические пространства вида W (m) = Z U ßAm, где Z — метрическое пространство, am — произвольное кардинальное число. Класс кардинальных чисел, удовлетворяющих условию m < #Z
— является множеством, потому что их количество не превосходит кардинала #V( Z). Так как объединение двух множеств является множеством, от противного получаем, что класс Л = {m — кардинал : m > #Z} — собственный класс. Построим сюръективное отображение сегмента [X, Y] на собственный класс Д. Неизометричпые метрические пространства W (m), где m > #Z, отобразим в соответствующий кардинал m ei, а все остальные точки сегмента
— в кардинал #V( Z). Таким образом, сегмент «не меньше», чем собственный класс, поэтому и сам является собственным классом. □
X, Y
Тогда сегмент [X, Y] П M не является компактом.
[ X, Y]
Z X, Y
теореме 3, в сегменте лежит компактное метрическое пространство W (m) = Z U ßAm для некоторого ß > 0, некоторого метрического пространства Z и произвольного m e N. Но для 0 < £ < т2 число покрытия cov l( W( m), er) не меньше m, так как каждый открытый шар радиуса е может покрыть не более одной точки из ßAm С W (m). Таким образом, для l{ W(m)r}^=1 С [X, Y] не существует функции N : (0, œ>) ^ N такой, что для любого m e N выполнялось бы неравенство cov l( W (m), er) < N (e). Тогда, по предложению 13, метрический сегмент [X, Y] П M не является предкомпактом и тем более компактом. □
Теорема 4. Пусть X,Y e Q% — произвольные непустые метрические пространства. Тогда, R-сегменm [X, Y]д является множеством.
X Y
#V (X х Y). Тогда мощность R-сегмента удовлетворяет перавенству [X, Y] r < #V (X xY) x c. □
4. Заключение
Таким образом, мы показали, что в классе Громова — Хаусдорфа метрический сегмент, в котором есть хотя бы один элемент, лежащий на ненулевых расстояниях до концевых точек сегмента, — собственный класс. В противном случае, метрический сегмент является множеством. При ограничении класса Громова — Хаусдорфа на компактные метрические пространства невырожденный метрический сегмент всегда является не компакнтым множеством.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Hausdorff F. Grundzüge der Mengenlehre. Leipzig: Veit, 1914 [reprinted by Chelsea in 1949].
2. Gromov M. Groups of Polynomial growth and Expanding Maps. // В сборнике: Publications Mathématiques Paris: I.H.E.S., Vol. 53, 1981.
3. Бураго Д.Ю., Бураго Ю.Д., Иванов C.B. Курс метрической геометрии. Москва - Ижевск: Изд-во Института компьютерных исследований, 2004. — 496 с.
4. Edwards D. The Structure of Superspace. //В сборнике: Studies in Topology, ed. by Stavrakas N. M. and Allen K. R., New York London San Francisco: Academic Press, Inc., 1975.
5. Tuzhilin A. A. Who Invented the Gromov-Hausdorff Distance? // ArXiv e-prints. 2017. arXiv:1612.00728.
6. Мендельсон Э. Введение в математическую логику. / Мендельсон Э.; пер. с англ. Ф.А. Кабакова под ред. С.И. Адяна. 2-ое из., исправленное. Москва, из. «Наука» гл. ред. физмат. лит., 1976. — 320 с.
7. Иванов А. О., Тужилин А. А. Геометрия расстояний Хаусдорфа и Громова — Хаусдорфа: случай компактов. М.: Изд-во Попечительского совета мех-мат ф-та МГУ, 2017. — 111 с.
8. Иванов А. О., Николаева Н. К., Тужилин А. А. Метрика Громова — Хаусдорфа на пространстве метрических компактов — строго внутренняя. // Матем. заметки. 2016. Т. 100, № 6. С. 947-950 (arXiv:1504.03830).
9. Ivanov А.О., Iliadis S., Tuzhilin A.A., Realizations of Gromov-Hausdorff Distance. // ArXiv e-prints, 2016. arXiv:1603.08850.
10. Ivanov A. O., Tuzhilin A. A., Hausdorff realization of linear geodesies of Gromov-Hausdorff space. // ArXiv e-prints. 2019. arXiv: 1904.09281.
11. Ivanov A. O., Tuzhilin A. A. Isometrv group of Gromov-Hausdorff space. // Matematicki Vesnik. 2019. Vol. 71, № 1-2. P. 123-154.
12. Memoli F. On the Use of Gromov-Hausdorff Distances for Shape Comparison. // В сборнике: Proceedings of Point Based Graphics 2007, Ed. by Botsch M., Pajarola R., Chen В., and Zwicker M., The Eurographics Association, Prague, 2007, pp. 81-90.
13. Клибус Д.П. Курсовая работа. Компактная выпуклость шаров в пространстве Громова — Хаусдорфа. [Электронный ресурс]. / Сайт кафедры дифф.геом. и прилож. мех-мата МГУ: Москва: 2018. — Режим доступа: http://dfgm.math.msu.su/ffles/0students/2018-kr5-klibus. pdf, свободный.
14. John L. Kellev. General topology. / D. van Nostrand Company, Inc., New York, Toronto, and London,1955.
15. Энгелькинг P. Общая топология. / пер. с англ. М. Я. Антоновского и А.В. Архангельского. Москва: Мир, 1986. — 752 с.
REFERENCES
1. Hausdorff, F. 1914, Grundzuge der Mengenlehre, Veit, Leipzig [reprinted by Chelsea in 1949].
2. Gromov, M. 1981, "Groups of Polynomial growth and Expanding Map", In: Publications Mathematiques, I.H.E.S., Paris, Vol. 53.
3. Burago, D. Yu., Burago, Yu. D. k, Ivanov, S. V., 2001, A Course in Metric Geometry, American Mathematical Society, Providence, RI.
4. Edwards, D. 1975, "The Structure of Superspace", In: Studies in Topology, ed. by Stavrakas, N. M. and Allen, K. R., Academic Press, Inc. New York, London, San Francisco.
5. Tuzhilin, A. A. 2017, "Who Invented the Gromov-Hausdorff Distance?", ArXiv e-prints, arXiv:1612.00728.
6. Mendelson, Е. 1979, Introduction to mathematical logic. D. Van Nostrand company, INC. Princeton, New Jersey.
7. Ivanov, А. О. к Tuzhilin, A. A., 2017, Geometry of Hausdorff and Gromov-Hausdorff distances, the case of compact spaces, Izd-vo Popech. Soveta Mech.-Mat. Facult. MGU, Moscow fin Russian].
8. Ivanov, A. O., Nikolaeva, N. К. к Tuzhilin, A. A. 2016, "The Gromov-Hausdorff Metric on the Space of Compact Metric Spaces is Strictly Intrinsi", Mathematical Notes, vol. 100, no. 6, pp. 171-173.
9. Iliadis, S. D., Ivanov, А. О. к Tuzhilin A. A. 2016, "Realizations of Gromov-Hausdorff Distanc", ArXiv e-prints, arXiv: 1603.08850.
10. Ivanov, A. O., Tuzhilin, A. A. 2019,"Hausdorff realization of linear geodesies of Gromov-Hausdorff spac", ArXiv e-prints, arXiv: 1904.09281.
11. Ivanov, А. О. к Tuzhilin, A. A. 2019, "Isometrv group of Gromov-Hausdorff space", Matematicki Vesnik, vol. 71, no. 1-2, pp. 123-154.
12. Memoli, F. 2007, "On the Use of Gromov-Hausdorff Distances for Shape Comparison", In: Proceedings of Point Based Graphics 2007, Ed. by Botsch M., Pajarola R., Chen В., and Zwicker M., The Eurographics Association, Prague, 2007, pp. 81-90.
13. Klibus, D.P., 2018, Coursework. Compact convexity of balls in the Gromov-Hausdorff space. Available at: http://dfgm.math.msu.su/ffles/0students/2018-kr5-klibus.pdf.
14. John L. Kellev. 1955, General topology. D. van Nostrand Company, Inc., New York, Toronto, and London.
15. Engelking, R. 1977, General topology. Panstwowe Wvdawnictwo Naukowe, Warszawa. Manuscript of second edition, 1985.
Получено 25.01.21 Принято в печать 14.09.2022
