CONTRACTION MAPPINGS IN THE THEORY UNDERLYING DYNAMIC PROGRAMMING