Table Of Content

1 УДК 517.5 Е.А. Севостьянов, С.А. Скворцов (Житомирский государственный университет имени И. Франко) Є.О. Севостьянов, С.О. Скворцов (Житомирський державний унiверситет iменi I. Франко) E.A. Sevost’yanov, S.A. Skvortsov (Zhytomyr Ivan Franko State University) О равностепенной непрерывности отображений в случае переменных об- ластей 7 Про одностайну неперервнiсть вiдображень у випадку змiнних областей 1 0 On equicontinuity of mappings in a case of variable domains 2 n Изучаются вопрос о локальном поведении одного класса отображений в замыкании a J области евклидового n-мерного пространства в случае, когда отображённая область не 6 является фиксированной. При определённых условиях на измеримую функцию, опре- 1 деляющую поведение указанных отображений, а также ограничениях на отображённые ] V области,установлена равностепенная непрерывность соответствующегосемейства отоб- C ражений в замыкании исходной области. . h t Вивчається питання про локальну поведiнку одного класу вiдображень в замикан- a m нi областi евклiдового n-вимiрного простору в випадку, коли вiдображена область не [ є фiксованою. За певних умов на вимiрну функцiю, яка визначає поведiнку вказаних 1 вiдображень,атакожобмеженняхнавiдображенiобластi,встановленоодностайнунепе- v рервнiсть вiдповiдної сiм’ї вiдображень в замиканнi вихiдної областi. 1 6 4 We study a local behavior of one class of mappings, which are deﬁned in a domain of n- 4 0 measured Euclidean space, in a case, when corresponding images of this domain are variable. . 1 Under some conditions on a function deﬁning a behavior of mappings mentioned above, and 0 some restrictions on mapped domains, the equicontinuity of the corresponding family of the 7 1 mappings in the closure of the initial domain is proved. : v i X r a 2 1. Введение. Основные определения и обозначения, встречающиеся в тексте, могут быть найдены в монографиях [1] и [2]. В относительно недавней работе [3] установлена равностепенная непрерывность од- ного семейства пространственных гомеоморфизмов с неограниченной характеристикой квазиконформности, переводящих заданную область D на заданную область D′. От- метим, что в [3] поведение отображений связано с их непрерывным продолжением на границу впоточечномсмысле. Основнаяцель настоящейстатьи–распространитьтеже результаты на случай, когда отображённые области могут меняться и зависят от фик- сированного отображения данного семейства. Отдельно будет рассмотрен также случай отображений с ветвлением и случай, когда непрерывное продолжение на границу и рав- ностепенную непрерывность следует понимать в терминах простых концов. По этому поводу см. также классические результаты Р. Някки и Б. Палка для квазиконформных отображений [4]. Теория простых концов для пространственных областей и граничное поведение квазиконформных отображений в их терминах развиты Някки [5]. В случае отображений с неограниченной характеристикой этот подход был использован и развит в работах В.Я. Гутлянского, В.И. Рязанова, Д.А. Ковтонюка и Э. Якубова (см. [6]–[7]). Здесь и далее A(x ,r ,r ) := {x ∈ Rn : r < |x−x | < r } , (1) 0 1 2 1 0 2 а M (Γ) означает p-модуль семейства кривых Γ. Введём в рассмотрение следующее p понятие, см. [1, разд. 7.6 гл. 7]. Пусть p > 1 и Q : Rn → [0,∞] – измеримая по Ле- бегу функция, Q(x) ≡ 0 при всех x 6∈ D. Говорят, что отображение f : D → Rn есть кольцевое Q-отображение в точке x ∈ D относительно p-модуля, x 6= ∞, если для 0 0 некоторого r = r(x ) и произвольных сферического кольца (1) и любых континуумов 0 0 E ⊂ B(x ,r )∩D,E ⊂ Rn \B(x ,r ) ∩D,отображениеf удовлетворяетсоотношению 1 0 1 2 0 2 (cid:0) (cid:1) M (f (Γ(E , E , D))) 6 Q(x)·ηp(|x−x |) dm(x) (2) p 1 2 0 Z A для каждой измеримой функции η : (r ,r ) → [0,∞], такой что 1 2 r2 η(r) dr > 1. (3) Z r1 Аналогично, условимся говорить, что отображение f : D → Rn является кольцевым Q-отображением в D относительно p-модуля, если условие (2) выполнено в каждой точке x ∈ D. В точке x = ∞ данное определение может быть переформулировано при 0 0 помощи инверсии: ϕ(x) = x , ∞ 7→ 0. |x|2 В дальнейшем h(x,y) обозначает хордальное расстояние между токами x,y ∈ Rn, а h(E) – хордальный диаметр множества E ⊂ Rn (см. [1, гл. 1]). Пусть D – некоторая i фиксированная последовательность областей, i = 1,2,...,. Согласно [4, разд. 2.4], бу- дем говорить, что семейство областей D , i ∈ I, является равностепенно равномерной i относительно p-модуля, если для каждого r > 0 существует число δ > 0 такое, что неравенство M (Γ(F∗,F,D )) > δ (4) p i 3 выполнено для всех i ∈ I и произвольных континуумов F,F∗ ⊂ D, подчинённых усло- виям h(F) > r и h(F ∗) > r. Отметим, что в работе [4] рассматривался частный случай p = n, а неравенство (4) здесь требовалось не только для континуумов F и F∗, но и произвольных связных множеств. Указанное обстоятельство (несущественно) отлича- ет приведенное выше определение от аналогичного определения Някки и Палка ([4]). Заметимтакже, что для фиксированной области D соотношение (4) влечёт такназыва- i емую сильную достижимость её границы относительно p-модуля (см. [8, теорема 6.2]). Для p > 1, заданного числа δ > 0, фиксированной области D ⊂ Rn, n > 2, контину- ума A ⊂ D и заданной функции Q : D → [0,∞] обозначим через F (D) семейство Q,A,p,δ всех кольцевых Q-гомеоморфизмов f : D → Rn в D относительно p-модуля, удовлетво- ряющих условиям h(f(A)) > δ и h(Rn \f(D)) > δ. Полагаем 1 q (r) := Q(x)dS, x0 ω rn−1 Z n−1 |x−x0|=r где dS – элемент площади поверхности S, и 1 q′(r) := Q′(x)dS, b ω rn−1 Z n−1 |x−b|=r Q′(x) = max{Q(x),1}. Имеют место следующие утверждения. Теорема 1. Предположим, p ∈ (n−1,n],областьD локально связна в каждойточке x ∈ ∂D, и что области D′ = f(D) являются равностепенно равномерными относитель- 0 f но p-модуля по всем f ∈ F (D). Пусть при p = n число δ > 0, а при n−1 0. Если функция Q имеет конечное среднее колебание в D, либо в каждой точке x ∈ D при некотором β(x ) > 0 выполнено условие 0 0 β(x0) dt = ∞, (5) Z0 tnp−−11qx′0p−11(t) то каждое из отображений f ∈ F (D) имеет непрерывное продолжение в D и Q,A,p,δ семейство F (D), состоящее из всех, таким образом, продолженных отображений Q,A,p,δ f : D → Rn, является равностепенно непрерывным в D. В случае отображений с ветвлением теорема 1 допускает некоторое обобщение, в связи с чем напомним следующее определение. Отображение f : D → Rn области D ⊂ Rn наобластьD′ ⊂ Rn назовёмзамкнутым,еслиC(f,∂D) ⊂ ∂D′,где,какобычно, C(f,∂D) – предельное множество отображения f на ∂D. Для p > 1, фиксированной областиD ⊂ Rn,множестваE ⊂ Rn ичислаδ > 0обозначимчерезR (D)семейство Q,δ,p,E всех открытых дискретных замкнутых кольцевых Q-отображений f : D → Rn \ E относительно p-модуля в D со следующим условием: для всякого f и всякой области D′ := f(D) найдётся континуум K ⊂ D′ такой, что h(K ) > δ и h(f−1(K ),∂D) > δ > f f f f f 0. 4 Теорема 2. Предположим, p ∈ (n−1,n],областьD локально связна в каждойточке x ∈ ∂D и что области D′ = f(D) являются равностепенно равномерными относитель- 0 f но p-модуля по всем R (D). Пусть при p = n множество E имеет положительную Q,δ,p,E ёмкость, а при n − 1 0 выполнено условие (5), то каждое из отображений R (D) име- 0 Q,δ,p,E ет непрерывное продолжение в D и семейство R (D), состоящее из всех, таким Q,δ,p,E образом, продолженных отображений f : D → Rn, является равностепенно непрерыв- ным в D. Теоремы 1 и 2 относятся к случаю локально связных границ, когда граничное про- должение отображенийиравностепенную непрерывность ихсемейств необходимо пони- мать в обычном, «поточечном» смысле. Случай более сложных границ соответствуют ситуации так называемых простых концов (определение и соответствующая термино- логия может быть найдены в работе [7]). Будем говорить, что граница области D в Rn является локально квазиконформной, если каждая точка x ∈ ∂D имеет окрестность 0 U, которая может быть отображена квазиконформным отображением ϕ на единичный шар Bn ⊂ Rn так, что ϕ(∂D ∩ U) является пересечением Bn с координатной гипер- плоскостью. Говорим, что ограниченная область D в Rn регулярна, если D может быть квазиконформно отображена на область с локально квазиконформной границей. Если D является пополнением регулярной области D ее простыми концами и g является P 0 квазиконформнымотображениемобластиD слокальноквазиконформнойграницейна 0 D, то оно естественным образом определяет в D некоторую метрику (см. [7]). Спра- P ведливо следующее утверждения. Теорема 3. Предположим, p ∈ (n − 1,n], область D регулярна и что области D′ = f(D) являются ограниченными равностепенно равномерными относительно p- f модуля по f ∈ F (D) областями с локально квазиконформной границей. Пусть при Q,A,p,δ p = n число δ > 0, а при n − 1 0. Если функция Q имеет ко- нечное среднее колебание в D, либо в каждой точке x ∈ D при некотором β(x ) > 0 0 0 выполнено условие (5), то каждое из отображений f ∈ F (D) имеет непрерывное Q,A,p,δ продолжение f : D → Rn в D и семейство F (D), состоящее из всех, таким обра- P P Q,A,p,δ зом, продолженных отображений f : D → Rn, является равностепенно непрерывным P в D . P Теорема 4. Предположим, p ∈ (n − 1,n], область D регулярна и что области D′ = f(D) являются ограниченными равностепенно равномерными относительно p- f модуля по R (D) областями с локально квазиконформной границей. Пусть при Q,δ,p,E p = n множество E имеет положительную ёмкость, а при n − 1 0 выполнено условие 0 0 (5), то каждое из отображений R (D) имеет непрерывное продолжение в D и се- Q,δ,p,E мейство R (D), состоящее из всех, таким образом, продолженных отображений Q,δ,p,E f : D → Rn, является равностепенно непрерывным в D . P P 2. Формулировка и доказательство основных лемм. Основным инструментом 5 на пути доказательства теорем 1 и 2 являются следующие два утверждения. Лемма 1. Предположим, область D локально связна в каждой точке x ∈ ∂D, и 0 что области D′ = f(D) являются равностепенно равномерными относительно p-модуля f по всем f ∈ F (D). Пусть при p = n число δ > 0, а при n − 1 0. Предположим также, что для каждой точки x ∈ D найдётся ε = ε (x ) > 0 0 0 0 0 и измеримая по Лебегу функция ψ(t) : (0,ε ) → [0,∞] со следующим свойством: для 0 любого ε ∈ (0,ε ) выполнено условие 0 ε0 I(ε,ε ) := ψ(t)dt < ∞, I(ε,ε ) → ∞ при ε → 0, (6) 0 0 Z ε и, кроме того, при ε → 0 Q(x)·ψp(|x−x |)dm(x) = o(Ip(ε,ε )), (7) 0 0 Z A(x0,ε,ε0) где, как обычно, сферическое кольцо A(x ,ε,ε ) определено как в (1). Тогда каждое 0 0 из отображений f ∈ F (D) имеет непрерывное продолжение в D и семейство Q,A,p,δ F (D), состоящее из всех, таким образом, продолженных отображений f : D → Rn, Q,A,p,δ является равностепенно непрерывным в D. Доказательство. Равностепенная непрерывность внутри области D вытекает из [2, лемма 3.2.2] в случае p = n и [9, лемма 2.4] при n−1 < p < n, а возможность продол- жения каждого элемента f семейства отображений F (D) до непрерывного отоб- Q,A,p,δ ражения в замыкании D — из [10, лемма 1] при p = n (доказательство этого факта в случае n−1 0 такое, что для каждого 0 m = 1,2,... существуют точка x ∈ D и элемент f семейства F (D) такие, что m m Q,A,p,δ |x −x | < 1/mи h(f (x ),f (x )) > a. Поскольку f имеет непрерывное продолжение 0 m m m m 0 m вточкуx ,томыможем найтитакуюпоследовательность x′ ∈ D, x′ → x приm → ∞ 0 m m 0 такую, что h(f (x′ ),f (x )) 6 1/m. Таким образом, m m m 0 h(f (x ),f (x′ )) > a/2 ∀ m ∈ N. (8) m m m m Можно считать, что x 6= ∞. В виду возможности непрерывного продолжения каждого 0 f на границу D, мы можем считать, что x ∈ D. m m В силу локальной связности области D в точке x найдётся последовательность 0 окрестностей V точки x с diamV → 0 при m → ∞, такие что множества D ∩ V m 0 m m являются областями и D ∩ V ⊂ B(x ,2−m). Не ограничивая общности рассужде- m 0 ний, переходя к подпоследовательности, если это необходимо, мы можем считать, что x ,x′ ∈ D ∩ V . Соединим точки x и x′ непрерывной кривой γ (t) : [0,1] → Rn m m m m m m такой, что γ (0) = x , γ (1) = x′ и γ (t) ∈ V при t ∈ (0,1). Обозначим через C m m m m m m m образ кривой γ (t) при отображении f . Из соотношения (8) вытекает, что m m h(C ) > a/2 ∀m ∈ N, (9) m 6 где h обозначает хордальный диаметр множества. Неограничиваяобщностирассуждений, можносчитать,чтоконтинуумA,участвую- щийв определении класса F (D),лежит вне шаровB(x ,2−m), m = 1,2,...,. Более Q,A,p,δ 0 того, не ограничивая общности рассуждений, мы можем считать, что B(x ,ε )∩A = ∅. 0 0 Пусть Γ – семейство кривых, соединяющих γ и A в D. Из определения кольцевого m m Q-отображения относительно p-модуля в точке x вытекает, что 0 M (f (Γ )) 6 Q(x)·ηp(|x−x |) dm(x) (10) p m m 0 Z A(x0,21m,ε0) ε0 для каждой измеримой функции η : ( 1 ,ε ) → [0,∞], такой что η(r)dr > 1. Заметим, 2m 0 2R1m что функция ψ(t)/I(2−m,ε ), t ∈ (2−m,ε ), 0 0 η(t) = (cid:26) 0, t ∈ R\(2−m,ε ), 0 ε0 где I(ε,ε ) := ψ(t)dt, удовлетворяет условию нормировки вида (3) при r := 2−m, 0 1 Rε r := ε , поэтому из условий (7) и (10) вытекает, что 2 0 M (f (Γ )) 6 α(2−m) → 0 (11) p m m при m → ∞, где α(ε) – некоторая неотрицательная функция, стремящаяся к нулю при ε → 0, которая существует ввиду условия (7). С другой стороны, заметим, что f (Γ ) = Γ(C ,f (A),D′ ). По условию леммы m m m m m h(f (A)) > δ при всех m ∈ N. Следовательно, ввиду (9) h(f (A)) > δ и h(C ) > m m 1 m δ , где δ := min{δ,a/2}. Воспользовавшись тем, что области D′ := f (D) являются 1 2 m m равностепенно равномерными относительно p-модуля, мы заключаем, что существует σ > 0 такое, что M (f (Γ )) = M (Γ(C ,f (A),D′ )) > σ ∀ m ∈ N, p m m p m m m что противоречит условию (11). Полученное противоречие указывает на то, что пред- положение об отсутствии равностепенной непрерывности семейства F (D) было Q,A,p,δ неверным. Полученное противоречие завершает доказательство леммы. ✷ В случае отображений с ветвлением лемма 1 принимает следующий вид. Лемма 2. Предположим, p ∈ (n−1,n], область D локально связна в каждой точке x ∈ ∂D и что области D′ = f(D) являются равностепенно равномерными относитель- 0 f но p-модуля по всем R (D). Пусть при p = n множество E имеет положительную Q,δ,p,E ёмкость, а при n−1 0 и измеримая по 0 0 0 0 Лебегу функция ψ(t) : (0,ε ) → [0,∞] со следующим свойством: для любого ε ∈ (0,ε ) 0 0 выполнено условие (6) и, крометого,при ε → 0 выполнено условие (7).Тогда каждое из отображений R (D) имеет непрерывное продолжение в D и семейство R (D), Q,δ,p,E Q,δ,p,E 7 состоящее из всех, таким образом, продолженных отображений f : D → Rn, является равностепенно непрерывным в D. Доказательство. Равностепенная непрерывность внутри области D вытекает из [2, лемма 3.6.1] в случае p = n и [9, лемма 2.4] при n−1 < p < n, а возможность продол- жения каждого элемента f семейства отображений R (D) до непрерывного отоб- Q,δ,p,E ражения в замыкании D — из [10, лемма 1] при p = n (доказательство этого факта в случае n−1 0 такое, что для 0 каждого m = 1,2,... существуют точка x ∈ D и элемент f семейства R (D) m m Q,δ,p,E такие, что |x − x | < 1/m и выполнено условие (8). Можно считать, что x 6= ∞. В 0 m 0 виду возможности непрерывного продолжения каждого f на границу D, мы можем m считать, что x ∈ D. Более того, ввиду того, что f продолжается по непрерывности m m в точку x , найдётся последовательность x′ ∈ D, сходящаяся к точке x при m → ∞, 0 m 0 такая, что при некотором a > 0 выполнены неравенства в (8). Соединим точки x и m x′ кривой γ : [0,1] → Rn такой, что γ (0) = x , γ (1) = x′ и γ ∈ V ∩ D при m m m m m m m m t ∈ (0,1). Обозначим через C образ кривой γ при отображении f . Из соотношения m m m (8) вытекает, что выполнено условие вида (9), где h обозначает хордальный диаметр множества. По определению семейства отображений R (D) для всякого f и всякой области Q,δ,p,E m D′ := f (D) найдётся континуум K ⊂ D′ такой, что h(K ) > δ и h(f−1(K ),∂D) > m m m m m m m δ > 0. Поскольку по условию леммы области D′ являются равностепенно равномерны- m ми относительно p-модуля, то ввиду сказанного и учитывая условие (9) мы получим, что при всех m = 1,2,... и некотором b > 0 выполняется неравенство M (Γ(K ,C ,D′ )) > b. (12) p m m m Рассмотрим семейство Γ , состоящее из всех кривых β : [0,1) → D′ , где β(0) ∈ C m m m и β(t) → p ∈ C при t → 1. Пусть Γ∗ – семейство всех полных поднятий α : [0,1) → m m D семейства Γ при отображении f с началом на γ . Такое семейство корректно m m m определено ввиду [11, теорема 3.7]. Ввиду замкнутости отображения f имеем: α(t) → m f−1(K ), где f−1(K ) – полный прообраз континуума K при отображении f . Не m m m m m m ограничивая общности рассуждений, можно считать, что γ ∈ B(x ,2−m). m 0 Заметим, что ввиду компактности пространства Rn при каждом фиксированном δ > 0 множество C := {x ∈ D : h(x,∂D) > δ} является компактом в D и f−1(K ) ⊂ C . δ m m δ Ввиду [12, лемма 1] множество C можно вложить в континуум E , лежащий в области δ δ D, при этом, можно считать, что dist(x ,E ) > ε за счёт уменьшения ε , если это 0 δ 0 0 необходимо. Тогда на основании (2) вытекает, что M (f (Γ∗ )) 6 M (f (Γ(γ ,E ,D))) 6 Q(x)·ηp(|x−x |) dm(x) (13) p m m p m m δ 0 Z A(x0,2m1 ,ε0) ε0 для каждой измеримой функции η : ( 1 ,ε ) → [0,∞], такой что η(r)dr > 1. Заметим, 2m 0 1 2Rm 8 что функция ψ(t)/I(2−m,ε ), t ∈ (2−m,ε ), 0 0 η(t) = (cid:26) 0, t ∈ R\(2−m,ε ), 0 ε0 где I(ε,ε ) := ψ(t)dt, удовлетворяет условию нормировки вида (3) при r := 2−m, 0 1 Rε r := ε , поэтому из условий (7) и (13) вытекает, что 2 0 M (f (Γ )) 6 α(2−m) → 0 (14) p m m при m → ∞, где α(ε) – некоторая неотрицательная функция, стремящаяся к нулю при ε → 0, которая существует ввиду условия (7). Заметим, кроме того, что f (Γ ) > Γ m m m и, одновременно, f (Γ ) ⊂ Γ , так что ввиду [13, теоремы 6.2, 6.4] m m m M (f (Γ )) = M (Γ(K ,C ,D′ )). (15) p m m p m m m Однако, соотношения (14) и (15) в совокупности противоречат (12). Полученное проти- воречие указывает на то, что исходное предположение (8) было неверным, и, значит, се- мействоотображенийR (D)равностепеннонепрерывновкаждойточкеx ∈ ∂D.✷ Q,δ,p,E 0 В случае не локально связных границ заданной области имеют место следующие аналоги лемм 1 и 2. Лемма 3. Предположим, p ∈ (n−1,n], область D регулярна и что области D′ = f f(D) являются ограниченными равностепенно равномерными относительно p-модуля по f ∈ F (D) областями с локально квазиконформной границей. Пусть при p = n Q,A,p,δ числоδ > 0,априn−1 0.Предположимтакже,чтодлякаждойточки x ∈ D найдётся ε = ε (x ) > 0 и измеримая по Лебегу функция ψ(t) : (0,ε ) → [0,∞] 0 0 0 0 0 со следующим свойством: для любого ε ∈ (0,ε ) выполнено условие (6) и, кроме того, 0 при ε → 0 выполнено условие (7). Тогда каждое из отображений f ∈ F (D) имеет Q,A,p,δ непрерывное продолжение f : D → Rn в D исемейство F (D),состоящее из всех, P P Q,A,p,δ таким образом, продолженных отображений f : D → Rn, является равностепенно P непрерывным в D . P Доказательство. Равностепенная непрерывность внутри области D вытекает из [2, лемма 3.2.2] в случае p = n и [9, лемма 2.4] при n−1 < p < n, а возможность продол- жения каждого элемента f семейства отображений F (D) до непрерывного отоб- Q,A,p,δ ражения в замыкании D — из [14, лемма 3]. Покажем равностепенную непрерывность семейства F (D) в точках E , где E Q,A,p,δ D D обозначает пространство простых концов, соответствующее области D. Предположим противное,аименно,чтосемейство F (D)неявляетсяравностепенно непрерывным Q,A,p,δ в некоторой точке P ∈ E . Тогда найдутся число a > 0, последовательность P ∈ D , 0 D k P k = 1,2,... и элементы f ∈ F (D) такие, что d(P ,P ) < 1/k и k Q,A,p,δ k 0 h(f (P ),f (P )) > a ∀ k = 1,2,..., . (16) k k k 0 Ввиду возможности непрерывного продолжения каждого f на границу D в терминах k простых концов, для всякого k ∈ N найдётся элемент x ∈ D такой, что d(x ,P ) < 1/k k k k и h(f (x ),f (P )) < 1/k. Тогда из (16) вытекает, что k k k k h(f (x ),f (P )) > a/2 ∀ k = 1,2,..., . (17) k k k 0 9 Аналогично, в силу непрерывного продолжения отображения f в D найдётся после- k P довательность x′ ∈ D, x′ → P при k → ∞ такая, что |f (x′) − f (P )| < 1/k при k k 0 k k k 0 k = 1,2,... . Тогда из (17) вытекает, что h(f (x ),f (x′)) > a/4 ∀ k = 1,2,... , (18) k k k k где последовательности x и x′ принадлежат D и сходятся к простому концу P при k k 0 k → ∞. В силу [7, лемма 2] простой конец P регулярной области D в Rn, n > 2, содержит 0 цепь разрезов σ , лежащую на сферах S с центром в некоторой точке x ∈ ∂D и с k k 0 евклидовыми радиусами r → 0 при k → ∞. Пусть D – области, ассоциированные с k k разрезами σ , k = 1,2,.... Поскольку последовательности x и x′ сходятся к простому k k k концу P при k → ∞, мы можем считать, что точки x ,x′ ∈ D при всех k = 1,2,...,. 0 k k k Соединим точки x и x′ кривой γ , полностью лежащей в D . Можно также считать, k k k k что континуум A, относящийся к определению класса F (D), не пересекается ни с Q,A,p,δ одной из областей D и что dist(∂D,A) > ε . k 0 Обозначим через C образ кривой γ при отображении f . Из соотношения (18) вы- k k k текает, что h(C ) > a/4 ∀k ∈ N, (19) k где h обозначает хордальный диаметр множества. Пусть Γ – семейство кривых, соединяющих γ и A в D. Из определения кольцевого k k Q-отображения относительно p-модуля в точке x вытекает, что 0 M (f (Γ )) 6 Q(x)·ηp(|x−x |) dm(x) (20) p k k 0 Z A(x0,rk,ε0) ε0 для каждой измеримой функции η : (r ,ε ) → [0,∞], такой что η(r)dr > 1. Заметим, k 0 rRk что функция ψ(t)/I(r ,ε ), t ∈ (r ,ε ), k 0 k 0 η(t) = (cid:26) 0, t ∈ R\(r ,ε ), k 0 ε0 где I(ε,ε ) := ψ(t)dt, удовлетворяет условию нормировки вида (3) при r и ε вместо 0 k 0 Rε r и r , поэтому из условий (7) и (20) вытекает, что 1 2 M (f (Γ )) 6 α(r ) → 0 (21) p k k k при k → ∞, где α(ε) – некоторая неотрицательная функция, стремящаяся к нулю при ε → 0, которая существует ввиду условия (7). Сдругойстороны,заметим,чтоf (Γ ) = Γ(C ,f (A),D′),гдеD′ = f (D).Поскольку k k k k k k k по условию леммы h(f (A)) > δ при всех k ∈ N, ввиду (9) h(f (A)) > δ и h(C ) > δ , k k 1 k 1 где δ := min{δ,a/4}. Воспользовавшись тем, что области D′ являются равностепенно 1 k равномерными относительно p-модуля, мы заключаем, что существует σ > 0 такое, что M (f (Γ )) = M (Γ(C ,f (A),D′)) > σ ∀ k ∈ N, p k k p k k k 10 что противоречит условию (21). Полученное противоречие указывает на то, что пред- положение об отсутствии равностепенной непрерывности семейства F (D) было Q,A,p,δ неверным. Полученное противоречие завершает доказательство леммы. ✷ Лемма 4. Предположим, p ∈ (n−1,n], область D регулярна и что области D′ = f f(D) являются ограниченными равностепенно равномерными относительно p-модуля по R (D) областями с локально квазиконформной границей. Пусть при p = n мно- Q,δ,p,E жество E имеет положительную ёмкость, а при n−1 0 и измеримая по Лебегу функция ψ(t) : (0,ε ) → [0,∞] со следующим 0 0 0 0 свойством: для любого ε ∈ (0,ε ) выполнено условие (6) и, кроме того, при ε → 0 0 выполнено условие (7). Тогда каждое из отображений R (D) имеет непрерывное Q,δ,p,E продолжение в D и семейство R (D), состоящее из всех, таким образом, продол- Q,δ,p,E женных отображений f : D → Rn, является равностепенно непрерывным в D . P P Доказательство. Равностепенная непрерывность внутри области D вытекает из [2, лемма 3.6.1] в случае p = n и [9, лемма 2.4] при n−1 < p < n, а возможность продол- жения каждого элемента f семейства отображений R (D) до непрерывного отоб- Q,δ,p,E ражения в замыкании D — из [14, лемма 3]. P Осталось показать, что семейство R (D) равностепенно непрерывно в точках Q,δ,p,E ∂ D := D \D. Предположим противное. Рассуждая также, как и при доказательстве P P леммы 3, мы построим две последовательности x и x′ ∈ D, сходящиеся к простому k k концу P при k → ∞, для которых верно соотношение вида (18). Соединим точки x 0 k и x′ кривой γ : [0,1] → Rn такой, что γ (0) = x , γ (1) = x′ и γ ∈ D при t ∈ k k k k k k k (0,1). Обозначим через C образ кривой γ при отображении f . Из соотношения (18) k k k вытекает, что h(C ) > a/4 при всех k = 1,2,.... k В силу [7, лемма 2] простой конец P регулярной области D в Rn, n > 2, содержит 0 цепь разрезов σ , лежащую на сферах S с центром в некоторой точке x ∈ ∂D и с k k 0 евклидовыми радиусами r → 0 при k → ∞. Пусть D – области, ассоциированные с k k разрезами σ , k = 1,2,.... Поскольку последовательности x и x′ сходятся к простому k k k концу P при k → ∞, мы можем считать, что точки x ,x′ ∈ D при всех k = 1,2,...,. 0 k k k По определению семейства отображений R (D) для всякого f и всякой области Q,δ,p,E k D′ := f (D) найдётся континуум K ⊂ D′ такой, что h(K ) > δ и h(f−1(K ),∂D) > δ > k k k k k k 0. Поскольку по условию леммы области D′ являются равностепенно равномерными k относительно p-модуля, то ввиду сказанного и учитывая условие (9) мы получим, что при всех k = 1,2,... и некотором b > 0 выполняется неравенство M (Γ(K ,C ,D′)) > b. (22) p k k k Рассмотрим семейство Γ , состоящее из всех кривых β : [0,1) → D′, где β(0) ∈ C и k k k β(t) → p ∈ C при t → 1. Пусть Γ∗ – семейство всех полных поднятий α : [0,1) → D се- k k мейства Γ при отображении f с началом на γ . Такое семейство корректно определено k k k ввиду [11, теорема 3.7]. Ввиду замкнутости отображения f имеем: α(t) → f−1(K ) при k k k t → 1, где f−1(K ) – полный прообраз континуума K при отображении f . k k k k Заметим, что ввиду компактности пространства Rn при каждом фиксированном δ > 0 множество C := {x ∈ D : h(x,∂D) > δ} является компактом в D и f−1(K ) ⊂ C . δ k k δ