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