Pevný bod: Porovnání verzí
Smazaný obsah Přidaný obsah
m Robot: přidáno {{Autoritní data}} |
+pevný bod v teorii kategorií |
||
Řádek 5:
== Definice ==
Nechť <math>f: M\to M</math> je zobrazení. Prvek <math>x\in M</math> nazveme pevným bodem zobrazení <math>f \,</math>, pokud <math>f(x)=x \,</math>.
== Teorie kategorií ==
V [[teorie kategorií|teorii kategorií]] je pevným bodem endofunktoru <math>F</math> nad <math>\mathcal{C}</math> objekt <math>A</math> takový,
že platí <math>A \cong FA</math>. Podle [[Lambek]]ovy věty je počáteční objekt v kategorii <math>F</math>-algeber pevným bodem,
platí tedy <math>\mu F \cong F \mu F</math>. Tohoto faktu se využívá ve funkcionálním programování k definici rekurzivních datových struktur bet podpory syntaxe.
== Související články ==
|