TheoremBase

Boundedness and Uniform Continuity of Population Cost Data on a Compact Control Set

Statement

Let ll and mm be natural numbers with l≥2l\ge2 and m≥1m\ge1, let (L,G)(L,G) be population cost data on ll states with control dimension mm, let Δl\Delta^l be the probability simplex, and let A\mathcal{A} be a nonempty subset of Rm\mathbb{R}^m that is compact for the topology determined by the Euclidean distance.

1. (Boundedness.) There is a finite real number C≥0C\ge0 such that ∣L(Σ,α)∣≤C|L(\Sigma,\alpha)|\le C and ∣G(Σ)∣≤C|G(\Sigma)|\le C for every Σ∈Δl\Sigma\in\Delta^l and every α∈A\alpha\in\mathcal{A}.

2. (Uniform continuity in the state, uniformly in the control.) For every real ε>0\varepsilon>0 there is a real δ>0\delta>0 such that

∣L(Σ,α)−L(Σ′,α)∣≤εand∣G(Σ)−G(Σ′)∣≤ε|L(\Sigma,\alpha)-L(\Sigma',\alpha)|\le\varepsilon\qquad\text{and}\qquad|G(\Sigma)-G(\Sigma')|\le\varepsilon

whenever Σ,Σ′∈Δl\Sigma,\Sigma'\in\Delta^l satisfy ∣Σ−Σ′∣≤δ|\Sigma-\Sigma'|\le\delta and α∈A\alpha\in\mathcal{A}.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…