Інваріантні ідемпотентні міри

Анотація

Ідемпотентна математика є частиною математики, в якій арифметичні операції на множині дійсних чисел замінюються ідемпотентними операціями. У ідемпотентній математиці поняття ідемпотентної міри (міри Маслова) є відповідником поняття ймовірнісної міри. Ідемпотентні міри знайшли численні застосування в математиці та суміжних областях, зокрема, в теорії оптимізації, математичній морфології та теорії ігор.

У цій замітці ми запроваджуємо поняття інваріантної ідемпотентної міри для ітерованої системи функцій у повному метричному просторі. Це ідемпотентний аналог поняття інваріантної імовірнісної міри, означеної Гатчінсоном. Зауважимо, що поняття інваріантної ідемпотентної міри раніше розглядалося авторами для класу ультраметричних просторів.

Одним з основних результатів є теорема існування та єдиності для інваріантних ідемпотентних мір у повних метричних просторах. На відміну від відповідного результату Гатчінсона для інваріантних імовірнісних мір, наше доведення не опирається на метризацію простору ідемпотентних мір.

Аналогічний результат можна також довести для так званих неоднорідних ідемпотентних мір у повних метричних просторах.

Також наші міркування можна поширити на випадок max-min мір у повних метричних просторах.