没有数据
通知
无通知
不動点コンビネータ(ふどうてんコンビネータ、英: fixed point combinator、不動点結合子、ふどうてんけつごうし)とは、与えられた関数の不動点(のひとつ)を求める高階関数である。不動点演算子(ふどうてんえんざんし、英: fixed-point operator)、パラドキシカル結合子(英:
数学における不動点定理(ふどうてんていり、英: fixed-point theorem)は、ある条件の下で自己写像 f: A → A は少なくとも 1 つの不動点 (f(x) = x となる点 x ∈ A)を持つことを主張する定理の総称を言う。不動点定理は応用範囲が広く、分野を問わず様々なものがある。
数学で、レフシェッツ不動点定理(Lefschetz fixed-point theorem)は、コンパクトな位相空間 X からそれ自身への連続写像の不動点の数を、X のホモロジー群の上の誘導された写像のトレースによって数える公式である。この名称はソロモン・レフシェッツ(Solomon
※一※