CC BY
26
УДК 514.174.3 ББК 22.151.5
О ЛИНЕЙНЫХ ПРООБРАЗАХ НЕПРЕРЫВНЫХ ОТОБРАЖЕНИЙ, СОХРАНЯЮЩИХ ОРИЕНТАЦИЮ СИМПЛЕКСОВ
Клячин Владимир Александрович
Доктор физико-математических наук, доцент кафедры компьютерных наук и экспериментальной математики Волгоградского государственного университета klchnv@mail.ru, knem03@mail.ru
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Чебаненко Никита Алексеевич
Аспирант кафедры компьютерных наук и экспериментальной математики Волгоградского государственного университета windbagy@gmail.com, knem03@mail.ru
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Аннотация. В статье описаны дифференциальные свойства непрерывных отображений f : D ^ Rn, которые сохраняют ориентацию симплексов из некоторого, заранее данного подмножества множества S(D).
Ключевые слова: ориентация треугольников, ориентация симплексов, линейные отображения, контингенция множества, монотонные отображения.
Классическая теорема Лебега [2] утверждает, что неубывающая функция у = f(ж) на отрезке [а,Ь] почти всюду дифференцируема. Это же справедливо и для любых моно-4тонных функций. В многомерном случае понятие монотонности отображения является g неоднозначным. Например, отображение / : D ^ Rn называется монотонным по Лебегу, ^ если
к osc{/, D'} < osc{/, dD'}
о
® для всякой подобласти D С D. Здесь
к га
£ osc{f,D'} = sup If(х) - f(y)l
x,yED'
< PQ
ж В работе В.М. Миклюкова [1] было доказано, что монотонное по Лебегу отоб-
| ражение, принадлежащее весовому пространству Соболева, почти всюду имеет полный
^ дифференциал при определенных условиях на весовую функцию. С другой стороны,
@ понятию монотонности можно придать и другую форму.
Рассмотрим сначала одномерный случай. Будем говорить, что невырожденный отрезок [Ро,Р!] числовой прямой имеет положительную ориентацию, если Ро < Р!, и отрицательную ориентацию, если Ро > Р!. Тогда функция у = f (х), заданная на отрезке [а,Ь], является неубывающей, если f (х) сохраняет ориентацию каждого отрезка [Ро,Р\] С [а,Ь]. Пусть в Кп,п > 1 заданы точки Ро, Р!,..., Рп. Выпуклую оболочку этих точек назовем симплексом Б = Б(Ро,...,Рп). Симплекс называется невырожденным, если векторы Р! — Ро, Р2 — Ро,..., Рп — Ро линейно независимы или, что тоже самое,
¿вЬ(Рг — Ро, Р2 — Ро,..., Рп — Ро) = 0.
Здесь ёе^!, ..., обозначает определитель матрицы, столбцами которой являются векторы ...,Сп е Кп.
Будем говорить, что невырожденный симплекс Б(Р0, Р!,..., Рп) имеет положительную (отрицательную) ориентацию, если ¿еЬ(Р! — Р0, Р2 — Р0, ...,Рп — Р0) > 0 (¿еЬ(Р! — — Ро,Р2 — Ро,...,Рп — Ро) < 0). Пусть В С Кп — область. Обозначим через 5(Б) совокупность всех симплексов с вершинами из области И.
Зададимся вопросом определения дифференциальных свойств непрерывных отображений f : И ^ Яп, которые сохраняют ориентацию симплексов из некоторого, заранее данного подмножества множества Б (И). Обозначим множество непрерывных отображений / : И ^ Яп, сохраняющих ориентацию симплексов 5 е В С 5 (И) через С в (О). Имеет место следующая теорема.
Теорема 1. Если отображение / е Сз{о)(0), то / — аффинное преобразование.
Доказательство. Таким образом, нам нужно доказать, что если непрерывное отображение сохраняет ориентацию произвольного симплекса с вершинами из И, то оно представляет собой аффинное преобразование. Предположим противное. В таком случае найдется некоторая гиперплоскость П С Яп, прообраз f-!(П) которой не лежит ни в какой гиперплоскости. Тогда в прообразе можно найти невырожденный симплекс 5 = 5(Ро,...Рп), Рг е f-!(П), г = 0,1,..., п. Заметим, что симплекс 5^(Ро),/(Р!),..., f (Рп)) является вырожденным. Поскольку симлекс Б(Ро,Р!,...,Рп) невырожденный, то найдется число 8 > 0 такое, что — Р)| > 8 для всех г = ],г,] = 0,...,п. Пусть £ вектор единичной нормали к П и И > 0 — произвольное число. Предположим, что (п — 1)-мерный симплекс Б(/(Ро),...,/(Рп-!)) является невырожденным. Рассмотрим два симплекса Б(/(Ро),...,/(Рп) ± И£). Эти симплексы невырождены, причем имеют противоположные ориентации
¿еЬ(/(Р!) — f (Ро ),...,! (Рг-!) — f (Ро ), f (Рп) — f (Ро) ± К) =
= ¿еЬ(/(Р!) — f (Ро),...,!(Рг-!) — f (Ро),/(Рп) — f (Ро)) ± ± И • ¿еЬ((/(Р!) — f (Ро),...,!(Рп-!) — f (Ро),£)) = = ± И • ¿еЬ((/(Р!) — f (Ро),...,!(Рп-!) — f (Ро),0).
В силу непрерывности f в точке Рп можно найти такое положительное И > 0, что прообразы Р± точек f (Рп) ± лежат в ^-окрестности точки Рп. В силу выбора 8 мы можем сделать вывод о том, что ориентации симплексов Б(Ро, ...Рп-!, Р±) совпадают. А поскольку образы этих симплексов имеют противоположную ориентацию, то получаем
противоречие с предположением f Е Cs(d)(D). Если симплекс S(f(P0),...,f(Pn-i) окажется вырожденным, то в предположении невырожденности (п — 2)-мерного симплекса S(f(P0),...,f(Рп-2)) будем еще сдвигать точку f(Рп-1) в плоскости П вдоль нормали к симплексу S(f(P0),...,f(Рп-2)). Из похожих соображений найдем два симплекса противоположной ориентации, имеющих в прообразе симплексы одинаковой ориентации, что опять будет противоречить условию f Е Cs(d)(D). Поступая по индукции, мы придем к случаю, когда f(Po) = f(Pi) = ... = f (Рп).
Пусть е1,...еп — ортонормированный базис в Rn и h > 0. Рассмотрим два симплекса с вершинами в точках S(f (Р0) + hei,..., f (Р0) + hen-i, f (Р0) ± hen). Ясно, что их ориентации противоположны. В силу непрерывности f в точке Р0 можно подобрать такое h> 0, что прообраз вершины f (Р0) ± hei лежит в ^-окрестности точки Р.¿. В этом случае, как и выше, мы можем сделать вывод, что симплексы с вершинами, являющимися прообразами вершин f (Р0) + hei,...,f (Р0) + hen-i,f (Р0) ± hen, имеют одинаковую ориентацию. Получим противоречие с условием f Е Cs(d)(D). Значит прообраз всякой гиперплоскости лежит в некоторой гиперплоскости. Отсюда следует аффинность отображения f. Теорема доказана.
Теорема 2. Пусть некоторое подмножество симплексов Н с 5(Б) открыто и f Е Е С (И). Рассмотрим некоторую гиперплоскость Ь с Кп. Тогда не существует симплекса в(Р0,.., Рп) Е Н такого, что Р^ Е /-1(Ь) для г = 0,1, ...,п.
Доказательство. Предположим противное, то есть предположим, что найдется 5(Ро,.., Рп) Е Н такой, что Рг Е /-1(Ь) г = 0,1, ...,п.
Пусть Р[ = f (Д). Тогда 5(Р0,...,Р'п) — вырожденный симплекс. Для всех е > 0, не ограничивая общности, будем считать, что симплексы
= 5(Р0,..., Рп-1,Рп ± е£), где С — нормаль к Ь невырождены. Ясно, что ориентации этих симплексов противоположны. Положим
М± = и Е f-1(Р^ ± еО].
1>£>0
Множества М± замкнуты, причем Рп Е М±.
Рассмотрим окрестность V(Рп) точки Рп, такую, что УР Е V(Рп) симплекс Б(Р0,..., Рп-1, Р) имеет ту же ориентацию, что и симплекс Б(Р0,..., Рп). Поскольку множество Н открыто, то найдется окрестность и (Б (Р0,...,Рп)) с Н .В частности, можно найти такую окрестность V' (Рп) с V (Рп), что УР Е V' (Рп) Б (Ро,..., Рп-и Р) Е и (ЭД,..., Рп)).
Пусть
Р+ е М+ П{У(Рп)\Рп], Р~ Е М- П {V'(Рп)\Рп].
Таким образом, симплексы S (Р0,..., Рп-1, Р+) и S (Р0,...,Рп-1 ,Р ) принадлежат Н и имеют одинаковую ориентацию. Так как Р± е Мто Зе+,е- > 0 такие, что f (Р+) = РП + • с, f (Р-) = РП - е- • с. Но симплексы 5(Р',..., P'n-i,P'n + е+ • £) и S (Р^ ,..,РП-1, РП — £- • С) имеют разные ориентации. Таким образом, мы пришли к противоречию с условием теоремы о том, что f Е С(Н). Теорема доказана.
Перейдем к рассмотрению случая п = 2. Рассмотрим два числа ж/2 < а < ¡3 < ж. Через Sa,¡з(D) С S(D) обозначим множество треугольников с тупым углом 7 таким, что
а < ft.
Теорема 3. Пусть отображение f Е CSaP(d)(D), где D область в R2. Тогда, если прообраз прямой L С R2 нигде не плотен, то он представим в виде объединения счетного или конечного числа локально-липшицевых кривых.
Доказательство. Пусть L — прямая и ее прообраз f-1(L) нигде не плотен. Из теоремы 2 видно, что на прообразе нельзя найти тройку точек Р0,Р1,Р2, образующую треугольник из Sa(D). Из этого следует, что контингенция множества f-1(L) в любой своей точке не может содержать два луча с углом 7 между ними, для которого выполняется неравенство ж — ft < 7 < ж — а. Значит в каждой точке контингенция множества f-1(L) не есть вся плоскость. Тогда, согласно теореме 3.6 из [3], получаем требуемое утверждение непосредственно.
Результаты данной работы анонсированы в [4].
СПИСОК ЛИТЕРАТУРЫ
1. Миклюков, И. П. Введение в негладкий анализ / И. П. Миклюков. — Волгоград : Изд-во ВолГУ, 2008. — 422 с.
2. Натансон, И. П. Теория функций вещественной переменной / И. П. Натансон. — М. : Наука, 1974. — 480 с.
3. Сакс, С. Теория интеграла / С. Сакс. — М. : Изд-во иностр. лит., 1949. — 495 с.
4. Чебаненко, Н. А. О линейных прообразах непрерывных отображений, сохраняющих ориентацию треугольников / Н. А. Чебаненко, В. А. Клячин // Научная дискуссия: вопросы математики, физики, химии, биологии. — 2013. — № 8. — С. 6-10.
REFERENCES
1. Miklyukov I.P. Vvеdеniе v mgladkiy analiz [Introduction to Nonsmooth Analysis]. Volgograd, Izd-vo VolGU, 2008. 422 p.
2. Natanson I.P. Tеoriya funktsiy vеshchеstvеnnoy pеrеmеnnoy [Theory of Functions of Real Variable]. Moscow, Nauka Publ., 1974. 480 p.
3. Saks C. Tеoriya intеgrala [The Theory of Integral]. Moscow, Izd-vo inostr. lit., 1949. 495 p.
4. Chebanenko N.A., Klyachin V.A. O lineynykh proobrazakh nepreryvnykh otobrazheniy, sokhranyayushchikh orientatsiyu treugolnikov [About Linear Prototypes of Continuous Maps, Which Preserve Orientation of Triangles]. Nauchnaya diskussiya: voprosy matеmatiki, fiziki, khimii, biologii. 2013, no. 8, pp. 6-10.
ABOUT LINEAR PREIMAGES OF CONTINUOUS MAPS, THAT PRESERVE
ORIENTATION OF TRIANGLES
Klyachin Vladimir Ateksandrovich
Doctor of Physical and Mathematical Sciences, Associate Professor, Department of Computer Science and Experimental Mathematics, Volgograd State University klchnv@mail.ru, knem03@mail.ru
Prosp. Universitetsky, 100, 400062 Volgograd, Russian Federation
Chеbanеnko Nikita Alеksееvich
Postgraduate Student, Department of Computer Science and Experimental Mathematics, Volgograd State University windbagy@gmail.com, knem03@mail.ru
Prosp. Universitetsky, 100, 400062 Volgograd, Russian Federation
Abstract. The article describes the differential properties of continuous mappings f : D ^ Rn, which retain the orientation of some simplexes in advance of this subset of S(D). Such mappings represent a natural generalization of the class of monotone functions of one variable. In this paper we prove that the mapping monotonic in this sense have to be affine. In addition, we prove a generalization of this result, provided that the map preserves the orientation of an open family of simplexes. As a consequence, we obtain a result on the structure of the inverse image of a straight monotone mapping of plane. Namely, the main result is Theorem.
^eorem Let f : D ^ R2 be mapping preserves the orientation of triangles with obtuse angle KaK^KfiK-n. Then if the inverse image of a
straight line L is nowhere dense, then L is union of a finite or countable number of locally Lipschitz curves.
Key words: orientation of triangle, orientation of simplex, linear maps, set contingency, monotone mappings.
