Pevný bod
Jako pevný bod (také samodružný bod) označujeme prvek, který se v daném zobrazení zobrazí sám na sebe.
Například pevnými body funkce jsou čísla 2 a 3 (platí totiž, že a ).
Definice
Nechť je zobrazení. Prvek nazveme pevným bodem zobrazení , pokud .
Geometrická interpretace
Pro funkci je pevný bod průnikem grafu této funkce s grafem funkce , tzn. osou symetrie (diagonálou) prvního resp. třetího kvadrantu.
Teorie kategorií
V teorii kategorií je pevným bodem endofunktoru nad objekt takový, že platí . Podle Lambekovy věty je počáteční objekt v kategorii -algeber pevným bodem, platí tedy . Tohoto faktu se využívá ve funkcionálním programování k definici rekurzivních datových struktur bez syntaktické podpory.
Související články
Externí odkazy
- Obrázky, zvuky či videa k tématu pevný bod na Wikimedia Commons
Tento článek je příliš stručný nebo postrádá důležité informace. Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty. |
Portály: Matematika