Каталог

Теорема Кнастера-Тарского: неподвижная точка и полная решётка

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