Научная статья на тему 'Выпуклость шара в пространстве Громова–Хаусдорфа'

Выпуклость шара в пространстве Громова–Хаусдорфа Текст научной статьи по специальности «Математика»

CC BY
87
5
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МЕТРИКА ГРОМОВА--ХАУСДОРФА / ВЫПУКЛОСТЬ В СЛАБОМ СМЫСЛЕ / ВЫПУКЛОСТЬ В СИЛЬНОМ СМЫСЛЕ / GROMOV-HAUSDORFF METRIC / CONVEX IN THE WEAK SENSE / CONVEX IN THE STRONG SENSE

Аннотация научной статьи по математике, автор научной работы — Клибус Дарья Петровна

В работе изучается пространство $\mathcal{M}$ всех непустых, рассматриваемых с точностью до изометрии метрических компактов, которое наделено расстоянием Громова--Хаусдорфа. Показано, что в $\mathcal{M}$ шар с центром в одноточечном пространстве является выпуклым в слабом смысле, т.е. всякие две точки такого шара можно соединить кратчайшей, которая принадлежит этому шару, и невыпуклым в сильном смысле: неверно, что всякая кратчайшая, соединяющая точки шара, принадлежит этому шару. Также показано, что шар достаточно малого радиуса с центром в пространстве общего положения выпуклый в слабом смысле.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Convexity of a ball in the Gromov--Hausdorff space

In this paper we study the space $\mathcal{M}$ of all nonempty compact metric spaces considered up to isometry equipped with the Gromov--Hausdorff distance. We show that each ball in $\mathcal{M}$ with the center at the one-point space is convex in the weak sense, i.e., any two points of such a ball can be joined by a shortest curve that belongs to this ball, and is not convex in the strong sense: it is not true that every shortest curve joining the points of the ball belongs to this ball. It is also shown that a ball of sufficiently small radius with the center at a space of general position is convex in the weak sense.

Текст научной работы на тему «Выпуклость шара в пространстве Громова–Хаусдорфа»

ВЕСТН. МОСК. УН-ТА. СЕР.1, МАТЕМАТИКА. МЕХАНИКА. 2018. №6

41

УДК 514.774.8, 514.17

ВЫПУКЛОСТЬ ШАРА В ПРОСТРАНСТВЕ ГРОМОВА-ХАУСДОРФА

Д. П. Клибус1

В работе изучается пространство M всех непустых, рассматриваемых с точностью до изометрии метрических компактов, которое наделено расстоянием Громова-Хаусдорфа. Показано, что в M шар с центром в одноточечном пространстве является выпуклым в слабом смысле, т.е. всякие две точки такого шара можно соединить кратчайшей, которая принадлежит этому шару, и невыпуклым в сильном смысле: неверно, что всякая кратчайшая, соединяющая точки шара, принадлежит этому шару. Также показано, что шар достаточно малого радиуса с центром в пространстве общего положения выпуклый в слабом смысле.

Ключевые слова: метрика Громова-Хаусдорфа, выпуклость в слабом смысле, выпуклость в сильном смысле.

In this paper we study the space M of all nonempty compact metric spaces considered up to isometry equipped with the Gromov-Hausdorff distance. We show that each ball in M with the center at the one-point space is convex in the weak sense, i.e., any two points of such a ball can be joined by a shortest curve that belongs to this ball, and is not convex in the strong sense: it is not true that every shortest curve joining the points of the ball belongs to this ball. It is also shown that a ball of sufficiently small radius with the center at a space of general position is convex in the weak sense.

Key words: Gromov-Hausdorff metric, convex in the weak sense, convex in the strong sense.

Расстояние Громова-Хаусдорфа было определено в 1975 г. Д. Эдвардсом [1], затем в 1981 г. переоткрыто М. Громовым [2].

В статье исследуется геометрия пространства M всех метрических компактов (рассматриваемых с точностью до изометрии) с расстоянием Громова-Хаусдорфа. Хорошо известно, что расстояние Громова-Хаусдорфа является метрикой в M [3]. Пространство Громова-Хаусдорфа — польское (полное сепарабельное) и линейно связное. А. О. Иванов, Н.К. Николаева, А. А. Тужилин [4] показали, что метрика Громова-Хаусдорфа является строго внутренней.

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

1. Основные определения и предварительные результаты. Расстояние между точками x и y произвольного метрического пространства будем обозначать через |xy|. Пусть X — метрическое пространство. Для каждого е > 0 определим е-окрестность Ue(x) точки x € X, положив Ue(x) = {y € X : |xy| < е}. Множество Ue (x) называют открытым шаром радиуса е с центром в точке x. Кроме того, если A — непустое подмножество пространства X, то е-окрестность множества A определяется как Ue(A) = UaeAUe(а). Замкнутым шаром радиуса е с центром в точке x называют множество Be(x) = {y € X : |xy| ^ е}. Для x € X и непустого A С X положим |xA| = inf{|xa| : а € A}. Для непустого A С X и неотрицательного r (возможно, равного то) замкнутой r-окрестностью множества A или замкнутым шаром радиуса r с центром в A назовем множество Br (A) = {x € X : |xA| ^ r}.

1 Клибус Дарья Петровна — студ. каф. дифференциальной геометрии и приложений мех.-мат. ф-та МГУ, e-mail: [email protected].

42

ВЕСТН. моек. УН-ТА. СЕР.1, МАТЕМАТИКА. МЕХАНИКА. 2018. №6

Определение 1. Пусть А и В —два непустых подмножества метрического пространства. Расстоянием Хаусдорфа между А и В называется величина

йн(А, В) = М [е > 0 | (ие(А) э В) & (ие(В) э А)} .

Для произвольного метрического пространства X обозначим через Н(Х) семейство всех его непустых замкнутых ограниченных подмножеств.

Предложение 1 [3]. Пусть X — метрическое пространство, тогда йн является метрикой на Н(Х).

Предложение 2 [5]. Для любого метрического пространства X, каждого А € Н(Х) и любого неотрицательного г имеем Вг (А) € Н(Х).

Определение 2. Пусть а, Ь € X, |аЬ| = г, в € [0, г]. Будем говорить, что с € X находится в в-положении между а и Ь, если |ас| = в и |сЬ| = г — в.

Предложение 3 [5]. Пусть А, Б € ), г = йн(А, Б), в € [0, г]. Тогда если множество С € ) находится в в-положении между А и Б, то С С В8(А) П ВГ-8(Б).

Множество В8(А) П ВГ-8(Б) из предложения 3 будем обозначать С8(А, Б).

Определение 3. Пусть X и К — произвольные непустые компактные метрические пространства. Тройку (X',У2), состоящую из метрического пространства 2 и двух его подмножеств X' и Уизометричных соответственно X и К, назовем реализацией пары (X, У). Расстоянием йен(X, У) по Громову-Хаусдорфу между X и У назовем точную нижнюю грань чисел р, для которых существует реализация ^^У', 2) пары (X, У), такая, что йн^^У') ^ р.

Пусть М — пространство всех непустых, рассматриваемых с точностью до изометрии метрических компактов, которое наделено расстоянием Громова-Хаусдорфа. Хорошо известно [3], что на М расстояние Громова-Хаусдорфа является метрикой.

Метрика на множестве X называется внутренней, если между любыми двумя точками ж, у € X расстояние равно точной нижней грани длин всех кривых, соединяющих данную пару точек. Локально компактное пространство — топологическое пространство, у каждой точки которого существует открытая окрестность, причем ее замыкание компактно. Метрическое пространство называют ограниченно компактным, если все его замкнутые ограниченные подмножества компактны.

Метрика на множестве X называется строго внутренней, если любые две точки ж, у € X соединяются кривой, длина которой равна расстоянию между ж и у (такая кривая является кратчайшей).

Пусть М — непустое подмножество метрического пространства X с метрикой й, а йм = й —

сужение метрики й на множество М. Метрическое пространство (М, йм) называется подпространством пространства (X, й).

Пусть I С М, тогда параметризация 7 : I ^ X называется натуральной, если длина кривой между 7(в1) и 7(в2) равна |в 1 в21 для всех в^в2 € I, при этом параметр в € I называется натуральным.

Теорема 1 [5]. Пусть X — полное локально компактное пространство с внутренней метрикой. Тогда для любых А, В г — йн(А, В), в € [0, г] множество С8(А, В) принадлежит Н^) и находится в з-положении между А и В.

Следствие 1 [3]. Пусть X — полное локально компактное пространство с внутренней метрикой (являющееся, как хорошо известно [3], ограниченно компактным со строго внутренней метрикой ). Тогда Н^) также ограниченно компактное, а метрика Хаусдорфа строго внутренняя.

Следствие 2 [5]. Пусть X — полное локально компактное пространство с внутренней метрикой, А, В € ). Тогда 7(в) = СДА, В), в € [а, Ь], является кратчайшей кривой, соединяющей А и В, причем длина кривой 7 равна йн(А, В), а параметр в натуральный.

Определение 4. Подмножество М С X в метрическом пространстве (X, й) со строго внутренней метрикой называется выпуклым в слабом смысле, если сужение метрики й на М также строго внутренняя метрика.

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

Определение 5. Подмножество М метрического пространства X со строго внутренней метрикой называется выпуклым в сильном смысле, если все кратчайшие в X, соединяющие точки из М, лежат в М.

Отношением между множествами X и У называется каждое подмножество декартова произведения X х У. Множество всех непустых отношений между X и У обозначим через Р (X, У). Если

пх : X х Y — X и пу : X х Y — Y — канонические проекции, т.е. пх (x, y) = x и пу (x, y) = y, то теми же символами будем обозначать ограничения этих отображений на каждое отношение а € P (X, Y).

Будем смотреть на каждое отношение а € P(X, Y) как на многозначное отображение, которое может иметь область определения, меньшую X. Тогда по аналогии с тем, как это принято для отображений, для каждого элемента x € X определен его образ а(х) = {y € Y : (x,y) € а}; для каждого A С X определен образ а(А) как объединение образов всех элементов из A; для каждого элемента y € Y определен его прообраз a-1(y) = {x € X : (x,y) € а}; для каждого подмножества B С Y определен его прообраз как объединение прообразов всех его элементов.

Определение 6. Отношение R С X х Y между множествами X и Y называется соответствием, если ограничения на R канонических проекций пх и пу сюръективны. Множество всех соответствий между X и Y обозначим R(X, Y).

Определение 7. Искажением dis а отношения а € P(X, Y) назовем следующее число:

dis а = sum I |xx'| — |yy'| I : (x, y), (x', y') € а

Предложение 4 [3]. Для любых метрических пространств X и Y имеем

dGH(X,Y) = | inf {dis R: R € K(X,Y)} .

Определение 8. Соответствие R € R(X, Y) назовем оптимальным, если dGH{X,Y) = \ dis R. Множество всех оптимальных соответствий между X и Y обозначим через Ropt (X, Y).

Предложение 5 [6]. Для любых X, Y € M имеем Ropt(X, Y) = 0.

Предложение 6 [6]. Для любых X, Y € M и каждого R € Ropt(X, Y) семейство Rt, t € [0,1], компактных метрических пространств, такое, что Ro = X, Ri = Y, а при t € (0,1) пространство Rt — это (R,pt), где pt((x,y), (x',y')) = (1 — t)|xx'| + t|yy'|, является кратчайшей кривой в M, соединяющей X и Y.

Определим диаметр метрического пространства X следующим образом:

diam(X) = sup |xx'|.

x,x'€X

Будем обозначать одноточечное пространство через Дь

Утверждение 1 [3]. Пусть Д1 — одноточечное пространство, тогда для любого метрического пространства X имеем dan(X, Д1) = diam(X)/2.

Определение 9. Будем говорить, что конечное метрическое пространство M находится в общем положении или является пространством общего положения, если все ненулевые расстояния в M различны и все неравенства треугольника для троек, состоящих из различных точек, — строгие.

Для произвольного метрического пространства X определим величины:

s(X) = inf{|xy| : x = y}, e(X) = inf j |xy| — |zw| : x = y, z = w, {x, y} = {z, w} j.

Предложение 7 [7]. Пусть M = {1,...,n} — некоторое метрическое пространство. Тогда для любого 0 < е ^ s(M)/2 и каждого X € M, такого, что 2dcn(M, X) < е, существует единственное с точностью до нумерации точками пространства M разбиение X = U™=1X.j, обладающее следующими свойствами:

1) diam Xj < е;

2) для любых i, j € M и любых x € Xj и, x' € Xj (здесь индексы i и j могут принимать одинаковые значения) выполняется |xx'| — |ij| < е.

Предложение 8 [7]. Пусть M = {1,...,n} — некоторое метрическое пространство. Тогда для любого 0 < е ^ s(M)/2, каждого X € M, 2dcn(M, X) < е, и каждого R € Ropt(M, X) семейство {R(i)}™=1 является разбиением множества X со следующими свойствами:

1) diam Xj < е;

2) для любых i, j € M, x € R(i),x' € R(j) выполняется |xx'| — |ij| < е.

Более того, если R' — еще одно оптимальное соответствие между M и X, то разбиения {R(i)}™=1 и {R'(i)}n=i могут отличаться друг от друга лишь нумерациями, заданными соответствиями i ^ R(i) и i ^ R'(i).

Определение 10. Семейство (Xj} из предложения 7 назовем каноническим разбиением пространства X относительно M.

Предложение 9 [7]. Пусть M = (1,... ,n} — метрическое пространство, n ^ 3, e(M) > 0. Выберем произвольное 0 < е ^ \ min{s(M), е(М)}. Пусть X,Y € М, 2г1Сн(М, X) < е, 2г1Сн(М, Y) < е, и пусть (Xj} и (Yj} обозначают канонические разбиения соответственно X и Y относительно M. Тогда для каждого R € Ropt(X, Y) существуют Ri € R(Xj, Yj), такие, что R = U™=1Ri. 2. Основные результаты.

Теорема 2. Шар с центром в одноточечном метрическом пространстве является выпуклым в слабом смысле.

Доказательство. Пусть B = Br(Ai) — замкнутый шар с центром в Ai, где r > 0, и X, Y € B. Используя утверждение 1, заметим, что

dan (Ai,X) = diam(X )/2 < r, daH (Ai, Y) = diam(Y )/2 < r.

Выберем некоторое соответствие R € Ropt(X, Y), которое существует в силу предложения 5. Построим пространство Rt = (R, pt) с метрикой pt((ж,у), (ж',у')) = (1 — i)|xx'| + t|yy'| при t € (0,1), и пусть Ro = X, Ri = Y. Тогда по предложению 6 кривая Rt, t € [0,1], соединяющая X и Y, кратчайшая.

Покажем, что кривая Rt лежит в шаре B. Для этого оценим расстояние по Громову-Хаусдорфу между центром Ai и пространством Rt. Имеем

dan (Ai,Rt) =diam(Rt )/2.

Для любых ж, ж' € X и y, y' € Y выполняются неравенства

|жж'| ^ diam X ^ max(diam X, diam Y); |yy' | ^ diam Y ^ max(diam X, diam Y).

Следовательно,

diam(Rt) = max|(ж,у)(ж',у')|pt = max((1 — t)|xx'| + t|yy'|) ^ ^ (1 — t) max(diam X, diam Y) +1 max(diam X, diam Y) = max(diam X, diam Y),

откуда

denial, Rt) ^ - max(diam X, diam Y) = тах(с?ся(Лъ X), dcH^i, Y)) ^ r, что и требовалось.

Теорема 3. Шар с центром в одноточечном пространстве не является выпуклым в сильном смысле.

Доказательство. Построим кратчайшую, которая соединяет некоторые пространства A и B, принадлежащие шару Br(Ai) С M радиуса r с центром Ai, и которая выйдет за шар. Пусть A = [0,2r] С R и B = (0,2r} С R. Рассмотрим произвольное соответствие R € Ropt(B,A) (оно существует по предложению 5) и оценим его:

dis R = sup j |аа'| : а, а' € R(0); |аа' | : а, а' € R(2r); 12r — |аа '11 : а € R(0), а' € R(2r) j =

= supjdiam R(0), diam R(2r), |2r — |аа'|| : а € R(0),^ € R(2r)} < 2r.

1) Если R(0) П R(2r) = 0, то, выбрав а = а' € R(0) П R(2r), получим dis R = 2r.

2) Если R(0) П R(2r) = 0, то для всякого е > 0 существуют а € R(0), а' € R(2r), такие, что |аа'| < е, значит, dis R = 2r.

Тогда по предложению 4 имеем dan (A, B) = r. Отметим, что dn (A, B) = r, следовательно, daH(A, B) = dH(A, B). Для t € [0,r] положим y(t) = Ct(A,B) = Bt(A) П Br-t(B). Применяя следствие 2, видим, что Y(t) — кратчайшая кривая в H(R).

Также для любого разбиения t0 = 0 <ti < ... < tn = r отрезка [0,r] имеем

n n

daH (A, B) < ^ daH (y (ti-i),Y (ti)) < ^ dH (Y(ti-i),Y(ti)) = dH (A,B) = daH (A,B), i=i i=i

откуда

n

daH (A, B) = daH (y (ti-i),Y (ti)).

i=i

Так как длина кривой y равна супремуму сумм den(7(^-1), Y(ti)) по всевозможным разбиениям отрезка [0, r], а все эти суммы одинаковы и равны den(A, B), то длина кривой 7 равна den(A, B), поэтому y — кратчайшая кривая.

Покажем, что эта кривая не лежит целиком в шаре Br(Ai). Для этого найдем den(Ct(A, B), Ai). По утверждению 1 имеем dcH(Ct(A, В), Ai) = diam(c^("4>-B)) ^ Заметим, что diam(Cr (А, В)) = 3г при t = поэтому dcH(Cr/2(A, В), Ai) = Зг/2 > г, откуда 7(V/2) ^ £>r(Ai), что и требовалось.

Теорема 4. Шар радиуса 0 < г ^ | min{s(M), е(М)} с центром в пространстве общего положения M выпуклый в слабом смысле.

Доказательство. Пусть M = {1,...,n}. Обозначим Br(M) С M замкнутый шар радиуса r (для дальнейшего удобства обозначим r = е/2) и выберем произвольные X, Y € Be/2(M). По предложению 7 существуют единственные с точностью до нумерации точками пространства M разбиения X = U™=iXi и Y = U*=iY, обладающие следующим и свойствами: для всяких Xi € Xj ,Xj €

Xj,yi € Y,Vj € Yj выполняются неравенства |xixj-1 — |ij| < e и |yiyj-1 — |ij| < е. По предложению 9 для каждого R € Ropt(X, Y) существуют Ri € R(Xi, Yi), такие, что R = U™=iRi. Рассмотрим произвольное соответствие R € Ropt(X, Y) (по предложению 5 оно существует).

Построим кратчайшую кривую Rt, определенную, как в предложении 6. Чтобы доказать выпуклость в слабом смысле, покажем, что den(M, Rt) ^ е/2. Для этого определим соответствие R' € R(M, Rt), положив R' = Un=i{i} х Ri. Имеем

dGH(M,Rt) < ^{disE'} = isup{||ii| - MjUl : i,j € M, (j,^) € Д'} =

= ^ йир| ||и| - (1-^)1^1 -ЦугУу\\ : € М, (Хг,Уг) = Рг € В*,{Хз,Уз) = Ру € Е,} = = ^8ир{|(1 +¿1^1 - (1-г)\ХгХу \ -ЦугУу\\} =

= ^8ир{|(1 - \XiXjl) - |Уг%-|)|} <

< \(1 -¿)8ир{||г;'| - + ^8ир{||гЛ - \УгУ^\] < ^(1 -г)е + ^е =

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

что и требовалось.

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

Работа выполнена при поддержке программы Президента РФ "Ведущие научные школы РФ" (грант НШ-6399.2018.1) и РФФИ (грант № 16-01-00378-а).

СПИСОК ЛИТЕРАТУРЫ

1. Edwards D. The Structure of Superspace // Studies in Topology. N.Y.; S.F.; L.: Academic Press, 1975.

2. Gromov M. Groups of polynomial growth and expanding maps // Publ. math. 1981. 53. 53-73.

3. Бураго Д.Ю., Бураго Ю.Д., Иванов С.В. Курс метрической геометрии. М.; Ижевск: Институт компьютерных исследований, 2004.

4. Ivanov A.O., Nikolaeva N.K., Tuzhilin A.A. The Gromov-Hausdorff metric on the space of compact metric spaces is strictly intrinsic // ArXiv e-prints, arXiv:1504.03830, 2015.

5. Иванов А.О., Тужилин А.А. Геометрия расстояний Хаусдорфа и Громова-Хаусдорфа: случай компактов. М.: Изд-во Попечительского совета мех.-мат. ф-та МГУ, 2017.

6. Ivanov A.O., Iliadis S., Tuzhilin A.A. Realizations of Gromov-Hausdorff Distance / / ArXiv e-prints, arXiv:1603. 08850, 2016.

7. Ivanov A.O., Tuzhilin A.A. Local Structure of Gromov-Hausdorff space near finite metric spaces in general position // ArXiv e-prints, arXiv:1611.04484, 2016.

Поступила в редакцию 21.03.2018

i Надоели баннеры? Вы всегда можете отключить рекламу.