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

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