Поэтому мне было интересно, есть ли какая-либо информация о следующей математической задаче (я искал, но ничего не смог найти ...):
Учитывая набор функций G: I -> I, который можно «разложить» как композицию двух функций f: I -> O и h: O -> I, G (i) = (hof) (i), какие ограничения следует накладывать на множество функций {h} такое, что функция множества G имеет хотя бы одну фиксированную точку G (i) = hof (i) = i для всех возможных f. Меня интересуют дискретные переменные I и O.
Хотя вышеизложенный является конкретным c вопросом, я в целом заинтересован в утверждениях, относящихся к неподвижным точкам с композицией (2) функций, где на первая функция (т.е. операторы должны выполняться для всех f) и, следовательно, на последнюю функцию накладываются ограничения (т.е. h) введите описание изображения здесь
Заранее благодарю