最小不動点
最小不動点（さいしょうふどうてん、英: Least fixed point, LFP）は、関数の不動点の中でも、何らかの半順序関係において最も小さい不動点をいう。 例えば、次の実関数 f(x) = x2 の最小不動点は、実数の一般的な順序関係において x = 0 である。
最小不動点（さいしょうふどうてん、英: Least fixed point, LFP）は、関数の不動点の中でも、何らかの半順序関係において最も小さい不動点をいう。 例えば、次の実関数 f(x) = x2 の最小不動点は、実数の一般的な順序関係において x = 0 である。
最小不動点（さいしょうふどうてん、英: Least fixed point, LFP）は、関数の不動点の中でも、何らかの半順序関係において最も小さい不動点をいう。 例えば、次の実関数 f(x) = x2 の最小不動点は、実数の一般的な順序関係において x = 0 である。
出典: Wikipedia「最小不動点」 · CC BY-SA 4.0
この記事を共有: X · Bluesky