Existence and Uniqueness of a Fixed Point for the Bellman Operator in Deterministic Dynamic Programming