CC BY
25
ISSN 1810-0198. Вестник Тамбовского университета. Серия Естественные и технические науки
Том 23, № 121
2018
УДК 517.988.63. 512.562
DOL 10.20310/1810-0198-2018-23-121-10-16
ОБ УСЛОВИЯХ СУЩЕСТВОВАНИЯ ТОЧЕК СОВПАДЕНИЯ ОТОБРАЖЕНИЙ В ЧАСТИЧНО УПОРЯДОЧЕННЫХ
ПРОСТРАНСТВАХ
© С. Бенараб, Е. С. Жуковский
ФГБОУ ВО «Тамбовский государственный университет им. Г.Р. Державина» 392000, Российская Федерация, г. Тамбов, ул. Интернациональная. 33 El-mail: benarab.sarraa@gmail.com. zukovskys@mail.ru
Аннотация. A.B. Арутюновым, E.G. Жуковским, С.Е. Жуковским исследованы точки совпадения отображений частично упорядоченных пространств (см. Topology and its Applications, 2015, vol. 179, no. 1. pp. 13-33); в частности, доказано что упорядочение накрывающее и монотонное отображения, действующие из частично упорядоченного пространства (X, ) в частично упорядоченное пространство (У, ^^) имеют точку совпадения. Показано, что условия этого утверждения можно ослабить: бинарное отношение >; , не обязано быть порядком. Приведен соответствующий результат и демонстрируется пример отображений, удовлетворяющих его условиям, но к которым не применимы результаты цитируемой работы.
Ключевые слова: точка совпадения; частично упорядоченное пространство; накрывающее отображение: монотонное отображение
Введение
В работах [1]-[4] предложено поиятие накрывания для отображений, действующих в частично упорядоченных пространствах, с использованием этого понятия доказаны теоремы о точках совпадения отображений, из теорем о точках совпадения в частично упорядоченных пространствах выведены известные теоремы о неподвижной точке монотонного отображения в частично упорядоченном пространстве, а также теорема Арутюнова (см. [5]) о точках совпадения в метрических пространствах. В работах [6], [7] определено и исследовано множество упорядоченного накрывания отображений, на основании этих результатов получены аналоги теоремы Чаплыгина о неравенстве для неявных дифференциальных и интегральных уравнений.
В настоящей работе показано, что условия теорем о точках совпадения работ [1], [3] можно ослабить и не требовать, чтобы бинарное отношение в пространстве Y было отношением порядка.
Работа выполнена при поддержке Российского фонда фундаментальных исследований (проекты №№ 17-01-00553, 16-01-00386).
1. Теорема о точках совпадения отображений
Пусть задано частично упорядоченное пространство X = (X, )- Для элемента и е X обозначим Ох{и) = {х е X : 1^11). Заметим, что
УхеОх(и) Ох(х)^Ох(и). (1.1)
Пусть также задано непустое множество У, на котором определено бинарное отношение У е У"2, являющееся рефлексивным (то есть для любого у е У выполнено уУ у). Отношение Ь может не быть ни антисимметричным ни транзитивным. Для элемента ги е У обозначим О у (и>) = {у е X : В силу отсутствия транзитив-
ности бинарного отношения Уу соотношение, аналогичное (1.1), для О у (ш) может не выполняться.
На отображения, действующие из X в У, можно распространить определения, используемые для отображений частично упорядоченных пространств, в том числе определение свойства упорядоченного накрывания из [1].
Определение 1.1. Отображение / : X —> У называем изотопным, если для любых Х1,х2еХ таких, что х1>^хх2, выполнено /(ха)У^ /(х2).
Определение 1.2. Отображение / : X —> У называем (упорядоченно) накрывающим множество IV С У, если
Ухо е X У у е \У =>■ ^хеХ }{х) = у и (1.2)
Пусть заданы отображения ф,<р : X —> У. Для произвольного жо £ А' определим множество
Х(х0, ф, <р) = Ох Ы П ф'1 у Ох Ы {{ = {х е X : жг<х х0, ф(х) е (р Ох (х0) {}
и обозначим через 5(жо, ф, ф) совокупность цепей таких, что
5 С ^(хо Ух е Б ф(х)Уу(р(х), Ух1,х2еБ х2~<хх1 =Ф- ф(х2)^у(р(х1).
Приведем утверждение о точках совпадения отображений, аналогичное теореме 1 из [1], но в котором не требуется, чтобы У было частично упорядоченным пространством. Напомним, что точкой совпадения отображений ф,(р называют элемент е X такой, что =
Теорема 1.1. Пусть для некоторого элемента хо е X умеет место неравенство ф(х0) У и выполнены следующие условия:
(а) отображение ф : X —» У является накрывающим множество IV = Ох{х0){;
(б) отображение <р : X —> У является изотопным;
(с) для любой цепи Б Е $(хо, ф, ф) существует элемент и Е X такой, что
Ух Е Б и^<хх, ф(и)Ууф(и).
Тогда существует точка совпадения отображений ф, принадлежащая Ох(хо), то есть справедливо соотношение
^ЕХ : ф(0 = <р(£) и^хх0.
Доказательство аналогично доказательству [1; теорема 1|. При доказательстве [1; теорема 1| на множестве
II = {хе Х(х0,ф,<р) : ф(х)>:у(р(2:)}
определяется бинарное отношение < следующим образом:
Ущ,П2 ЕЙ и2 <! Щ "О- и2 = Щ ИЛИ ЫФ{и2)^у<р(и1-)-
В условиях [1; теорема 1| отношение < является порядком на II, однако, в условиях данного утверждения отношение < может не являться транзитивным, поскольку таким свойством не обладает отношение X . Поэтому при доказательстве данного утверждения мы определяем иной порядок:
Ущ:и2 € и и2 ^ щ -о- и2 = щ или Зж^«1 : ф(и2)^<у1р(х).
В остальном рассуждения, устанавливающие справедливость настоящего утверждения, повторяют доказательство [1; теорема 1]. □
Приведем примеры отображений ф, <р, действующих из частично упорядоченного пространства во множество, не являющееся частично упорядоченным, удовлетворяющих условиям полученного утверждения. К таким отображениям нельзя применить результаты [1], тем не менее, теорема 1 гарантирует существование точки совпадения.
В примере 2.1 бинарное отношение на У не является транзитивным.
Пример 2.1. Определим множество X = {ю, х1, щ, х2, и21...}, на котором зададим частичный порядок, полагая для натуральных г < з выполненными неравенства иг^х а элементы х{, и3 при любых j полагаем несравнимыми.
Далее, определим множество У = {г, у\, Уз} и 11а 11СМ зададим бинарное отношение
Это отношение не обладает свойством транзитивности (так как у2, Уг Уз? по
У\ Уз ) таким образом, множество У не является упорядоченным. Определим отображение ц> : X —» У соотношениями:
Это отображение изотопное, то есть выполнено условие (Ь) теоремы 1.1.
Теперь определим отображение ф : X —> У следующим образом. Каждому натуральному г поставим в соответствие г € {1,2,3} так, что г = г(гпос13). Полагаем
2. Примеры
<р(х 1) = У2, <р(х2) = Уз, <р{х з) = = ■ ■ ■ = г,
1) = Уз, <р(и2) = У1, (£>(из) = = ... = г, <р(ш) = г.
Уг = 1,2,... ф{хг) = ф(щ) = щ, ф(т) = г.
Это отображение является накрывающим. Действительно, если у Е Y удовлетворяет неравенству у<ущ = ф(х,), то у = или у = z. В первом случае для х = xi+i выполнено (1.2), так как а^ и ф) = у; во втором случае для х = w также
очевидно выполнение соотношения (1.2). Аналогично проверяется соотношение (1.2) для У~<у Щ = ф{щ)- Итак, выполнено условие (а) теоремы 1.1.
Справедливость условия (с) теоремы 1.1 следует из того, что любая цепь S С X имеет нижнюю границу го, для которой справедливо ф(w) = <p(w).
Наконец, для элемента хг Е X выполнено ф{хj) = у\ Уу у2 = tp(xj). Это соотношение завершает проверку условий теоремы 1.1.
В следующем примере бинарное отношение на Y не является антисимметричным.
Пример 2.2. Зададим множества А = {w, хг,, х2,...}, Y = {z, у2}- Определим на множестве А упорядоченность, полагая, что выполнено Xi>- Xj>- w при любых натуральных г < j. Пространство А = (А, Ух) линейно упорядочено. На Y определим бинарное отношение = }(sh,!b)i (У2,Уг), (z,z), (;yuyt), (yuz), i = 1,2f. Это отношение не обладает свойством антисимметричности (так как и y2clYyi),
таким образом, множество Y не является упорядоченным.
Каждому натуральному г поставим в соответствие г Е {1,2} так, что г = ¿(mod 2). Определим отображения ф, (р : X —> Y соотношениями:
Vi =1,2,... ф(х1) = уъ ф(т) = z-, if(xi) = yW[l tp(w)=z.
При таком определении отображение ф является накрывающим (проверка не отличается от проверки накрывания отображения ф в примере 2.1), а отображение <р — изотопным. Таким образом, выполнены условия (а), (6) теоремы 1.1.
Как и в примере 2.1, справедливость условия (с) теоремы 1.1 следует из того, что любая цепь S С А имеет нижнюю границу w, для которой справедливо ф(уи) = <р{ш). И наконец, для элемента Xj Е X выполнено ф(х]_) = У\УуУ2 = f4a'i)■ Итак, все условия теоремы 1.1 выполнены.
В примерах 2.1, 2.2 отображения ф, (р, конечно, имеют точки совпадения, и это гарантируется выполнением условий теоремы 1.1. Однако, множество Y не является частично упорядоченным, что не позволяет воспользоваться результатами [3].
СПИСОК ЛИТЕРАТУРЫ
1. Arutyunov А. V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for mappings in partially ordered spaces // Topology and Its Applications. 2015. Vol. 179. № 1. P. 13-33. DOI: 10.1016/j.topol. 2014.08.013.
2. Arutyunov A. V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for set-valued mappings in partially ordered spaces // Topology and Its Applications. 2016. Vol. 201. P. 330-343. DOI: 10.1016/j.topol.2015.12.044.
3. Арутюнов A.B., Жуковский E.C., Жуковский C.E. О точках совпадения отображений в частично упорядоченных пространствах // Доклады Академии наук. 2013. Т. 453. № 5. С. 475478.
4. Арутюнов А.В., Жуковский Е.С., Жуковский С.Е. Точки совпадения многозначных отображений в частично упорядоченных пространствах // Доклады Академии наук. 2013. Т. 453. № 6. С. 595-598.
5. Арутюнов А.В. Накрывающие отображения в метрических пространствах и неподвижные точки // Доклады Академии наук. 2007. Т. 416. № 2. С. 151-155.
6. Жуковский Е.С. Об упорядоченно накрывающих отображениях и неявных дифференциальных неравенствах // Дифференциальные уравнения. 2016. Т. 52. № 12. С. 1610-1627.
7. Жуковский Е.С. Об упорядоченно накрывающих отображениях и интегральных неравенствах типа Чаплыгина // Алгебра и анализ. 2018. Т. 30. № 1. С. 96-127.
Поступила в редакцию 15 января 2018 г.
Прошла рецензирование 06 февраля 2018 г.
Принята в печать 20 февраля 2018 г.
Конфликт интересов отсутствует.
Бенараб Сарра, Тамбовский государственный университет им. Г.Р. Державина, г. Тамбов, Российская Федерация, аспирант, кафедра функционального анализа, e-mail: benarab.sarra@gmail.com
Жуковский Евгений Семенович, Тамбовский государственный университет им. Г.Р. Державина, г. Тамбов, Российская Федерация, доктор физико-математических наук, профессор, директор научно-исследовательского института математики, физики и информатики, е-mail: zukovskys@mail.ru
Для цитирования: Бенараб С., Жуковский Е.С. Об условиях существования точек совпадения отображений в частично упорядоченных пространствах // Вестник Тамбовского университета. Серия Естественные и технические науки. Тамбов, 2018. Т. 23. № 121. С. 10-16. БОТ: 10.20310/1810-0198-2018-23-121-10-16
DOI: 10.20310/1810-0198-2018-23-121-10-16
ABOUT THE CONDITIONS OF EXISTENCE COINCIDENCE POINTS FOR MAPPING IN PARTIALLY ORDERED SPACES
© S. Benarab, E. S. Zhukovskiy
Tambov State University named after G.R. Derzhavin 33 Internatsionalnaya St., Tambov 392000, Russian Federation E-mail: benarab.sarra@gmail.com. zukovskys@mail.ru
Abstract. A.V. Arutyunov, E.S. Zhukovsky. S.E. Zhukovskii studied the coincidence points for mappings of partially ordered spaces in particular, it was proved that an covering and monotone mapping, acting from a partially ordered space (X, >: ) to a partially ordered space (Y, ), have a coincidence point. It is shown that the conditions of this assertion can be weakened: the binary relation >z should not be in order. We give an appropriate result and and demonstrate an example of mappings satisfying its conditions, but to which the results of the cited work are not applicable. Keywords: coincidence point; partially ordered space; covering map: monotonie mapping
REFERENCES
1. Arutyunov A.V.. Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for mappings in partially ordered spaces. Topology and Its Applications, 2015, vol. 179, no. 1, pp. 13-33. DOI: 10.1016/j.topol. 2014.08.013.
2. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. Coincidence points principle for set-valued mappings in partially ordered spaces. Topology and Its Applications, 2016, vol. 201, pp. 330-343. DOI: 10.1016/j.topol. 2015.12.044.
3. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. O tochkakh sovpadeniya otobrazheniy v chastichno uporyadochennykh prostranstvakh [Coincidence points of set-valued mappings in partially ordered spaces]. Doklady Akademii nauk - Doklady Mathematics, 2013. vol. 88, no. 3, pp. 727-729. (In Russian).
4. Arutyunov A.V., Zhukovskiy E.S., Zhukovskiy S.E. Tochki sovpadeniya mnogoznachnykh otobrazheniy v chastichno uporyadochennykh prostranstvakh [On coincidence points of mappings in partially ordered spaces]. Doklady Akademii nauk - Doklady Mathematics, 2013, vol. 88, no. 3, pp. 710-713. (In Russian).
5. Arutyunov A.V. Nakryvayushchie otobrazheniya v metricheskikh prostranstvakh i nepodvizh-nye tochki [Covering mappings in metric spaces and fixed points]. Doklady Akademii nauk - Doklady Mathematics, 2007, vol. 76, no. 2, pp. 665-668. (In Russian).
6. Zhukovskiy E.S. Ob uporyadochenno nakryvayushchikh otobrazheniyakh i neyavnykh differ rentsial'nykh neravenstvakh [On ordered-covering mappings and implicit differential inequalities]. Differential Equations, 2016, vol. 52, no. 12, pp. 1539-1556. (In Russian).
The work is partially supported by the Russian Fund for Basic Research (projects №№ 17-01-00553, 16-01-00386).
16
C. BeHapa6, E. C. ÄyKOBCKHÖ
7. Zhukovskiy E.S. Ob uporyadochenno nakryvayushchikh otobrazheniyakh i integral'nykh ne-ravenstvakh tipa Chaplygina [About orderly covering mappings and Chaplygin's type integral inequalities]. Algebra i analiz - St. Petersburg Mathematical Journal, 2018, vol. 30, no. 1, pp. 96-127. (In Russian).
Received 15 January 2018 Reviewed 06 February 2018 Accepted for press 20 February 2018 There is no conflict of interests.
Benarab Sarra, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Post-Graduate Student, Functional Analysis Department, e-mail: benarab.sarraa@gmail.com
Zhukovskiy Evgeny Semenovich, Tambov State University named after G.R. Derzhavin, Tambov, the Russian Federation, Doctor of Physics and Mathematics, Professor, Director of the Research Institute of Mathematics, Physics and Informatics, e-mail: zukovskys@mail.ru
For citation: Benarab S., Zhukovskiy E.S. Ob usloviyah sushchestvovaniya tochek sovpadeniya otobrazhenij v chastichno uporyadochennyh prostranstvah [About the conditions of existence coincidence points for mapping in partially ordered spaces]. Vestnik Tambovskogo universiteta. Seriya Estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2018, vol. 23, no. 121, pp. 10-16. DOI: 10.20310/1810-0198-2018-23-121-10-16 (In Russian, Abstr. in Engl.).
