集值状态的动态规划

本文的目的是建立一个一般集上的动态规划模型,并给出它的存在性的证明,随着抽象分析的进展,抽象状态空间的动态规划不断有人涉及(例如1]—3]),本文的结果是在较弱的条件下给出的,本文使用的术语与未给证明的结果均来自4]。