CC BY
38
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2011 Математика и механика № 1(13)
УДК 515.125+517.5
А.П. Кармазин, Д.Р. Мухутдинова
УСТРАНИМЫЕ МНОЖЕСТВА И РАСПРЕДЕЛЕНИЕ ВНУТРЕННИХ ГРАНИЧНЫХ КОМПОНЕНТ ПРИ КВАЗИИЗОМЕТРИЯХ ОБЛАСТЕЙ К
Рассматриваются различные случаи и условия устранимости множеств при квазиизометрических отображениях, проводится исследование распределения внутренних граничных компонент областей Яп.
Ключевые слова: квазиизометрическое отображение, внутренние метрики, бесконечносвязные области, устранимые множества, распределение граничных компонент.
В работах [1] и [2] А.В. Сычев и В.В. Асеев рассмотрели случаи устранимости множеств при квазиконформных отображениях. В данной статье исследуются вопросы устранимости различных множеств при р-квазиизометрических и 5-квази-изометрических отображениях. Естественно, что результаты работ [1, 2] справедливы для р- и 5-квазиизометрий, которые являются подклассами квазиконформных отображений. Однако, так как р- и 5-квазиизометрические отображения являются строгими подклассами квазиконформных, то существует возможность получения более сильных результатов при их исследованиях. Например, в силу результатов работ [1, 2] следует, что спрямляемые кривые, лежащие в пространственной области, устранимы при квазиконформных отображениях, в частности и при р-, 5-квазиизометриях этой области. Однако при р- и 5-квазиизометрических отображениях спрямляемые кривые переходят в спрямляемые, что невозможно при квазиконформных отображениях. Тем самым результаты работ [1, 2] для случая р- и 5-квазиизометрий существенно уточняются. Также в данной работе рассматривается вопрос о распределении различных множеств при р- и 5-квазиизо-метрических отображениях, что является естественным продолжением вопроса их устранимости.
1. Основные понятия и обозначения
Пусть Яп, п > 1 есть п-мерное евклидово пространство точек X = (х1,х2,...,хп). Под областью Б будем понимать ограниченный гомеоморф шара в Яп. Пусть
п
ё(х,у) = (^(х2 - у2))12 есть евклидово расстояние между точками х и у в Яп.
г =1
Обозначим через Вп (х, г) (£п-1(х, г)) открытый шар (сферу) в Яп с центром в
точке х радиуса г > 0. Пусть А есть множество из Яп. Обозначим через А евклидово замыкание, через дА евклидову границу, через ё(А) евклидов диаметр множества А в Яп.
1.1. Определение. Область Б с Яп назовем жордановой, если она гомеоморф-на шару и дБ гомеоморфна сфере из Яп.
1.2. Определение. Непрерывное отображение Ь:А^Б, где А есть некоторый отрезок из Я1, назовем путем, или кривой, в области Б.
Пусть L:[a, b]^ Rn есть путь в Rn и a = t0< tj <... < tk = b есть разбиение сегмента [a, b].
1.3. Определение. Длиной l(L) пути L называется точная верхняя грань сумм
к
"У\|L(tt) - L(ti_1) по всем разбиениям [a, b]. Если l(L) < да, то говорят, что путь L
i=1
спрямляем; если l(L) = да, то говорят, что путь L неспрямляем. Если путь L:[0,1)^
Rn полуоткрыт, то говорят, что он спрямляем, если liml(L([0, t])) < да.
t ^1
Для пути L:[0,1)^-D через C(L,1) обозначим предельное множество отображения L в точке 1: b е C(L,1) » существует последовательность чисел 4^-1, {tk} с [0, 1) такая, что L (tk) ^ b в евклидовой норме при к ^ да.
Определим в области D с Rn следующие метрики: внутреннюю метрику Рима-на - Александрова рд(х, у), равную точной нижней грани длин кривых, лежащих в D и соединяющих точки х, у из D; относительное расстояние Мазуркевича SD(x, y), равное точной нижней грани евклидовых диаметров связных подмножеств области D, содержащих точки x, y из D. Очевидно, что имеет место следующее соотношение:
d (х, у) <Sd (х, у) < Pd (х, у), V х, у е D . (1)
Отсюда следует очевидное утверждение:
1.4. Утверждение. Если последовательность точек {хт} из D фундаментальна по метрике pD, то она одновременно фундаментальна по метрикам 5D и d, причем {хт} сходится в евклидовой метрике к некоторой точке b е D.
1.5. Определение. Гомеоморфизм f: D ^ G называется 5-квазиизометрией, если существует число K е [1, да), такое, что
K-'Sd (х, у) <5g (f (х), f (у)) < K5d (х, у), V х, у е D . (2)
Гомеоморфизм f: D ^ G называется р-квазиизометрией, если существует число K е [1, да), такое, что
K ~Vd (х, у) <Pg (f (х), f (у)) < K Pd (х, у), V х, у е D . (3)
В силу (1) очевидно, что любая 5-квазиизометрия одновременно является и р-квазиизометрией. Отсюда следует, что любой результат о поведении р-квазиизометрических гомеоморфизмов справедлив также и для класса 5-ква-зиизометрий. Обратное утверждение, в общем случае, неверно.
1.6. Определение. Величины pD (A) = sup pD (х, у) и 5D (A) = sup 5D (х, у)
х, уеА х, уеА
назовем соответственно рв-диаметром и Sd -диаметром множества A.
Замечание 1. Из ограниченности области D следует, что 5D (D) < d(D) <да . Тогда, очевидно, что 5д-диаметр любого подмножества А с D ограничен сверху постоянной величиной, равной диаметру области D: 5D (А) < d(D). В общем случае рд-диаметр ограниченной области D может быть бесконечным. Поэтому связное подмножество А, целиком лежащее в D, может иметь сколь угодно большой рд-диаметр. Следует отметить при этом, что неспрямляемая кривая у может иметь сколь угодно малый рд-диаметр и, в частности, 5д-диаметр.
Обозначим через [D]p пополнение области D с Rn по метрике рд, а через [D]s -пополнение D с Rn по метрике 5д.
Обозначим (х, а) = {y е D, 5D(x, y) <а} , ур(x, а) = {y е D, pD(x, y) < a}.
Эти множества всегда связны в D.
1.7. Утверждение (см. [3]). Пусть f: D ^ G есть р-квазиизометрия, тогда f
продолжается до гомеоморфизма f :[D]p ^ [G]р. Аналогично, если f: D ^ G есть 5-квазиизометрия, тогдаf продолжается до гомеоморфизма f :[D]5 ^ [G]5.
1. 8. Определение. Носителем элемента Ь* е [D]^ пополнения области D по некоторой метрике X называется множество I(Ь*) = {Ь е dD, 3{xn} е Ь*, такие, что Ь есть предельная точка {xn }} . В нашем случае за X принимается одна из метрик
^ Sd>.
Заметим, что носителем элемента [D]P\D или [D]S\D всегда является точка dD, при этом одна и та же точка dD может быть носителем нескольких или даже бесконечно многих элементов пополнения [D]P и соответственно [D]s .
1.9. Утверждение (см. [3]). Пополнение [D]P области D сRn по метрике pD присоединяет к D все точки dD, достижимые некоторым спрямляемым путем из D.
1.10. Утверждение (см. [3]). Пополнение [D]g области D по метрике 5д присоединяет к D все точки dD, достижимые некоторым путем из D.
Введем на D дополнительно в рассмотрение метрику Хаусдорфа, определенную на основе внутренних метрик pD и 5^:
rH (A,В) = max{sup5D(a,B),sup5D(Ь,A)},
aeA ЬеВ
rH (A,В) = max{suppD(a,B),suppD(Ь,A)},
aeA ЬеВ
где A, В с D - замкнутые относительно D подмножества D. Кроме того, введем метрику Хаусдорфа в Rn, n > 2:
rH (A,В) = max{ sup d(a,B), sup d(Ь,A)},
aeA ЬеВ
где A, В с Rn .
Напомним некоторые понятия, связанные с топологическим пределом множеств (см.[4]).
1.11. Определение. Пусть {Am} есть последовательность некоторых множеств Rn. Точка Ь принадлежит нижнему топологическому пределу последовательности {Am}: Ь е lt Ат, если любая окрестность точки Ь пересекается со всеми множе-
m^w
ствами Am, начиная с некоторого номера m. Точка Ь принадлежит верхнему топологическому пределу последовательности {Am}: Ь е lt Am, если любая окрест-
m^w
ность точки Ь пересекается с бесконечным числом множеств Am. Говорят, что множество A является топологическим пределом последовательности {Am}:
A = lt Am , если lt Am = A = l Am ■
m^w m^w m^w
1.12.Теорема. (Обобщенная теорема Больцано - Вейерштрасса, см. [4].) Любая последовательность подмножеств сепарабельного пространства содержит сходящуюся топологически подпоследовательность (топологический предел которой может быть пустым множеством).
1.13. Теорема. (Теорема Зоретти, см. [4].) Во всяком компактном метрическом пространстве топологический предел сходящейся последовательности связных множеств есть связное множество.
Вопросы устранимости различных подмножеств областей D с Rn при отображениях некоторого класса гомеоморфизмов является важным в теории функций и ее приложениях. Для исследования этого вопроса будем пользоваться некоторыми понятиями и результатами работ [1, 2].
1.14. Определение (см. [1]). Пусть а > 0 и E - множество из Rn. Рассмотрим счетное покрытие {E,}, i = 1, 2,..., множества E открытыми множествами E, такими, что d(E) < r, r > 0. Пусть Ла (E) = inf ^ d(Et )а , где точная нижняя грань бе-
рется по всем таким покрытиям. Величина Ла (E) = lim Лra (E) = sup Лra (E) назы-
вается а-мерной мерой Хаусдорфа множества Е.
1.15. Теорема (см. [1]). Если Е с Кп, то мера Лебега связана с мерой Хаусдорфа следующим образом: шп (Е) = 2~" 0.пЛп (Е) и т1 (Е) = Л1 (Е).
1.16. Следствие (см. [1]). Для всякого Е с К" тп(Е) и Лп(Е) обращаются в нуль и бесконечность одновременно.
1.17. Определение. Множество Е с Б называется устранимым, если р-квази-
изометрическое (5-квазиизометрическое) отображение /: Б \ Е ^ Кп может быть продолжено до р-квазиизометрического (5-квазиизометрического) отображения /: Б ^ Кп . В частности, точка Ь е Б называется устранимой, если р-квази-
изометрическое (5-квазиизометрическое) отображение / : Б \{Ь} ^ Кп может быть продолжено до р-квазиизометрического (5-квазиизометрического) отображения /: Б ^ Кп .
2. Устранимость точки при квазиизометриях областей Б с К , п > 2
Вначале рассмотрим плоский случай.
2.1. Теорема. Пусть Б с К2 - ограниченная гомеоморфная кругу область, точка Ь е Б. Тогда любое р-квазиизометрическое с коэффициентом К в Б \ {Ь} отображение /: Б \{Ь} ^ К2 может быть единственным образом продолжено до р-квазиизометрического в Б отображения /: Б ^ К2 с тем же коэффициентом К,
метрическим, то / по определению является гомеоморфизмом и, следовательно, /(Б \{Ь}) = О \ Е' есть двусвязная область, где Е' есть внутренняя компонента связности дополнения/(Б \{Ь}) в К2.
Покажем, что при выполнении условий теоремы Е' будет являться одноточечным множеством, то есть Е' = {Ь'}, Ь' е О.
Пусть £(Ь,г) = {у е К2,|у-Ь| = г}- окружности с центром в точке Ь радиуса г > 0. Так как Ь - внутренняя точка Б, то существует такое г0 > 0, что £(Ь, г) с Б , Vг < г0. Отметим, что длины окружностей 1(£(Ь, г))=2пг ^ 0 при г ^ 0. Так как
Г >0
Доказательство. Так как отображение f: D \{Ь} ^ R2 является р-квазиизо-
/: Б \{Ь} ^ К2 есть р-квазиизометрия, то в силу леммы 1.1.5 из [3] длина любой кривой у:[0,1)^Б из Б при отображении / удовлетворяет условию К~11 (у) < 1(/(у)) < К/(у). Таким образом, для длин окружностей выполняется соотношение
I(/(£(Ь, г))) < К1 (£(Ь, г)) = К2пг. (4)
В силу гомеоморфности / очевидно, что множество Е лежит внутри замкнутой кривой /(£(Ь, г)). В силу (4), тогда при г ^ 0 получим I(/(£(Ь, г))) < К2пг ^ 0 . Исходя из этого, евклидов диаметр ё/(£(Ь, г)))^0 при г ^ 0, то есть кривая /(£(Ь, г)) с О, охватывая Е’, «стягивает» его в некоторую точку Ь' е О. Таким образом, Е' = {Ь' } есть одноточечное множество, лежащее в области О. Тогда, если положить /(Ь) = Ь', то, очевидно, отображение /: Б ^ О является гомеоморфным продолжением отображения / области Б на область О,
А Б\{Ь}= .
Осталось доказать, что /: Б ^ О есть р-квазиизометрия с коэффициентом К. Так как / есть р-квазиизометрическое отображение, то, по определению,
К~'рб (х, У) < Ро (/(х), /(у)) < КРб (х, у), V*, у е Б \{Ь} .
Для доказательства р-квазиизометричности /: Б ^ О достаточно показать,
что
К -Рб (х, Ь) < Ро (/ (*), / (Ь)) < К Рб (х, Ь), V* е Б \{Ь}, или, в силу того, что /(Ь) = Ь',
К ~'рб (х, Ь) < Ро (/(х), Ь' ) < К Рб (х, Ь). (5)
Выберем последовательность точек {хп } с Б: хп ^ Ь, хп е Б \{Ь}. Тогда
К Рб (х, хп) < Ро (/ (х), (хп)) < К Рб (х, хп).
Так как х Ф Ь и хп е Б \{Ь}, то р-квазиизометрии/и / совпадают в этих точках, то есть выполняется /(х) = /(х), /(хп) = /(хп). Таким образом,
К 1Рб (х, хп) < Ро (/ (х), / (хп)) < К Рб (х, хп).
Очевидно, что если хп ^ Ь, то /(хп) = /(хп) ^ Ь' = /(Ь). Тогда при п ^ да, используя теорему о предельном переходе из анализа, получим (5). Таким образом, теорема доказана.
Так как в окрестности точки Ь е Б метрики рБ и 5Б совпадают, то следующее утверждение является следствием теоремы 2.1.
2.2. Теорема. Пусть Б с К2 - ограниченная гомеоморфная кругу область, точка Ь е Б. Тогда любое 5-квазиизометрическое с коэффициентом К в Б \ {Ь} отображение /: Б \{Ь} ^ К2 может быть единственным образом продолжено до 5-квази-
изометрического в Б отображения /: Б ^ К2 с тем же коэффициентом К,
Л Б\{Ь}= / .
Обобщим теоремы 2.1 и 2.2 для случая D сRn, n > 3.
2.3. Теорема. Пусть D с Rn - ограниченная гомеоморфная шару область, точка Ь е D. Тогда любое р-квазиизометрическое (5-квазиизометрическое) с коэффициентом К в Р\{Ь} отображение f : D \{Ь} ^ Rn может быть единственным образом продолжено до р-квазиизометрического (5-квазиизометрического) в D отображения f: D ^ Rn с тем же коэффициентом К, /|d^ = f .
Доказательство. Очевидно, что доказательство теоремы достаточно провести лишь для случая р-квазиизометрии.
Так как отображение f : D \{Ь} ^ Rn является р-квазиизометрическим, то f по определению является гомеоморфизмом и, следовательно, f (D \ {Ь}) = G \ E' есть двусвязная область, где E есть внутренняя компонента связности дополнения f (D \{Ь}) в Rn. Покажем, что при выполнении условий теоремы E' будет яв-
ляться одноточечным множеством, то есть E' = {Ь' }, Ь' е G.
Обозначим через Вп(Ь, г) открытый шар в Rn с центром в точке Ь е D с Rn радиуса r > 0, £"-1(Ь, r) - сферу в Rn: £"-1(Ь, r) = дВп(Ъ, r). Пусть f (Sn-1 (Ь, r)) = A(r). Рассмотрим произвольные отрезки (Ь, y] с Вп (Ь, r), y е £п-1(Ь, г) , которые представляют собой радиусы шара Вп(Ь, r). Эти отрезки при отображении f переходят, в силу его р-квазиизометричности, в спрямляемые кривые у(Ь, r)=f ((Ь, y]), длины которых в силу леммы 1.1.5 из [3] не больше Kr. Отсюда suppD (f ((Ь, y])) ^ 0 при r ^ 0, следовательно , евклидов диаметр d(A(r)) ^ 0 при r ^ 0. Таким образом, множество A(r) с G «стягивается» в точку, то есть A(r) ^ Ь' е G . Следовательно, E' = {Ь' } есть одноточечное множество, лежащее в области G. Полагая f (Ь) = Ь', получим, что отображение f: D ^ G с Rn является единственным го-меоморфным продолжением отображенияfобласти D на область G, /|d = f .
Осталось доказать, что f: D ^ G с Rn есть р-квазиизометрия с коэффициентом К. Так как f есть р-квазиизометрическое отображение, то, по определению, Vx, y е D \ {Ь} K ^Pd (x, y) <Pg (f (x), f(y)) < K Pd (x, y). Для доказательства р-квазиизометричности f : D ^ G с Rn достаточно показать, что
K~Vd (x,Ь) < Pg (f (x), f (Ь)) < KPd (x, Ь), какова бы ни была точка x е D \{Ь}, или, в силу того, что f (Ь) = Ь',
K-1Pd (x,Ь) < Pg (f (x),Ь') < Kpp (x, Ь).
Выберем последовательность точек {xn } е D с Rn: xn ^ Ь, xn е D \{Ь}. Тогда
KPd (^ xn) < Pg (f (x), (xn)) < KPd (x, xn).
Так как x Ф Ь и xn е D \ {Ь}, то р-квазиизометрии f и / совпадают в этих точках, то есть выполняется f (x) = f (x), f (xn) = f (xn). Таким образом,
KPd (^ xn) < Pg (f (x), f (xn)) < KPd (x, xn).
Очевидно, что если хп ^ Ь, то /(хп) = /(хп) ^ Ь' = /(Ь). Тогда при п^-да, используя теорему о предельном переходе из анализа, получим
К -Рб (х,Ь) < Ро (/(х),Ь') < КРб (х, Ь).
Теорема доказана.
3. Квазиизометрии областей Б с К , п > 2, с бесконечным множеством выколотых точек, имеющих одноточечное предельное множество
В случае квазиконформных отображений вопрос о распределении бесконечно -го множества выколотых точек в образе является достаточно сложным. В случае же р-квазиизометрий и 5-квазиизометрий вопрос об этом распределении решается по существу, то есть имеют место следующие теоремы, описывающие всевозможные ситуации.
Рассмотрим сначала ситуацию, когда последовательность выколотых точек сходится к внутренней точке области.
3.1. Теорема. Пусть Б с Кп- ограниченная гомеоморфная шару область, {Ьп} -последовательность точек из Б, Ьп ^ Ь е Б, Е = {Ьп } и {Ь} и пусть /: Б \ Е ^ Кп
есть р-квазиизометрическое (5-квазиизометрическое) отображение. Тогда отображение / может быть продолжено до р-квазиизометрического (5-квазиизо-метрического) отображения /: Б ^ Кп, то есть множество Е является устранимым, причем в образе О = /(Б) последовательность точек /(Ьп) фундаментальна по метрике рО (5О) и сходится к внутренней точке области О.
Доказательство. Так как {Ьп} сходится к внутренней точке области Б, в окрестности которой метрики рБ и 5Б совпадают, то доказательство достаточно провести для случая р-квазиизометрии. Так как область Б содержит множество Е = {Ьп}и{Ь}, а точки {Ьп} являются в Е изолированными, то, в силу теоремы 2.3,
отображение /: Б \ Е ^ О \ Е' продолжается до р-квазиизометрии /: Б ^ О , то есть точки {Ьп} являются устранимыми. Так как Ьп ^ Ье Б, то {Ьп} - фундаментальна по метрике рБ в Б. Очевидно, что последовательность точек из Б, фундаментальная по метрике рБ, при р-квазиизометрии /: Б ^ О переходит в последовательность точек /(Ьп) = Ь'п, фундаментальную по метрике рО. Поэтому Ьп ^ Ь' е О и /(Ь) = Ь'. Таким образом отображение /: Б \ Е ^ О \Е', где Е' = {Ьп } и {Ь'}, продолжается до р-квазиизометрии /: Б ^ Кп, и теорема доказана.
Рассмотрим теперь ситуацию, когда последовательность выколотых точек сходится к точке границы области. Пусть Б с Кп - ограниченная гомеоморфная шару область, Ьп ^ ЬедБ - последовательность точек из Б, сходящаяся в евклидовой метрике к точке границы области Б, Е={Ьп} и /: Б \ Е ^ Кп есть р-квази-
изометрическое (5 -квазиизометрическое) отображение.
В нашем случае возможны следующие случаи.
(/ ) Пусть{Ьп} - фундаментальная по метрике рБ последовательность точек из
Б, Ьп ^ Ь едБ .
Тогда, в силу изолированности точек {Ьп} в Е, по теореме 2.3 они являются устранимыми и, так как точка Ь лежит на границе области дБ, то вопрос о ее устранимости не возникает. Поэтому рассмотрим вопрос только о распределении образов Ьп при отображении / в области О = /(Б). Очевидно, что если последовательность точек {Ьп} из Б фундаментальна по метрике рБ, /: Б ^ О по теореме
2.3 является р-квазиизометрией, то последовательность точек {Ьп = /(Ьп)} с О также фундаментальна в О по метрике рО и сходится к точке границы области О:
Ьп ^ Ь' едО .
Из анализа известно, что р-квазиизометрия /: Б ^ О продолжается до гомеоморфизма / :[Б]Р ^ [О]Р [3, п.1.3]. При этом носитель 1(х*) любого элемента х е [Б]Р является одноточечным множеством на дБ: 1(х ) ={Ь}, Ь едБ и,
если {Ьп } е х , то й(Ьп, Ь)—>0 при п — да.
Пусть наша последовательность {Ьп } е х*, тогда /: х* ^ у* и Ьп = /(Ьп) ^
у* = /(х*), Ь'п ^ Ь' = I(у*). Таким образом, справедливо следующее утверждение.
3.2. Теорема. Пусть Б сКп - ограниченная гомеоморфная шару область, {Ьп} -фундаментальная по метрике рБ последовательность точек из Б, сходящаяся в евклидовой метрике к точке Ь границы области дБ, Е={Ьп} и /: Б \ Е ^ Кп есть р-квазиизометрия. Тогда отображение / может быть продолжено до р-квази-изометрического отображения /: Б ^ Кп, то есть множество Е является устранимым, причем в образе О = /(Б) последовательность точек /(Ьп) является фундаментальной по метрике рО и сходится к точке границы дО. Кроме того, {Ьп } ^ х* е [Б ]Р, / (Ьп) ^ у* = / (х*), где /: Б и {х*} ^ О и {у*} есть гомеоморфизм.
В случае 5-квазиизометрии, если последовательность точек {Ьп} фундаментальна по метрике 5Б и лежит на некоторой спрямляемой кривой у:[0,1)^Б, предельное множество которой есть точка Ь едБ , Ьп ^ Ь, то, очевидно, что последовательность точек {Ьп} фундаментальна и по метрике рБ и данная ситуация сводится к теореме 3.2. Если же последовательность точек {Ьп} фундаментальна по метрике 5б, Ьп ^ ЬедБ , но {Ьп} лежит на неспрямляемой кривой Г:[0,1)^Б, оканчивающейся в точке Ь едБ , то по лемме 1.3.9 из [3] Г:[0,1)^Б перейдет в такой же путь Г' = / о Г: [0,1) ^ О, оканчивающийся в точке Ь' едО, Ь' = / (Ь).
Таким образом, можно сформулировать следующее утверждение:
3.3. Теорема. Пусть Б сКп - ограниченная гомеоморфная шару область, {Ьп} -фундаментальная по метрике 5Б последовательность точек из Б, лежащая на спрямляемой кривой у:[0,1)^Б (лежащая на неспрямляемой кривой Г :[0,1)^Б) и сходящаяся к точке Ь границы области дБ, Е={Ьп} и /: Б \ Е ^ Кп есть 5-квазиизометрия. Тогда отображение / может быть продолжено до 5-ква-зиизометрического отображения /: Б ^ Кп, то есть множество Е является устранимым, причем в образе О = /(Б) последовательность точек /(Ьп) является фундаментальной по метрике 5О, лежит на спрямляемой кривой
У ' = / ° У : [0,1) ^ О (лежит на неспрямляемой кривой Г ' = / о Г: [0,1) ^ О) и сходится к точке границы дО. Кроме того, {Ьп } ^ х* е [Б]5, /(Ьп) ^ у* = /(х*), где /: Б и {х*} ^ О и {у*} есть гомеоморфизм.
(и) Пусть {Ьп} не является фундаментальной по метрике рБ последовательностью точек из Б и, кроме того, никакая ее подпоследовательность также не является фундаментальной по метрике рБ, Ьп ^ Ь едБ .
Очевидно, что по теореме 2.3 множество Е={Ьп} является устранимым. Так как {Ьп} не является фундаментальной по метрике рБ вместе с любой своей подпоследовательностью, то можно считать, не ограничивая общности, что РБ (Ьп, Ьт) > а > 0, V п Ф т . Тогда по формуле (3) получим К-1рБ (Ьп, Ьт) <
<Ро (/(Ьп X ./(Ьт )) ил^ учитывая Ь’п = ]Т(Ьп ^ Ро (Ьп , Ь’т ) > К_1а> 0, V п Ф т . Таким образом, последовательность Ь'п = / (Ьп) в образе О = / (Б) также не является фундаментальной по рО. Исходя из этого и учитывая, что Ьп ^ Ь едБ , очевидно, что любой путь Г:[0,1)^Б, содержащий {Ьп} и оканчивающийся в точке Ь едБ , обязательно неспрямляем. Поэтому в образе О = / (Б) точки Ьп = / (Ьп) также лежат на неспрямляемом пути Г ' = / о Г : [0,1) ^ О, для которого предельное множество С (Г ' ,1) либо одноточечно, либо представляет собой некоторый невырожденный континуум на дО. Этот результат можно сформулировать следующим образом:
3.4. Теорема. Пусть Б с Кп - ограниченная, гомеоморфная шару область, {Ьп} - последовательность точек из Б, не являющаяся фундаментальной по метрике рБ вместе с любой своей подпоследовательностью и сходящаяся к точке Ь границы области дБ, Е={Ьп} и /: Б \ Е ^ Кп есть р-квазиизометрия. Тогда отображение /
может быть продолжено до р-квазиизометрического отображения /: Б ^ Кп, то есть множество Е является устранимым, причем в образе О = /(Б) последовательность точек / (Ьп) не является фундаментальной по метрике рО, лежит на не-
спрямляемой кривой, предельное множество которой либо одноточечно, либо представляет собой некоторый невырожденный континуум.
(ш) Пусть последовательность точек {Ьп} из Б не является фундаментальной по метрике 5Б и, кроме того, никакая ее подпоследовательность также не является фундаментальной по метрике 5Б, Ьп ^ Ь едБ .
Очевидно, что по теореме 2.3 множество Е={Ьп} является устранимым при 5-квазиизометрии. Так как {Ьп} не является фундаментальной по метрике 5Б вместе с любой своей подпоследовательностью, то можно считать, не ограничивая общности, что выполняется соотношение 5Б(Ьп,Ьт)>а>0, Vп Фт . Тогда по формуле (3) получим К-15б (Ьп, Ьт) < 5о (/(Ьп), /(Ьт)) или, учитывая, что Ь'п = /(Ьп), 5О (Ь'п, Ь'т) > К-1а > 0, Vп Ф т . Таким образом, последовательность Ь'п = /(Ьп) в образе О = /(Б) также не является фундаментальной по метрике 5Б. Кроме того, так как последовательность {Ьп} не лежит ни на какой кривой у:[0, 1)^Б, оканчивающейся в точке границы, то предельное множество С(у, 1) является невырож-
денным континуумом на дБ. Поэтому в образе О = / (Б) точки Ь'п = / (Ьп) лежат на неспрямляемом пути у ' = / о у :[0,1) ^ О, для которого предельное множество С (у ', 1) также является невырожденным континуумом на дО. Отсюда следует,
что предельное множество последовательности {Ьп} состоит из невырожденного замкнутого подмножества дО, не являющегося обязательно континуумом на дО. Этот факт можно сформулировать следующим образом:
3.5.Теорема. Пусть Б с Кп - ограниченная гомеоморфная шару область, {Ьп} -последовательность точек из Б, не являющаяся фундаментальной по метрике 5Б вместе с любой своей подпоследовательностью и сходящаяся к точке Ь границы области дБ, Е={Ьп} и /: Б \ Е ^ Кп есть 5-квазиизометрия. Тогда отображение / может быть продолжено до 5-квазиизометрического отображения /: Б ^ Кп, то есть множество Е является устранимым, причем в образе О = /(Б) последовательность точек /(Ьп) не является фундаментальной по метрике 5О и лежит на неспрямляемой кривой, для которой предельное множество не является одноточечным.
4. Квазиизометрии областей Б с К , п > 2, с бесконечным множеством выколотых точек, предельное множество которых образует континуум
Пусть {Ьп} - последовательность точек из Б, предельным множеством которой является связный континуум Е с Б. Вопрос об устранимости любой точки Ьп из множества точек {Ьп} и их распределении в образе рассмотрен в предыдущих пунктах. Рассмотрим этот же вопрос по отношению к их предельному множеству
Е с Б.
Исследуем сначала плоский случай, то есть когда Б с К2 - ограниченная гомеоморфная кругу область, Е с Б - предельное множество последовательности точек {Ьп} из Б, являющееся континуумом из Б , и /: Б \ Е ^ К2 есть р-
квазиизометрическое отображение.
Так как Е есть континуум, то мера Лебега Л^Е) > 0. В силу результатов из [1] множество Е тогда не является, в общем случае, устранимым для квазиконформных и, в частности, для р-квазиизометрических отображений, заданных на Б\Е. Так как Е = {Ьп }, то для каждой точки Ь е Е существует подпоследовательность {Ь } с {Ьп}, сходящаяся к точке Ь при к — да в евклидовом смысле. Причем, в
силу теоремы 3.1, как сама последовательность {Ьп}, так и любая ее подпоследовательность, в том числе и {Ь^ }, устранимы при р-квазиизометрических отображениях, заданных на Б\{Ьп}. Однако, как следует из теоремы 13.2 из [1], в силу неустранимости Е в общем случае, точка Ь е Е не является устранимой для отображения /. Эта ситуация существенно отличается от случая, когда Е состоит из единственной точки: {Ь^ } ^ Ь = Е , которая, как было показано выше, является
устранимой для /.
Таким образом, следующие ситуации, которые требуют рассмотрения, сводятся к изучению поведения квазиизометрических отображений на Б\Е, где Е есть невырожденный континуум в К2, являющийся неустранимым. То есть в дальнейшем будут рассмотрены р- или 5-квазиизометрические отображения
/: Б \ Е ^ О \ Е', которые могут быть продолжены до гомеоморфизма каких-то пополнений областей Б\Е и О \ Е'.
Пусть Е есть связный континуум, лежащий внутри области Б, то есть ё(Е, дБ) > 0. Возможны две ситуации: либо Е имеет внутренние точки, либо Е не имеет внутренних точек. Очевидно, при отображении / получим, что ё(Е', дО) > 0 и Е с О есть невырожденный связный континуум в О, который может иметь внутренние точки или не иметь их.
Пусть Б' = Б \ Е, тогда Е с дБ' является граничной компонентой Б' и возникает вопрос о продолжении / на границу области Б . В общем случае этот вопрос решается в [3]. Любое р- или 5-квазиизометрическое отображение /: Б' ^ О', где О' = О \ Е ', продолжается до гомеоморфизма
/: Б и Б' ^ О и О', где Б', О' есть множества граничных элементов областей Б ' и О', полученные при пополнении этих областей по какой-либо схеме из [3].
Если Е не имеет внутренних точек, а Е имеет, то при любом квазиконформном отображении, а также и при любой квазиизометрии, очевидно, множество Е не является устранимым. Однако, если множества Е и Е одновременно имеют внутренние точки или одновременно не имеют их, то, возможно, что Е является устранимым множеством. Тогда возникает вопрос о нахождении необходимых условий на отображение / и множество Е, при которых в рассматриваемых ситуациях множество Е является устранимым для данного /.
Рассмотрим простейшие примеры областей Б с К2 и множеств Е из Б, имеющих или не имеющих внутренних точек и являющихся устранимыми при конкретных квазиизометриях:
Пример 1. Пусть область Б = В2(0, 1), Е с Б, Е = В2 (0,1/2) путем тождественного отображения / (х) = х переводится в область О = Б, Е ' с О, Е ' = Е . Очевидно, что Е и Е содержат внутренние точки. Тогда квазиизометрия /: Б ' ^ Б', где Б' = Б \ Е, продолжается до гомеоморфизма
/: Б ' и [Б ']р ^ Б ' и [Б ']р и множество Е, очевидно, является устранимым, если
/ : Б — О есть тождественное отображение. Приведенный пример доказывает, что существуют квазиизометрии, при которых множество с внутренними точками устраняется.
Пусть квазиизометрия /: Б' ^ Б ' не является тождественным отображением. Тогда эта квазиизометрия /: Б' ^ Б', где Б' = Б \ В2 (0,1/2), продолжается до гомеоморфизма / : Б' и [Б ']р ^ Б ' и [Б ']р, при этом / является квазиизометри-ей дВ2(0,1/2) = £2(0,1/2) на дВ2(0,1/2) = £2(0,1/2). Таким образом, вопрос об устранимости Е = В2 (0,1/2) сводится к вопросу о продолжении квазиизометрии /: £2(0,1/2) ^ £2(0,1/2) до квазиизометрии шара В2(0, 1/2) на В2(0, 1/2) .
Пример 2. Пусть область Б = В2(0, 1) , Ес Б, Е = {-1/2 < х < 1/2, у = 0} путем тождественного отображения / (х) = х переводится в область О = Б, Е с О , Е = Е . Очевидно, что Е и Е не имеют внутренних точек. Тогда квазиизометрия /: Б' ^ Б', где Б' = Б \ Е, продолжается до гомеоморфного отображения
f : D' u [D ']р ^ D' u [D ']р и множество F, очевидно, является устранимым, если f : D ^ G есть тождественное отображение.
Пусть квазиизометрия f : D' ^ D' не является тождественным отображением. Выясним необходимое условие, при котором множество F является устранимым для отображения f В нашей ситуации квазиизометрия f : D' ^ D ', где
D ' = D \ F, продолжается до гомеоморфизма f :[D']р ^ [D']р. Тогда в общем случае точка b є F является носителем двух различных элементов {x; }, {x; } є [D']p, I(x; ) = I(x;) = b . Следовательно, если F является устранимым
для отображения f, то при отображении f : D'u [D']р ^ D'u [D']р для каждой точки b є F будет выполняться условие: f (x*) = y*, f (x;) = y; и
I (y* ) = I ( y; ) = b’, где b’ = f (b) є F '. Таким образом, имеет место следующее утверждение:
4.1. Теорема. Пусть D с R2 - ограниченная гомеоморфная кругу область, континуум F с D является предельным множеством последовательности точек {bn} из D и f : D \ F ^ G \ F' есть р-квазиизометрия. Тогда связный континуум F, лежащий внутри области D и не имеющий внутренних точек, при отображении f переходит в связный континуум F с G . Если F содержит внутренние точки, то множество F не является устранимым. Если F не имеет внутренних точек, точка b є F является носителем двух различных элементов b = I(x; ) = I (x; ), {x; }, {x; }є [D']p, где D' = D \ F, f продолжается до гомеоморфизма f : D' u [D ']p ^ D' u [D ']p, при котором для этой точки b є F выполняется условие: f ( x; ) = y;, f ( x; ) = y; и I (y; ) = I ( y; ) = b' ( b ' = f (b) є F ' ), то возможно, что F является устранимым множеством для квазиизометрии f. При этом, если продолжение f является р-квазиизометрией / на множестве F, то F является устранимым множеством; в противном случае F не является устранимым множеством.
Будем говорить, что квазиизометрия f : D \ F ^ G \ F ', для которой F является устранимым множеством, принадлежит классу RQI((D, F), (G, F')) устранимых квазиизометрий. Очевидно, что не всякая квазиизометрия обладает свойством устранимости относительно F.
Возникает вопрос о свойствах множества F в образе, в зависимости от условий, накладываемых на F. Другими словами, если F задается некоторыми условиями, то будет ли F удовлетворять этим условиям при квазиизометрии f : D \ F ^ G \ F'.
Начнем исследование с простейших ситуаций:
(i) Пусть F - спрямляемая жорданова кривая, лежащая в области D с R2 и f : D \ F ^ G \ F' - произвольная р-квазиизометрия.
Рассмотрим случай, когда F не содержит внутренних точек, и покажем, что F является спрямляемой кривой. Так как F - спрямляемая кривая, то, по определению, ее длина /(F) < да. Пусть Fk = Vp (F, єк ) есть єк-окрестности кривой F:
F = lim Fk. Границами этих е^окрестностей являются спрямляемые кривые yk,
ek
длины которых l(yk) ^ l(F) при ек^0. При р-квазиизометрии f: yk ^ уk, в силу (2) или (3), их длины удовлетворяют соотношению K 1 (Y k) ^l (Y k) ^ Kl (Y к), гДе K - коэффициент р-квазиизометрии f Так как f есть р-квазиизомерия, то yk сходятся равномерно к некоторой кривой F' е G, и по теореме 2 (см. [5, с. 112]) F' является спрямляемой кривой.
Если F' содержит внутренние точки, то, проводя те же рассуждения, что и в предыдущем случае, получим, что граница dF' является спрямляемой.
(ii) Пусть F - неспрямляемая кривая, лежащая в области D с R2 и f: D \ F ^ G \ F' - произвольная р-квазиизометрия. Так как F - неспрямляемая кривая, то, по определению, ее длина l(F) = да. Пусть F' не содержит внутренних точек. Как было показано ранее, при р-квазиизометрии длина F' не более чем в K раз отличается от длины F. Поэтому, очевидно, l(F') = го и F' является неспрям-ляемой кривой. Если F' содержит внутренние точки, то ее граница dF', аналогично, является неспрямляемой кривой.
Далее, пусть F, являющееся предельным множеством последовательности точек {bn} из D, есть связный континуум, лежащий на границе области D с R2: F с dD, и f: D ^ G - произвольная р-квазиизометрия. Тогда вопрос об устранимости F не возникает. В силу р-квазиизометричности f очевидно, что F' с dG, так как F' является предельным множеством точек b'n = f (bn), и в общем случае
множество F состоит из конечного или бесконечного числа непересекающихся континуумов. В этом случае вопрос о строении F' нужно рассматривать дополнительно, применяя результаты из [3] о продолжении р-квазиизометрии на границу области или специально исследуя этот вопрос. Таким образом, можно сформулировать следующее утверждение:
4.2. Теорема. Пусть D с R2 - ограниченная гомеоморфная кругу область, предельное множество Fс D последовательности точек {bn} из D является спрямляемой (неспрямляемой) жордановой кривой в D и f: D \ F ^ G \ F' есть р-квазиизометрия. Тогда, если F не содержит внутренних точек, то F является спрямляемой (неспрямляемой) кривой в G; если F' содержит внутренние точки, то граница dF' является спрямляемой (неспрямляемой) кривой. Если же F является связным континуумом, лежащим на границе dD области D, то F' лежит на границе dG области G и в общем случае состоит из конечного или бесконечного числа непересекающихся континуумов.
Рассмотрим теперь случай пространственной области: D с Rn, n > 3, есть ограниченная гомеоморфная шару область, F с D - предельное множество последовательности точек {bm} из D и f: D \ F ^ Rn есть р-квазиизометрическое отображение.
Если ЛЯ^1(Е) = 0, то по теореме 13.2 из [1] множество F является устранимым, кроме случая, когда F с dD.
Пусть либо Лп_1(Е) > 0 и F имеет размерность n - 1, при этом множество F не содержит внутренних точек, либо множество F содержит внутренние точки, при этом Л„(Е) > 0. Тогда в этих случаях множество F, вообще говоря, не является
устранимым в силу теоремы 13.2 из [1]. Можно отметить, что если f : D ^ G -р-квазиизометрия областей D, G и множество F с D является квадрируемым, то, как известно из курса анализа, множество F' = f (F) с G также является квадрируемым. В случае же, если f : D \ F ^ G \ F' - р-квазиизометрия, A^n-1(F) > 0 и F не содержит внутренние точки и является квадрируемым множеством, то f продолжается до гомеоморфизма границ f : D u F ^ G u dF , при котором F перейдет в квадрируемое множество dF ', при этом множество F' либо имеет внутренние точки, либо не имеет их и тогда dF ' = F'. Таким образом можно сформулировать следующее утверждение:
4.3. Теорема. Пусть D с Rn, п > 3. есть ограниченная гомеоморфная шару область, F с D - предельное множество последовательности точек {bm} из D и f : D \ F ^ G \ F' есть р-квазиизометрическое отображение. Тогда, если Лn-1(F) = 0 и F лежит внутри области D, то множество F является устранимым. Если Лп-1^>0, то множество F не является устранимым, но при этом, если F с D является квадрируемым множеством, то F ' = f (F ) с G также является квадрируемым.
Замечание 2. Рассмотренные выше исследования проводились для случая, когда отображение f : D \ F ^ G \ F' является р-квазиизометрией. Как было отмечено ранее, любое 5-квазиизометрическое отображение является одновременно и р-квазиизометрическим. Обратное утверждение является неверным, поэтому необходимо рассмотреть основные отличия между 5- и р-квазиизометриями. Перечислим эти отличия.
(a) В области D р0-диаметр р^^ множества F с D может быть как угодно большим и при р-квазиизометрии выполняется K-1pD (F) < pG (F') < KpD (F). В то же время 5д-диаметр 5D(F) < d(D) < œ для любого множества F с D. При 5-квазиизометрии выполняется K-15D (F)<SG (F' ) < KSD (F), а вот при р-квазизометрии это условие на 5D(F) и SG (F ' ) выполняться не будет. В частности, возможна ситуация, когда рБ (F) > а > 0, но 5D(F) может быть сколь угодно малым. Тогда при р-квазиизометрии pG (F ') > aK_1, а при 5-квазиизометрии , если 5d (F) < £, то SG (F') < Ke , то есть SG (F') сколь угодно мал.
(b) Если F есть неспрямляемая кривая из D, оканчивающаяся в некоторой точке b e dD, то при 5-квазиизометрии она переходит в неспрямляемую кривую F' с G, оканчивающуюся в точке b' e dG. При р-квазиизометрии кривая F' с G также является неспрямляемой, но ее предельное множество на dG может являться невырожденным континуумом.
(c) В силу условия (1) из фундаментальности последовательности {xm } с D по
метрике рD следует ее фундаментальность и по метрике 5D. Обратное в общем случае неверно. Если последовательность {xm} является фундаментальной по метрике рD, f : D ^ G есть р-квазиизометрия, то последовательность {ym = fxm)} также фундаментальна по метрике ре. В частности, если f : D ^ G есть 5-квазиизометрия (она автоматически является р-квазиизометрией), то р^фун-даментальная последовательность при 5-квазиизометрии также переходит в рс-фундаментальную последовательность. Если {xm} - фундаментальна по метри-
ке 5Б, то при 5-квазиизометрии /: Б ^ О она переходит в последовательность {ут = /хт)}, являющуюся фундаментальной по метрике 5О. А при р-квазиизомет-рии фундаментальная по 5Б последовательность не обязана переходить в фундаментальную по 5О, а тем более по рО, последовательность.
5. Распределение счетного множества выброшенных континуумов в ограниченной области Б с В", п > 2, при квазиизометрических отображениях
Пусть {Ет}, т = 1, 2,..- последовательность невырожденных континуумов из Б, предельным множеством которых является невырожденный связный континуум Е с Б . Рассуждения из предыдущего пункта показывают, что каждое множество Ет из последовательности {Ет} и сама последовательность {Ет} не являются устранимыми при квазиизометрических отображениях в общем случае. Обозначим Б' = Б \ (^Ет), О' = О \(и^т). Рассмотрим вопрос о поведении {Е^ } при р-квазиизометрическом отображении /: Б' ^ О'.
Исследуем сначала плоский случай.
(О Пусть Б с Я2 есть ограниченная гомеоморфная кругу область, {Ет} - последовательность невырожденных континуумов из Б, которая сходится к некоторому множеству Ес Б по метрике Хаусдорфа: Иш гН (Ет, Е) = 0, и / : Б' ^ О' есть
т^да
р-квазиизометрическое отображение.
Пусть последовательность {Ет} состоит из спрямляемых кривых, длины которых равномерно ограничены, то есть 1(Ет) < £ <со. Тогда по теореме 2 (см. [5, с. 112]) кривая Е, к которой сходится {Ет} по метрике Хаусдорфа, является спрямляемой (здесь под Ет и Е будем понимать траектории кривых Ет и Е соответственно). Пусть множества {Е'т } из О не содержат внутренних точек для
любого т. Тогда, как было показано ранее, спрямляемые кривые {Ет} при квазии-зометрии /: Б \ (^Ет) ^ Я2 перейдут в спрямляемые кривые {Е^ }. При этом Иш гН (т, Е') = 0 и Е ' является спрямляемой кривой в О. Следует отметить,
т^да
что, так как предельное множество Е лежит внутри области Б, то вопрос о его устранимости остается открытым, то есть должен решаться для каждого конкретного случая (см. п. 4).
Пусть каждая из {Е'т } имеет внутренние точки. Тогда при квазиизометрии / их
границы дЕ'т будут спрямляемыми кривыми и {дЕ'т} ^ дЕ ', длина которой I(дЕ' ) <да. Очевидно, что в этом случае вопрос об устранимости предельного множества не возникает.
Далее рассмотрим случай, когда {Ет } с Б , Ек п Е = 0 , У к Ф /, и каждая из Ет имеет внутренние точки. В силу ограниченности Б необходимо рассмотреть вопрос о дополнительных условиях на {Ет}. Обозначим к (Е) = Бир{2г}, где точная верхняя грань берется по всем открытым шарам Б2(х, г), целиком лежащим в Е. Так как множества Ет попарно не пересекаются, то, в силу ограниченности области Б, очевидно Иш к(Ет) = 0. Тогда, если множества Е^ имеют внутренние
точки, то {Е^ } обладает этим же свойством: Иш к(Ет) = 0, в силу ограниченно-
т—да
сти области О= / (Б).
В случае, когда предельное множество Е последовательности континуумов {Ет} из Б лежит на границе дБ области Б, то вопрос о его устранимости, естественно, не возникает. Причем, очевидно, в силу квазиизометричности / предельным множеством последовательности {Е^ } является множество Е ' с дО .
(и) Рассмотрим далее случай, когда Б с Я2 - ограниченная гомеоморфная кругу область, Е с Б - топологический предел последовательности континуумов {Ет} из Б, и /: Б \(иЕт) — Я2 есть р-квазиизометрия. В случае если
гН (Ет, Ек) — 0, т, к ^да, то, очевидно, что и для образов г^(Е^, Ек) — 0, т, к ^-да. Этот случай был рассмотрен в (/). Поэтому далее предполагаем, что гН (Ет, Ек) >г0 >0, Vт Фк . Тогда в силу квазиизометричности/выполняется, что гН (Ет, Ек) > г0 / К , V т Ф к , и последовательность {Е^ }, в общем случае, не сходится ни к какому предельному множеству ни топологически, ни по метрике Хаусдорфа. Но по теореме 1.13 из этой последовательности можно выделить сходящуюся топологически подпоследовательность, предельным множеством которой по теореме 1.14 является связное множество. Таким образом, последовательность {Ет } разбивается на сходящиеся топологически подпоследовательности.
Пусть последовательность {Ет} состоит из спрямляемых кривых, длины которых ограничены в совокупности, 1(Ет) < С < да, при этом тогда и для рБ- -диаметров кривых {Ет} имеем
Рб ' (Ет) = Шпш^Рб ' (А), А с Б', гн (А, Ет) < е} < С < да.
8—>0
В силу теоремы 1.14 предельное множество Е = М Ет есть связное множе-
т—да
ство. Кроме того, если рБ , -диаметры кривых {Ет} ограничены снизу, то есть гБ' (Ет )> а> 0 , то Е является или невырожденным связным континуумом , или одноточечным множеством (см. замечание 2), лежащим либо внутри области Б, либо на границе области дБ. Если же гБ, (Ет) — 0, то Е является одноточечным
множеством. В силу квазиизометричности /: Б’ — О' будем иметь: К-1С < I(Ет) < КС , то есть последовательность {Е^ } состоит из спрямляемых кривых. Тогда и для рО , -диаметров выполняется, что рО - (Е'т) < КС, то есть рО - -диаметры кривых {Е^ } ограничены. Предельным множеством каждой топологически сходящейся подпоследовательности {Е'тк} с {Ет } является либо невырожденное связное множество, либо одноточечное множество из Б (см. замечание 2).
Пусть последовательность {Ет} состоит из неспрямляемых кривых. По теореме 1.14 предельное множество Е = // Ет есть связное множество, и в силу ква-
т—да
зиизометричности /: Б' — О', очевидно, что последовательность {Е'т } состоит из неспрямляемых кривых. Если при этом рБ - (Ет) > а > 0, то и
Pg ' (Fm ) - K_1а > 0, и, следовательно, для любой топологически сходящейся подпоследовательности {Fm } с {Fm } имеем pG (F') - K-1а > 0, то есть каждое F' = lt Fm является невырожденным континуумом или одноточечным множе-
m^œ k
ством в области G' (см. замечание 2).
Далее пусть D с Rn , n — 3, есть ограниченная гомеоморфная шару область, F с D - предельное множество последовательности континуумов {Fm} из D и
f : D \ uFm ^ Rn есть р-квазиизометрическое (5-квазиизометрическое) отображение. Тогда возможны те же самые ситуации, что и в плоском случае, только вместо спрямляемых кривых нужно рассматривать квадрируемые множества Fm и учесть отличия между 5- и р-квазиизометриями, то есть необходимо использовать результаты теоремы 4.3 и замечания 2.
ЛИТЕРАТУРА
1. Сычев А.В. Пространственные квазиконформные отображения. Новосибирск: Изд-во Новосиб. ун-та, 1975.
2. Асеев В.В., Сычев А.В. О множествах, устранимых для пространственных квазиконформных отображений // Сиб. мат. журн. 1974. Т. 15. № 6. С. 1213-1227.
3. Кармазин А.П. Квазиизометрии, теория предконцов и метрические структуры пространственных областей: монография. Сургут: Изд-во Сургутск. ун-та, 2008.
4. Куратовский К. Топология: в 2 т. Т. 1. М.: Мир, 1966; Т. 2. М.: Мир, 1969.
5. Колмогоров А.Н., Фомин С.В. Элементы теорий функций и функционального анализа. М.: Наука, 1972.
Статья принята в печать 14.12.2010 г.
Karmazin A. P., Mukhutdinova D. R. REMOVABLE SETS AND THE DISTRIBUTION OF INTRINSIC BOUNDARY COMPONENTS UNDER QUASI-ISOMETRIES OF DOMAINS IN Rn. The paper deals with various cases and conditions for removability of sets under quasi-isometrical maps. The distribution of intrinsic boundary components of domains in Rn is studied.
Keywords: quasi-isometrical maps, intrinsic metrics, infinitely connected domains, removed sets, distribution of boundary components.
KARMAZIN Aleksandr Petrovich (Surgut State University)
E-mail: kap@kpm.surgu.ru
MUKHUTDINOVA Dina Rimovna (Surgut State University)
E-mail: manilir@mail.ru
