Izrek o negibni točki

Iz MaFiRaWiki

Izrek o negibni točki zagotavlja obstoj negibne točke. Poznamo več takih izrekov:

Izreki o negibni točki imajo pomembne posledice:

  • V analizi iz Banachovega izreka o negibni točki izpeljemo obstoj rešitev navadnih diferencialnih enačb.
  • V teoriji programskih jezikov nam Tarski-Kansterjev izrek o obstoju najmanjše negibne točke omogoča, da pripišemo rekurzivnim programom ustrezen matematični pomen.
Osebna orodja