Теорема Кнастера-Тарского: неподвижная точка и полная решётка
Поговорим про теорему Кнастера-Тарского о неподвижной точке:
- а)Почему она называется теоремой о неподвижной точке? Как такая теорема может помочь доказать существование решения у уравнения?
- б)Где в доказательстве теоремы используется условие, что отображение $f$ сохраняет порядок?
- в)Где в доказательстве теоремы используется условие, что на множестве задана именно полная структура, а не просто частичный порядок?