Результати про пари нерухомих точок на метричних просторах, визначених бінарними операціями

Ключові слова:
бінарна нормована операція, TT-метричний простір, пов'язана нерухома точкаАнотація
Паралельно до різних узагальнень теореми Банаха про нерухому точку в метричних просторах, ця теорія є застосовною до різних типів просторів, зокрема, таких як ультраметричні простори, нечіткі метричні простори, рівномірні простори, частково метричні простори, bb-метричні простори та ін. У цьому контексті спочатку ми визначаємо бінарну нормовану операцію на невід'ємних дійсних числах і даємо кілька прикладів. Тоді ми згадуємо поняття TT-метричного простору та його важливі і фундаментальні властивості. TT-метричний простір −− це набір (X,T,⋄)(X,T,⋄), де XX є непорожньою множиною, ⋄⋄ −− бінарною нормованою операцією і TT є деякою TT-метрикою на XX. Оскільки нерівність трикутника для TT-метрики залежить від бінарної операції, для якої частковим випадком є сума, TT-метричний простір є справжнім узагальненням звичайного метричного простору. Головними результатами, які ми представляємо, є три теореми для пар нерухомих точок для двохвимірних відображень, що задовольняють деякі нерівності стиску в повних TT-метричних просторах. Легко бачити, що не тільки існування, але і єдиність пари нерухомих точок гарантується цими теоремами. Також ми представляємо деякі придатні приклади, що ілюструють наші результати.