A common fixed point theorem for compatible mappings of type (A) is proved and a application to the existence and uniqueness of solutions of system of functional equations in dynamic programming is given.

• 摘要证明了(A)型相容映射的一个公共不动点定理，并讨论了起源于动态规划的泛函方程组的解的存在性和唯一性。