Let l and m be natural numbers with l≥2 and m≥1, let (L,G) be population cost data on l states with control dimension m, let Δl be the probability simplex, and let A be a nonempty subset of Rm that is compact for the topology determined by the Euclidean distance.
1. (Boundedness.) There is a finite real number C≥0 such that ∣L(Σ,α)∣≤C and ∣G(Σ)∣≤C for every Σ∈Δl and every α∈A.
2. (Uniform continuity in the state, uniformly in the control.) For every real ε>0 there is a real δ>0 such that
∣L(Σ,α)−L(Σ′,α)∣≤εand∣G(Σ)−G(Σ′)∣≤ε
whenever Σ,Σ′∈Δl satisfy ∣Σ−Σ′∣≤δ and α∈A.