関数 f:X→Xf : X \to Xf:X→X に対して以下を満たす x0∈Xx_{0} \in Xx0∈X を不動点fixed pointと呼ぶ。 f(x0)=x0 f \left( x_{0} \right) = x_{0} f(x0)=x0 fff の導関数 f′f 'f′ が与えられた場合、以下も不動点とする。 f′(x0)=0 f ' \left( x_{0} \right) = 0 f′(x0)=0
普遍的な数学では、不動点は多数の定義と定理に登場する概念であり、与えられた関数 fff に対して不変である点で、数学の本質と触れ合っていると断言できる。