On local properties of one class of mappings on Riemannian manifolds
Extracted source text · arXiv 1411.5001
\documentclass[amstex,12pt,russian,amssymb]{article}
\usepackage{mathtext}
\usepackage[cp1251]{inputenc}
\usepackage[T2A]{fontenc}
\usepackage[russian]{babel}
\usepackage[dvips]{graphicx}
\usepackage{amsmath}
\usepackage{amssymb}
\usepackage{amsxtra}
\usepackage{latexsym}
\usepackage{ifthen}
\textheight245mm \textwidth165mm
\parindent5mm
\parskip0mm
\renewcommand{\baselinestretch}{1.15}
\voffset-27.3mm \hoffset-11.5mm \pagestyle{myheadings}
%
\begin{document}
\newcounter{lemma}
\newcommand{\lemma}{\par \refstepcounter{lemma}%
{\bf Ëåììà \arabic{lemma}.}}
\newcounter{corollary}
\newcommand{\corollary}{\par \refstepcounter{corollary}%
{\bf Ñëåäñòâèå \arabic{corollary}.}}
\newcounter{remark}
\newcommand{\remark}{\par \refstepcounter{remark}%
{\bf Çàìå÷àíèå \arabic{remark}.}}
\newcounter{theorem}
\newcommand{\theorem}{\par \refstepcounter{theorem}%
{\bf Òåîðåìà \arabic{theorem}.}}
\newcounter{proposition}
\newcommand{\proposition}{\par \refstepcounter{proposition}%
{\bf Ïðåäëîæåíèå \arabic{proposition}.}}
\renewcommand{\refname}{\centerline{\bf Ñïèñîê ëèòåðàòóðû}}
\newcommand{\proof}{{\it Äîêàçàòåëüñòâî.\,\,}}
%
%
%
%
\noindent ÓÄÊ 517.5
{\bf Ä.Ï.~Èëüþòêî} (ÌÃÓ èìåíè Ì.\,Â.\,Ëîìîíîñîâà),
{\bf Å.À.~Ñåâîñòüÿíîâ} (Æèòîìèðñêèé ãîñóäàðñòâåííûé óíèâåðñèòåò èì.\
È.~Ôðàíêî)
\medskip
{\bf Ä.Ï.~²ëüþòêî} (ÌÄÓ ³ìåí³ Ì.\,Â.\,Ëîìîíîñîâà),
{\bf ª.Î.~Ñåâîñòüÿíîâ} (Æèòîìèðñüêèé äåðæàâíèé óí³âåðñèòåò ³ì.\
².~Ôðàíêî)
\medskip
{\bf D.P.~Ilyutko} (M.\,V.\,Lomonosov Moscow State University),
{\bf E.A.~Sevost'yanov} (Zhitomir State University of I.~Franko)
{\bf Î ëîêàëüíûõ ñâîéñòâàõ îäíîãî êëàññà îòîáðàæåíèé íà ðèìàíîâûõ
ìíîãîîáðàçèÿõ}
{\bf Ïðî ëîêàëüí³ âëàñòèâîñò³ îäíîãî êëàñó â³äîáðàæåíü íà ð³ìàíîâèõ
ìíîãîâèäàõ}
{\bf On local properties of one class of mappings on Riemannian
manifolds}
Íàñòîÿùàÿ ðàáîòà ïîñâÿùåíà èçó÷åíèþ âîïðîñîâ, íàõîäÿùèõñÿ íà ñòûêå
òåîðèè ïðîñòðàíñòâåííûõ êâàçèêîíôîðìíûõ îòîáðàæåíèé è òåîðèè
ðèìàíîâûõ ïîâåðõíîñòåé. Ïîëó÷åíû òåîðåìû î ëîêàëüíîì ïîâåäåíèè
îäíîãî êëàññà îòêðûòûõ äèñêðåòíûõ îòîáðàæåíèé ñ íåîãðàíè÷åííîé
õàðàêòåðèñòèêîé êâàçèêîíôîðìíîñòè ìåæäó ïðîèçâîëüíûìè ðèìàíîâûìè
ìíîãîîáðàçèÿìè.
Äàíà ðîáîòà ïðèñâÿ÷åíà âèâ÷åííþ ïèòàíü, ùî çíàõîäÿòüñÿ íà ñòèêó
òåî𳿠ïðîñòîðîâèõ êâàç³êîíôîðìíèõ â³äîáðàæåíü òà òåî𳿠ð³ìàíîâèõ
ïîâåðõîíü. Îòðèìàíî òåîðåìè ïðî ëîêàëüíó ïîâåä³íêó îäíîãî êëàñó
â³äêðèòèõ äèñêðåòíèõ â³äîáðàæåíü ç íåîáìåæåíîþ õàðàêòåðèñòèêîþ
êâàç³êîíôîðìíîñò³ íà äîâ³ëüíèõ ð³ìàíîâèõ ìíîãîâèäàõ.
The present paper is devoted to questions located at the junction of
the theory of space quasiconformal mappings and Riemannian surfaces.
Theorems on local behavior of one class of open discrete mappings
with unbounded characteristic of qua\-si\-con\-for\-ma\-li\-ty on
arbitrary Riemannian manifolds are obtained.
\newpage
{\bf 1. Ââåäåíèå.} Íàñòîÿùàÿ çàìåòêà ïîñâÿùåíà èçó÷åíèþ ëîêàëüíûõ
ñâîéñòâ îäíîãî êëàññà îòîáðàæåíèé íà ðèìàíîâûõ ìíîãîîáðàçèÿõ,
êîòîðûå ïðåäïîëàãàþòñÿ íèæå òîëüêî îòêðûòûìè è äèñêðåòíûìè
(èíúåêòèâíîñòü îòîáðàæåíèé íå îáÿçàòåëüíà). Èññëåäîâàíèÿ,
ïðîâåä¸ííûå íèæå, îòíîñÿòñÿ, ñ îäíîé ñòîðîíû, ê èññëåäîâàíèþ
îòîáðàæåíèé ãåîìåòðè÷åñêèì ìåòîäîì (ìåòîäîì ìîäóëåé), ñ äðóãîé
ñòîðîíû -- ê òåîðèè ìíîãîîáðàçèé. Êàê èçâåñòíî, â ïîñëåäíåå âðåìÿ
àêòèâíî ðàçâèâàåòñÿ òåîðèÿ îòîáðàæåíèé íà ðèìàíîâûõ ìíîãîîáðàçèÿõ è
îáùèõ ìåòðè÷åñêèõ ïðîñòðàíñòâàõ, â ÷àñòíîñòè --- òåîðèÿ
êâàçèêîíôîðìíûõ îòîáðàæåíèé è îòîáðàæåíèé ñ êîíå÷íûì èñêàæåíèåì,
ñì., íàïð., \cite{ARS}--\cite{Af$_1$}. Îñíîâû òåîðèè êâàçèêîíôîðìíûõ
îòîáðàæåíèé, êàê èçâåñòíî, çàëîæåíû àêàäåìèêîì Ì.\,À.~Ëàâðåíòüåâûì,
÷òî â äàëüíåéøåì äàëî ïî÷âó äëÿ çàðîæäåíèÿ òåîðèè îòîáðàæåíèé ñ
îãðàíè÷åííûì èñêàæåíèåì ïî Þ.\,Ã.~Ðåøåòíÿêó è òåîðèè îòîáðàæåíèé ñ
êîíå÷íûì èñêàæåíèåì (ñì.~\cite{BGMV}, \cite{Cr$_2$}, \cite{IM} è
\cite{Re}--\cite{Va}).
\medskip
Ñðåäè óêàçàííûõ ðàáîò îòäåëüíî ìîæíî óêàçàòü ïóáëèêàöèè, â êîòîðûõ
çà îñíîâó îïðåäåëåíèÿ èçó÷àåìîãî êëàññà áåðóòñÿ âåðõíèå è íèæíèå
îöåíêè èñêàæåíèÿ êîíôîðìíîãî ìîäóëÿ ñåìåéñòâ êðèâûõ (\cite{ARS},
\cite{Cr$_2$}, \cite{KRSS}--\cite{MRSY}, \cite{Af$_1$} è
\cite{Sev$_4$}). Ñëåäóåò îòìåòèòü, ÷òî â ${\Bbb R}^n$ ïðè
$n\geqslant 2$ ïîäîáíûå îöåíêè óñòàíîâëåíû, â îñíîâíîì, äëÿ âñåõ
èçâåñòíûõ êëàññîâ îòîáðàæåíèé, òàêèõ êàê àíàëèòè÷åñêèå ôóíêöèè íà
ïëîñêîñòè, êâàçèêîíôîðìíûå îòîáðàæåíèÿ, à òàêæå ïðîñòðàíñòâåííûå
îòîáðàæåíèÿ ñ îãðàíè÷åííûì è êîíå÷íûì èñêàæåíèåì (ñì.,
íàïð.,~\cite{HP}, \cite{Ri} è \cite{Pol}).
\medskip
Ïåðåéä¸ì ê îïðåäåëåíèÿì è ôîðìóëèðîâêàì îñíîâíûõ ðåçóëüòàòîâ.
Ñëåäóþùèå ïîíÿòèÿ ìîãóò áûòü íàéäåíû, íàïð., â \cite{Lee} è
\cite{PSh}. Íàïîìíèì, ÷òî {\it $n$-ìåðíûì òîïîëîãè÷åñêèì
ìíîãîîáðàçèåì} ${\Bbb M}^n$ íàçûâàåòñÿ õàóñäîðôîâî òîïîëîãè÷åñêîå
ïðîñòðàíñòâî ñî ñ÷¸òíîé áàçîé, êàæäàÿ òî÷êà êîòîðîãî èìååò
îêðåñòíîñòü, ãîìåîìîðôíóþ íåêîòîðîìó îòêðûòîìó ìíîæåñòâó â ${\Bbb
R}^n.$ {\it Êàðòîé} íà ìíîãîîáðàçèè ${\Bbb M}^n$ áóäåì íàçûâàòü ïàðó
$(U, \varphi),$ ãäå $U$ --- îòêðûòîå ìíîæåñòâî ïðîñòðàíñòâà ${\Bbb
M}^n$ è $\varphi$ --- ñîîòâåòñòâóþùèé ãîìåîìîðôèçì ìíîæåñòâà $U$ íà
îòêðûòîå ìíîæåñòâî â ${\Bbb R}^n.$ Åñëè $p\in U$ è
$\varphi(p)=(x^1,\ldots,x^n)\in {\Bbb R}^n,$ òî ñîîòâåòñòâóþùèå
÷èñëà $x^1,\ldots,x^n$ íàçûâàþòñÿ {\it ëîêàëüíûìè êîîðäèíàòàìè
òî÷êè} $p.$ {\it Ãëàäêèì ìíîãîîáðàçèåì} íàçûâàåòñÿ ñàìî ìíîæåñòâî
${\Bbb M}^n$ âìåñòå ñ ñîîòâåòñòâóþùèì íàáîðîì êàðò $(U_{\alpha},
\varphi_{\alpha}),$ òàê, ÷òî îáúåäèíåíèå âñåõ $U_{\alpha}$ ïî
ïàðàìåòðó $\alpha$ äà¸ò âñ¸ ${\Bbb M}^n$ è, êðîìå òîãî, îòîáðàæåíèå,
îñóùåñòâëÿþùåå ïåðåõîä îò îäíîé ñèñòåìû ëîêàëüíûõ êîîðäèíàò ê
äðóãîé, ïðèíàäëåæèò êëàññó $C^{\infty}.$
\medskip
Íàïîìíèì, ÷òî {\it ðèìàíîâîé ìåòðèêîé} íà ãëàäêîì ìíîãîîáðàçèè
${\Bbb M}^n$ íàçûâàåòñÿ ïîëîæèòåëüíî îïðåäåë¸ííîå ãëàäêîå
ñèììåòðè÷íîå òåíçîðíîå ïîëå òèïà $(0,2).$  ÷àñòíîñòè, êîìïîíåíòû
ðèìàíîâîé ìåòðèêè $g_{kl}$ â ðàçëè÷íûõ ëîêàëüíûõ êîîðäèíàòàõ $(U,
x)$ è $(V, y)$ âçàèìîñâÿçàíû ïîñðåäñòâîì òåíçîðíîãî çàêîíà
%
$$'g_{ij}(x)=g_{kl}(y(x))\frac{\partial y^k}{\partial x^i}
\frac{\partial y^l}{\partial x^j}.$$
%
{\it Ðèìàíîâûì ìíîãîîáðàçèåì} áóäåì íàçûâàòü ãëàäêîå ìíîãîîáðàçèå
âìåñòå ñ ðèìàíîâîé ìåòðèêîé íà í¸ì. Äëèíó ãëàäêîé êðèâîé
$\gamma=\gamma(t),$ $t\in [t_1, t_2],$ ñîåäèíÿþùåé òî÷êè
$\gamma(t_1)=M_1\in {\Bbb M}^n,$ $\gamma(t_2)=M_2\in {\Bbb M}^n$ è
$n$-ìåðíûé îáú¸ì ({\it ìåðó îáú¸ìà $v$}) ìíîæåñòâà $A$ íà ðèìàíîâîì
ìíîãîîáðàçèè îïðåäåëèì ñîãëàñíî ñîîòíîøåíèÿì
%
\begin{equation}\label{eq8}
l(\gamma):=\int\limits_{t_1}^{t_2}\sqrt{g_{ij}(x(t))\frac{dx^i}{dt}\frac{dx^j}{dt}}\,dt,\quad
v(A)=\int\limits_{A}\sqrt{\det g_{ij}}\,dx^1\ldots dx^n\,.
\end{equation}
%
Ââèäó ïîëîæèòåëüíîé îïðåäåë¸ííîñòè òåíçîðà $g=g_{ij}(x)$ èìååì:
$\det g_{ij}>0.$ {\it Ãåîäåçè÷åñêèì ðàññòîÿíèåì} ìåæäó òî÷êàìè $p_1$
è $p_2\in {\Bbb M}^n$ áóäåì íàçûâàòü íàèìåíüøóþ äëèíó âñåõ
êóñî÷íî-ãëàäêèõ êðèâûõ â ${\Bbb M}^n,$ ñîåäèíÿþùèõ òî÷êè $p_1$ è
$p_2.$ Ãåîäåçè÷åñêîå ðàññòîÿíèå ìåæäó òî÷êàìè $p_1$ è $p_2$ áóäåì
îáîçíà÷àòü ñèìâîëîì $d(p_1, p_2)$ (âñþäó äàëåå $d$ îáîçíà÷àåò
ãåîäåçè÷åñêîå ðàññòîÿíèå, åñëè íå îãîâîðåíî ïðîòèâíîå). Òàê êàê
ðèìàíîâî ìíîãîîáðàçèå, âîîáùå ãîâîðÿ, íå ïðåäïîëàãàåòñÿ ñâÿçíûì,
ðàññòîÿíèå ìåæäó ëþáûìè òî÷êàìè ìíîãîîáðàçèÿ, âîîáùå ãîâîðÿ, ìîæåò
áûòü íå îïðåäåëåíî. Õîðîøî èçâåñòíî, ÷òî ëþáàÿ òî÷êà $p$ ðèìàíîâà
ìíîãîîáðàçèÿ ${\Bbb M}^n$ èìååò îêðåñòíîñòü $U\ni p$ (íàçûâàåìóþ
äàëåå {\it íîðìàëüíîé îêðåñòíîñòüþ òî÷êè $p$}) è ñîîòâåòñòâóþùåå
êîîðäèíàòíîå îòîáðàæåíèå $\varphi\colon U\rightarrow {\Bbb R}^n,$
òàê, ÷òî ãåîäåçè÷åñêèå ñôåðû ñ öåíòðîì â òî÷êå $p$ è ðàäèóñà $r,$
ëåæàùèå â îêðåñòíîñòè $U,$ ïåðåõîäÿò ïðè îòîáðàæåíèè $\varphi$ â
åâêëèäîâû ñôåðû òîãî æå ðàäèóñà, à ïó÷îê ãåîäåçè÷åñêèõ êðèâûõ,
èñõîäÿùèõ èç òî÷êè $p,$ ïåðåõîäèò â ïó÷îê ðàäèàëüíûõ îòðåçêîâ â
${\Bbb R}^n$ (ñì.~\cite[ëåììû~5.9 è 6.11]{Lee}, ñì.\ òàêæå
êîììåíòàðèè íà ñòð.~77 çäåñü æå). Ëîêàëüíûå êîîðäèíàòû
$\varphi(p)=(x^1,\ldots, x^n)$ â ýòîì ñëó÷àå íàçûâàþòñÿ {\it
íîðìàëüíûìè êîîðäèíàòàìè} òî÷êè $p.$ Ñòîèò îòìåòèòü, ÷òî â ñëó÷àå
ñâÿçíîãî ìíîãîîáðàçèÿ ${\Bbb M}^n$ îòêðûòûå ìíîæåñòâà ìåòðè÷åñêîãî
ïðîñòðàíñòâà $({\Bbb M}^n, d)$ ïîðîæäàþò òîïîëîãèþ èñõîäíîãî
òîïîëîãè÷åñêîãî ïðîñòðàíñòâà ${\Bbb M}^n$
(ñì.~\cite[ëåììà~6.2]{Lee}). Çàìåòèì, ÷òî â íîðìàëüíûõ êîîðäèíàòàõ
âñåãäà òåíçîðíàÿ ìàòðèöà $g_{ij}(x)$ â òî÷êå $p$ --- åäèíè÷íàÿ (à â
ñèëó íåïðåðûâíîñòè $g$ â òî÷êàõ, áëèçêèõ ê $p,$ ýòà ìàòðèöà ñêîëü
óãîäíî áëèçêà ê åäèíè÷íîé; ñì.~\cite[ïóíêò~(c)
ïðåäëîæåíèÿ~5.11]{Lee}).
\medskip
Ïóñòü $X$ è $Y$ --- äâà òîïîëîãè÷åñêèõ ïðîñòðàíñòâà. Îòîáðàæåíèå
$f\colon X\rightarrow Y$ íàçûâàåòñÿ {\it îòêðûòûì}, åñëè $f(A)$
îòêðûòî â $Y$ äëÿ ëþáîãî îòêðûòîãî $A\subset X,$ è {\it äèñêðåòíûì},
åñëè äëÿ êàæäîãî $y\in Y$ âñå òî÷êè ìíîæåñòâà $f^{\,-1}(y)$ èìåþò
ïîïàðíî íåïåðåñåêàþùèåñÿ îêðåñòíîñòè.
\medskip
Ïóñòü $\left(X,\,d\right)$ è
$\left(X^{\,{\prime}},{d}^{\,{\prime}}\right)$ --- ìåòðè÷åñêèå
ïðîñòðàíñòâà ñ ðàññòîÿíèÿìè $d$ è ${d}^{\,{\prime}}$
ñîîòâåòñòâåííî. Ñåìåéñòâî $\frak{F}$ íåïðåðûâíûõ îòîáðàæåíèé
$f\colon X\rightarrow {X}^{\,\,\prime}$ íàçûâàåòñÿ {\it íîðìàëüíûì},
åñëè èç ëþáîé ïîñëåäîâàòåëüíîñòè îòîáðàæåíèé $f_{m} \in \frak{F}$
ìîæíî âûäåëèòü ïîäïîñëåäîâàòåëüíîñòü $f_{m_{k}}$, êîòîðàÿ ñõîäèòñÿ
ëîêàëüíî ðàâíîìåðíî â $X$ (ò.å., ðàâíîìåðíî íà ëþáûõ êîìïàêòíûõ
ïîäìíîæåñòâàõ $X$) ê íåïðåðûâíîé ôóíêöèè $f\colon \,X\,\rightarrow\,
X^{\,\prime}.$
\medskip
Ââåäåííîå ïîíÿòèå î÷åíü òåñíî ñâÿçàíî ñî ñëåäóþùèì. Ñåìåéñòâî
$\frak{F}$ îòîáðàæåíèé $f\colon X\rightarrow {X}^{\,\prime}$
íàçûâàåòñÿ {\it ðàâíîñòåïåííî íåïðåðûâíûì â òî÷êå} $x_0 \in X,$ åñëè
äëÿ ëþáîãî $\varepsilon>0$ íàéä¸òñÿ òàêîå $\delta>0$, ÷òî
${d}^{\,\prime} \left(f(x),f(x_0)\right)<\varepsilon$ äëÿ âñåõ òàêèõ
$x,$ ÷òî $d(x,x_0)<\delta$ è äëÿ âñåõ $f\in \frak{F}.$ Ãîâîðÿò, ÷òî
$\frak{F}$ {\it ðàâíîñòåïåííî íåïðåðûâíî}, åñëè $\frak{F}$
ðàâíîñòåïåííî íåïðåðûâíî â êàæäîé òî÷êå $x_0\in X.$ Ñîãëàñíî îäíîé
èç âåðñèé òåîðåìû Àðöåëà--Àñêîëè (ñì., íàïð.,
\cite[ïóíêò~20.4]{Va}), åñëè $\left(X,\,d\right)$ --- ñåïàðàáåëüíîå
ìåòðè÷åñêîå ïðîñòðàíñòâî, à $\left(X^{\,\prime},\,
d^{\,\prime}\right)$ --- êîìïàêòíîå ìåòðè÷åñêîå ïðîñòðàíñòâî, òî
ñåìåéñòâî $\frak{F}$ îòîáðàæåíèé $f\colon X\rightarrow
{X}^{\,\prime}$ íîðìàëüíî òîãäà è òîëüêî òîãäà, êîãäà $\frak{F}$
ðàâíîñòåïåííî íåïðåðûâíî. Çäåñü è äàëåå ðàâíîñòåïåííàÿ íåïðåðûâíîñòü
ñåìåéñòâà îòîáðàæåíèé $\{f\colon {\Bbb M}^n\rightarrow {\Bbb
M}_*^n\}$ ïîíèìàåòñÿ â ñìûñëå ãåîäåçè÷åñêèõ ðàññòîÿíèé $d$ è
$d^{\,\prime}$ íà ðèìàíîâûõ ìíîãîîáðàçèÿõ ${\Bbb M}^n$ è ${\Bbb
M}_*^n,$ ñîîòâåòñòâåííî.
\medskip
Ïóñòü $\left(X,\,d, \mu\right)$ --- ïðîèçâîëüíîå ìåòðè÷åñêîå
ïðîñòðàíñòâî, íàäåë¸ííîå ìåðîé $\mu$ è $G(x_0, r)=\{x\in X: d(x,
x_0)<r\}.$ Ñëåäóþùåå îïðåäåëåíèå ìîæåò áûòü íàéäåíî, íàïð., â
\cite[ðàçä.~4]{RSa}. Áóäåì ãîâîðèòü, ÷òî èíòåãðèðóåìàÿ â $G(x_0, r)$
ôóíêöèÿ ${\varphi}\colon D\rightarrow{\Bbb R}$ èìååò {\it êîíå÷íîå
ñðåäíåå êîëåáàíèå} â òî÷êå $x_0\in D$, ïèøåì $\varphi\in FMO(x_0),$
åñëè
%
%
%
%\begin{equation}\label{eq29*!}
%
$$\limsup\limits_{\varepsilon\rightarrow 0}\frac{1}{\mu(G(
x_0,\,\varepsilon))}\int\limits_{G(x_0,\,\varepsilon)}
|{\varphi}(x)-\overline{{\varphi}}_{\varepsilon}|\,
d\mu(x)<\infty,$$
%
%\end{equation}
%
ãäå
%
$\overline{{\varphi}}_{\varepsilon}=\frac{1} {\mu(G(
x_0,\,\varepsilon))}\int\limits_{G( x_0,\,\varepsilon)}
{\varphi}(x)\, d\mu(x).$
\medskip
Âñþäó äàëåå (åñëè íå îãîâîðåíî ïðîòèâíîå) ${\Bbb M}^n$ è ${\Bbb
M}_*^n$ -- ðèìàíîâû ìíîãîîáðàçèÿ ñ ãåîäåçè÷åñêèìè ðàññòîÿíèÿìè $d$ è
$d_*,$ ñîîòâåòñòâåííî. {\it Êðèâîé} $\gamma$ ìû íàçûâàåì íåïðåðûâíîå
îòîáðàæåíèå îòðåçêà $[a,b]$ (îòêðûòîãî èíòåðâàëà $(a,b),$ ëèáî
ïîëóîòêðûòîãî èíòåðâàëà âèäà $[a,b)$ èëè $(a,b]$) â ${\Bbb M}^n,$
$\gamma\colon [a,b]\rightarrow {\Bbb M}^n.$ Ïîä ñåìåéñòâîì êðèâûõ
$\Gamma$ ïîäðàçóìåâàåòñÿ íåêîòîðûé ôèêñèðîâàííûé íàáîð êðèâûõ
$\gamma,$ à, åñëè $f\colon{\Bbb M}^n\rightarrow {\Bbb M}_*^n$ ---
ïðîèçâîëüíîå îòîáðàæåíèå, òî
$f(\Gamma)=\left\{f\circ\gamma|\gamma\in\Gamma\right\}.$ Äëèíó
ïðîèçâîëüíîé êðèâîé $\gamma\colon [a, b]\rightarrow {\Bbb M}^n,$
ëåæàùåé íà ìíîãîîáðàçèè ${\Bbb M}^n,$ ìîæíî îïðåäåëèòü êàê òî÷íóþ
âåðõíþþ ãðàíü ñóìì $\sum\limits_{i=1}^{n-1} d(\gamma(t_i),
\gamma(t_{i+1}))$ ïî âñåâîçìîæíûì ðàçáèåíèÿì $a\leqslant
t_1\leqslant\ldots\leqslant t_n\leqslant b.$ Ñëåäóþùèå îïðåäåëåíèÿ â
ñëó÷àå ïðîñòðàíñòâà ${\Bbb R}^n$ ìîãóò áûòü íàéäåíû, íàïð., â
\cite[ðàçä.~1--6, ãë.~I]{Va}, ñì.\ òàêæå \cite[ãë.~I]{Fu}. Áîðåëåâà
ôóíêöèÿ $\rho\colon {\Bbb M}^n\,\rightarrow [0,\infty]$ íàçûâàåòñÿ
{\it äîïóñòèìîé} äëÿ ñåìåéñòâà $\Gamma$ êðèâûõ $\gamma$ â ${\Bbb
M}^n,$ åñëè ëèíåéíûé èíòåãðàë ïî íàòóðàëüíîìó ïàðàìåòðó $s$ êàæäîé
(ëîêàëüíî ñïðÿìëÿåìîé) êðèâîé $\gamma\in \Gamma$ îò ôóíêöèè $\rho$
óäîâëåòâîðÿåò óñëîâèþ $\int\limits_{0}^{l(\gamma)}\rho
(\gamma(s))ds\geqslant 1.$  ýòîì ñëó÷àå ìû ïèøåì:
$\rho\in\mathrm{adm}\,\Gamma.$ {\it Ìî\-äó\-ëåì} ñåìåéñòâà êðèâûõ
$\Gamma $ íàçûâàåòñÿ âåëè÷èíà
%
$$M(\Gamma)=\inf\limits_{\rho\in\mathrm{adm}\,\Gamma}
\int\limits_D \rho ^n (x)\,dv(x).$$
%
(Çäåñü è äàëåå $v$ îçíà÷àåò ìåðó îáú¸ìà, îïðåäåë¸ííóþ â
(\ref{eq8})). Ïðè ýòîì, åñëè $\mathrm{adm}\,\Gamma=\varnothing,$ òî
ïîëàãàåì: $M(\Gamma)=\infty$ (ñì.~\cite[ðàçä.~6 íà ñ.~16]{Va} ëèáî
\cite[ñ.~176]{Fu}). Ñâîéñòâà ìîäóëÿ â íåêîòîðîé ìåðå àíàëîãè÷íû
ñâîéñòâàì ìåðû Ëåáåãà $m$ â ${\Bbb R}^n.$ Èìåííî, ìîäóëü ïóñòîãî
ñåìåéñòâà êðèâûõ ðàâåí íóëþ, $M(\varnothing)=0,$ îáëàäàåò ñâîéñòâîì
ìîíîòîííîñòè îòíîñèòåëüíî ñåìåéñòâ êðèâûõ, %
$ \Gamma_1\subset\Gamma_2\Rightarrow M(\Gamma_1)\leqslant
M(\Gamma_2), $
%
à òàêæå ñâîéñòâîì ïîëóàääèòèâíîñòè:
%
%
$ M\left(\bigcup\limits_{i=1}^{\infty}\Gamma_i\right)\leqslant
\sum\limits_{i=1}^{\infty}M(\Gamma_i) $
%
(ñì.~\cite[òåîðåìà~6.2, ãë.~I]{Va} â ${\Bbb R}^n$ ëèáî
\cite[òåîðåìà~1]{Fu} â ñëó÷àå áîëåå îáùèõ ïðîñòðàíñòâ ñ ìåðàìè).
Ãîâîðÿò, ÷òî ñåìåéñòâî êðèâûõ $\Gamma_1$ \index{ìèíîðèðîâàíèå}{\it
ìèíîðèðóåòñÿ} ñåìåéñòâîì $\Gamma_2,$ ïèøåì $\Gamma_1\,>\,\Gamma_2,$
%
åñëè äëÿ êàæäîé êðèâîé $\gamma\,\in\,\Gamma_1$ ñóùåñòâóåò ïîäêðèâàÿ,
êîòîðàÿ ïðèíàäëåæèò ñåìåéñòâó $\Gamma_2.$
%
 ýòîì ñëó÷àå,
%
\begin{equation}\label{eq32*A}
\Gamma_1
> \Gamma_2 \quad \Rightarrow \quad M(\Gamma_1)\leqslant M(\Gamma_2)
\end{equation} (ñì.~\cite[òåîðåìà~6.4, ãë.~I]{Va} ëèáî
\cite[ñâîéñòâî~(c)]{Fu} â ñëó÷àå áîëåå îáùèõ ïðîñòðàíñòâ ñ ìåðàìè).
\medskip{}
Ñëåäóþùåå îïðåäåëåíèå äëÿ ñëó÷àÿ ${\Bbb R}^n$ ìîæåò áûòü íàéäåíî,
íàïð., â ðàáîòå \cite{SS}. Ïóñòü ${\Bbb M}^n$ è ${\Bbb M}_*^n$ ---
ðèìàíîâû ìíîãîîáðàçèÿ{\em,} $n\geqslant 2,$ $D$ -- îáëàñòü â ${\Bbb
M}^n,$ $x_0\in D,$ $Q\colon D\rightarrow [0,\infty]$ --- èçìåðèìàÿ
îòíîñèòåëüíî ìåðû îáú¸ìà $v$ ôóíêöèÿ, è ÷èñëî $r_0>0$ òàêîâî, ÷òî
çàìêíóòûé øàð $\overline{B(x_0, r_0)}$ ëåæèò â íåêîòîðîé íîðìàëüíîé
îêðåñòíîñòè $U$ òî÷êè $x_0.$ Ïóñòü òàêæå $0<r_1<r_2<r_0,$
$A=A(r_1,r_2, x_0)=\{x\in {\Bbb M}^n: r_1<d(x, x_0)<r_2\},$
$S_i=S(x_0,r_i),$ $i=1,2,$ --- ãåîäåçè÷åñêèå ñôåðû ñ öåíòðîì â òî÷êå
$x_0$ è ðàäèóñîâ $r_1$ è $r_2,$ ñîîòâåòñòâåííî, à
$\Gamma\left(S_1,\,S_2,\,A\right)$ îáîçíà÷àåò ñåìåéñòâî âñåõ êðèâûõ,
ñîåäèíÿþùèõ $S_1$ è $S_2$ âíóòðè îáëàñòè $A.$
%
%\medskip
Îòîáðàæåíèå $f\colon D\rightarrow {\Bbb M}_*^n$ óñëîâèìñÿ íàçûâàòü
{\it êîëüöåâûì $Q$-îòîáðàæåíèåì â òî÷êå $x_0\,\in\,D,$} åñëè
ñîîòíîøåíèå
%
%\begin{equation}\label{eq3*!!}
$$M\left(f\left(\Gamma\left(S_1,\,S_2,\,A\right)\right)\right)\ \leqslant
\int\limits_{A} Q(x)\cdot \eta^n(d(x, x_0))\ dv(x)$$
%
âûïîëíåíî â êîëüöå $A$ äëÿ ïðîèçâîëüíûõ $r_1,r_2,$ óêàçàííûõ âûøå, è
äëÿ êàæäîé èçìåðèìîé ôóíêöèè $\eta \colon (r_1,r_2)\rightarrow
[0,\infty ]\,$ òàêîé, ÷òî
%
%
%
$\int\limits_{r_1}^{r_2}\eta(r)dr\geqslant 1.$ Îòîáðàæåíèÿ òèïà
êîëüöåâûõ $Q$-îòîáðàæåíèé áûëè ïðåäëîæåíû ê èçó÷åíèþ Î.~Ìàðòèî è
èçó÷àëèñü èì ñîâìåñòíî ñ Â.~Ðÿçàíîâûì, Ó.~Ñðåáðî è Ý.~ßêóáîâûì,
ñì.~\cite{MRSY}, ñì.\ òàêæå \cite{BGMV}. Â ïðîñòðàíñòâå ${\Bbb R}^n$
êîëüöåâûå $Q$-îòîáðàæåíèÿ ÿâëÿþòñÿ îáîáùåíèåì àíàëèòè÷åñêèõ ôóíêöèé
íà ïëîñêîñòè ($Q\equiv 1$), êâàçèêîíôîðìíûõ îòîáðàæåíèé ($Q\leqslant
K=\mathrm{const}$) è îòîáðàæåíèé ñ îãðàíè÷åííûì èñêàæåíèåì
($Q\leqslant K=\mathrm{const}$) (ñì.~\cite[òåîðåìà~1,
ëåììà~6]{Pol}). Êðîìå òîãî, âòîðûì àâòîðîì äàííîé ñòàòüè áûëî
ïîêàçàíî, ÷òî â îáëàñòè $D\subset {\Bbb R}^n$ ïðîèçâîëüíûå îòêðûòûå
äèñêðåòíûå îòîáðàæåíèÿ $f\colon D\rightarrow {\Bbb R}^n$ êëàññà
$W_{loc}^{1, n},$ èìåþùèå ìåðó ìíîæåñòâà òî÷åê âåòâëåíèÿ, ðàâíóþ
íóëþ, è òàê íàçûâàåìàÿ âíåøíÿÿ äèëàòàöèÿ $K_O(x, f)$ êîòîðûõ
ëîêàëüíî ñóììèðóåìà â ñòåïåíè $n-1,$ ÿâëÿþòñÿ êîëüöåâûìè
$Q$-îòîáðàæåíèÿìè ïðè $Q=K_O^{n-1}(x, f)$
(\cite[ñëåäñòâèå~2]{Sev$_4$}). Äëÿ ãîìåîìîðôèçìîâ êëàññà
$W_{loc}^{1, n}$ òàêèõ, ÷òî $f^{\,-1}\in W_{loc}^{1, n}$ ýòîò
ðåçóëüòàò óñòàíîâëåí Î.~Ìàðòèî, Â.~Ðÿçàíîâûì, Ó.~Ñðåáðî è
Ý.~ßêóáîâûì (\cite[òåîðåìû 8.1 è 8.6]{MRSY}) è Å.~Àôàíàñüåâîé
(Å.~Ñìîëîâîé) íà ðèìàíîâûõ ìíîãîîáðàçèÿõ
(ñì.~\cite[ëåììà~6]{Af$_1$}).
\medskip{}
Ïóñòü $(X, d, \mu)$ --- ìåòðè÷åñêîå ïðîñòðàíñòâî ñ ìåòðèêîé $d,$
íàäåë¸ííîå ëîêàëüíî êîíå÷íîé áîðåëåâñêîé ìåðîé $\mu.$ Ñëåäóÿ
\cite[ðàçäåë 7.22]{He} áóäåì ãîâîðèòü, ÷òî áîðåëåâà ôóíêöèÿ
$\rho\colon X\rightarrow [0, \infty]$ ÿâëÿåòñÿ {\it âåðõíèì
ãðàäèåíòîì} ôóíêöèè $u\colon X\rightarrow {\Bbb R},$ åñëè äëÿ âñåõ
ñïðÿìëÿåìûõ êðèâûõ $\gamma,$ ñîåäèíÿþùèõ òî÷êè $x$ è $y\in X$
âûïîëíÿåòñÿ íåðàâåíñòâî $|u(x)-u(y)|\leqslant
\int\limits_{\gamma}\rho\,ds,$ ãäå, êàê îáû÷íî,
$\int\limits_{\gamma}\rho\,ds$ îáîçíà÷àåò ëèíåéíûé èíòåãðàë îò
ôóíêöèè $\rho$ ïî êðèâîé $\gamma.$ Áóäåì òàêæå ãîâîðèòü, ÷òî â
óêàçàííîì ïðîñòðàíñòâå $X$ âûïîëíÿåòñÿ $(1; p)$-íåðàâåíñòâî
Ïóàíêàðå, åñëè íàéäóòñÿ ïîñòîÿííûå $C\geqslant 1$ è $\tau>0$ òàê,
÷òî äëÿ êàæäîãî øàðà $B\subset X,$ ïðîèçâîëüíîé ëîêàëüíî
îãðàíè÷åííîé íåïðåðûâíîé ôóíêöèè $u\colon X\rightarrow {\Bbb R}$ è
ëþáîãî å¸ âåðõíåãî ãðàäèåíòà $\rho$ âûïîëíÿåòñÿ ñëåäóþùåå
íåðàâåíñòâî:
%
$$\frac{1}{\mu(B)}\int\limits_{B}|u-u_B|d\mu(x)\leqslant C\cdot({\rm diam\,}B)\left(\frac{1}{\mu(\tau B)}
\int\limits_{\tau B}\rho^p d\mu(x)\right)^{1/p}\,,$$
%
ãäå $u_B:=\frac{1}{\mu(B)}\int\limits_{B}u d\mu(x).$
%
Ìåòðè÷åñêîå ïðîñòðàíñòâî $(X, d, \mu)$ íàçîâ¸ì {\it
$\widetilde{Q}$-ðåãóëÿðíûì ïî Àëüôîðñó} ïðè íåêîòîðîì
$\widetilde{Q}\geqslant 1,$ åñëè ïðè êàæäîì $x_0\in X,$ íåêîòîðîé
ïîñòîÿííîé $C\geqslant 1$ è ïðîèçâîëüíîãî $R<{\rm diam}\,X$
%
$$\frac{1}{C}R^{\widetilde{Q}}\leqslant \mu(B(x_0, R))\leqslant CR^{\widetilde{Q}}.$$
%
Çàìåòèì, ÷òî ëîêàëüíî ðèìàíîâû ìíîãîîáðàçèÿ ÿâëÿþòñÿ $n$-ðåãóëÿðíûìè
ïî Àëüôîðñó (ñì.~\cite[ëåììà~5.1]{ARS}). Ñëåäóåò òàêæå çàìåòèòü, ÷òî
åñëè ðèìàíîâî ìíîãîîáðàçèå $\widetilde{Q}$-ðåãóëÿðíî ïî Àëüôîðñó, òî
$\widetilde{Q}=n$ (ñì.\ ðàññóæäåíèÿ íà ñ.~61 â \cite{He} î
ñîâïàäåíèè $\widetilde{Q}$ ñ õàóñäîðôîâîé ðàçìåðíîñòüþ ïðîñòðàíñòâà
$X,$ à òàêæå \cite[ëåììà~5.1]{ARS} î ñîâïàäåíèè òîïîëîãè÷åñêîé è
õàóñäîðôîâûõ ðàçìåðíîñòåé îáëàñòåé ðèìàíîâîãî ìíîãîîáðàçèÿ).
Ñïðàâåäëèâà ñëåäóþùàÿ
%
\medskip
\begin{theorem}\label{theor4*!} {\sl\,
Ïóñòü ${\Bbb M}^n$ è ${\Bbb M}_*^n$ --- ðèìàíîâû ìíîãîîáðàçèÿ{\em,}
$n\geqslant 2,$ ìíîãîîáðàçèå ${\Bbb M}_*^n$ ñâÿçíî{\em,} ÿâëÿåòñÿ
$n$-ðåãóëÿðíûì ïî Àëüôîðñó{\em,} êðîìå òîãî{\em,} â ${\Bbb M}_*^n$
âûïîëíåíî $(1;n)$-íåðàâåíñòâî Ïóàíêàðå. Ïóñòü $B_R\subset {\Bbb
M}_*^n$ --- íåêîòîðûé ôèêñèðîâàííûé øàð ðàäèóñà $R,$ $K$ --
ôèêñèðîâàííûé íåâûðîæäåííûé êîíòèíóóì â $B_R,$ $D$
--- îáëàñòü â ${\Bbb M}^n$ è $Q\colon D\rightarrow [0, \infty]$ ---
ôóíêöèÿ{\em,} èçìåðèìàÿ îòíîñèòåëüíî ìåðû îáú¸ìà $v.$ Îáîçíà÷èì
÷åðåç $\frak{R}_{x_0, Q, B_R, K}(D)$ ñåìåéñòâî îòêðûòûõ äèñêðåòíûõ
êîëüöåâûõ $Q$-îòîáðàæåíèé $f\colon D\rightarrow B_R\setminus K$ â
òî÷êå $x_0\in D.$ Òîãäà ñåìåéñòâî îòîáðàæåíèé $\frak{R}_{x_0, Q,
B_R, K}(D)$ ÿâëÿåòñÿ ðàâíîñòåïåííî íåïðåðûâíûì â òî÷êå $x_0\in D,$
åñëè $Q\in FMO(x_0).$}
\end{theorem}
\medskip
Ââèäó òåîðåìû Àðöåëà--Àñêîëè (ñì., íàïð., \cite[ïóíêò~20.4]{Va})
èìååì òàêæå ñëåäóþùåå
\medskip
\begin{corollary}\label{cor1} {\sl\, Ïðåäïîëîæèì, ÷òî â óñëîâèÿõ
òåîðåìû~{\ref{theor4*!}} ìíîãîîáðàçèå ${\Bbb M}_*^n$ ÿâëÿåòñÿ
êîìïàêòíûì. Åñëè $\frak{R}_{D, Q, B_R, K}(D)$ --- ñåìåéñòâî{\em,}
ñîñòîÿùåå èç âñåõ îòêðûòûõ äèñêðåòíûõ îòîáðàæåíèé $f\colon
D\rightarrow B_R,$ ÿâëÿþùèõñÿ êîëüöåâûìè $Q$-îòîá\-ðà\-æå\-íè\-ÿ\-ìè
â êàæäîé òî÷êå $x_0\in D$ è{\em,} êðîìå òîãî{\em,} $Q\in FMO(x_0)$ â
êàæäîé òî÷êå $x_0\in D,$ òî êëàññ $\frak{R}_{D, Q, B_R, K}(D)$
îáðàçóåò íîðìàëüíîå ñåìåéñòâî îòîáðàæåíèé. }
\end{corollary}
\medskip
{\bf 2. Âñïîìîãàòåëüíûå ëåììû}. Âñþäó äàëåå ${\Bbb M}^n$ ---
ðèìàíîâî ìíîãîîáðàçèå ïðè $n\geqslant 2,$ $d$ --- ãåîäåçè÷åñêîå
ðàññòîÿíèå íà ${\Bbb M}^n,$
%
\begin{gather*}
B(x_0, r)=\left\{x\in{\Bbb M}^n: d(x, x_0)<r\right\},\quad S(x_0,r)
= \{ x\,\in\,{\Bbb M}^n: d(x, x_0)=r\},
\end{gather*}
%
${\rm diam}\,A$ --- ãåîäåçè÷åñêèé äèàìåòð ìíîæåñòâà $A\subset {\Bbb
M}^n.$ Âñþäó äàëåå ãðàíèöà $\partial D$ îáëàñòè $D\subset {\Bbb
M}^n$ è çàìûêàíèå $\overline{D}$ îáëàñòè $D$ ïîíèìàþòñÿ â ñìûñëå
ãåîäåçè÷åñêîãî ðàññòîÿíèÿ $d.$ Ïåðåä òåì, êàê ìû ïðèñòóïèì ê
èçëîæåíèþ âñïîìîãàòåëüíûõ ðåçóëüòàòîâ è îñíîâíîé ÷àñòè äàííîãî
ðàçäåëà, äàäèì åù¸ îäíî âàæíîå îïðåäåëåíèå (ñì.~\cite[ðàçäåë~3,
ãë.~II]{Ri}). Ïóñòü $D$ --- îáëàñòü ðèìàíîâîãî ìíîãîîáðàçèÿ ${\Bbb
M}^n,$ $n\geqslant 2,$ $f\colon D \rightarrow {\Bbb M}_*^n$ ---
îòîáðàæåíèå, $\beta\colon [a,\,b)\rightarrow {\Bbb M}_*^n$ ---
íåêîòîðàÿ êðèâàÿ è $x\in\,f^{\,-1}\left(\beta(a)\right).$ Êðèâàÿ
$\alpha\colon [a,\,c)\rightarrow D,$ $c\leqslant b,$ íàçûâàåòñÿ {\it
ìàêñèìàëüíûì ïîäíÿòèåì} êðèâîé $\beta$ ïðè îòîáðàæåíèè $f$ ñ íà÷àëîì
â òî÷êå $x,$ åñëè $(1)\quad \alpha(a)=x;$ $(2)\quad
f\circ\alpha=\beta|_{[a,\,c)};$ $(3)$\quad åñëè
$c<c^{\prime}\leqslant b,$ òî íå ñóùåñòâóåò êðèâîé
$\alpha^{\prime}\colon [a,\,c^{\prime})\rightarrow D,$ òàêîé ÷òî
$\alpha=\alpha^{\prime}|_{[a,\,c)}$ è $f\circ
\alpha=\beta|_{[a,\,c^{\prime})}.$ Èìååò ìåñòî ñëåäóþùåå
\medskip
\begin{proposition}\label{pr7}
{\sl Ïóñòü ${\Bbb M}^n$ è ${\Bbb M}_*^n$ --- ðèìàíîâû
ìíîãîîáðàçèÿ{\em,} $n\geqslant 2,$ $D$ --- îáëàñòü â ${\Bbb M}^n,$
$f\colon D\rightarrow {\Bbb M}^n_*$ --- îòêðûòîå äèñêðåòíîå
îòîáðàæåíèå{\em,} $\beta\colon [a,\,b)\rightarrow {\Bbb M}_*^n$ ---
êðèâàÿ è òî÷êà $x\in\,f^{-1}\left(\beta(a)\right).$ Òîãäà êðèâàÿ
$\beta$ èìååò ìàêñèìàëüíîå ïîäíÿòèå ïðè îòîáðàæåíèè $f$ ñ íà÷àëîì â
òî÷êå $x.$ }
\end{proposition}
\medskip
\begin{proof} Çàôèêñèðóåì òî÷êó $x_0\in {\Bbb M}^n$ è ðàññìîòðèì $f(x_0)\in {\Bbb
M}_*^n.$ Ïîñêîëüêó òî÷êà $f(x_0)$ ïðèíàäëåæèò ìíîãîîáðàçèþ ${\Bbb
M}_*^n,$ íàéä¸òñÿ îêðåñòíîñòü $V$ ýòîé òî÷êè, ãîìåîìîðôíàÿ ìíîæåñòâó
$\psi(V)\subset {\Bbb R}^n.$ Â ñèëó íåïðåðûâíîñòè îòîáðàæåíèÿ $f,$
íàéä¸òñÿ îêðåñòíîñòü $U$ òî÷êè $x_0,$ òàêàÿ ÷òî $f(U)\subset V.$ Ñ
äðóãîé ñòîðîíû, íå îãðàíè÷èâàÿ îáùíîñòè, ìîæíî ñ÷èòàòü, ÷òî $U$
ãîìåîìîðôíà îòêðûòîìó ìíîæåñòâó $\varphi(U)$ â ${\Bbb R}^n.$ Ìîæíî
òàêæå ñ÷èòàòü, ÷òî $\varphi(U)$ è $\psi(V)$ ÿâëÿþòñÿ îáëàñòÿìè â
${\Bbb R}^n,$ òîãäà $f^*=\psi\circ f\circ\varphi^{\,-1}$ ---
îòêðûòîå äèñêðåòíîå îòîáðàæåíèå ìåæäó îáëàñòÿìè $\varphi(U)$ è
$\psi(V)$ â ${\Bbb R}^n.$ Äëÿ òàêèõ îòîáðàæåíèé ñóùåñòâîâàíèå
ìàêñèìàëüíûõ ïîäíÿòèé ëîêàëüíî âûòåêàåò èç ñîîòâåòñòâóþùåãî
ðåçóëüòàòà Ðèêìàíà â $n$-ìåðíîì åâêëèäîâîì ïðîñòðàíñòâå
(ñì.~\cite[øàã~2 äîêàçàòåëüñòâà òåîðåìû~3.2 ãë.~II]{Ri}). Îòñþäà
âûòåêàåò ëîêàëüíîå ñóùåñòâîâàíèå ìàêñèìàëüíûõ ïîäíÿòèé è íà
ìíîãîîáðàçèÿõ. Ãëîáàëüíîå ñóùåñòâîâàíèå ìàêñèìàëüíûõ ïîäíÿòèé ìîæåò
áûòü óñòàíîâëåíî àíàëîãè÷íî äîêàçàòåëüñòâó øàãà 1 óêàçàííîé âûøå
òåîðåìû.~$\Box$
\end{proof}
Íàïîìíèì îïðåäåëåíèÿ êëàññîâ Ñîáîëåâà è îòîáðàæåíèé ñ êîíå÷íûì
èñêàæåíèåì, êîòîðûå áóäóò íåîáõîäèìû íàì â äàëüíåéøåì
(ñì.~\cite{ARS}, \cite{IM} è \cite{Maz}).
Ïóñòü $U$ --- îòêðûòîå ìíîæåñòâî, $U\subset {\Bbb R}^n,$ $u\colon
U\rightarrow {\Bbb R}$ --- íåêîòîðàÿ ôóíêöèÿ, $u\in
L_{loc}^{\,1}(U).$ Ïðåäïîëîæèì, ÷òî íàéä¸òñÿ ôóíêöèÿ $v\in
L_{loc}^{\,1}(U),$ òàêàÿ ÷òî
%
$$\int\limits_U \frac{\partial \varphi}{\partial x_i}(x)u(x)dm(x)=
-\int\limits_U \varphi(x)v(x)dm(x)$$
%
äëÿ ëþáîé ôóíêöèè $\varphi\in C_1^{\,0}(U).$ Òîãäà áóäåì ãîâîðèòü,
÷òî ôóíêöèÿ $v$ ÿâëÿåòñÿ {\it îáîáù¸ííîé ïðîèçâîäíîé ïåðâîãî ïîðÿäêà
ôóíêöèè $u$ ïî ïåðåìåííîé $x_i,$} è îáîçíà÷àòü ñèìâîëîì:
$\frac{\partial u}{\partial x_i}(x):=v.$
Ôóíêöèÿ $u\in W_{loc}^{1,1}(U),$ åñëè $u$ èìååò îáîáù¸ííûå
ïðîèçâîäíûå ïåðâîãî ïîðÿäêà ïî êàæäîé èç ïåðåìåííûõ â $U,$ êîòîðûå
ÿâëÿþòñÿ ëîêàëüíî èíòåãðèðóåìûìè â $U.$
Ïóñòü $G$ --- îòêðûòîå ìíîæåñòâî â ${\Bbb R}^n.$ Îòîáðàæåíèå
$f\colon D\rightarrow {\Bbb R}^n$ ïðèíàäëåæèò {\it êëàññó Ñîáîëåâà}
$W^{1,1}_{loc}(G),$ ïèøóò $f\in W^{1,1}_{loc}(G),$ åñëè âñå
êîîðäèíàòíûå ôóíêöèè $f=(f_1,\ldots,f_n)$ îáëàäàþò îáîáù¸ííûìè
÷àñòíûìè ïðîèçâîäíûìè ïåðâîãî ïîðÿäêà, êîòîðûå ëîêàëüíî èíòåãðèðóåìû
â $G$ â ïåðâîé ñòåïåíè.
\medskip
Ïóñòü òåïåðü ${\Bbb M}^n$ è ${\Bbb M}_*^n$ --- ðèìàíîâû ìíîãîîáðàçèÿ
è îáëàñòü $D\subset {\Bbb M}^n,$ òîãäà áóäåì ãîâîðèòü, ÷òî
îòîáðàæåíèå $f\colon D\rightarrow {\Bbb M}^n_*$ ïðèíàäëåæèò êëàññó
$f\in W^{1, 1}_{loc}(D),$ åñëè êàæäàÿ ïàðà òî÷åê $p\in D$ è $f(p)\in
f(D)$ èìåþò îêðåñòíîñòè $U\subset D,$ $V\subset f(D),$ â êîòîðûõ
$\psi\circ f\circ \varphi^{-1}\in W^{1,1}_{loc}(\varphi(U)),$ ãäå
$\varphi\colon U\rightarrow {\Bbb R}^n$ è $\psi\colon V\rightarrow
{\Bbb R}^n$ --- ñîîòâåòñòâóþùèå êàðòû, ïåðåâîäÿùèå $U$ è $V$ â
íåêîòîðûå îòêðûòûå ïîäìíîæåñòâà ${\Bbb R}^n.$
\medskip{}
Ïóñòü $A$ --- îòêðûòîå ïîäìíîæåñòâî ìíîãîîáðàçèÿ ${\Bbb M}^n,$ à $C$
--- êîìïàêòíîå ïîäìíîæåñòâî $A.$ {\it Êîíäåíñàòîðîì} áóäåì íàçûâàòü
ïàðó ìíîæåñòâ $E=\left(A,\,C\right).$ {\it ¨ìêîñòüþ} êîíäåíñàòîðà
$E$ íàçûâàåòñÿ ñëåäóþùàÿ âåëè÷èíà:
%
%
\begin{equation}\label{eq1.1AB} {\rm cap}\,E={\rm
cap}\,\left(A,\,C\right)= \inf\limits_{u\in W_0(E)}\,\,\int\limits_A
|\nabla u(x)|^n\,\,dv(x),
\end{equation}
%
ãäå $W_0(E)=W_0\left(A,\,C\right)$ --- ñåìåéñòâî íåîòðèöàòåëüíûõ
íåïðåðûâíûõ ôóíêöèé $u\colon A\rightarrow{\Bbb R}$ ñ êîìïàêòíûì
íîñèòåëåì â $A,$ òàêèõ ÷òî $u(x)\geqslant 1$ ïðè $x\in C$ è $u\in
W_{loc}^{1, 1}.$
%
 ôîðìóëå~\eqref{eq1.1AB}, êàê îáû÷íî, $|\nabla
u|={\left(\sum\limits_{i=1}^n\,{\left(\partial_i u\right)}^2
\right)}^{1/2}.$
Ñëåäóþùåå óòâåðæäåíèå èìååò âàæíîå çíà÷åíèå äëÿ äîêàçàòåëüñòâà
äàëüíåéøèõ ðåçóëüòàòîâ (ñì.~\cite[ïðåäëîæåíèå~10.2 è çàìå÷àíèå~10.8,
ãë.~II]{Ri}).
\medskip
\begin{proposition}\label{pr1*!}
{\,\sl Ïóñòü ${\Bbb M}^n$ --- ðèìàíîâî ìíîãîîáðàçèå{\em,}
$n\geqslant 2,$ $E=(A,\,C)$ --- ïðîèçâîëüíûé êîíäåíñàòîð â ${\Bbb
M}^n$ è ïóñòü $\Gamma_E$ --- ñåìåéñòâî âñåõ êðèâûõ âèäà
$\gamma\colon [a,\,b)\rightarrow A,$ òàêèõ ÷òî $\gamma(a)\in C$ è
$|\gamma|\cap\left(A\setminus F\right)\ne\varnothing$ äëÿ
ïðîèçâîëüíîãî êîìïàêòà $F\subset A.$
%
Òîãäà
%
$ {\rm cap}\,E=M(\Gamma_E). $
%
}
\end{proposition}
\medskip{}
Ñëåäóþùàÿ ëåììà ìîæåò áûòü ïîëåçíîé ïðè èññëåäîâàíèè ñâîéñòâà
ðàâíîñòåïåííîé íåïðåðûâíîñòè îòêðûòûõ äèñêðåòíûõ êîëüöåâûõ
$Q$-îòîá\-ðà\-æå\-íèé â íàèáîëåå îáùåé ñèòóàöèè. Ÿ äîêàçàòåëüñòâî
àíàëîãè÷íî ñëó÷àþ ${\Bbb R}^n$ (ñì. \cite[ëåììà~4.1]{SS}), îäíàêî,
äëÿ ïîëíîòû è ñòðîãîñòè èçëîæåíèÿ ìû ïðèâîäèì åãî ïîëíîñòüþ äëÿ
ñëó÷àÿ ïðîèçâîëüíûõ ðèìàíîâûõ ìíîãîîáðàçèé.
\medskip
\begin{lemma}\label{lem4}{\sl\,
%
Ïóñòü ${\Bbb M}^n$ è ${\Bbb M}_*^n$ --- ðèìàíîâû ìíîãîîáðàçèÿ{\em,}
$n\geqslant 2,$ $D$ --- îáëàñòü â ${\Bbb M}^n,$ $f\colon
D\rightarrow{\Bbb M}_*^n$ --- îòêðûòîå äèñêðåòíîå êîëüöåâîå
$Q$-îòîá\-ðà\-æå\-íèå â òî÷êå $x_0\in D,$ $r_0>0$ òàêîâî{\em,} ÷òî
øàð $B(x_0, r_0)$ ëåæèò ñî ñâîèì çàìûêàíèåì â íåêîòîðîé íîðìàëüíîé
îêðåñòíîñòè $U$ òî÷êè $x_0.$ Ïðåäïîëîæèì{\em,} ÷òî äëÿ íåêîòîðîãî
÷èñëà $0<\varepsilon_0<r_0,$ íåêîòîðîãî $\varepsilon_0^{\,\prime}\in
(0, \varepsilon_0)$ è ñåìåéñòâà íåîòðèöàòåëüíûõ èçìåðèìûõ ïî Ëåáåãó
ôóíêöèé $\{\psi_{\varepsilon}(t)\},$ $\psi_{\varepsilon}\colon
(\varepsilon, \varepsilon_0)\rightarrow [0, \infty],$
$\varepsilon\in\left(0, \varepsilon_0^{\,\prime}\right),$ âûïîëíåíî
óñëîâèå
%
\begin{equation} \label{eq3.7B}
\int\limits_{\varepsilon<d(x, x_0)<\varepsilon_0}
Q(x)\cdot\psi_{\varepsilon}^n(d(x, x_0))\, dv(x)\leqslant
F(\varepsilon, \varepsilon_0)\qquad\forall\,\,\varepsilon\in(0,
\varepsilon_0^{\,\prime}),
\end{equation}
%
ãäå $F(\varepsilon, \varepsilon_0)$ --- íåêîòîðàÿ ôóíêöèÿ è
%
\begin{equation}\label{eq3AB} 0<I(\varepsilon, \varepsilon_0):=
\int\limits_{\varepsilon}^{\varepsilon_0}\psi_{\varepsilon}(t)dt <
\infty\qquad\forall\,\,\varepsilon\in(0,
\varepsilon_0^{\,\prime}).\end{equation}
%
Òîãäà
%
%
\begin{equation}\label{eq3B}
{\rm cap}\,f(E)\leqslant F(\varepsilon,\varepsilon_0)/
I^{n}(\varepsilon, \varepsilon_0)\qquad
\forall\,\,\varepsilon\in\left(0,\,\varepsilon_0^{\,\prime}\right),
\end{equation}
%
ãäå $E=\left(A,\,C\right)$ --- êîíäåíñàòîð{\em,} $A=B(x_0,
\varepsilon_0)$ è $C=\overline{B(x_0, \varepsilon)}.$
%
}
\end{lemma}
\medskip
\begin{proof}
Ðàññìîòðèì êîíäåíñàòîð $E=(A,\,C),$ ãäå $A$ è $C$ òàêîâû, êàê
óêàçàíî â óñëîâèè ëåììû. Åñëè ${\rm cap}\,f(E)=0,$ äîêàçûâàòü
íå÷åãî. Ïóñòü ${\rm cap}\,f(E)\ne 0.$
\medskip
Ïóñòü $\Gamma_E$ --- ñåìåéñòâî âñåõ êðèâûõ âèäà $\gamma\colon
[a,\,b)\rightarrow A,$ òàêèõ ÷òî $\gamma(a)\in C$ è
$|\gamma|\cap\left(A\setminus F\right)\ne\varnothing$ äëÿ
ïðîèçâîëüíîãî êîìïàêòà $F\subset A,$ ãäå $|\gamma|=\{x\in {\Bbb
M}^n: \exists\,t\in [a, b): \gamma(t)=x \}$ --- íîñèòåëü êðèâîé
$\gamma.$ Íàïîìíèì, ÷òî ${\rm cap}\,E=M(\Gamma_E)$ (ñì.\ ïðåäëîæåíèå
\ref{pr1*!}). Äëÿ êîíäåíñàòîðà $f(E)$ ðàññìîòðèì ñåìåéñòâî êðèâûõ
$\Gamma_{f(E)}.$ Çàìåòèì òàêæå, ÷òî êàæäàÿ êðèâàÿ
$\gamma\in\Gamma_{f(E)}$ èìååò ìàêñèìàëüíîå ïîäíÿòèå ïðè îòîáðàæåíèè
$f,$ ëåæàùåå â $A$ ñ íà÷àëîì â $C$ (ñì.\ ïðåäëîæåíèå~\ref{pr7}).
Ïóñòü $\Gamma^{\,*}$ --- ñåìåéñòâî âñåõ ìàêñèìàëüíûõ ïîä\-íÿ\-òèé
êðèâûõ $\Gamma_{f(E)}$ ïðè îòîáðàæåíèè $f$ ñ íà÷àëîì â $C.$ Ïîêàæåì,
÷òî $\Gamma^{*}\subset \Gamma_E.$
\medskip
Ïðåäïîëîæèì ïðîòèâíîå, ò.å., ÷òî ñóùåñòâóåò êðèâàÿ $\beta\colon
[a,\,b)\rightarrow {\Bbb R}^n$ ñåìåéñòâà $\Gamma_{f(E)},$ äëÿ
êîòîðîé ñîîòâåòñòâóþùåå ìàêñèìàëüíîå ïîäíÿòèå $\alpha\colon
[a,\,c)\rightarrow B(x_0, \varepsilon_0)$ ëåæèò â íåêîòîðîì êîìïàêòå
$K$ âíóòðè $B(x_0, \varepsilon_0).$ Ñëåäîâàòåëüíî, åãî çàìûêàíèå
$\overline{\alpha}$ --- êîìïàêò â $B(x_0, \varepsilon_0).$ Çàìåòèì,
÷òî $c\ne b,$ ïîñêîëüêó â ïðîòèâíîì ñëó÷àå $\overline{\beta}$ ---
êîì\-ïàêò â $f\left(B(x_0, \varepsilon_0)\right),$ ÷òî ïðîòèâîðå÷èò
óñëîâèþ $\beta\,\in\,\Gamma_{f(E)}.$ Ðàññìîòðèì ïðåäåëüíîå ìíîæåñòâî
$G$ êðèâîé $\alpha$ ïðè $t_k\rightarrow c,$
%
$$G=\left\{x\in {\Bbb R}^n: x=\lim\limits_{k\rightarrow\,\infty} \alpha(t_k)
\right\},\quad t_k\,\in\,[a,\,c),\quad
\lim\limits_{k\rightarrow\infty}t_k=c.$$
Îòìåòèì, ÷òî ïåðåõîäÿ ê ïîäïîñëåäîâàòåëüíîñòÿì, çäåñü ìîæíî
îãðàíè÷èòüñÿ ìîíîòîííûìè ïîñëåäîâàòåëüíîñòÿìè $t_k.$ Äëÿ $x\in G,$ â
ñèëó íåïðåðûâíîñòè $f,$ áóäåì èìåòü
%
$f\left(\alpha(t_k)\right)\rightarrow\,f(x)$ ïðè
$k\rightarrow\infty,$ ãäå $t_k\in[a,\,c),\,t_k\rightarrow c$ ïðè
$k\rightarrow \infty.$ Îäíàêî,
$f\left(\alpha(t_k)\right)=\beta(t_k)\rightarrow\beta(c)$ ïðè
$k\rightarrow\infty.$ Îòñþäà çàêëþ÷àåì, ÷òî $f$ ïîñòîÿííà íà $G$ â
$B(x_0, \varepsilon_0).$ Ñ äðóãîé ñòîðîíû, ïî óñëîâèþ Êàíòîðà â
êîìïàêòå $\overline{\alpha}$ (ñì.~\cite[ðàçä.~3.6, ãë.~I]{Wh}),
%
%
%
$$G\,=\,\bigcap\limits_{k\,=\,1}^{\infty}\,\overline{\alpha\left(\left[t_k,\,c\right)\right)}=
%
\limsup\limits_{k\rightarrow\infty}\alpha\left(\left[t_k,\,c\right)\right)=
%
\liminf\limits_{k\rightarrow\infty}\alpha\left(\left[t_k,\,c\right)\right)\ne\varnothing
%
$$
%\end{equation}
%
â âèäó ìîíîòîííîñòè ïîñëåäîâàòåëüíîñòè ñâÿçíûõ ìíîæåñòâ
$\alpha\left(\left[t_k,\,c\right)\right),$ îòêóäà ñëåäóåò, ÷òî $G$
ÿâëÿåòñÿ ñâÿçíûì ñîãëàñíî \cite[ðàçä.~9.12, ãë.~I]{Wh}. Òàêèì
îáðàçîì, â ñèëó äèñêðåòíîñòè $f,$ $G$ íå ìîæåò ñîñòîÿòü áîëåå ÷åì èç
îäíîé òî÷êè, è êðèâàÿ $\alpha\colon [a,\,c)\rightarrow\,B(x_0,
\varepsilon_0)$ ïðîäîëæàåòñÿ äî çàìêíóòîé êðèâîé $\alpha\colon
[a,\,c]\rightarrow K\subset B(x_0, \varepsilon_0),$ ïðè÷¸ì
$f\left(\alpha(c)\right)=\beta(c).$ Ñíîâà ïî ïðåäëîæåíèþ~\ref{pr7}
ìîæíî ïîñòðîèòü ìàêñèìàëüíîå ïîäíÿòèå $\alpha^{\,\prime}$ êðèâîé
$\beta|_{[c,\,b)}$ ñ íà÷àëîì â òî÷êå $\alpha(c).$ Îáúåäèíÿÿ ïîäíÿòèÿ
$\alpha$ è $\alpha^{\,\prime},$ ïîëó÷àåì íîâîå ïîäíÿòèå
$\alpha^{\,\prime\prime}$ êðèâîé $\beta,$ êîòîðîå îïðåäåëåíî íà $[a,
c^{\prime}),$ \,\,$c^{\,\prime}\,\in\,(c,\,b),$ ÷òî ïðîòèâîðå÷èò
ìàêñèìàëüíîñòè ïîäíÿòèÿ $\alpha.$ Òàêèì îáðàçîì,
$\Gamma^{\,*}\subset\Gamma_E.$
Çàìåòèì, ÷òî $\Gamma_{f(E)}>f(\Gamma^{*}),$ è, ñëåäîâàòåëüíî, ââèäó
ñâîéñòâà~\eqref{eq32*A}
%
\begin{equation}\label{eq7AB}
M\left(\Gamma_{f(E)}\right)\leqslant M\left(f(\Gamma^{*})\right).
\end{equation}
%
Ðàññìîòðèì
%
$S_{\,\varepsilon}=S(x_0,\,\varepsilon) = \{ x\,\in\,{\Bbb M}^n :
d(x, x_0)=\,\varepsilon\},$ $
S_{\,\varepsilon_{0}}=S(x_0,\,\varepsilon_0) = \{ x\,\in\,{\Bbb M}^n
: d(x, x_0)=\,\varepsilon_0\},$
%
ãäå $\varepsilon_0$ --- èç óñëîâèÿ ëåììû è
$\varepsilon\in\left(0,\,\varepsilon_0^{\,\prime}\right).$ Âñþäó
íèæå, êàê è ïðåæäå, ïîëàãàåì
%
$$A(r_1, r_2, x_0)=\{x\in {\Bbb M}^n: r_1<d(x, x_0)<r_2\}.$$ Çàìåòèì,
%
÷òî, ïîñêîëüêó $\Gamma^{*}\,\subset\,\Gamma_E,$ òî ïðè âñåõ
äîñòàòî÷íî ìàëûõ $\delta>0$ áóäåì èìåòü, ÷òî
$\Gamma\left(S_{\varepsilon}, S_{\varepsilon_0-\delta},
A(\varepsilon, \varepsilon_0-\delta, x_0)\right)<\Gamma^{*}$ è,
ñëåäîâàòåëüíî, $f(\Gamma\left(S_{\varepsilon},
S_{\varepsilon_0-\delta}, A(\varepsilon, \varepsilon_0-\delta,
x_0)\right))<f(\Gamma^{\,*})$ (çäåñü ìû ïîëîæèëè
$S_{\varepsilon_0-\delta}:=\{x\in {\Bbb R}^n:
|x-x_0|<\varepsilon_0-\delta\}$). Çíà÷èò,
%
\begin{equation}\label{eq3.3.1}
M\left(f(\Gamma^{*})\right)\leqslant
M\left(f\left(\Gamma\left(S_{\varepsilon}, S_{\varepsilon_0-\delta},
A(\varepsilon, \varepsilon_0-\delta, x_0)\right)\right)\right).
\end{equation}
%
Èç ñîîòíîøåíèé~\eqref{eq7AB} è~\eqref{eq3.3.1} ñëåäóåò, ÷òî
%
$$
M\left(\Gamma_{f(E)}\right)\,\leqslant
M\left(f\left(\Gamma\left(S_{\varepsilon}, S_{\varepsilon_0-\delta},
A(\varepsilon, \varepsilon_0-\delta, x_0)\right)\right)\right)
$$
%
è, òàêèì îáðàçîì, ïî ïðåäëîæåíèþ \ref{pr1*!}
%
\begin{equation}\label{eq5aa}
{\rm cap}\,\,f(E) \leqslant
M\left(f\left(\Gamma\left(S_{\varepsilon}, S_{\varepsilon_0-\delta},
A(\varepsilon, \varepsilon_0-\delta, x_0)\right)\right)\right).
\end{equation}
%
Ïóñòü $\eta(t)$ ïðîèçâîëüíàÿ íåîòðèöàòåëüíàÿ èçìåðèìàÿ ôóíêöèÿ,
óäîâëåòâîðÿþùàÿ óñëîâèþ
$\int\limits_{\varepsilon}^{\varepsilon_0}\eta(t)dt=1.$ Ðàññìîòðèì
ñåìåéñòâî èçìåðèìûõ ôóíêöèé
$\eta_{\delta}(t)=\frac{\eta(t)}{\int\limits_{\varepsilon}^{\varepsilon_0-\delta}\eta(t)dt}.$
(Òàê êàê $\int\limits_{\varepsilon}^{\varepsilon_0}\eta(t)dt=1,$ òî
$\delta>0$ ìîæíî âûáðàòü òàê, ÷òî
$\int\limits_{\varepsilon}^{\varepsilon_0-\delta}\eta(t)dt>0$).
Ïîñêîëüêó
$\int\limits_{\varepsilon}^{\varepsilon_0-\delta}\eta_{\delta}(t)dt=1,$
òî ïî îïðåäåëåíèþ êîëüöåâîãî $Q$-îòîáðàæåíèÿ â òî÷êå $x_0$ ìû
ïîëó÷èì
%
\begin{multline*}
M\left(f\left(\Gamma\left(S_{\varepsilon}\,,
S_{\varepsilon_0-\delta}, A(\varepsilon, \varepsilon_0-\delta,
x_0)\right)\right)\right)\,\leqslant\\
\leqslant\frac{1}{\left(\int\limits_{\varepsilon}^{\varepsilon_0-\delta}\eta(t)dt\right)^n}
\int\limits_{\varepsilon<|x-x_0|<\varepsilon_0}Q(x)\cdot\eta^n(d(x,
x_0))\, \ dv(x).
\end{multline*}
%
Ïåðåõîäÿ çäåñü ê ïðåäåëó ïðè $\delta\rightarrow 0$ è ó÷èòûâàÿ
ñîîòíîøåíèå \eqref{eq5aa}, ïîëó÷àåì ÷òî
%
\begin{equation}\label{eq1F}
{\rm cap}\,\,f(E) \leqslant
\int\limits_{\varepsilon<|x-x_0|<\varepsilon_0}Q(x)\cdot\eta^n(d(x,
x_0))\, \ dv(x)\end{equation}
%
%
äëÿ ïðîèçâîëüíîé íåîòðèöàòåëüíîé èçìåðèìîé ôóíêöèè $\eta(t)$ òàêîé
÷òî $\int\limits_{\varepsilon}^{\varepsilon_0}\eta(t)dt=1.$
%
%
Ðàññìîòðèì ñåìåéñòâî èçìåðèìûõ ôóíêöèé
%
%
$\eta_{\varepsilon}(t)=\psi_{\varepsilon}(t)/I(\varepsilon,
\varepsilon_0 ),$ $t\in(\varepsilon,\, \varepsilon_0).$ Çàìåòèì, ÷òî
äëÿ $\varepsilon\in (0, \varepsilon_0^{\,\prime})$
%
âûïîëíåíî ðàâåíñòâî
$\int\limits_{\varepsilon}^{\varepsilon_0}\eta_{\varepsilon}(t)\,dt=1.$
%
Òîãäà èç (\ref{eq1F}) ìû ïîëó÷èì, ÷òî äëÿ ëþáîãî $\varepsilon\in (0,
\varepsilon_0^{\,\prime})$
%
\begin{equation}\label{eq8A}
{\rm cap}\,\,f(E)\leqslant\frac{1}{I^n(\varepsilon, \varepsilon_0)}
\int\limits_{\varepsilon<|x-x_0|<\varepsilon_0}Q(x)\cdot\psi_{\varepsilon}^n(d(x,
x_0))\,dv(x).
\end{equation}
%
Èç ñîîòíîøåíèé~\eqref{eq3.7B} è \eqref{eq8A} ñëåäóåò
ñîîòíîøåíèå~\eqref{eq3B}.~$\Box$
\end{proof}
\medskip
Ñïðàâåäëèâî ñëåäóþùåå óòâåðæäåíèå (ñì.~\cite[ïðåäëîæåíèå~4.7]{AS}).
\medskip
\begin{proposition}\label{pr2}
{\sl Ïóñòü $X$ --- $\widetilde{Q}$-ðåãóëÿðíîå ïî Àëüôîðñó
ìåòðè÷åñêîå ïðîñòðàíñòâî ñ ìåðîé{\em,} â êîòîðîì âûïîëíÿåòñÿ
$(1;n)$-íåðàâåíñòâî Ïóàíêàðå òàê{\em,} ÷òî $\widetilde{Q}-1\leqslant
n\leqslant \widetilde{Q}.$ Òîãäà äëÿ ïðîèçâîëüíûõ êîíòèíóóìîâ $E$ è
$F,$ ñîäåðæàùèõñÿ â øàðå $B(x_0, R),$ è íåêîòîðîé ïîñòîÿííîé $C>0$
âûïîëíÿåòñÿ íåðàâåíñòâî
%
$$M(\Gamma(E, F, X))\geqslant \frac{1}{C}\cdot\frac{\min\{{\rm diam}\,E, {\rm diam}\,F\}}{R^{1+n-\widetilde{Q}}}.$$ }
\end{proposition}
Òåïåðü ñôîðìóëèðóåì è äîêàæåì óòâåðæäåíèå î ðàâíîñòåïåííîé
íåïðåðûâíîñòè êîëüöåâûõ $Q$-îòîáðàæåíèé ìåæäó ðèìàíîâûìè
ìíîãîîáðàçèÿìè â <<ìàêñèìàëüíîé>> ñòåïåíè îáùíîñòè.
\medskip
\begin{lemma}\label{lem1}{\sl\,
%
Ïóñòü ${\Bbb M}^n$ è ${\Bbb M}_*^n$ --- ðèìàíîâû ìíîãîîáðàçèÿ{\em,}
$n\geqslant 2,$ ìíîãîîáðàçèå ${\Bbb M}_*^n$ ñâÿçíî{\em,} ÿâëÿåòñÿ
$n$-ðåãóëÿðíûì ïî Àëüôîðñó{\em,} êðîìå òîãî{\em,} â ${\Bbb M}_*^n$
âûïîëíåíî $(1;n)$-íåðàâåíñòâî Ïóàíêàðå. Ïðåäïîëîæèì{\em,} $D$ ---
îáëàñòü â ${\Bbb M}^n$ è $\frak{R}_{x_0, Q, B_R, K}(D)$ ---
ñåìåéñòâî îòêðûòûõ äèñêðåòíûõ êîëüöåâûõ $Q$-îòîá\-ðà\-æå\-íèé
$f\colon D\rightarrow B_R\setminus K$ â òî÷êå $x_0\in D,$ ãäå
$B_R\subset {\Bbb M}_*^n$
--- íåêîòîðûé ôèêñèðîâàííûé øàð ðàäèóñà $R,$ $K$ -- íåâûðîæäåííûé êîíòèíóóì â $B_R.$
Ïóñòü $\varepsilon_0<r_0,$ ãäå øàð $B(x_0, r_0)$ ëåæèò
âìåñòå ñî ñâîèì çàìûêàíèåì â íåêîòîðîé íîðìàëüíîé îêðåñòíîñòè $U$
òî÷êè $x_0.$
Ïðåäïîëîæèì òàêæå{\em,} ÷òî äëÿ íåêîòîðîãî ÷èñëà
$\varepsilon_0^{\,\prime}\in (0, \varepsilon_0)$ è ñåìåéñòâà
íåîòðèöàòåëüíûõ èçìåðèìûõ ïî Ëåáåãó ôóíêöèé
$\{\psi_{\varepsilon}(t)\},$ $\psi_{\varepsilon}\colon (\varepsilon,
\varepsilon_0)\rightarrow [0, \infty],$ $\varepsilon\in\left(0,
\varepsilon_0^{\,\prime}\right),$ âûïîëíåíî
óñëîâèå~\eqref{eq3.7B}{\em,} ãäå íåêîòîðàÿ çàäàííàÿ ôóíêöèÿ
$F(\varepsilon, \varepsilon_0)$ óäîâëåòâîðÿåò óñëîâèþ
$F(\varepsilon, \varepsilon_0)=o(I^n(\varepsilon, \varepsilon_0)),$
à $I(\varepsilon, \varepsilon_0)$ îïðåäåëÿåòñÿ
ñîîòíîøåíèåì~\eqref{eq3AB}.
Òîãäà ñåìåéñòâî îòîáðàæåíèé $\frak{R}_{Q, x_0, B_R, K}(D)$ ÿâëÿåòñÿ
ðàâíîñòåïåííî íåïðåðûâíûì â òî÷êå $x_0.$ }
\end{lemma}
\medskip
\begin{proof}
Ïóñòü $f\in\frak{R}_{x_0, Q, B_R, K}(D)$. Ïîëàãàåì $A:=B(x_0,
r_0)\subset D.$ Çàìåòèì, ÷òî ïðè óêàçàííûõ óñëîâèÿõ $\overline{A}$
ÿâëÿåòñÿ êîìïàêòíûì ïîäìíîæåñòâîì $D.$ Òîãäà ïðè êàæäîì
$0<\varepsilon<r_0$ ìíîæåñòâî $C:=\overline{B(x_0, \varepsilon)}$
ÿâëÿåòñÿ êîìïàêòíûì ïîäìíîæåñòâîì $B(x_0, r_0),$ ïîñêîëüêó $C$ åñòü
çàìêíóòîå ïîäìíîæåñòâî êîìïàêòíîãî ïðîñòðàíñòâà $\overline{A}$
(ñì.~\cite[òåîðåìà~2 ïóíêòà II ãë. 4]{Ku}). Òàêèì îáðàçîì, $E=(A,
C)$ --- êîíäåíñàòîð â ${\Bbb M}^n.$
Ðàññìîòðèì ñåìåéñòâî êðèâûõ $\Gamma_{f(E)}$ äëÿ êîíäåíñàòîðà $f(E)$
â òåðìèíàõ ïðåäëîæåíèÿ $\ref{pr1*!}.$ Çàìåòèì, ÷òî ïîäñåìåéñòâî
íåñïðÿìëÿåìûõ êðèâûõ ñåìåéñòâà $\Gamma_{f(E)}$ èìååò íóëåâîé ìîäóëü,
è ÷òî îñòàâøååñÿ ïîäñåìåéñòâî, ñîñòîÿùåå èç âñåõ ñïðÿìëÿåìûõ êðèâûõ
ñåìåéñòâà $\Gamma_{f(E)},$ ñîñòîèò èç êðèâûõ $\beta\colon [a,
b)\rightarrow f(D),$ èìåþùèõ ïðåäåë ïðè $t\rightarrow b.$ Çàìåòèì,
÷òî óêàçàííûé ïðåäåë ïðèíàäëåæèò ìíîæåñòâó $\partial f(A).$ Èç
ñêàçàííîãî ñëåäóåò, ÷òî
%
\begin{equation}\label{eq1}
M(\Gamma_{f(E)})=M(\Gamma(f(C), \partial f(A), f(A))).
\end{equation}
%
Çàìåòèì, ÷òî $\Gamma(K, f(C), {\Bbb M}_*^n)>\Gamma(f(C),
\partial f(A), f(A))$ (ñì. \cite[òåîðåìà
1, $\S\,46,$ ï.~I]{Ku}), òàê ÷òî ââèäó (\ref{eq32*A})
%
\begin{equation}\label{eq9}
M(\Gamma(f(C), \partial f(A), f(A)))\geqslant M(\Gamma(K, f(C),
{\Bbb M}_*^n))\,.
\end{equation}
%
Ââèäó ïðåäëîæåíèÿ \ref{pr2} ïîëó÷èì:
%
\begin{equation}\label{eq2}
M(\Gamma(K, f(C), {\Bbb M}_*^n))\geqslant
\frac{1}{C_1}\cdot\frac{\min\{{\rm diam}\,f(C), {\rm
diam}\,K\}}{R}\,.
\end{equation}
%
Ïî ëåììå~\ref{lem4} $M(\Gamma_{f(E)})\rightarrow 0$ ïðè
$\varepsilon\rightarrow 0,$ òàê ÷òî ââèäó~\eqref{eq1} è~\eqref{eq2}
ïîëó÷àåì, ÷òî
%
$$\min\{{\rm diam}\,f(C), {\rm diam}\,K\}={\rm diam}\,f(C)$$ ïðè
$\varepsilon\rightarrow 0.$ Èç ñîîòíîøåíèé~\eqref{eq3B}
è~\eqref{eq2} òàêæå âûòåêàåò, ÷òî äëÿ ëþáîãî $\sigma>0$ íàéä¸òñÿ
$\varepsilon_0=\varepsilon_0(\sigma)$ òàê, ÷òî ïðè $\varepsilon\in
(0, \varepsilon_0)$
%
$${\rm diam}\,f(C)\leqslant \sigma,$$
%
÷òî è îçíà÷àåò ðàâíîñòåïåííóþ íåïðåðûâíîñòü ñåìåéñòâà
$\frak{R}_{x_0, Q, B_R, K}(D)$ â òî÷êå $x_0.$~$\Box$
\end{proof}
\medskip{} Ñëåäóþùåå óòâåðæäåíèå âûòåêàåò èç~\cite[ëåììà~4.1]{RSa} è \cite[ñëåäñòâèå~5.1]{ARS}.
\medskip
\begin{proposition}\label{pr3}
{\sl  ïðîèçâîëüíîì ðèìàíîâîì ìíîãîîáðàçèè ${\Bbb M}^n$ ôóíêöèÿ
$Q(x)$ êëàññà $FMO$ â òî÷êå $x_0$ óäîâëåòâîðÿåò
ñîîòíîøåíèþ~\eqref{eq3.7B}{\em,} ãäå ôóíêöèÿ
$G(\varepsilon):=F(\varepsilon, \varepsilon_0)/I^n(\varepsilon,
\varepsilon_0)$ óäîâëåòâîðÿåò óñëîâèþ\/{\em:}
$G(\varepsilon)\rightarrow 0$ ïðè $\varepsilon\rightarrow 0$ è
$\psi_{\varepsilon}(t)\equiv\psi(t):=\frac{1}{t\log\frac{1}{t}}.$}
\end{proposition}
\medskip
{\bf 3. Äîêàçàòåëüñòâî îñíîâíûõ ðåçóëüòàòîâ.} {\it Äîêàçàòåëüñòâî
òåîðåìû~{\em\ref{theor4*!}} âûòåêàåò èç ëåììû~{\em\ref{lem1}} íà
îñíîâàíèè ïðåäëîæåíèÿ~{\em\ref{pr3}}}.~$\Box$
\medskip{}
{\it Ýëåìåíòîì ïëîùàäè} ãëàäêîé ïîâåðõíîñòè $H$ íà
ðèìàíîâîì ìíîãîîáðàçèè ${\Bbb M}^n$ áóäåì íàçûâàòü âûðàæåíèå âèäà
%
$$d\mathcal{A}=\sqrt{{\rm det}\,g_{\alpha\beta}^*}\,du^1\ldots du^{n-1},$$
%
ãäå $g_{\alpha\beta}^*$ --- ðèìàíîâà ìåòðèêà íà $H,$ ïîðîæä¸ííàÿ
èñõîäíîé ðèìàíîâîé ìåòðèêîé $g_{ij}$ ñîãëàñíî ñîîòíîøåíèþ
\begin{equation}\label{eq5}
g_{\alpha\beta}^*(u)=g_{ij}(x(u))\frac{\partial x^i}{\partial
u^{\alpha}} \frac{\partial x^j}{\partial u^{\beta}}.
\end{equation}
%
Çäåñü èíäåêñû $\alpha$ è $\beta$ ìåíÿþòñÿ îò $1$ äî $n-1,$ à $x(u)$
îáîçíà÷àåò ïàðàìåòðèçàöèþ ïîâåðõíîñòè $H$ òàêóþ, ÷òî $\nabla_u x\ne
0.$ Ñïðàâåäëèâî ñëåäóþùåå óòâåðæäåíèå, îáîáùàþùåå òåîðåìó
\ref{theor4*!}.
\medskip
\begin{theorem}\label{th1} {\sl\,
Ïóñòü ${\Bbb M}^n$ è ${\Bbb M}_*^n$ --- ðèìàíîâû ìíîãîîáðàçèÿ{\em,}
$n\geqslant 2,$ ìíîãîîáðàçèå ${\Bbb M}_*^n$ ñâÿçíî{\em,} ÿâëÿåòñÿ
$n$-ðåãóëÿðíûì ïî Àëüôîðñó{\em,} êðîìå òîãî{\em,} â ${\Bbb M}_*^n$
âûïîëíåíî $(1;n)$-íåðàâåíñòâî Ïóàíêàðå. Ïóñòü $B_R\subset {\Bbb
M}_*^n$ --- íåêîòîðûé ôèêñèðîâàííûé øàð ðàäèóñà $R,$
$\overline{B_R}\ne{\Bbb M}_*^n,$ $D$ --- îáëàñòü â ${\Bbb M}^n$ è
$Q\colon D\rightarrow [1, \infty]$ --- ôóíêöèÿ{\em,} èçìåðèìàÿ ïî
Ëåáåãó. Îáîçíà÷èì ÷åðåç $\frak{R}_{x_0, Q, B_R, K}(D)$ ñåìåéñòâî
îòêðûòûõ äèñêðåòíûõ êîëüöåâûõ $Q$-îòîáðàæåíèé $f\colon D\rightarrow
B_R\setminus K$ â òî÷êå $x_0\in D.$ Òîãäà ñåìåéñòâî îòîáðàæåíèé
$\frak{R}_{x_0, Q, B_R, K}(D)$ ÿâëÿåòñÿ ðàâíîñòåïåííî íåïðåðûâíûì â
òî÷êå $x_0\in D,$ åñëè ïðè íåêîòîðîì $\delta(x_0)>0$ âûïîëíÿåòñÿ
ðàâåíñòâî
%
\begin{equation}\label{eq3}
\int\limits_{0}^{\delta(x_0)}\frac{dt}{\left(\int\limits_{S(x_0,
t)}Q(x)\,d\mathcal{A}\right)^{\frac{1}{n-1}}}=\infty.
\end{equation}
}
\end{theorem}
\begin{proof} Äîñòàòî÷íî ïîêàçàòü, ÷òî óñëîâèå~\eqref{eq3} âëå÷¸ò
âûïîëíåíèå óñëîâèÿ~\eqref{eq3.7B} ëåììû~\ref{lem1}. Ìîæíî ñ÷èòàòü,
÷òî $B(x_0, \delta(x_0))$ ëåæèò â íîðìàëüíîé îêðåñòíîñòè òî÷êè
$x_0.$ Ðàññìîòðèì ôóíêöèþ
%
$$
\psi(t)\quad =\quad\left\{
\begin{array}{rr}
\left(\int\limits_{S(x_0,
t)}Q(x)\,d\mathcal{A}\right)^{\frac{1}{1-n}}, & t\in (0, \delta(x_0)),\\
0, & t\not\in (0, \delta(x_0)).
\end{array}
\right.$$
%
Çàìåòèì òåïåðü, ÷òî òðåáîâàíèå âèäà~\eqref{eq3AB} âûïîëíÿåòñÿ ïðè
$\varepsilon_0=\delta(x_0)$ è âñåõ äîñòàòî÷íî ìàëûõ $\varepsilon.$
Äàëåå óñòàíîâèì íåðàâåíñòâî
%
\begin{equation}\label{eq4}
\int\limits_{\varepsilon<d(x, x_0)<\delta(x_0)} Q(x)\psi^n(d(x,
x_0))\,dv(x)\leqslant C\cdot\int\limits_{\varepsilon}^{\delta(x_0)}
\left(\int\limits_{S(x_0,
t)}Q(x)\,d\mathcal{A}\right)^{\frac{1}{1-n}}dt
\end{equation}
%
ïðè íåêîòîðîé ïîñòîÿííîé $C>0.$ Äëÿ ýòîãî ïîêàæåì, ÷òî ê ëåâîé ÷àñòè
ñîîòíîøåíèÿ \eqref{eq4} ïðèìåíèì àíàëîã òåîðåìû Ôóáèíè. Ðàññìîòðèì â
îêðåñòíîñòè òî÷êè $x_0\in S(z_0, r)\subset {\Bbb R}^n$ ëîêàëüíóþ
ñèñòåìó êîîðäèíàò $z^1,\ldots, z^n,$ $n-1$ áàçèñíûõ âåêòîðîâ êîòîðîé
âçàèìíî îðòîãîíàëüíû è ëåæàò â ïëîñêîñòè, êàñàòåëüíîé ê ñôåðå â
òî÷êå $x_0,$ à ïîñëåäíèé áàçèñíûé âåêòîð ïåðïåíäèêóëÿðåí ýòîé
ïëîñêîñòè. Ïóñòü $r, \theta^1,\ldots, \theta^{n-1}$ ñôåðè÷åñêèå
êîîðäèíàòû òî÷êè $x=x(\theta)$ â ${\Bbb R}^n.$ Çàìåòèì, ÷òî $n-1$
ïðèðàùåíèé ïåðåìåííûõ $z^1,\ldots, z^{n-1}$ âäîëü ñôåðû ïðè
ôèêñèðîâàííîì $r$ ðàâíû $dz^1=rd\theta^1,\dots,
dz^{n-1}=rd\theta^{n-1},$ à ïðèðàùåíèå ïåðåìåííîé $z^n$ ïî $r$ ðàâíî
$dz^n=dr.$  òàêîì ñëó÷àå,
%
$$dv(x)=\sqrt{{\rm det\,}g_{ij}(x)}r^{n-1}\,dr d\theta^1\dots
d\theta^{n-1}.$$
%
Ðàññìîòðèì ïàðàìåòðèçàöèþ ñôåðû $S(0, r)$ $x=x(\theta),$
$\theta=(\theta^1,\ldots,\theta^{n-1}),$ $\theta_i\in (-\pi, \pi].$
Çàìåòèì, ÷òî $\frac{\partial x^{\alpha}}{\partial \theta^{\beta}}=1$
ïðè $\alpha=\beta$ è $\frac{\partial x^{\alpha}}{\partial
\theta^{\beta}}=0$ ïðè $\alpha\ne \beta,$ $\alpha,\beta=1,\ldots,
n-1.$ Òîãäà â îáîçíà÷åíèÿõ ñîîòíîøåíèÿ~\eqref{eq5} èìååì:
$g_{\alpha\beta}^*(\theta)=g_{\alpha\beta}(x(\theta))r^2,$
%
$$d\mathcal{A}=\sqrt{\det\, g_{\alpha\beta}(x(\theta))}r^{n-1}d{\theta}^1\ldots d{\theta}^{n-1}.$$
%
Çàìåòèì, ÷òî
\begin{equation}\label{eq6}
\int\limits_{S(x_0,
r)}Q(x)\psi^n(d(x,x_0))\,d\mathcal{A}=\psi^n(r)r^{n-1}\cdot\int\limits_{\Pi}\sqrt{{\rm
det\,}g_{\alpha\beta}(x(\theta))}Q(x(\theta))\,d\theta^{1}\dots
d\theta^{n-1},
\end{equation}
%
ãäå $\Pi=(-\pi, \pi]^{n-1}$ --- ïðÿìîóãîëüíàÿ îáëàñòü èçìåíåíèÿ
ïàðàìåòðîâ $\theta^1,\ldots,\theta^{n-1}.$ Íàïîìíèì, ÷òî â
íîðìàëüíîé ñèñòåìå êîîðäèíàò ãåîäåçè÷åñêèå ñôåðû ïåðåõîäÿò â îáû÷íûå
ñôåðû òîãî æå ðàäèóñà ñ öåíòðîì â íóëå, à ïó÷îê ãåîäåçè÷åñêèõ,
èñõîäÿùèõ èç òî÷êè ìíîãîîáðàçèÿ, ïåðåõîäèò â ïó÷îê ðàäèàëüíûõ
îòðåçêîâ â ${\Bbb R}^n$ (ñì.~\cite[ëåììû~5.9 è 6.11]{Lee}), òàê ÷òî
êîëüöó $\{x\in {\Bbb M}^n: \varepsilon<d(x, x_0)<\delta(x_0)\}$
ñîîòâåòñòâóåò òà ÷àñòü ${\Bbb R}^n,$ â êîòîðîé $r\in (\varepsilon,
\delta(x_0)).$ Ñîãëàñíî ñêàçàííîìó âûøå, ïðèìåíÿÿ êëàññè÷åñêóþ
òåîðåìó Ôóáèíè (ñì., íàïð.,~\cite[ðàçä.~8.1, ãë.~III]{Sa}),
%
%
\begin{multline}\label{eq7}
\int\limits_{\varepsilon<d(x, x_0)<\delta(x_0)} Q(x)\psi^n(d(x,
x_0))\,dv(x)=\\
=\int\limits_{\varepsilon}^{\delta(x_0)}\int\limits_{\Pi} \sqrt{{\rm
det\,}g_{ij}(x)}Q(x)\psi^n(r)r^{n-1}\,d\theta^1\dots
d\theta^{n-1}dr.
\end{multline}
%
%
Ïîñêîëüêó â íîðìàëüíûõ êîîðäèíàòàõ òåíçîðíàÿ ìàòðèöà $g_{ij}$ ñêîëü
óãîäíî áëèçêà ê åäèíè÷íîé â îêðåñòíîñòè äàííîé òî÷êè, òî
$C_2\det\,g_{\alpha\beta}(x)\leqslant\det\,g_{ij}(x)\leqslant
C_1\det\,g_{\alpha\beta}(x).$ Ó÷èòûâàÿ ñêàçàííîå è ñðàâíèâàÿ
\eqref{eq6} è \eqref{eq7}, ïðèõîäèì ê ñîîòíîøåíèþ~\eqref{eq4}. Íî
òîãäà òàêæå
%
$$\int\limits_{\varepsilon<d(x, x_0)<\delta(x_0)}
Q(x)\psi^n(d(x, x_0))dv(x)=o(I^n(\varepsilon, \delta(x_0)))$$
%
ââèäó ñîîòíîøåíèÿ~\eqref{eq3}. Óòâåðæäåíèå òåîðåìû ñëåäóåò òåïåðü èç
ëåììû~\ref{lem1}.~$\Box$
\end{proof}
\medskip
Ââèäó òåîðåìû Àðöåëà--Àñêîëè (ñì., íàïð.,~\cite[ïóíêò~20.4]{Va})
èìååì òàêæå ñëåäóþùåå
\medskip
\begin{corollary}\label{cor2} {\sl\, Ïðåäïîëîæèì{\em,} ÷òî â óñëîâèÿõ
òåîðåìû~{\em\ref{theor4*!}} ìíîãîîáðàçèå ${\Bbb M}_*^n$ ÿâëÿåòñÿ
êîìïàêòíûì. Åñëè $\frak{R}_{D, Q, B_R, K}(D)$ --- ñåìåéñòâî{\em,}
ñîñòîÿùåå èç âñåõ îòêðûòûõ äèñêðåòíûõ îòîáðàæåíèé $f\colon
D\rightarrow B_R\setminus K,$ ÿâëÿþùèõñÿ êîëüöåâûìè
$Q$-îòîá\-ðà\-æå\-íè\-ÿ\-ìè â êàæäîé òî÷êå $x_0\in D$ è{\em,} êðîìå
òîãî{\em,} óñëîâèå~\eqref{eq3} âûïîëíåíî â êàæäîé òî÷êå $x_0\in D,$
òî êëàññ $\frak{R}_{D, Q, B_R, K}(D)$ îáðàçóåò íîðìàëüíîå ñåìåéñòâî
îòîáðàæåíèé. }
\end{corollary}
\begin{thebibliography}{99}
{\small
\bibitem{ARS} {\it Àôàíàñüåâà~Å.Ñ., Ðÿçàíîâ~Â.È., Ñàëèìîâ Ð.Ð.}
Îá îòîáðàæåíèÿõ â êëàññàõ Îðëè÷à-Ñîáîëåâà íà ðèìàíîâûõ
ìíîãîîáðàçèÿõ // Óêð. ìàò. âåñòíèê. -- 2011. -- \textbf{8}, ¹ 3. --
Ñ.~319--342.
\bibitem{BGMV} {\it Bishop~C.J., Gutlyanski\u\i~V.Ya., Martio~O. and Vuorinen~M.}
On conformal dilatation in space // Int. J. Math. Math. Sci. --
2003. -- \textbf{22}. -- P. 1397--1420.
\bibitem{Cr$_2$} {\it Cristea~M.} Open discrete mappings having
local $ACL^n$ inverses // Complex Variables and Elliptic Equations.
-- 2010. -- \textbf{55}, no.~1--3. -- P.~61--90.
\bibitem{GRSY} {\it Gutlyanskii~V.~Ya., Ryazanov~V.~I., Srebro~U., Yakubov~E.}
The Beltrami Equation: A Geometric Approach. -- Developments in
Mathematics, vol. 26. New York etc.: Springer, 2012.
\bibitem{HP} {\it Holopainen~I. and Pankka~P.} Mappings of
finite distortion: global homeomorphism theorem // Annal. Acad. Sci.
Fenn. Math. -- 2004. -- \textbf{29}. -- P.~59--80.
\bibitem{IM} {\it Iwaniec T., Martin G.} Geometrical Function Theory and
Non-Linear Analysis. -- Oxford: Claren\-don Press, 2001.
\bibitem{KRSS} {\it Êîâòîíþê~Ä.À., Ðÿçàíîâ~Â.È., Ñàëèìîâ~Ð.Ð.,
Ñåâîñòüÿíîâ~Å.À.} Ê òåîðèè êëàññîâ Îðëè÷à--Ñîáîëåâà // Àëãåáðà è
àíàëèç. -- 2013. -- \textbf{25}, ¹ 6. -- Ñ.~50--102
\bibitem{MRSY} {\it Martio O., Ryazanov V., Srebro U. and Yakubov
E.} Moduli in Modern Mapping Theory. -- New York: Springer Science +
Business Media, LLC, 2009.
\bibitem{RSa} {\it Ðÿçàíîâ~Â.È., Ñàëèìîâ~Ð.Ð.} Ñëàáî ïëîñêèå
ïðîñòðàíñòâà è ãðàíèöû â òåîðèè îòîáðàæåíèé // Óêð. ìàòåì. âåñòíèê.
-- 2007. -- \textbf{4}, ¹ 2. -- Ñ.~199--234.
\bibitem{Af$_1$} {\it Ñìîëîâàÿ~Å.Ñ.} Ãðàíè÷íîå ïîâåäåíèå
êîëüöåâûõ $Q$-ãîìåîìîðôèçìîâ â ìåòðè÷åñêèõ ïðîñòðàíñòâàõ // Óêð.
ìàò. æóðí. -- 2012. -- \textbf{62}, ¹ 5. -- Ñ.~682--689.
\bibitem{Re} {\it Ðåøåòíÿê Þ.Ã.} Ïðîñòðàíñòâåííûå îòîáðàæåíèÿ ñ îãðàíè÷åííûì
èñêàæåíèåì. -- Íîâîñèáèðñê: Íàóêà, 1982.
\bibitem{Mikl$_1$} {\it Ìèêëþêîâ~Â.~Ì.} Îá óñòðàíèìûõ
îñîáåííîñòÿõ êâàçèêîíôîðìíûõ îòîáðàæåíèé â ïðîñòðàíñòâå // Äîêë. ÀÍ
ÑÑÑÐ. -- 1969. -- \textbf{188}, ¹~3. -- Ñ.~525--527.
\bibitem{Mikl$_2$} {\it Ìèêëþêîâ~Â.~Ì.} Ãðàíè÷íûå ñâîéñòâà
$n$-ìåðíûõ êâàçèêîíôîðìíûõ îòîáðàæåíèé // Äîêë. ÀÍ ÑÑÑÐ. -- 1970. --
\textbf{193}, ¹ 3. -- Ñ.~525--527.
\bibitem{Ri} {\it Rickman S.} Quasiregular mappings. -- Results in Mathematic and
Related Areas (3), 26. Berlin: Springer-Verlag, 1993.
\bibitem{Va} {\it V\"{a}is\"{a}l\"{a} J.} Lectures on $n$-Dimensional Quasiconformal
Mappings. -- Lecture Notes in Math. 229, Berlin etc.:
Springer--Verlag, 1971.
\bibitem{Pol} {\it Ïîëåöêèé Å.À.} Ìåòîä ìîäóëåé äëÿ íåãîìåîìîðôíûõ êâàçèêîíôîðìíûõ
îòîáðàæåíèé // Ìàòåì. ñá. -- 1970. -- \textbf{83}, ¹ 2. -- Ñ.
261--272.
\bibitem{Sev$_4$} {\it Ñåâîñòüÿíîâ~Å.À.} Îáîáùåíèå îäíîé ëåììû
Å.À. Ïîëåöêîãî íà êëàññû ïðîñòðàíñòâåííûõ îòîáðàæåíèé // Óêð. ìàòåì.
æ. -- 2009. -- \textbf{61}, ¹ 7. -- Ñ.~969--975.
\bibitem{Lee} {\it Lee~J.M.} Riemannian Manifolds: An
Introduction to Curvature. -- New York: Springer, 1997.
\bibitem{PSh} {\it Ïîçíÿê~Ý.Ã., Øèêèí~Å.Â.} Äèôôåðåíöèàëüíàÿ
ãåîìåòðèÿ: ïåðâîå çíàêîìñòâî. -- Ìîñêâà: Èçä-âî ÌÃÓ, 1990.
\bibitem{Fu} {\it Fuglede~B.} Extremal length and functional
completion // Acta Math. -- 1957. -- \textbf{98}. -- P.~171--219.
\bibitem{SS} {\it Ñàëèìîâ~Ð.Ð. è Ñåâîñòüÿíîâ~Å.À.} Òåîðèÿ
êîëüöåâûõ $Q$-îòîáðàæåíèé â ãåîìåòðè÷åñêîé òåîðèè ôóíêöèé // Ìàòåì.
ñáîðíèê. -- 2010. -- \textbf{201}, ¹ 6. -- Ñ.~131--158.
\bibitem{He} {\it Heinonen~J.} Lectures on Analysis on metric
spaces. -- New York: Springer Science+Business Media, 2001.
\bibitem{Maz} {\it Ìàçüÿ~Â.Ã.} Ïðîñòðàíñòâà Ñîáîëåâà. --
Ëåíèíãðàä: Èçäàòåëüñòâî ëåíèíãðàäñêîãî óíèâåðñèòåòà, 1985. -- 416 ñ.
\bibitem{Wh} {\it Whyburn~G.T.} Analytic topology. --
Rhode Island: American Mathematical Society, 1942.
\bibitem{AS} {\it Adamowicz~T. and Shanmugalingam~N.}
Non-conformal Loewner type estimates for modulus of curve families
// Ann. Acad. Sci. Fenn. Math. -- 2010. -- \textbf{35}. --
P.~609-626.
\bibitem{Ku} {\it Êóðàòîâñêèé~Ê.} Òîïîëîãèÿ, ò.~2. -- Ì.: Ìèð, 1969.
\bibitem{Sa} {\it Ñàêñ~Ñ.} Òåîðèÿ èíòåãðàëà. -- Ì.:
Èçäàòåëüñòâî èíîñòðàííîé ëèòåðàòóðû, 1949.}
\end{thebibliography}
\medskip
\noindent{{\bf Äåíèñ Ïåòðîâè÷ Èëüþòêî} \\
ÌÃÓ èìåíè Ì.\,Â.\,Ëîìîíîñîâà \\
êàôåäðà äèôôåðåíöèàëüíîé ãåîìåòðèè è ïðèëîæåíèé, ìåõìàò ôàêóëüòåò,\\
Ëåíèíñêèå ãîðû, ÃÇ ÌÃÓ, ÃÑÏ-1, ã.~Ìîñêâà, Ðîññèÿ, 119991\\
òåë. +7 495 939 39 40, e-mail: ilyutko@yandex.ru}
\medskip
\noindent{{\bf Åâãåíèé Àëåêñàíäðîâè÷ Ñåâîñòüÿíîâ} \\
Æèòîìèðñêèé ãîñóäàðñòâåííûé óíèâåðñèòåò èì.\ È.~Ôðàíêî\\
êàôåäðà ìàòåìàòè÷åñêîãî àíàëèçà, óë. Áîëüøàÿ Áåðäè÷åâñêàÿ, 40 \\
ã.~Æèòîìèð, Óêðàèíà, 10 008 \\ òåë. +38 066 959 50 34 (ìîá.),
e-mail: esevostyanov2009@mail.ru}
\end{document}